Storm: Using refinement types for provable security
(usenix.org)
December 2024 Archive
27031.
27033.
Do this TODAY to turn your life around The Raw Truth About Your 20s
(idontneedclout.com)
27034.
27035.
27043.
Human versus autonomous car race ends before it begins
(arstechnica.com)
27045.
Added ungap/raw-JSON Ponyfill
(github.com)
27050.
Show HN: GitHub Stats at a Glance
(chromewebstore.google.com)
27053.
Discovered Shitware.ltd
(shitware.ltd)
27055.
Show HN: Event Scheduling for Groups
(grup.rsvp)
27059.
Hallucinating symmetric protein assemblies (2022)
(science.org)
27060.
Buildspace Is Revived
(youtube.com)