Viewing profile — divingstar

[dead]

Hyper-Markdown (`.hmd`) is ordinary Markdown plus rich visuals plus wiki links into a knowledge graph. Every `.md` file is already valid `.hmd`. * Early language specification draf…

[flagged]

Indeed, both Verus and Dafny are very close to home here — thanks for the pointer. I did feel at times that I might be reinventing the wheel a bit. I also thought about pushing mor…

[dead]

I accidentally ended up designing something that can probably be called a meta-programming language. Repo: https://github.com/ewiger/len `len` is an experiment in making specificat…

Set up a small-scale kafka cluster on local kubernetes - perfect for functionality testing and local development.