Viewing profile — 4ad

> Austria is quite far ahead Yeah, quite ahead in terms of making anonymous phone numbers illegal and requiring the government to know your phone number. And if you don't want to u…

It also makes you sound like a conspiracy theory nutjob, and the current political climate in Europe is such that people are really sensitive to this sort of alarmist messaging (wh…

Yes, that's true. And there are various logical systems which hint at mutability (apart from linear logic itself). I already mentioned how we can find shared-memory futures in semi…

They are very different books. TAPL is a book about programming language semantics, TTAFP is a programmer-oriented book about Martin-Löf type theory. There is very little overlap. …

It's very simple, it's because pure , typed functional programming is not arbitrary but rather fundamental. Natural deduction from logic corresponds to various typed lambda calculi…

I don't play video games but I invert the trackpad scroll direction on macOS. I cannot understand people who use the default "natural" scrolling, it's anything but natural, and it'…

It would also be a useless article. It's fine to write for an audience, if you're not in the target audience, move on.

It appears that Bear does not accept contributions[1] and the very few contributors it had in the past only contributed a trivial amount of code[2]. But you're right, relicensing r…

The copyright holder (the author) is solely responsible for choosing how they want their work to be distributed, and is not bound by any other sort of constraint. They can choose a…

> While scientists have considered accessing the liquid to further analyze the content, as of 2024, the bottle has remained unopened because of concerns about how the liquid would …

I have 40k. Works fine.

Did you disable Memory[1]? [1] https://help.openai.com/en/articles/8590148-memory-faq

I call BS on that, as Macbooks somehow always kept being 16:10. In fact you could easily buy 16:10 panels, I know because for many years I upgraded old 16:10 Thinkpads with modern …

Never used Pocket, but I moved to Raindrop.io (from Pinboard) for my bookmarks. I believe it can import Pocket.

It's hard to say who will fare best, but it's evident who'll do the worst. The European Union will regulate AGI out of existence. Most citizens would not want to use it because of …

Learning category theory to the level of understanding monads should take half an hour at most, and would constitute real understanding of what a monad is, versus this C++ explanat…

So you think that a monad which is an object with a simple definition in category theory is better explained in terms of C++? I would agree that most of these articles about monads…

Great article, two minor nitpicks: > To avoid Russell's Paradox, there isn't a type of all types. Instead, we have universes. This is an oversimplification, and Lean-specific (to b…

HDR is about, well, high dynamic range images, usually expressed with at least 10 bits of precision (although it can also be float, etc), and often, but not always encoding scene-r…

> This post is mostly AI generated, of course with significant guidance, feedback, iteration and some edits from me. I can tell, because it is garbage. AI's notion of PK is useless…

I want the opposite, an extension that will redirect all crappy frontends to the canonical sources (which work better and I am logged-into, I can comment, etc).

Indeed, KDE is like Windows, which is sad, because I don't like the desktop metaphor, yet KDE is the only group that is concerned with usability and improves the system with every …