Sound and Solution-Complete CCBS
arxiv.org·2h
🛡️Preservation Proofs
Capture Checking in Scala
nrinaudo.github.io·42m·
Discuss: Hacker News
🧪Binary Fuzzing
Some recent project milestones
markjgsmith.com·10h
🔌Interface Evolution
DCP-o-matic • Re: Veriying DCP on Synology NAS via CLI
dcpomatic.com·5h
✅FLAC Verification
JavaScript lib for exchanging selective disclosure proofs
github.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Looking for Suggestions on Home Server for running Game Servers
reddit.com·6h·
Discuss: r/homelab
🦀Embedded Rust
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
Exactly-Once Processing Across Kafka and Databases: Using Kafka Transactions + Idempotent Writes
medium.com·15h·
Discuss: r/programming
🌊Apache Kafka
Automate the Testing of Your LLM Prompts
dev.to·6h·
Discuss: DEV
⚡Proof Automation
How Should a CMS Repository Understand the Content Within It?
deanebarker.net·1d·
Discuss: Hacker News
🗄️Database Internals
Permacomputing
inkdroid.org·2d
🧲Magnetic Philosophy
Course Review: "Advanced Detection Engineering in the Enterprise"
lockboxx.blogspot.com·1d·
Discuss: www.blogger.com
🎯Threat Hunting
Dealing With the 1970s EPROM Chaos in 2025
hackaday.com·1d
🖥Retro Computing
SRE Weekly Issue #491
sreweekly.com·4h
👁️System Observability
How Many Paths of Length K Are There Between a and B?
horace.io·9h·
Discuss: Hacker News
🕸️Graph Algorithms
Over-Engineering Sleep
matt.blwt.io·15h
🐚Bash FP
Weeknotes: 2025-W34
thomasrigby.com·12h
🧬PostgreSQL Forensics
DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections
arxiv.org·2h
📇Dublin Core
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·1d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Wayland Compositors – Why and How to Handle Privileged Clients (2014)
mupuf.org·55m·
Discuss: Hacker News
🔓Password Cracking