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
🔗 Curry-Howard
Proofs as Programs, Type Theory, Isomorphism, Constructive Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8686
posts in
142.4
ms
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
3d
🧮
Lambda Calculus
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
·
16h
🔁
Fixed-Point Theory
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
1d
✓
Automated Theorem Proving
Go -
Unit
&
Integration
Testing
linkedin.com
·
2d
·
Discuss:
r/programming
🧪
Property-Based Testing
C-- Home
cs.tufts.edu
·
3d
·
Discuss:
Lobsters
⚙️
Compiler Design
models have some pretty
funny
attractor
states
lesswrong.com
·
1d
🔲
Cellular Automata
Accelerating
Mathematical
and Scientific Discovery with Gemini Deep Think
deepmind.google
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
levlai/chiralipy
: pure python comp chem
github.com
·
10h
·
Discuss:
Hacker News
🐫
OCaml
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔀
OCaml Multicore
The
Redundancy
Paradox
mihirdeshpande.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
The
Timeless
Way of
Programming
(2022)
tomasp.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🤖
Program Synthesis
The
calculus
tutorial just
shipped
!
minireference.com
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
3d
·
Discuss:
Hacker News
➡️
Category Theory
From 34% to 96%: The
Porting
Initiative
Delivers
hologram.page
·
1d
·
Discuss:
Hacker News
🌐
NetworkProtocols
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
The
Observer
Lemma
zenodo.org
·
1d
·
Discuss:
Hacker News
👁️
Observability
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
5d
·
Discuss:
Hacker News
⏱️
Computational Complexity
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Lessons
from
Zig
vinniefalco.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Loading...
Loading more...
« Page 1
•
Page 3 »
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