SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Feeds to Scour
SubscribedAll
Scoured 13823 posts in 172.8 ms
A Unique Performance Optimization for a 3D Geometry Language
cprimozic.net·7h·
⬆️Lambda Lifting
Preview
Report Post
PLI 7.10 - Bypassing AI Knowledge Cutoffs with Auto-Data Synthesis
vibe.forem.com·11h·
Discuss: DEV
🧮SMT Solvers
Preview
Report Post
Making Redstone circuits with SAT solvers
alloc.dev·1d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Automated Theorem Proving for Prolog Verification
arxiv.org·3d
🧮Theorem Proving
Preview
Report Post
The Perl Claude Agent
dev.to·43m·
Discuss: DEV
Proof Automation
Preview
Report Post
Out-of-Context: Constrained Tool Based Exploration of Context
gojiberries.io·9h·
Discuss: Hacker News
🌳Context free grammars
Preview
Report Post
research!rsc: Pulling a New Proof from Knuth’s Fixed-Point Printer
research.swtch.com·18h·
📐Interval Arithmetic
Preview
Report Post
Data Science Spotlight: Selected Problems from Advent of Code 2025
towardsdatascience.com·1d
🌳Trie Structures
Preview
Report Post
Halting Problem
en.wikipedia.org·13h·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
A Zeckendorf table in Python
leancrew.com·9h
🧮Algebraic Datatypes
Preview
Report Post
The Staggering Complexity and Subtlety of Concurrency
hackaday.com·2d
Parallel Computing
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.com·2d
Bidirectional Programming
Preview
Report Post
Reversible Computation as a software construction paradigm
news.ycombinator.com·3h·
Discuss: Hacker News
Incremental Computation
Preview
Report Post
The Rustonomicon – The Dark Arts of Advanced and Unsafe Rust Programming
doc.rust-lang.org·13h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Submitting Haskell functions to Z3
newartisans.com·5d
🔗Functional Compilers
Preview
Report Post
Beyond Python: Why LLMs Need More Stable, Open Source Code
thenewstack.io·16h
🔄Language Evolution
Preview
Report Post
TinyOS 2.1.2 printfUART Global Buffer Overflow via Unbounded Format Expansion
seclists.org·4h
Format Verification
Preview
Report Post
Issue 506
haskellweekly.news·2d
🔗Functional Compilers
Preview
Report Post
Java Generics and Collections • Maurice Naftalin & Stuart Marks
youtube.com·1d
λLambda Formalization
Preview
Report Post
Better Compression with Zstandard
gregoryszorc.com·2h
Modern Compression
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help