Stories by smartmic

OCaml Programming: Correct and Efficient and Beautiful

OstrichDB – hierarchical NoSQL database written in Odin

AIDE – a file and directory integrity checker

The LACT Stack: Lighttpd, Awk, CGI, and Text Files

H2, the Java SQL Database

My website is one binary (2022)

Implementing Bloom Filters in C (2022)

Dyne musl – C/C++ toolchains for static builds

Triassic diapsid shows early diversification of skin appendages in reptiles

Bloom Filter Calculator

LISPy things you can do in 64K bytes of core

Reading fiction with an e-book or in print: Purposes, pragmatics and practices

How to make writing less hard

Messenger

Learn OCaml

Munich Open Source

AI CEO

How the URL Was Built

AI Is Dehumanization Technology

Alternative Layout System

4 5 6 7 8 9 10 11 12 13