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
🔬 Hindley-Milner
Type Inference, Principal Types, Polymorphism, Type Reconstruction
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
111703
posts in
492.5
ms
Programming
languages
mothcodes.bearblog.dev
·
6h
🔬
programming language theory
Markovian
protocols and an upper bound on the extension complexity of the matching
polytope
arxiv.org
·
11h
⏭️
Skip Lists
(Re)
Discovering
Natural
Laws
lesswrong.com
·
18h
🔗
Concatenative Theory
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
12h
·
Discuss:
Hacker News
,
r/compsci
🔍
ML Language
Category
Theory, AI and Jobs
deadneurons.substack.com
·
2h
·
Discuss:
Substack
🔍
ML Language
Cryptopals-57
solution
dev.to
·
1h
·
Discuss:
DEV
🔒
Rust Borrowing
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
1d
🎭
Staged Interpreters
Unlocking Lightweight Search: A Look at `
bm25-lite
` for TypeScript
github.com
·
4h
·
Discuss:
DEV
🌈
Gradual Languages
Addendum
: Data splitting against information leakage with
DataSAIL
nature.com
·
3h
🔄
Subinterpreters
Completed
Hyperparameter
Transfer across Modules, Width, Depth, Batch and
Duration
machinelearning.apple.com
·
16h
🏗️
MLIR
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
⚡
functional programming
Generics
docs.modular.com
·
2d
🔗
Go Generics
Associated prime
ideals
and regular elements in
polynomial
rings
freedommathdance.blogspot.com
·
1h
·
Discuss:
freedommathdance.blogspot.com
🔗
Borrowing Extensions
Recursive
Language Models: Stop
Stuffing
the Context Window
nlp.elvissaravia.com
·
20h
🪜
Recursive Descent
The missing
call-assign
operator
kevincox.ca
·
58m
·
Discuss:
Hacker News
😴
Lazy Evaluation
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
19h
·
Discuss:
Hacker News
🎰
Parsing Machines
Olmix
: A framework for data mixing throughout
LM
development
allenai.org
·
25m
🌳
Pattern Match Compilation
Atomistic
, but non-complete
lattices
dominiczypen.wordpress.com
·
6h
🔶
Lattice Theory
My
Skill
Makes Claude Code GREAT At
TDD
aihero.dev
·
1h
🧪
Compiler Testing
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
3d
·
Discuss:
Hacker News
⚡
functional programming
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