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
📜 Proof Languages
Curry-Howard, Proposition Types, Constructive Logic, Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112712
posts in
436.3
ms
Wider
systems for linear logic with fixed points: proof theory and
complexity
arxiv.org
·
1d
📈
Monotonic Logic
Don't Eliminate Cut:
Exponential
Separations
in LLM-Based Theorem Proving
arxiv.org
·
1d
🧮
Theorem Provers
My
Skill
Makes Claude Code GREAT At
TDD
aihero.dev
·
11h
🧪
Compiler Testing
Formal
Verification First: How AI Supports But
Cannot
Replace It
semiengineering.com
·
18h
🎭
Program Synthesis
The
strongest
encryption
is just noise
hypertextgarden.com
·
12h
·
Discuss:
Hacker News
🔗
Hash Functions
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
2d
·
Discuss:
Hacker News
🔮
Clojure
How to Write a
Spelling
Corrector
norvig.com
·
3h
🔤
String Algorithms
You're Already Building
Petri
Nets. You're Just Building Them
Badly
.
joshtuddenham.dev
·
20h
·
Discuss:
Hacker News
🔀
Control Structures
Show HN:
Darius
– An AI router that
selects
the best model for each prompt
withdarius.com
·
4h
·
Discuss:
Hacker News
🎭
Program Synthesis
Digital Theory -- now
published
cultureandcommunication.org
·
4h
π
Pi Calculus
Resilience Engineering in .NET 8:
Polly
Pipelines
in Practice
hackernoon.com
·
7h
📦
Monorepos
A New LLM System for
Synthesis
Planning
science.org
·
2h
🎭
Program Synthesis
Knotty
Problems
alanweiss.com
·
10h
📝
Rope Editors
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
2d
·
Discuss:
DEV
🗑️
Stack Scanning GC
LISP
Prolog
and Evolution
blog.samibadawi.com
·
2d
🐪
OCaml
I built a scripting language that
compiles
to self-contained
binaries
dev.to
·
11h
·
Discuss:
DEV
🌱
Minimal Lisps
Designing a
CLAUDE.md
Context System: How I Give AI Full Project Context Without
Re-explaining
Anything
syntora.io
·
1h
·
Discuss:
DEV
🎭
Program Synthesis
The AI
hater
’s guide to code with LLMs. This is an
interesti
...
kottke.org
·
6h
📖
Literate Programming
The tool, the
craft
, and the
joy
behindtheviewfinder.com
·
11h
🔄
Bootstrapping
Agentic Engineering: What Actually Works After
Hundreds
of
Sessions
muhammadhammadkhan.substack.com
·
4h
·
Discuss:
Substack
🎭
Program Synthesis
Sign up or log in to see more results
Sign Up
Login
« Page 2
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