Sunday, May 31, 2026

Show HN: CakeML-based self-verifying, self-improving system https://ift.tt/5zNTxu3

Show HN: CakeML-based self-verifying, self-improving system based on a conversation I had with Ramana Kumar in 2016. https://emberian.github.io/svenvs/ June 1, 2026 at 12:54AM

No comments:

Show HN: Rudo - A small, elegant dock for Wayland https://ift.tt/BDuXye0

Show HN: Rudo - A small, elegant dock for Wayland https://ift.tt/Jnik7oG July 17, 2026 at 01:12AM