Program Verification, Certified Compilation, Type Safety, Mobile Code
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
Claude Code's 19 cent Parser
blogger.com·9h
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·22h
Song recommendations with F# free monads
blog.ploeh.dk·15h
New Keeb
theworksofegan.net·59m
OpenBSD Hackathon Leipzig 2025: Qt6 Fixes, KDE PIM, and C++26 Updates
discoverbsd.com·15h
RTL generation for custom CPU Mrav
popovicu.com·2d
Loading...Loading more...