divingstar

6 ms·

1. 1.▲
   Hyper-Markdown – Markdown for knowledge graphs(hyper-markdown.org)

   33 points by divingstar 1mo ago|8 comments
2. 2.▲
   by divingstar 1mo ago

   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 draft, still very open to change * Looking for contributors and
3. 3.▲
   TinyS – put all your Python knowledge into TinyS(github.com)

   2 points by divingstar 2mo ago|0 comments
4. 4.▲
   by divingstar 6mo ago

   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 more toward Lean and theorem proving instead of a lighter SMT-s
5. 5.▲
   Len – types, relations, and generation contracts for LLM codegen(github.com)

   2 points by divingstar 6mo ago|4 comments
6. 6.▲
   by divingstar 6mo ago

   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 specifications more central than code itself. Th
7. 7.▲
   by divingstar 6y ago

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