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
123428
posts in
751.7
ms
Universal
Turing
Machine
universalturingmachine.org
·
2d
🧩
Constraint Programming
Modular
:
BentoML
Joins
Modular
modular.com
·
2d
🌲
Binary Search Trees
Even hotter take - multi parameter type classes (what in Rust you’d
conceive
of as traits with
generics
) were a mistake
bsky.app
·
3d
·
Discuss:
Bluesky
💻
Programming Languages
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
🧩
Constraint Programming
When Models
Examine
Themselves: Vocabulary-Activation Correspondence in
Self-Referential
Processing
zenodo.org
·
2d
·
Discuss:
Hacker News
🌲
Binary Search Trees
Multiplex
Thinking: Reasoning via Token-wise
Branch-and-Merge
gmlr-penn.github.io
·
4d
🧩
Constraint Programming
Safety
mechanisms
of AI models more
fragile
than expected
techzine.eu
·
2d
🌲
Binary Search Trees
Show HN: Deterministic
linguistic
enrichment
pipeline for Node.js
npmjs.com
·
2d
·
Discuss:
Hacker News
🗣️
Natural Language Parsing
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
2d
·
Discuss:
Hacker News
🌲
Binary Search Trees
New Generative
Paradigm
:
Drifting
Model
mail.bycloud.ai
·
1d
📄
Document Versioning
What's up with
Haskell
's do
notation
?
slightknack.dev
·
3d
💻
Programming Languages
It’s about to get a lot
easier
for your JavaScript to clean up after
itself
piccalil.li
·
2d
💻
Programming Languages
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
2d
📄
Document Versioning
The Adventures of a
Pythonista
in
Schemeland/30
artima.com
·
4d
💻
Programming Languages
Main
Content ||
Math
∩ Programming
jeremykun.com
·
3d
🧮
Algorithms
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
6d
·
Discuss:
Hacker News
💻
Programming Languages
ITSAKE
: an
unconditionally
secure authenticated key establishment protocol
eprint.iacr.org
·
2d
🗂️
Hash Tables
Global Protocols under
Rendezvous
Synchrony: From
Realizability
to Type Checking
arxiv.org
·
1d
🗂️
Hash Tables
I don't like
imports
kevincox.ca
·
2d
·
Discuss:
Hacker News
🏗
Datastructures
borodark/exmc
: Probabilistic programming in BEAM
github.com
·
21h
🌲
Binary Search Trees
Loading...
Loading more...
« Page 6
•
Page 8 »
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