Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Back to article
adam.chlipala.net
4w
4 weeks ago
Comparing Objective Caml and Standard ML
(opens in new tab)
Covers
debian.org - 77.0 kb
Discussed on
Hacker News
Love
Like
Not for me
Save
|
|
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Feeds
✨ Discovered from this domain
Adam Chlipala
adam.chlipala.net
Hacker News: Newest
hnrss.org
Jürgen Habermas Defended Reason in a Darkening Age
11m
11 minutes ago
ZSTD –auto it picks the optimal compression level for you
14m
14 minutes ago
Anthropic uses Persona for identity verification
17m
17 minutes ago
+357 more in the past day
matmat's Top Finds on Scour Today
scour.ing
Reviving a Dead Rover Tank with an ESP32 and a Gamepad
4h
4 hours ago
# Vector Search and RAG: A Primer
4h
4 hours ago
Your NAS needs more RAM than you think
5h
5 hours ago
+23 more in the past day
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report