amenn

12 ms·

1. 1.▲
   by amenn 3mo ago

   I am using flat memory comparisons (memcmp)
2. 2.▲
   by amenn 3mo ago

   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 distinct content never aliases even though the hash itself can
3. 3.▲
   by amenn 3mo ago

   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 for the theorem of pytagora. It's more c
4. 4.▲
   by amenn 3mo ago

   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 trying. Most of the concepts seem to be working,
5. 5.▲
   Yon – a topos-oriented language with a content-addressed lattice heap(yon-lang.org)

   48 points by amenn 3mo ago|80 comments