🧩 Constraint Solvers - 2601 · Scour

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

⚡Automated Reasoning Code

github.com··Hacker News

DiBS: Diffusion-Informed Branch Selection

⚡Partial Evaluation Academic

Introducing Soteria: A New Generation of Static Analysis for Rust

🔬Code Analysis Blog

soteria-tools.com··Hacker News

They had 64KB. They built the world

📚Self-Documenting Code

programmersatwork.net··Hacker News

Revisiting the shutdown problem

🚂Error Propagation Academic

Mix, Don't Pick: Why Synthetic Corpus Composition Matters for Time Series Foundation Model Pretraining

🐍Mamba SSM Academic

ekorbia/xword-pipeline: Dense NYT-style crossword puzzle pipeline: Rust fill-engine + Claude clue writer/QA/explain process

💬Interactive REPLs Code

github.com··Hacker News

Reinforcement Learning and Optimal Control Book (RIP Dimitri Bertsekas)

⚡Partial Evaluation Academic

web.mit.edu··Hacker News

Property-based testing | Liam DeVoe

✅Property Testing

tybug.dev··Hacker News

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

⚡Automated Reasoning Code

github.com··Hacker News

Benchmarking Open-Ended Multi-Agent Coordination in Language Agents

🕸️Interaction Nets Academic

Road to WWDC 2026: What’s a developer?

🎮Language Ergonomics

sixcolors.com··Hacker News

No more posts from 2601's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Log in to enable infinite scrolling