fmoralesc

6 ms·

1.
by fmoralesc 3mo ago
"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 would plausibly be truth-valued: "you are pe
2.
by fmoralesc 8mo ago
> 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 works across every application? No. It's because mi
3.
by fmoralesc 10mo ago
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.
4.
by fmoralesc 11mo ago
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-package/cetz ) works quite well and is comp
5.
by fmoralesc 1y ago
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 for that I already find it much easier to use than the alter
6.
by fmoralesc 2y ago
Any Turing-complete language should be able to express programs that do this.
7.
by fmoralesc 2y ago
I read it recently and while the ideas are there, it is not a great read (the dialogues in particular are pretty bad).
8.
by fmoralesc 3y ago
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 example, Chimera comes with first-class and built-in suppo
9.
by fmoralesc 3y ago
> For all of modern human history, work has been limited to screens. Is this a parody?
10.
by fmoralesc 3y ago
The far right can only infest.
11.
by fmoralesc 4y ago
AZERTY is plainly the worst.
12.
by fmoralesc 4y ago
I got 44.
13.
by fmoralesc 5y ago
The compositor (mutter) provides support for global hotkeys.
14.
by fmoralesc 5y ago
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 was the product of the human mind, and restricted maths to wha
15.
by fmoralesc 5y ago
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 need to either revise our concept of justification (for exam
16.
by fmoralesc 5y ago
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 believing that. In that case, let's assume, justificat
17.
by fmoralesc 5y ago
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 subjects remains justified. The issue is, rather, that because of
18.
by fmoralesc 5y ago
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 lagging behind), everything in the roadmap is
19.
by fmoralesc 5y ago
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. I always remember the bit about being excited about a projec
20.
Pipeworld: Spreadsheet Dataflow Computing(arcan-fe.com)
4 points by fmoralesc 5y ago|0 comments
21.
by fmoralesc 6y ago
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 the local feed, or something that catches your fancy from t
22.
by fmoralesc 6y ago
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.
23.
by fmoralesc 6y ago
'normal' shifts with what people get away with, but 'acceptable' does not.
24.
by fmoralesc 6y ago
> 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 to any high-level contemporary philosophical research? W
25.
by fmoralesc 6y ago
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 albums from the 90s (I would go for the latt
26.
by fmoralesc 6y ago
That was the exact thing that caught my attention.
27.
by fmoralesc 6y ago
For him, even the single square would not exist, only its many many ways it could be. And each separately. > "No sólo le costaba comprender que el símbolo genérico perro abarcara tantos individuos dispares de diversos tamaños y
28.
by fmoralesc 6y ago
"The challenge that the novel of ideas faces: how does one integrate the exposition and discussion of ideas in the context of a novel (when the origin of those ideas is not the novel itself)?" "[The techniques used in the nov
29.
by fmoralesc 6y ago
> First of all, the introduction which bashes the paper which applying social network techniques to fiction? If the author had bothered to look it up, they would have realized the authors are an applied mathematician and theoretical phys
30.
by fmoralesc 6y ago
I second the recommendation of checking the Teach Yourself Logic guides by Peter Smith, but I will give some more specific recommendations: - Greg Restall - Logic (and he also gives some recommendations of his own that are worth checking

More ›