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
🔍 Type Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9153
posts in
225.6
ms
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
4d
·
Discuss:
r/golang
🔠
Type-Level Programming
P -
Glossary
(Python)
dev.to
·
5d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
5d
·
Discuss:
DEV
🎮
Verification Games
What We
Learned
from Briefing 140+
Lawmakers
on the Threat from AI
lesswrong.com
·
40m
🧠
Automated Reasoning
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
15h
✅
Model Checking
Claude's
Constitution
lesswrong.com
·
49m
📐
Hoare Logic
Gauss-Newton
Unlearning
for the LLM Era
arxiv.org
·
15h
🔍
CBMC
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
5d
·
Discuss:
Hacker News
🧮
Z3
C and
Undefined
Behaviour
lelanthran.com
·
4d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🏃
Escape Analysis
Sid
Meier
's System for Real-Time Music Composition and Synthesis
patents.google.com
·
5d
·
Discuss:
Hacker News
🐫
OCaml
Controlled
Cot
: A
SystemLevel
Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com
·
6d
·
Discuss:
Substack
🧠
Automated Reasoning
Dependency
Resolution
Methods
nesbitt.io
·
6d
·
Discuss:
Hacker News
📦
OPAM
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🔧
ppx
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
4d
·
Discuss:
Hacker News
🔧
Unikernel Development
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
6d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
6d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
4d
·
Discuss:
Hacker News
🔤
Language Design
RFC 3092:
Etymology
of "
Foo
"
datatracker.ietf.org
·
4d
·
Discuss:
Hacker News
🌐
Network Protocols
Show HN: Claude has a
compiler
, I have
SlopScript
slopscript.netlify.app
·
4d
·
Discuss:
Hacker News
🔧
ppx
Show HN:
Tandem
– An open-source, local-first AI
workspace
(Rust and React)
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Loading...
Loading more...
« Page 6
•
Page 8 »
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