Hacker News: fmoralesc

New comment by fmoralesc in "All Logic, No Bite"

fmoralesc — Tue, 30 Jun 2026 17:18:02 +0000

"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 permitted to play Minecraft only if you finish the chores", or perhaps "you ought to finish the chores, or you are not permitted to play Minecraft". The former is equivalent to the original sentence only if we take "can't" as expressing lack of permission (which it may not): "if you don't finish house chores, you can't/are not permitted to play Minecraft".

New comment by fmoralesc in "Xfwl4 – The Roadmap for a Xfce Wayland Compositor"

fmoralesc — Wed, 28 Jan 2026 13:58:15 +0000

> 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 middle-click to paste is an "X-ism." This is just demagoguery and unserious.

They disabled it by default. You can enable it if you want.

New comment by fmoralesc in "The lazy Git UI you didn't know you need"

fmoralesc — Tue, 11 Nov 2025 15:30:17 +0000

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.

New comment by fmoralesc in "Typst 0.14"

fmoralesc — Fri, 24 Oct 2025 14:39:55 +0000

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 comparable to tikz in complexity and capability. of course, there is more support for tikz, but it is bound to improve over time.

New comment by fmoralesc in "Quarkdown: A modern Markdown-based typesetting system"

fmoralesc — Tue, 03 Jun 2025 10:01:07 +0000

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 alternatives.

New comment by fmoralesc in "Tree Calculus"

fmoralesc — Tue, 10 Dec 2024 12:20:29 +0000

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

New comment by fmoralesc in "Liu Cixin's War of the Worlds (2019)"

fmoralesc — Tue, 30 Apr 2024 02:39:54 +0000

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

New comment by fmoralesc in "Chimera Linux"

fmoralesc — Sat, 16 Dec 2023 22:47:18 +0000

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 support for user services and other things dependent on session tracking (such as a shared session bus), implemented from scratch thanks to our Turnstile project, finally bringing functionality previously only available on distributions using systemd. This is being implemented in a vendor-independent manner so that other distributions can adopt it.

New comment by fmoralesc in "[dead]"

fmoralesc — Fri, 14 Jul 2023 00:50:52 +0000

> For all of modern human history, work has been limited to screens.

Is this a parody?

New comment by fmoralesc in "“Twitter is going great” is being sunset"

fmoralesc — Mon, 01 May 2023 15:16:23 +0000

The far right can only infest.

New comment by fmoralesc in "4th Gen KDE Slimbook – Linux Ultrabook with an AMD Ryzen 7 5700U"

fmoralesc — Thu, 07 Jul 2022 16:41:51 +0000

AZERTY is plainly the worst.

New comment by fmoralesc in "Absurd Trolley Problems"

fmoralesc — Wed, 06 Jul 2022 14:22:08 +0000

I got 44.

New comment by fmoralesc in "Ask HN: Functioning hidpi setup on Linux, how?"

fmoralesc — Wed, 03 Nov 2021 11:33:55 +0000

The compositor (mutter) provides support for global hotkeys.

New comment by fmoralesc in "Platonism in the Philosophy of Mathematics (2018)"

fmoralesc — Wed, 20 Oct 2021 21:37:26 +0000

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 whatever is constructible in a very strict sense. Finitism adds even further constraints, disallowing infinitary methods altogether. In these cases, the position seems to be that we cannot hold on to the usual commitment to mathematical entities.

New comment by fmoralesc in "In Memoriam: Edmund L. Gettier III"

fmoralesc — Sun, 12 Sep 2021 15:36:14 +0000

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 example, make it so that a knowledge-apt belief is justified only if it is for the right reasons -- but then, how to account for justified but false beliefs?), look for ways to supplement the analysis with additional conditions (for example, that the conditions are satisfied in a robust ways counterfactually), or reject the idea that knowledge can be analyzed altogether.

To make it more concrete how this sort of thing can get complicated quickly, consider your own explanation of the case. As I take it, you think that the issue is that "the justification is faulty". But how is it faulty, besides not being true (remember, we have reasons to want justification to not imply truth)? And also, there are Gettier-like cases where we cannot say that justification is faulty or where we can't find false premises (for example, cases where it seems like the problem is that the individuals in questions are not in an appropriate environment, see [here](https://en.wikipedia.org/wiki/Gettier_problem#False_premises...)).

New comment by fmoralesc in "In Memoriam: Edmund L. Gettier III"

fmoralesc — Sun, 12 Sep 2021 14:49:02 +0000

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, justification and truth matches. But this isn't the case always. You may see that the color of the wall is red, for example, and may feel prima facie justified in believing that the wall is red. But it may be the case that, unknown to you, there is a red light projected over the wall, which is actually cream color. In an absolute sense, you are wrong, but your belief is still justified. 'Justified' and 'true' are used for different purposes.

New comment by fmoralesc in "In Memoriam: Edmund L. Gettier III"

fmoralesc — Sun, 12 Sep 2021 14:42:02 +0000

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 "luck" there is a risk for reasoning/belief formation mechanism to go wrong, at the same time that it turns out to have produced a correct/true belief. The issue derives from there being a gap between a proposition being justified and it being true (Linda Zagzebski has a great paper that shows that whenever that is the case, you will end up with an analogous problem).

New comment by fmoralesc in "Updated GNOME User Interface Guidelines are now official"

fmoralesc — Tue, 10 Aug 2021 17:22:49 +0000

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 basically done: https://wiki.gnome.org/Projects/GTK/Roadmap/GTK4

On the other hand, the changes in Gnome 40 were not as massive as the change from 2 to 3, and to me at least the change felt more incremental than disruptive (of course, the transition period is always a bit rough, some non-essential extensions for gnome-shell didn't work for me after the change, but eventually everything I needed was ported--I even dropped some extensions). I feel that saying that 'a lot of the work from 3 was thrown away' is an overstatement.

New comment by fmoralesc in "Great books on classic video games"

fmoralesc — Sun, 16 May 2021 18:23:43 +0000

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 project and then waking up to the next day and feeling just so... inadequate to the task.

Pipeworld: Spreadsheet Dataflow Computing

fmoralesc — Tue, 13 Apr 2021 02:16:13 +0000

Article URL: https://arcan-fe.com/2021/04/12/introducing-pipeworld/

Comments URL: https://news.ycombinator.com/item?id=26787466

Points: 4

# Comments: 0