miniblog.

← Back to all posts
Mar 29, 2016 at 19:02
TIL there's a proven-correct compiler for standard ML! https://cakeml.org/ This is an incredible feat, and uses validated ISA models.
CakeML

Related Posts

Apr 2, 2026 at 09:44
2
Some excellent safety improvements in C++26: hardening the standard library against out-of-bounds bugs, and a safer semantics for uninitialised local variables:
C++26 is done! — Trip report: March 2026 ISO C++ standards meeting (London Croydon, UK) – Sutter’s Mill
Dec 20, 2025 at 13:07
31
Delighted to see that TOML has released a new version! TOML is overall a great standard but I understand they had limited people with the power to cut a new release.
Release Release 1.1.0 · toml-lang/toml
Release Release 1.1.0 · toml-lang/toml
Allow newlines and trailing commas in inline tables (#904). Previously an inline table had to be on a single line and couldn't end with a trailing comma. This is now relaxed so that the following i...
Mar 16, 2025 at 23:30
36
Is there any relationship between language adoption and the size of its standard library? These days it seems completely orthogonal, but early Java adopters spoke highly of the collections library compared with C++. Maybe it's the widespread availability of package managers?