Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
5431
posts in
15.4
ms
Form
Follows
Function:
Recursive
Stem Model
arxiv.org
·
1d
📚
Automata Learning
gvergnaud/ts-pattern
: 🎨 The
exhaustive
Pattern Matching library for TypeScript, with smart type inference.
github.com
·
4d
·
Discuss:
Hacker News
🔧
ppx
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
6h
🔍
Formal Verification
Are
Dependent
Types in Set Theory
Feasible
?
arxiv.org
·
3d
🔠
Type-Level Programming
Affine
Space
Types
videocortex.io
·
2d
·
Discuss:
Lobsters
🔢
Algebraic Data Types
In search of
falsehood
– using
Opus
4.6 to prove False
tristan.st
·
10h
·
Discuss:
Hacker News
📐
Hoare Logic
Ask HN: I built a
geometric
reasoning
engine
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧩
Separation Logic
Surfacing
Hidden Privacy Risks in Code: Lessons from LLM and Retrieval
Assisted
Detection
usenix.org
·
10h
🛡️
seL4
A comprehensive database of
categories
and their
properties
catdat.app
·
5h
·
Discuss:
Hacker News
➡️
Category Theory
Context
Broker
for AI Coding Agents
packet28.dev
·
13h
·
Discuss:
Hacker News
🧩
Parser Combinators
🦀
Statum
:
Zero-Boilerplate
Compile-Time State Machines in Rust
reddit.com
·
1d
·
Discuss:
r/rust
🏗️
Dune
An alternative
derivation
of
Shannon
entropy.
iczelia.net
·
8h
·
Discuss:
Hacker News
🧮
Lambda Calculus
The
joy
of
reading
the code
pdole.ga
·
1d
·
Discuss:
Lobsters
🎯
GADT
Less-relevant results
Newcomb
's
Paradox
Simulation
lesswrong.com
·
1d
🔲
Cellular Automata
creationix/rx
: RX
encoder
, decoder, and CLI data tool
github.com
·
6h
❓
Existential Types
I
wrote
an
article
about how I first started to program
artificesoftware.com
·
1d
·
Discuss:
Hacker News
,
r/programming
💾
Retro Computing
Omnilingual
MT
: Machine Translation for 1,600 Languages
ai.meta.com
·
1d
·
Discuss:
Hacker News
📚
Automata Learning
Ask HN: How do you
distinguish
prompt issues from model
failures
in LLMs today
news.ycombinator.com
·
13h
·
Discuss:
Hacker News
🛡️
seL4
Good
Haskell
Libraries
jackkelly.name
·
2d
·
Discuss:
Lobsters
🏢
Jane Street Core
iPhone 18
rumors
say Pro models will get exclusive camera upgrade
9to5mac.com
·
13h
🍎
Apple
Loading...
Loading more...
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