Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Hindley-Milner
🎯 Hindley-Milner
Specific
Type Inference, Unification, Polymorphism, ML-family
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
67
posts in
15.0
ms
Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer
types
, I wished Go had unions too. In fact, Go should just ...
🎯
GADT
lmika.org
·
1d
1 day ago
Actions for Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...
Starting Work at Jane Street
🐫
OCaml
Content type:
Blog
hazelduvall.dev
·
16h
16 hours ago
Actions for Starting Work at Jane Street
Tetsuwan Scientific | Software Engineer | San Francisco (SoMa) | ONSITE | Full-t...
📦
Module Systems
Content type:
Discussion
news.ycombinator.com
·
6d
6 days ago
·
Hacker News
Actions for Tetsuwan Scientific | Software Engineer | San Francisco (SoMa) | ONSITE | Full-t...
Strudel REPL – Audio Programming Language
λ
Functional Programming
gamefromscratch.com
·
1d
1 day ago
Actions for Strudel REPL – Audio Programming Language
Cross-border library in Quebec opens new Canadian entrance
🎁
Monads
Content type:
News
theglobeandmail.com
·
6h
6 hours ago
Actions for Cross-border library in Quebec opens new Canadian entrance
[eCHO News] Episode #106: Writing eBPF in
Haskell
. Cilium and
Star
Wars
⎈
Kubernetes
isovalent-9197153.hs-sites.com
·
5d
5 days ago
Actions for [eCHO News] Episode #106: Writing eBPF in Haskell. Cilium and Star Wars
Seattle mayor rebuts candidate’s claim about homelessness issue | Arkansas Democrat Gazette
🎁
Monads
Content type:
News
arkansasonline.com
·
4d
4 days ago
Actions for Seattle mayor rebuts candidate’s claim about homelessness issue | Arkansas Democrat Gazette
We Cut Semgrep's Taint Analysis Time by 75%
📦
Module Systems
Content type:
Blog
semgrep.dev
·
2d
2 days ago
·
Hacker News
Actions for We Cut Semgrep's Taint Analysis Time by 75%
Static
types
and shovels (2026)
🔢
Algebraic Data Types
carefully.understood.systems
·
10h
10 hours ago
·
Lobsters
Actions for Static types and shovels (2026)
I’m a new man after ‘toxic’ split says James
Haskell
as he thanks ‘badass’ Chloe Madeley for helping turn life around
🎁
Monads
Content type:
News
thesun.co.uk
·
4d
4 days ago
Actions for I’m a new man after ‘toxic’ split says James Haskell as he thanks ‘badass’ Chloe Madeley for helping turn life around
AeroWomen in Yeovil highlights women's role in space exploration
🎁
Monads
Content type:
News
bbc.com
·
22h
22 hours ago
Actions for AeroWomen in Yeovil highlights women's role in space exploration
Border-straddling library inaugurates new Canadian entrance
🎁
Monads
Content type:
News
sootoday.com
·
6h
6 hours ago
Actions for Border-straddling library inaugurates new Canadian entrance
Jas: AI-Paired Engineering as a Revival of N-Version Programming
📦
Module Systems
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Jas: AI-Paired Engineering as a Revival of N-Version Programming
Spencer Pratt claims L.A.’s homeless will move to Seattle if he’s elected mayor
🎁
Monads
Content type:
News
columbian.com
·
6d
6 days ago
Actions for Spencer Pratt claims L.A.’s homeless will move to Seattle if he’s elected mayor
New comment by seanwilson in "Ask HN: Who wants to be hired? (June 2026)"
🌐
Static Sites
Content type:
Discussion
news.ycombinator.com
·
5d
5 days ago
·
Hacker News
Actions for New comment by seanwilson in "Ask HN: Who wants to be hired? (June 2026)"
Programming Languages Software Award
✓
Automated Theorem Proving
sigplan.org
·
20h
20 hours ago
Actions for Programming Languages Software Award
Implementing Monads with Async Zig
λ
Functional Programming
Content type:
Blog
platypro.net
·
1d
1 day ago
·
Hacker News
Actions for Implementing Monads with Async Zig
Pasteur, a zero-knowledge pastebin as an unikernel in
OCaml
🔬
Unikernels
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for Pasteur, a zero-knowledge pastebin as an unikernel in OCaml
I wish Deno would keep doing what it does best
🎁
Monads
hackers.pub
·
2d
2 days ago
·
Lobsters
,
Hacker News
,
r/javascript
Actions for I wish Deno would keep doing what it does best
Property-based testing | Liam DeVoe
🧪
Property-Based Testing
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
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
Save / unsave
s
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