My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🎯Gradual Typing
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
Implicit `operator bool` participates in comparison
quuxplusone.github.io·1d
🦀Rust Verification
Announcing coreboot 25.09 release
blogs.coreboot.org·5h
🔌Operating system internals
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·19h
💎Information Crystallography
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·5h
🌊Stream Processing
Three ways formally verified code can go wrong in practice
buttondown.com·12h
📜Proof Carrying Code
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ing·21h
🏺ZIP Archaeology
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Need to sanity check my backup plan before I implement it
youtube.com·3d·
Discuss: r/homelab
💿Backup Strategies
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
Announcing the 2025 NDSA Excellence Award Winners
ndsa.org·16h
🏛️PREMIS Metadata
Zelos Tech Manages Hundreds of Millions of Files for Autonomous Driving with JuiceFS
dev.to·22h·
Discuss: DEV
💾Proxmox Storage
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·21h
📞Session Types
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·9h·
Discuss: r/programming
🛡️Byzantine Fault Tolerance
GaloisInc/parameterized-utils
github.com·3d
🧮Algebraic Datatypes
Never Ever Use Content Addressable Storage
frederic.vanderessen.com·2d·
Discuss: Hacker News
🛡️Preservation Proofs
A disenshittification moment from the land of mass storage
doctorow.medium.com·17h
🧲Magnetic Philosophy
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·2d
🔗Functional Compilers