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
Fun with Google Scholar
diffuse.one·13h·
Discuss: Hacker News
📝Term Rewriting
Publish at once to LinkedIn, Bluesky, FB Page, Insta, X – locally or online
codeberg.org·5h·
Discuss: Hacker News
🍎Apple
What Should I Get Paid When a Chatbot Eats My Books?
nytimes.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Working in Groups
internet.place·4d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
How to Self-Host Your Notes With Trilium and Docker
thenewstack.io·1d
🐳Containerization
Clever Hans Couldn't Do Arithmetic, and LLMs Don't Understand
codemanship.wordpress.com·2d·
Discuss: Hacker News
📚Automata Learning
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·5d·
Discuss: Hacker News
🔬Unikernels
HairMama – AI-powered hair analysis and personalized care recommendations
news.ycombinator.com·2d·
Discuss: Hacker News
🐳Containerization
Reverse Engineering a Robot Mower’s Fence
hackaday.com·4d
🩹Self-Healing Systems
This board helps you prototype circuits with tubes
hackaday.com·16h
💾Retro Computing
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
Why scaling is profitable, and fast takeoffs will look slow on AI benchmarks
lesswrong.com·1d
🐫OCaml
Retro x86 with 486Tang
hackaday.com·10h
💾Retro Computing
Image-GS: Content-Adaptive Image Representation via 2D Gaussians
github.com·3d·
Discuss: Hacker News
🔧Unikernel Development
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