Verification, Type-level Programming, Safety Proofs, Linear Types
A tiny Mojolicious server in a test program
briandfoy.github.io·2d
Predicted impact of LLM use on developer ecosystems
shape-of-code.com·3d
As Canada wildfires choke US with smoke, Republicans demand action. But not on climate change
the-independent.com·4h
Lock down your critical infrastructure, CISA begs admins
theregister.com·25m
Wean yourself off of Windows with Linuxfx — I've tried many Linux distros designed to look and feel like Windows, and this is the best one yet
tomshardware.com·8h
Loading...Loading more...