Verification power of rational-valued automata with deterministic and affine states
arxiv.org·17h
✅Model Checking
Designing software architecture for parallel AI sessions
rashidazarang.com·1h·
Discuss: Hacker News
🛡️seL4
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·1d·
Discuss: r/programming
💎Refinement Types
Improving state machine code generation
trifectatech.org·1d·
Discuss: r/rust
🐫Embedded OCaml
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·1d
🧠Automated Reasoning
What's new in Kotlin 2.2.20
kotlinlang.org·6h·
Discuss: Lobsters, Hacker News
💎Refinement Types
AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·11h
🎮Verification Games
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·1h·
Discuss: Hacker News
🧪Property-Based Testing
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·5h·
Discuss: Hacker News
📊Runtime Verification
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·4h·
Discuss: Hacker News
🧮Lambda Calculus
Context Pruning in Conversational Agent
poonai.xyz·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·1d·
Discuss: r/programming
🌐NetworkProtocols
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
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·9h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·8h·
Discuss: Hacker News
👁️System Observability
Standards for Age Verification
avpassociation.com·4h·
Discuss: Hacker News
🌐NetworkProtocols
Karate – Test Automation Made Simple
karatelabs.github.io·7h·
Discuss: Hacker News
❄️Nixified Development
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·8h·
Discuss: Lobsters, Hacker News, r/programming
🧠Automated Reasoning