Viewing profile — amenn

[dead]

[flagged]

[dead]

[dead]

[dead]

[dead]

I am using flat memory comparisons (memcmp)

Still writing the docs. Content addressing is the mechanism, that is: same content lands in the same slot, equality is a handle compare. The allocator is provably extensional so di…

There's no wrong in vibe coding as long as you check what's the output. I can be wrong or missing the goal of course. But the work is in progress and I'm not writing a bash script …

Hi everyone, and thanks for taking the time to read about Yon. I had an idea and I threw it down, and I'm refining it day by day. It's hard because I have little time, but I'm tryi…

Hello everyone. In the last two years I spent, as a dev, part of my free time stretching the limits of my knowledge. Not being a mathematician myself, I discovered that formalizing…