How to tell your co-workers that they suck at InfoSec and actually get away with it (mrmcd25)
cdn.media.ccc.de·16h
🛡️seL4
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Scvi-hub: an actionable repository for model-driven single-cell analysis
nature.com·12h·
Discuss: Hacker News
📚Automata Learning
SaaS Ethics Manifesto
mdubakov.me·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Introducing x402-mcp: Open protocol payments for MCP tools
vercel.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
On the weird economics of semiconductors and GenAI
gauthierroussilhe.com·2d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Designing software architecture for parallel AI sessions
rashidazarang.com·2d·
Discuss: Hacker News
🛡️seL4
The 100MHz 6502
e-basteln.de·1d·
Discuss: Hacker News
💾Retro Computing
Your APIs Are Costing More Than You Think
thenewstack.io·21h
👁️System Observability
C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com·1d·
Discuss: Hacker News
🔤DSLs
Magical systems thinking
worksinprogress.co·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Tricks from OpenAI gpt-oss YOU 🫵 can use with transformers
huggingface.co·2d·
Discuss: Hacker News, r/LocalLLaMA
🔧Unikernel Development
Windows KASLR Bypass – CVE-2025-53136
crowdfense.com·1d·
Discuss: Hacker News
👁️System Observability
Server Upgrade Suggesions
reddit.com·21h·
Discuss: r/homelab
🏠HomeLab
The productivity paradox of AI coding assistants
cerbos.dev·20h·
Discuss: Hacker News, r/programming
👁️System Observability
Beyond the surface - Exploring attacker persistence strategies in Kubernetes
raesene.github.io·1d·
Discuss: Hacker News
⎈Kubernetes
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·2d·
Discuss: Hacker News
🛡️seL4
2025 Lasker Award Winners
laskerfoundation.org·14h·
Discuss: Hacker News
🐫OCaml
Preview of LibrePCB 2.0's Next-Gen UI
librepcb.org·19h·
Discuss: Hacker News
🔧Unikernel Development
VaultGemma: The world's most capable differentially private LLM
research.google·1d·
Discuss: Hacker News, r/LocalLLaMA
🧩Separation Logic