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
jcreedcmu.github.io
6d
6 days ago
One More Type in the Tiny Type Theory
(opens in new tab)
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
jcreedcmu.github.io
jcreedcmu.github.io
Hacker News: Newest
hnrss.org
Backtest Is Lying to You
14m
14 minutes ago
How to Build a Marketplace Startup That Solves the Chicken-and-Egg Problem
14m
14 minutes ago
Why the Cookbook Endures
17m
17 minutes ago
+260 more in the past day
Hacker News: Newest
hnrss.org
Apple Internals: Swift in the Kernel
11m
11 minutes ago
Backtest Is Lying to You
14m
14 minutes ago
Why the Cookbook Endures
17m
17 minutes ago
+378 more in the past day
emschwartz's Top Finds on Scour
scour.ing
Show HN: Chainstack Self-Hosted, hosting your own blockchain nodes made simple
1h
1 hour ago
Retrocomputing with Clash – Haskell for FPGA Hardware Design
1h
1 hour ago
The Grammar of Coding Agents
2h
2 hours ago
+21 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