Algebraic data types in Lua (almost) (mrcjkb.dev) | HN Screenshots

YHacker Newsscreenshots

Screenshot of mrcjkb.dev: Algebraic data types in Lua (almost)

First screen, captured 3 years ago.

Looks similar

Screenshot of adamobeng.com: Wddbfs – Mount a SQLite database as a filesystem

Wddbfs – Mount a SQLite database as a filesystem (adamobeng.com)

251 points by vitplister 2 years ago | 35 comments

Screenshot of franklin.dyer.me: Totality and non-standard recursion in Idris

Totality and non-standard recursion in Idris (franklin.dyer.me)

4 points by franklin_p_dyer 2 years ago | 0 comments

Screenshot of lalinsky.com: Type-safe HTML templating in Zig

Type-safe HTML templating in Zig (lalinsky.com)

236 points by lukaslalinsky 14 days ago | 84 comments

Blog post by Lukáš Lalinský describing an approach to type-safe HTML templating in the Zig programming language for web development.

zig html-templating type-safety web-development

Screenshot of rsaksida.com: Ape Coding [fiction]

Ape Coding [fiction](rsaksida.com)

182 points by rmsaksida 7 months ago | 121 comments

Screenshot of matklad.github.io: Static Allocation for Compilers

Static Allocation for Compilers (matklad.github.io)

22 points by enz 10 months ago | 9 comments

Screenshot of blog.aurel32.net: Debian riscv64

Debian riscv64 (blog.aurel32.net)

294 points by pabs3 3 years ago | 112 comments