Verification power of rational-valued automata with deterministic and affine states
arxiv.org·8h
✅Model Checking
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·17h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·23h·
Discuss: r/programming
💎Refinement Types
AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·2h
🎮Verification Games
Context Pruning in Conversational Agent
poonai.xyz·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·2d
🛡️seL4
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·21h·
Discuss: r/programming
🌐NetworkProtocols
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·1d·
Discuss: r/programming
👁️System Observability
Effects as Capabilities in Scala
nrinaudo.github.io·52m·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Using Linters to Direct Agents
factory.ai·18h·
Discuss: Hacker News
🔄Reproducible Builds
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·1d
💎Refinement Types
Prompt Snapshot Testing
ninkovic.dev·1d·
Discuss: Hacker News
🧪Property-Based Testing
Scaffolding for production vibe coding
interjectedfuture.com·18h·
Discuss: Hacker News
🔬Static Analysis
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·2h·
Discuss: Hacker News
🧱Immutable Infrastructure
The bloat of edge-case first libraries
43081j.com·16h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·14h·
Discuss: r/programming
📊Runtime Verification
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·1d·
Discuss: Hacker News
🔧Unikernel Development
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·1d·
Discuss: r/javascript, r/programming
💎Refinement Types