⚡ Automated Reasoning - 2601

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

🔬Code Analysis Code

github.com··Hacker News

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

📐Mathematical Computing Academic

arxiv.org·

Ask HN: What has been the fate of code review?

🔬Code Analysis Discussion

news.ycombinator.com··Hacker News

DB Nerds – Try this out

🌍Minimal HTTP

kesseldb.com··Hacker News

Mankirat47/Dao-Heart-v3.14: Dao Heart v3.14 : a bounded symbolic AI value governance research scaffold for studying value drift, oversight, warmth preservation, and identity stability under pressure.

🧠Symbolic AI Code

github.com··Hacker News

Property-based testing | Liam DeVoe

✅Property Testing

tybug.dev··Hacker News

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

✓Formal Methods Academic

arxiv.org·

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

🎭Program Synthesis Blog

aws.amazon.com··Hacker News

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

🔗Dependent Types

lix.polytechnique.fr·

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

✓Formal Methods Academic

arxiv.org·

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

🧩Constraint Solvers Code

github.com··Hacker News

Design Reliable, Scalable Distributed Systems

🏗️Systems Design

fizzbee.io·

The Orchard Bug and the Unfolding Cybersecurity Reckoning

🎭Program Synthesis News Blog

bengoertzel.substack.com··Substack

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

✓Formal Methods Academic

arxiv.org·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

💬REPL Design Code

github.com··Hacker News

Less-relevant results

Where the f*ck is the Excalidraw markup table?

🎭Program Synthesis News Blog

larkmatter.substack.com··Substack

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

🎭Program Synthesis

universetoday.com··Hacker News

No more posts from 2601's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Abduction Prover in Isabelle/HOL

Programming Languages Software Award

Introducing Soteria: A New Generation of Static Analysis for Rust

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

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

Ask HN: What has been the fate of code review?

DB Nerds – Try this out

Mankirat47/Dao-Heart-v3.14: Dao Heart v3.14 : a bounded symbolic AI value governance research scaffold for studying value drift, oversight, warmth preservation, and identity stability under pressure.

Property-based testing | Liam DeVoe

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

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

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

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

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

Design Reliable, Scalable Distributed Systems

The Orchard Bug and the Unfolding Cybersecurity Reckoning

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

Where the f*ck is the Excalidraw markup table?

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'