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, Unification, Principal Types, Let-Polymorphism
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123087
posts in
926.8
ms
Fine
Grained
Everything, and what comes after React Server
Components
blog.logrocket.com
·
2d
🗂️
Columnar Storage
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
1d
·
Discuss:
Hacker News
🗂️
Hash Tables
Endomorphisms
via
splittings
eprint.iacr.org
·
2d
📄
Document Versioning
Deferred
member
initialization
in C++
sandordargo.com
·
1d
·
Discuss:
Lobsters
🏗
Datastructures
Wheeler
Bisimulations
arxiv.org
·
2d
🌲
Binary Search Trees
C-- Home
cs.tufts.edu
·
2d
·
Discuss:
Lobsters
💻
Programming Languages
Generative
Type
experiments
brendandawes.com
·
3d
🧩
Constraint Programming
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
2d
·
Discuss:
Hacker News
🏗
Datastructures
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
2d
·
Discuss:
r/programming
🗂️
Columnar Storage
mattermost
notes.billmill.org
·
2d
🏗
Datastructures
Funktionale
Programmierung -
Verifikation
von Algorithmen mit Z3
funktionale-programmierung.de
·
2d
🧩
Constraint Programming
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
1h
🧩
Constraint Programming
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
3d
·
Discuss:
Hacker News
🧩
Constraint Programming
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
2d
·
Discuss:
r/rust
🏗
Datastructures
Redefining
Go
Functions
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
💻
Programming Languages
Mastra
: Build AI agents with a modern
TypeScript
stack
producthunt.com
·
2d
💻
Programming Languages
Fully Countering
Trusting
Trust through Diverse Double-Compiling (
DDC
) - Countering Trojan Horse attacks on Compilers
dwheeler.com
·
1d
🗂️
Hash Tables
Quick
Stack
Tiedown
artlu.bearblog.dev
·
1d
💻
Programming Languages
N-Grams
and Other
Experiments
dotterrer.bearblog.dev
·
1d
🗣️
Natural Language Parsing
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
3d
·
Discuss:
Hacker News
🗂️
Hash Tables
Loading...
Loading more...
« Page 4
•
Page 6 »
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