Type-level Programming, Proof-carrying Code, Agda, Type Safety
Intuitions about records management for data scientists
thinkingrecords.co.uk·3d
Urban Upstart (1983)
bluerenga.blog·1d
skeeto/w64devkit
github.com·5d
I watched Only Murders in the Building season 5 and I can’t believe it’s the best season yet
techradar.com·1h
Sharks now roam the open ocean. But for 200 million years, they only lived near the sea floor
phys.org·1h
Worried about Windows 10's death? Don't fret – Tiny11 is a lightweight version of Windows 11 that cuts bloatware and can run on older hardware
techradar.com·1h
SCOUT: Toward Sub-Quadratic Attention via Segment Compression for Optimized Utility in Transformers
arxiv.org·5d
Loading...Loading more...