Hunting for security bugs in code with AI agents: A full walkthrough
muellerberndt.medium.com·3d·
Discuss: r/programming
🛡️seL4
Practical CI-friendly Performance Tests
solidean.com·22h·
Discuss: Lobsters, r/cpp
👁️System Observability
Scaffolding for production vibe coding
interjectedfuture.com·19h·
Discuss: Hacker News
🔬Static Analysis
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Using Linters to Direct Agents
factory.ai·19h·
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·2d·
Discuss: Hacker News
💎Refinement Types
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·1d·
Discuss: Hacker News
🐳Containerization
Securing MCP Servers
corgea.com·2d·
Discuss: Hacker News
🛡️seL4
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·2d
🎮Verification Games
How I tell human and AI flash fiction apart
lesswrong.com·7h
⚡Process Calculi
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Fundamentals of Wireless Communication
web.stanford.edu·2d·
Discuss: Hacker News
📡Network Protocol Design
Why feature selection methods rarely agree (I tested five side by side)
aayushig950.substack.com·2h·
Discuss: Substack
🧪Property-Based Testing
An Approach to Grounding AI Model Evaluations in Human-derived Criteria
arxiv.org·2d
🧠Automated Reasoning
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·2d
🛡️seL4
OCR and RAG for Tables
mrm1001.github.io·1d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Why accessibility might be AI’s biggest breakthrough
arstechnica.com·1d·
Discuss: Hacker News
📚Automata Learning
6 ways to use NotebookLM to master any subject
blog.google·1d·
Discuss: Hacker News
📚Automata Learning
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·12h·
Discuss: Hacker News
🔤DSLs