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
143352
posts in
27.0
ms
QORA
- Native Rust LLM
Inference
Engine
huggingface.co
·
18h
·
Discuss:
DEV
🍱
Nom
Power of C++26 Reflection: Strong (
opaque
) type
definitions
godbolt.org
·
1d
·
Discuss:
r/cpp
👻
Phantom Types
Efficient
Constructions
of Finite-State Independent Normal
Pairs
arxiv.org
·
2d
🔓
Lock-Free Programming
On language models and
intuition
aleksei.dev
·
17h
🎯
Hindley-Milner
Extend
a Python-Like Language into Your Own Type-Safe
DSL
tapl-lang.org
·
1d
·
Discuss:
Hacker News
💎
Refinement Types
From
Recursion
to
Backtracking
dev.to
·
42m
·
Discuss:
DEV
⏭️
Skip Lists
Differential
Logic
• 14
inquiryintoinquiry.com
·
19h
🧮
Algebraic Effects
Gödel
,
slowly
…
logicmatters.net
·
18h
🔢
algo
Computer science
eponyms
nick-black.com
·
5h
🧮
Vector Databases
Constructing
(Co)
inductive
Types via Large Sizes
arxiv.org
·
5d
🎯
Hindley-Milner
F# Weekly #9, 2026 –
Crunching
the Technical Debt with Repo
Assist
sergeytihon.com
·
1h
💎
Refinement Types
anadim/AdderBoard
: Smallest transformer that can add two 10-digit numbers
github.com
·
22h
🌳
Pratt Parsing
TENSURE
: Fuzzing Sparse Tensor
Compilers
(Registered Report)
ndss-symposium.org
·
10h
·
Discuss:
Hacker News
🤖
TVM
Linkage
11011110.github.io
·
17h
📐
Computational Geometry
Claude Skills and
Subagents
: Escaping the Prompt Engineering
Hamster
Wheel
towardsdatascience.com
·
21h
💬
Prompt Engineering
IIFE
for Complex Initialization --
Bartlomiej
Filipek
isocpp.org
·
1d
🔨
Incremental Compilation
A Machine Learning Crash
Course
backdrifting.net
·
1d
🧠
Machine Learning
Issue 513
haskellweekly.news
·
3d
🍱
Nom
Gotchas
—
Fortran
Programming Language
fortran-lang.org
·
8h
📦
Serde
Findings
,
Feb
2026
elliotcsmith.com
·
2h
🕐
Vector Clocks
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