Viewing profile — rq1

Exactly.

It was indeed an attack. The trains and other public transports to bring these people there were free that day for that specific destination.

Just think of it as a decompression procedure. That’s all.

Hilarious. It is absolutely a logical défense: our societal order and its relative fairness don’t emerge from the void. Otherwise a victim defending himself is the same as the pers…

I never understood how people referred to or understood “whataboutsim”. I personally understand it not as a diversion but as a critique of the moral higher ground implied by the fi…

I wouldn't disaree on the ergonomics: a powerful but unusable tool is... useless! Though ignoring all the PL lessons for the sake of "pragmatism" is just plain ignorance. Rust has …

From a PL Theory perspective, Zig is vibe-coded. Not sure why people use it.

I was wondering WTF was happening. This was past month: 516 + 518*n 516 n=0 count=4454 1034 n=1 count=318 1552 n=2 count=129 2070 n=3 count=56 2588 n=4 count=35 3106 n=5 count=14 3…

Because it’s supposedly open?

The main advantage of PeerTube and alike is that they keep the “professional content creators” and their crappy content away. Because of their unique monetisation feature.

The Pi compression algorithm is better.

The important properties of the logarithm are structural: we usually do not care about units or bases, except when carrying out an actual numerical computation. As developed in the…

I think sooner rather than later, AI will replace CEOs.

You’re absolutely right to push back on this. Sometimes it’s not just about the Ys but also the Qs.

Enterprise programs*

Photoshop?! Where we’re going, we don’t need photoshop.

I assumed new projects but I just realised that I didn’t write it. But still disagree: we have cbindgen.

> I would say modern c++ written by someone already familiar with rust will probably be structured in a way that's extremely easy to port because you end up modeling the borrow che…

Imagine you read a value from stdin and parse it as: Maybe Int So your program splits into two branches: 1. Nothing branch: you failed to obtain an Int. There is no integer to use …

Well I never advocated the latter, so please. And my logic is very sound, better than yours. :) I was replying to "the US does not get to decide who can have a nuclear weapon and w…

As much as I agree with you. Iran is signatory of the NPT with all its consequences. Instead of letting more countries develop these weapons, we should work on denuclearizing all c…

The next generation will include another processor to offload the inference from the RISC V processors used to offload inference from the host machine.

What core type theory is C3 actually built on? The blog claims that @pool "solves memory lifetimes with scopes" yet it looks like a classic region/arena allocator that frees everyt…

Ah I see, it’s a solution too!