Languages and Types
6 bookmarks
- Zig, the small language ★★★★ https://zserge.com/posts/zig-the-small-language/
- Difftastic, the Fantastic Diff ★★★★ https://www.wilfred.me.uk/blog/2022/09/06/difftastic-the-fantastic-diff/
- Sequent Calculus ★★★★ https://github.com/Shen-Language/wiki/wiki/Sequent-Calculus
- Inside the Pinecone | Pinecone ★★★ https://www.pinecone.io/learn/inside-the-pinecone/
- Typescript is terrible for library developers ★★ https://erock.prose.sh/typescript-terrible-for-library-developers
- Announcing: MiniRust ★★ https://www.ralfj.de/blog/2022/08/08/minirust.html