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
123265
posts in
1.66
s
what is the vertical
categorification
of inverse
semigroups
bsky.app
·
2d
·
Discuss:
Bluesky
🌲
Binary Search Trees
Finite model theory for
pseudovarieties
and universal algebra: preservation,
definability
and complexity
arxiv.org
·
14h
🧩
Constraint Programming
Package-Inferred
Systems are Dangerous
aartaka.me
·
2d
🏗
Datastructures
Talk:
Grats
- Bringing Implementation-First
GraphQL
to TypeScript
jordaneldredge.com
·
1d
🗂️
Columnar Storage
Proving
What's Possible
buttondown.com
·
1d
🧩
Constraint Programming
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
1d
·
Discuss:
Hacker News
🗂️
Hash Tables
A
note
on
parameterized
testing
blog.gnoack.org
·
19h
🧩
Constraint Programming
6
niche
programming
languages
developers secretly love
howtogeek.com
·
7h
💻
Programming Languages
Using Generative AI
tooling
with
Clojure
dev.solita.fi
·
1d
🗣️
Natural Language Parsing
F# 10
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
💻
Programming Languages
Bringing a
jewel-encrusted
warhammer to a knife fight
reorchestrate.com
·
22h
·
Discuss:
Hacker News
,
r/rust
🗂️
Hash Tables
Rust
Standard
Library Challenges
rustfinity.com
·
1d
·
Discuss:
r/rust
🏗
Datastructures
AI Code’s Logic Can Now Be
Checked
From Within,
Bypassing
External Tests
quantumzeitgeist.com
·
1d
🧩
Constraint Programming
GLM
5 is already on
huggingface
!
huggingface.co
·
1d
·
Discuss:
r/LocalLLaMA
📄
Document Versioning
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
2d
·
Discuss:
Hacker News
💻
Programming Languages
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
20h
·
Discuss:
Hacker News
🧩
Constraint Programming
feat: refactor initialization for
DSGE-HA
with
Rouwenhorst
by meleantonio · Pull Request #35
github.com
·
7h
🧩
Constraint Programming
Fine
Grained
Everything, and what comes after React Server
Components
blog.logrocket.com
·
1d
🗂️
Columnar Storage
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
1d
·
Discuss:
Hacker News
🗂️
Hash Tables
Distinguish
between inference scaling and "
larger
tasks use more compute"
lesswrong.com
·
1d
🌲
Binary Search Trees
Loading...
Loading more...
« Page 3
•
Page 5 »
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