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, Principal Types, Let-Polymorphism
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
68
posts in
8.2
ms
Property-based testing | Liam DeVoe
🧩
Constraint Programming
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
☕ Issue 524
🗜️
Compression Algorithms
java.libhunt.com
·
6d
6 days ago
Actions for ☕ Issue 524
Daily Record | Arkansas Democrat Gazette
🗄
Databases
Content type:
News
arkansasonline.com
·
6d
6 days ago
Actions for Daily Record | Arkansas Democrat Gazette
Veo with Anders Hellerup Madsen and Gorm Casper
💻
Programming Languages
corrode.dev
·
6d
6 days ago
·
r/rust
Actions for Veo with Anders Hellerup Madsen and Gorm Casper
geohot/fromthetransistor: From the Transistor to the Web Browser, a rough outline for a 12 week course
💻
Programming Languages
Content type:
Code
github.com
·
1d
1 day ago
·
Hacker News
Actions for geohot/fromthetransistor: From the Transistor to the Web Browser, a rough outline for a 12 week course
Tri-State distillery announces closure, blames declining business in area's downtown
🧩
Constraint Programming
Content type:
News
local12.com
·
6d
6 days ago
Actions for Tri-State distillery announces closure, blames declining business in area's downtown
Error Handling in Rust vs. Exceptions in other languages
⚡
Effect Systems
slicker.me
·
10h
10 hours ago
·
r/rust
Actions for Error Handling in Rust vs. Exceptions in other languages
12.06.26 Night of Science at Goethe University, Riedberg Campus
🏗
Datastructures
nightofscience.de
·
1d
1 day ago
·
r/frankfurt
Actions for 12.06.26 Night of Science at Goethe University, Riedberg Campus
I wish Deno would keep doing what it does best
💻
Programming Languages
hackers.pub
·
3d
3 days ago
·
Lobsters
,
Hacker News
,
r/javascript
Actions for I wish Deno would keep doing what it does best
See more headlines & perspectives - Trump Previews Fall Strategy With Baseless Claims of California Vote Fraud
📄
Document Versioning
news.google.com
·
2d
2 days ago
Actions for See more headlines & perspectives - Trump Previews Fall Strategy With Baseless Claims of California Vote Fraud
F# Weekly #23, 2026 – Wolverine/Marten F# Improvements
🗂️
Columnar Storage
sergeytihon.com
·
4d
4 days ago
Actions for F# Weekly #23, 2026 – Wolverine/Marten F# Improvements
Nontrailing separators do not spark joy
🧩
Constraint Programming
Content type:
News
Computer Things via buttondown.com
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for Nontrailing separators do not spark joy
Is the peptide craze backed by science? The promise behind the hype
🗜️
Compression Algorithms
Content type:
Academic
nature.com
·
1d
1 day ago
Actions for Is the peptide craze backed by science? The promise behind the hype
book-assets/supplements/function-sets.md
at master · logicforprogrammers/book-assets
🧩
Constraint Programming
Content type:
Code
github.com
·
6d
6 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
New Scientist recommends a brilliant take on the evolution of birds
📄
Document Versioning
newscientist.com
·
21h
21 hours ago
Actions for New Scientist recommends a brilliant take on the evolution of birds
Why Compiler Engineers Rarely Use Strassen's
Algorithm
for Fast Matrix Multiplications
🧩
Constraint Programming
Content type:
News
Content type:
Blog
leetarxiv.substack.com
·
2d
2 days ago
·
Substack
,
r/programming
Actions for Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
Kentucky Derby And Belmont Wins Have Golden Tempo As Top 3-Year-Old
🔀
CRDTs
forbes.com
·
4d
4 days ago
Actions for Kentucky Derby And Belmont Wins Have Golden Tempo As Top 3-Year-Old
I bought peptides with crypto. How my purchase helped fuel a $100 million gray-market, ‘looksmaxxing’ economy
🗂️
Hash Tables
fortune.com
·
1w
1 week ago
Actions for I bought peptides with crypto. How my purchase helped fuel a $100 million gray-market, ‘looksmaxxing’ economy
Google's gigawatt gamble: the Meitner Energy Center Texas data center
🗂️
Columnar Storage
ppc.land
·
6d
6 days ago
Actions for Google's gigawatt gamble: the Meitner Energy Center Texas data center
janestreet/strace_ui: A Bonsai_term application for interactively viewing strace output
⚙️
Zstandard
Content type:
Code
github.com
·
3d
3 days ago
Actions for janestreet/strace_ui: A Bonsai_term application for interactively viewing strace output
Sign up or log in to see more results
Sign Up
Login
« Page 2
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