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
24139
posts in
1.11
s
Coding Classic
Arcade
Games with Claude
julsimon.medium.com
·
2d
📼
Retro Games
Automatic
Programming
notes.billmill.org
·
6d
⚡
Proof Automation
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
6d
⚙️
Proof Engineering
On This Day in
Math
pballew.blogspot.com
·
3d
·
Discuss:
Blogger
📜
Manuscript Calculus
★ 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
·
3d
·
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
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Accelerate your discovery by
parallelizing
experiments
magellink.com
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
💻
Programming languages
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
4d
·
Discuss:
Hacker News
💻
Local LLMs
Dependency
Resolution
Methods
nesbitt.io
·
4d
·
Discuss:
Hacker News
🔗
Dependency Resolution
Self-improving
CLAUDE.md
files
martinalderson.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
CRAFT
:
Continuous
Reasoning and Agentic Feedback Tuning
huggingface.co
·
5d
·
Discuss:
Hacker News
✨
Effect Handlers
Spike
from July 2025:
Creating
a Programming Language using Coding Agents on GitHub
dsyme.net
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
"
Compiled
"
Specs
deepclause.substack.com
·
3d
·
Discuss:
Substack
⚡
Proof Automation
Loading...
Loading more...
« Page 12
•
Page 14 »
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