Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·15h·
Discuss: r/programming
🌐NetworkProtocols
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org·1d·
Discuss: Lobsters
🧩Parser Combinators
A Short Introduction to Tor
spec.torproject.org·15h·
Discuss: Hacker News
🌐NetworkProtocols
My review of Claude's new Code Interpreter, released under a very confusing name
simonwillison.net·12h·
Discuss: Hacker News, Hacker News
🐳Containerization
Billion-Line Days Demand Billion-Test Nights
momentic.ai·16h·
Discuss: Hacker News
🤖Program Synthesis
Built an AI news agent that stops information overload
reckoning.dev·22h·
Discuss: Hacker News
🩹Self-Healing Systems
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
How I tell human and AI flash fiction apart
lesswrong.com·22m
⚡Process Calculi
Show HN: Claude-Powered Survival Analysis with One-Click Models (Onco-Insight)
dataize.me·4h·
Discuss: Hacker News
👁️System Observability
Hunting for security bugs in code with AI agents: A full walkthrough
muellerberndt.medium.com·2d·
Discuss: r/programming
🛡️seL4
Practical CI-friendly Performance Tests
solidean.com·15h·
Discuss: Lobsters, r/cpp
👁️System Observability
Scaffolding for production vibe coding
interjectedfuture.com·12h·
Discuss: Hacker News
🔬Static Analysis
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Clankers Die on Christmas
remyhax.xyz·1d·
Discuss: Hacker News
📚Automata Learning
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·1d·
Discuss: Hacker News
💎Refinement Types
Using Linters to Direct Agents
factory.ai·13h·
Discuss: Hacker News
🔄Reproducible Builds
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·1d·
Discuss: Hacker News
🐳Containerization
Securing MCP Servers
corgea.com·1d·
Discuss: Hacker News
🛡️seL4
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·2d
🎮Verification Games
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·20h·
Discuss: Hacker News
🐫Embedded OCaml