Viewing profile — akiarie

Honestly the more I see this the less I like Golang. Generics was the worst thing ever added to the language. We're making it easier for library builders and harder for ordinary co…

This is just something I've been thinking about. My experience is that agents aren't useful if you view them as programmers, because you still have to audit all the code until we g…

Never mind, someone else already made this point: https://electric.ax/blog/2026/02/19/amdahls-law-for-ai-agent...

LLMs may theoretically be able to generate millions of correct lines of code. But for any important code the only way to know that it's correct is to hand-audit every line, which i…

True, but thing is that "artificial intelligence" is meant in the opposite sense. It's meant as something that is / will be equivalent to human intelligence, not as something usefu…

Call me a snowflake, but I propose that those of us who don't believe that AI is actually intelligence look for a term to refer to its "thinking" that isn't "intelligence", because…

I propose that those of us who don't believe that AI is actually intelligence look for a term to refer to its "thinking" that isn't "intelligence", because this helps our weak mind…

C is still, by far, the simplest language that we have. Although many newer languages are safer (with the exclusion of Rust, primarily by being slower) the same kinds of issues tha…

"Verbose" is the wrong adjective. Yours is a terse projection into a lower space, valid in itself, but lacking the power and precision of its archetype.

This is such a beautiful distillation of everything I believe about the dangers of over-reliance on AI. I implore thee, good sir, to write a longer essay on this.

Obviously because he was one of the architects of the censorship regime of the late 2010s and early 2020s that nearly changed the internet into a three-letter-agency controlled spa…

Hi HN, We're working on Xr0 [0] and have been building a static-site generator that meets our tastes and needs. The basic emphasis is on simplicity and content rather than customis…

Not even remotely. if (x > 0) { /* code */ } else { /* more code */ } Branch coverage just means that all the lines above are executed in some test. That's fundamentally different …

0db is an interface for Xr0, so it's the same thing essentially.

Shouldn't it be called "We can't parse C" since we can only parse a trivial subset of it?

It's even less impressive than that. That we can parse a subset of C. That's all there is to see here.

You missed the `!=`, `==` (in many instances), bitwise operators, recursion and `goto`. (And much, much more.) Xr0 is a work in progress, and we'll get there step-by-step.

> It really isn't. The second example is ... So will you admit that the first example has been sufficiently addressed? Because I was commenting on the problem involving the Collatz…

It's because we're dealing with an extreme example in which a program's safety depends on the resolution of an open problem. If the program's safety depends on the semantics of C a…

Thought provoking stuff! I really appreciate how much effort you've put into this. However, the main reason why this argument is flawed is it omits the heart of the matter: the ann…

> Xr0 1.0.0 will enable programming in C with no undefined behaviour, but for now it's useful for verifying sections of programs. Literally on the website. The purpose of the proto…

> You should error on constructs you don't yet support. Not doing so makes it very difficult to ascertain how well Xr0 works. You're right. We should. (We will be adding this as we…