Renga 1.26 – An XMPP client for HaikuOS
L: https://pulkomandy.tk/projects/renga
C: https://news.ycombinator.com/item?id=40770049
posted on 2024.06.23 at 15:43:52 (c=0, p=3)

Deriving Dependently-Typed OOP from First Principles
L: https://arxiv.org/abs/2403.06707
C: https://news.ycombinator.com/item?id=40769867
posted on 2024.06.23 at 15:19:01 (c=0, p=3)

Neko: Portable framework for high-order spectral element flow simulations
L: https://github.com/ExtremeFLOW/neko
C: https://news.ycombinator.com/item?id=40771839
posted on 2024.06.23 at 20:43:10 (c=0, p=3)

You can now write React in Lua
L: https://github.com/jsdotlua/react-lua
C: https://news.ycombinator.com/item?id=40739187
posted on 2024.06.20 at 10:31:22 (c=1, p=3)

Cosmopolitan v3.5.0
L: https://github.com/jart/cosmopolitan/releases/tag/3.5.0
C: https://news.ycombinator.com/item?id=40773139
posted on 2024.06.24 at 02:50:00 (c=0, p=3)

Polytype: A Rosetta Stone for typesetting engines
L: https://polytype.dev/
C: https://news.ycombinator.com/item?id=40757777
posted on 2024.06.22 at 06:04:03 (c=0, p=3)