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
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9345
posts in
1.40
s
Tim
Cook
promises
Apple will celebrate its upcoming 50th anniversary
9to5mac.com
·
6h
🍎
Apple
The
Complex
Engineering of
Runways
hackaday.com
·
5h
🤖
Program Synthesis
How Google played a key role in
recovering
the video from Nancy
Guthrie
’s cameras
cnn.com
·
6h
·
Discuss:
Hacker News
🔬
Reverse Engineering
Announcing
NetBSD
11.0
RC1
(february 6, 2026)
netbsd.org
·
6h
·
Discuss:
Hacker News
🔧
Unikernel Development
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
6d
·
Discuss:
DEV
❓
Existential Types
Stop Writing Your Own Python
Parsers
! Use This Free API
Instead
🛑
dev.to
·
2d
·
Discuss:
DEV
🏢
Jane Street Core
Free(): Learning to
Forget
in
Malloc-Only
Reasoning Models
arxiv.org
·
1d
🧩
Separation Logic
Definability
and
Interpolation
in Philosophy
arxiv.org
·
1d
🔁
Fixed-Point Theory
Trump to Direct Pentagon to Buy
Coal
Power to
Revive
Industry
bloomberg.com
·
6h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Why the most
predictable
kind of renewable energy is also the
hardest
to use
jordanwtaylor2.substack.com
·
5h
·
Discuss:
Substack
🩹
Self-Healing Systems
Elon Musk Wants to Build an A.I.
Satellite
Factory on the
Moon
nytimes.com
·
6h
·
Discuss:
Hacker News
🧗
Climbing Tech
Wealth Manager Stocks Sink as Traders
Flee
Next AI
Casualty
finance.yahoo.com
·
5h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Software
Entrepreneurs
Are
Different
scatteredthoughts.blog
·
5h
·
Discuss:
Hacker News
🔧
DevOps
ChatGPT is having a
weirdly
hard time
discussing
Jeffrey Epstein
sfgate.com
·
6h
·
Discuss:
Hacker News
🌐
Network Protocols
Don't
Fear
the
Repo
bi6.us
·
5h
·
Discuss:
Hacker News
🔧
DevOps
Why was a
dog-humping
paedo
treated like a saint?
spiked-online.com
·
5h
·
Discuss:
Hacker News
📵
Digital Minimalism
Give
GitHub
Copilot
in VS Code a local memory
marketplace.visualstudio.com
·
6h
·
Discuss:
Hacker News
🔧
DevOps
So
whats
the next word, then? Almost-no-math
intro
to transformer models
matthias-kainer.de
·
5d
·
Discuss:
Hacker News
📚
Automata Learning
Jim
Roskind
on C
Ambiguity
pdos.csail.mit.edu
·
5d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Show HN:
Yes
, I'm building an AI
directory
in 2026
aiboom.tools
·
5h
·
Discuss:
Hacker News
❄️
Nixified Development
Loading...
Loading more...
« Page 13
•
Page 15 »
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