The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1h·
Discuss: Hacker News
🔠Type-Level Programming
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·17h
🛡️seL4
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·4h·
Discuss: Hacker News
🧪Property-Based Testing
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·9h·
Discuss: Hacker News
🐫OCaml
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·17h
🔬Static Analysis
Beyond the Hype: 4 Ways To Use AI for Cybersecurity Defenses
thenewstack.io·3h
🤖Program Synthesis
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
arxiv.org·1d
🔄Finite State Machines
Go Assembly Mutation Testing
words.filippo.io·3h·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·6h·
Discuss: Hacker News
🐫Embedded OCaml
How Kimi 2 Became One of the Best Tool-Using Models
dbreunig.com·1d·
Discuss: Hacker News
🤖Program Synthesis
The Math Is Haunted
overreacted.io·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🎮Verification Games
Encoding SAT in OCaml GADTs
farlow.dev·3d·
Discuss: Hacker News
🐫OCaml
Our first outage from LLM-written code
sketch.dev·2h·
Discuss: Hacker News
🔬Static Analysis
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·4h·
Discuss: Hacker News
🛡️seL4
Sync primitives are Functionally Complete
kprotty.me·10h·
Discuss: Lobsters, Hacker News
🐫OCaml
TRIDENT: Benchmarking LLM Safety in Finance, Medicine, and Law
arxiv.org·1d
🐫OCaml
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·1d·
Discuss: Hacker News
🛡️seL4
Building AI flag cleanup
bucket.co·9h·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
LLM4VV: Evaluating Cutting-Edge LLMs for Generation and Evaluation of Directive-Based Parallel Programming Model Compiler Tests
arxiv.org·1d
🐫Embedded OCaml
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·1d·
Discuss: Hacker News
🛡️seL4