Secure Your Keys with Keyand.me
thasso.xyz·1d·
Discuss: Hacker News
🛡️seL4
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·1d·
Discuss: Hacker News
👁️System Observability
SSPL is BAD
ssplisbad.com·16h·
Discuss: Hacker News
🛡️seL4
AI Evals: How To Systematically Improve and Evaluate AI
newsletter.eng-leadership.com·3d·
Discuss: r/programming
✓Automated Theorem Proving
Web Awesome, the First All-in-One WebComponents,CSS Framework, Is Finally Here
thathtml.blog·17h·
Discuss: Hacker News
🧱Immutable Infrastructure
Book review: A New Kind of Science (2005)
bactra.org·3d·
Discuss: Hacker News
💻CS
An open-source SDK for finding dead code
blog.sentry.io·4d·
Discuss: Hacker News
🔄Reproducible Builds
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Unikernels
So You Think You've Awoken ChatGPT
justismills.substack.com·22h·
Discuss: Substack
✓Automated Theorem Proving
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·3d
✓Automated Theorem Proving
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·1d
🎮Verification Games
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·1d
✓Automated Theorem Proving
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·1d·
Discuss: Hacker News
💾Retro Computing
Still Fuzzy on JavaScript Promises or Async/Await? Here’s a Free Mini-Course!
reddit.com·1d·
Discuss: r/programming
🔄Finite State Machines
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·2d
✓Automated Theorem Proving
CLI-RAG: A Retrieval-Augmented Framework for Clinically Structured and Context Aware Text Generation with LLMs
arxiv.org·2d
🐫OCaml
Meta Superintelligence – Leadership Compute, Talent, and Data
semianalysis.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
This Week in Security: Bitchat, CitrixBleed Part 2, Opossum, and TSAs
hackaday.com·22h
🌐NetworkProtocols
(Attempting to) Engineer the chaos out of AI agents
trunk.io·2d·
Discuss: Hacker News
🧪Property-Based Testing
The Metric That Determines AI Product Success
medium.com·18h·
Discuss: Hacker News
👁️System Observability