🧠 Automated Reasoning - tiferrei

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

🔍CBMC Code

github.com··Hacker News

Proof System Timelines

🔗Curry-Howard Blog

klatz.co·

Introducing Soteria: A New Generation of Static Analysis for Rust

🔬Static Analysis Blog

soteria-tools.com··Hacker News

DB Nerds – Try this out

🌐NetworkProtocols

kesseldb.com··Hacker News

Programming Languages Software Award

✓Automated Theorem Proving

sigplan.org·

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

⚙️Compiler Design Blog

blog.quarkslab.com·

Introducing Jo — Secure Programming for the AI Era

🌐Open Source Blog

jo-lang.org··Hacker News

Property-based testing | Liam DeVoe

🧪Property-Based Testing

tybug.dev··Hacker News

Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise

🔬Static Analysis

newrepublic.com·

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

🔬Static Analysis Academic

arxiv.org·

Shrivastava-Aditya/boolean-algebra-engine: Deterministic boolean algebra engine — evaluates expressions, detects contradictions, audits logic rules. MCP server, NL layer, REST API, CLI, Streamlit UI.

🔌APIs Code

github.com··Hacker News, r/LLM

Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me

🔐Cybersecurity Blog Discussion

tildalice.io·

Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection

🧮Z3 Academic

arxiv.org·

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

λFunctional Programming Code

github.com·

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

🔍Formal Verification Academic

arxiv.org·

The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface

🔬Static Analysis Academic

arxiv.org·

SAT-Physical Thermodynamic Framework: treating constraints as a thermal system

💻CS Code

github.com··Hacker News

The Complexity of Asynchronous HyperLTL

⏳LTL Academic

arxiv.org·

A Proof in Coq that Core Logic is not Paraconsistent

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

Proof System Timelines

Introducing Soteria: A New Generation of Static Analysis for Rust

DB Nerds – Try this out

Programming Languages Software Award

Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation

Introducing Jo — Secure Programming for the AI Era

Property-based testing | Liam DeVoe

Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise

RECON: An LLM-Enhanced Backward Constraint Analysis Framework

Shrivastava-Aditya/boolean-algebra-engine: Deterministic boolean algebra engine — evaluates expressions, detects contradictions, audits logic rules. MCP server, NL layer, REST API, CLI, Streamlit UI.

Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me

Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

The Windows IOCTL Census: A Corpus-Scale, Multi-Architecture Database of the Driver Control-Code Surface

SAT-Physical Thermodynamic Framework: treating constraints as a thermal system

The Complexity of Asynchronous HyperLTL