Viewing profile — fmoralesc

"Do finish the house chores" is more naturally taken as a command, so the question is whether it should be assigned a truth value at all. It is linked to some normative claims that…

> Gnome just removed the middle-click paste option. Is that because they fixed the clipboard situation on Linux, and there's a universal, unambiguous way of cut and paste that work…

I use lazygit in neovim through the snacks plugin: https://github.com/folke/snacks.nvim/blob/main/docs/lazygit.... It works really nicely, without any fuss.

Some quick remarks: 1) I have been using typst to create slides with some success. Adding special features tends to be simpler than in beamer. 2) cetz ( https://github.com/cetz-pac…

You can use typst locally and bypass the commercial bits. It is really easy to create different kinds of documents with it. I have been using it to create slides and handouts, and …

Any Turing-complete language should be able to express programs that do this.

I read it recently and while the ideas are there, it is not a great read (the dialogues in particular are pretty bad).

Not just not GNU: they also ditch systemd for dinit, syslog-ng and a bunch of homegrown plumbing: > We are also putting a lot of effort into writing fresh low-level plumbing. For e…

> For all of modern human history, work has been limited to screens. Is this a parody?

The far right can only infest.

AZERTY is plainly the worst.

I got 44.

The compositor (mutter) provides support for global hotkeys.

If one thinks that certain mathematical are mere constructions, one might also reject certain mathematical methods. Take intuitionism as a case: Brouwer thought that mathematics wa…

The problem is that if your definition of knowledge requires only three conditions (belief, truth and justification), then it has counterexamples, namely, the Gettier cases. So we …

One assumption there is that testimony can provide you with justification. We are told by the article that Edmund Gettier has died earlier this year, and we seem to be justified in…

Gettier cases are not cases where erroneous logic leads to a correct conclusion. The reasoning in a Gettier case can be perfectly fine; this is why the belief of Gettierized subjec…

GTK3 isn't deprecated (like GTK2 is), and there is no rush to port things to GTK4 yet. In terms of it being 'pre-alpha' (besides the docs, which in my experience before was always …

I had no connection to the ZZT community, and I loved the ZZT book. I think it captures very well the feeling of being a sort of outcast and trying to express oneself through art. …

First, you check if the instance that you are subscribing to caters to your interests - signing up to a random instance is bound to be useless. Then you can just follow people from…

Just tried recording from my laptop's mic - the reported latency from Ardour was 5,3ms (with 256 samples/buffer). It crashed when I went down to 128 samples/buffer.

'normal' shifts with what people get away with, but 'acceptable' does not.

> the study of philosophy is to a significant degree concerned with a survey of the historic development of certain traditions of thought, and ideas. Have you actually been exposed…

It's funny how these things go. In my circles at the beginning of the 2000s it was somewhat of a mantra that Radiohead's OK Computer or My Bloody Valentine's Loveless were the best…