Why (special agent) Johnny (still) Can't Encrypt (2011)
mattblaze.org·2d·
Discuss: Lobsters
🌐NetworkProtocols
Standards for Age Verification
avpassociation.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·5d·
Discuss: r/programming
🌐NetworkProtocols
What happens when you get hit by a car in San Francisco
sfstandard.com·11h·
Discuss: Hacker News
🩹Self-Healing Systems
Matrix is email wearing a hoodie
gist.github.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
What Should I Get Paid When a Chatbot Eats My Books?
nytimes.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
HairMama – AI-powered hair analysis and personalized care recommendations
news.ycombinator.com·2d·
Discuss: Hacker News
🐳Containerization
This board helps you prototype circuits with tubes
hackaday.com·18h
💾Retro Computing
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·4d·
Discuss: Hacker News
👁️System Observability
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·5d·
Discuss: r/programming
💎Refinement Types
Design of Reliable and Resilient Electric Power Systems for Wide-Body All-Electric Aircraft
arxiv.org·3d
🩹Self-Healing Systems
Co-Investigator AI: The Rise of Agentic AI for Smarter, Trustworthy AML Compliance Narratives
arxiv.org·4d
✓Automated Theorem Proving
LLM Ensemble for RAG: Role of Context Length in Zero-Shot Question Answering for BioASQ Challenge
arxiv.org·4d
🧩Parser Combinators
Image-GS: Content-Adaptive Image Representation via 2D Gaussians
github.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Debunking the Claims of K2-Think
sri.inf.ethz.ch·2d·
Discuss: Hacker News, r/LocalLLaMA
🧠Automated Reasoning
I built diff2ai — a CLI that turns Git diffs into AI-ready code review prompts (local & repo-safe)
reddit.com·5d·
Discuss: r/programming
🔄Reproducible Builds
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·5d·
Discuss: Hacker News
🛡️seL4
Work in progress
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·6d·
Discuss: Hacker News
🤖Program Synthesis
Awesome Accelerated Schooling
github.com·1d·
Discuss: Hacker News
🔬Unikernels