Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Theorem Proving
Automated Reasoning, SMT Solvers, Logic Programming, Isabelle
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24202
posts in
744.4
ms
Automatic
Programming
notes.billmill.org
·
6d
⚡
Proof Automation
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
6d
⚙️
Proof Engineering
★ Claude Code: /
insights
perrotta.dev
·
2d
⚡
Proof Automation
The Missing
Layer
Above AI Inference
Governance
vibe.forem.com
·
3d
·
Discuss:
DEV
🔗
Constraint Handling
**AI‑Powered Surface‑Enhanced
Infrared
Spectroscopy for Trace
Antibiotic
Detection in Milk**
dev.to
·
3d
·
Discuss:
DEV
🌈
Spectroscopy
Unlocking
the Power of Python
Generators
: A Comprehensive Guide
dev.to
·
2d
·
Discuss:
DEV
⚙️
Parser Generators
Early History of a Perfect Join
Algorithm
remy.wang
·
3d
🚀
Query Optimization
Intermediate
Results on the Complexity of
STRIPS
$_{1}^{1}$
arxiv.org
·
1d
🎯
Performance Proofs
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
λ
Lambda Encodings
Accelerate your discovery by
parallelizing
experiments
magellink.com
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
Dependency
Resolution
Methods
nesbitt.io
·
4d
·
Discuss:
Hacker News
🔗
Dependency Resolution
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
4d
·
Discuss:
Hacker News
💻
Local LLMs
CRAFT
:
Continuous
Reasoning and Agentic Feedback Tuning
huggingface.co
·
5d
·
Discuss:
Hacker News
✨
Effect Handlers
Obey
the Testing
Goat
!
obeythetestinggoat.com
·
3d
·
Discuss:
Hacker News
🔍
Concolic Testing
A Neuro Symbolic Architecture For Induced
Epistemic
Agency and System 2 Reasoning in
Quantized
Large Language Models
papers.ssrn.com
·
5d
·
Discuss:
Hacker News
🔗
Constraint Handling
A
timeline
of claims about AI/LLMs
blog.nethuml.xyz
·
3d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Spike
from July 2025:
Creating
a Programming Language using Coding Agents on GitHub
dsyme.net
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
Opus
4.5 really
changed
things
kylerush.org
·
2d
·
Discuss:
Hacker News
📚
MARC Evolution
Software
Factories
and the
Agentic
Moment
factory.strongdm.ai
·
3d
·
Discuss:
Hacker News
🔐
Capability Systems
Grumpy
Julio
plays with CLI coding agents
jmmv.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
🌳
Incremental Parsing
Loading...
Loading more...
« Page 11
•
Page 13 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help