🧩 SAT Solvers - ColonelPhantom · Scour

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

📐Lean 4 Code

github.com··Hacker News

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

📐Lean 4 Academic

Less-relevant results

AI Innovations: The New Frontier of Decision-Making and Security

📐Lean 4 Blog

Proof System Timelines

λPLT Blog

Introducing Soteria: A New Generation of Static Analysis for Rust

⚙️Compiler Design Blog

soteria-tools.com··Hacker News

Witness-split + window-cardinality refinement for $r_3(N)$: Architecture, empirical results, and a structural hard pocket

📐Lean 4 Academic

Property-based testing | Liam DeVoe

🧪Software Testing

tybug.dev··Hacker News

A Study of Parallel Continuous Local Search

⚡Concurrency Academic

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

☕JVM Internals Code

github.com··Hacker News

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

λFunctional Programming Code

Exploring the landscape of compact magic-state distillation factories

⚙️Compiler Design Academic

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.

📐Lean 4 Code

github.com··Hacker News, r/LLM

mattdeeds/pico-10base-t-rs: Bit-banged 10BASE-T Ethernet + Wi-Fi router in Rust on the Raspberry Pi Pico 2 W

🚀Performance Code

github.com··Hacker News

Log in to enable infinite scrolling