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 Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9145
posts in
160.9
ms
Exploring
Homebrew
for the
Pokémon
Mini
hackaday.com
·
2h
🔬
Unikernels
VS Code
becomes
multi-agent
command
center for developers
thenewstack.io
·
3h
🔧
DevOps
Stop
Guessing
Code
Complexity
: Why Your Team Needs a Health Score"
dev.to
·
4d
·
Discuss:
DEV
📊
Runtime Verification
Multiverse
sampling
assumption
lesswrong.com
·
2h
🔢
Philosophy of Mathematics
Human-like
metacognitive
skills will reduce LLM
slop
and aid alignment and capabilities
lesswrong.com
·
2h
📚
Automata Learning
Computational
Explorations
on
Semifields
arxiv.org
·
1d
🔀
Brzozowski Derivatives
ICE’s
Unconstitutional
Double Standard for
Protesters
lawfaremedia.org
·
2h
·
Discuss:
Hacker News
🛡️
macOS Security
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
1d
🎯
GADT
How do I become a good
writer
?
ritza.co
·
2h
·
Discuss:
Hacker News
🔨
Compilers
The problem with
blaming
‘
ultra-processed
’ foods for obesity
greyenlightenment.com
·
2h
·
Discuss:
Hacker News
📵
Digital Minimalism
Extractive
Taxation
and the French Revolution
nber.org
·
2h
·
Discuss:
Hacker News
≤
Order Theory
Beneficial
health effects and possible health concerns of tea
consumption
a review
maxapress.com
·
2h
·
Discuss:
Hacker News
🕸️
Graph Theory
Show HN: Digital
identity
pages
with traffic quality
thugg.lol
·
2h
·
Discuss:
Hacker News
🔒
Protocol Verification
Trump revokes landmark ruling that greenhouse
gases
endanger
public health
bbc.com
·
2h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
A Wave of
Unexplained
Bot Traffic Is
Sweeping
the Web
wired.com
·
2h
·
Discuss:
Hacker News
🌐
ActivityPub
Show HN: The
Rails
developers' guide to mobile app
frameworks
masilotti.com
·
2h
·
Discuss:
Hacker News
🔧
DevOps
Show HN: We Made Nasdaq
Parsing
Even Faster (and More
Reliable
)
lunyn.com
·
2h
·
Discuss:
Hacker News
📊
Runtime Verification
Opinion | How A.I. Companies Are
Preying
on College Students
nytimes.com
·
2h
·
Discuss:
Hacker News
🎮
Verification Games
Welcome to the
Eternal
September of open source. Here's what we plan to do for
maintainers
.
github.blog
·
2h
·
Discuss:
Hacker News
🔧
DevOps
Game
sound
effects
for Claude Code
josepvidal.dev
·
2h
·
Discuss:
Hacker News
🎮
Verification Games
Loading...
Loading more...
« Page 11
•
Page 13 »
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