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
9142
posts in
206.5
ms
VS Code
becomes
multi-agent
command
center for developers
thenewstack.io
·
4h
🔧
DevOps
Stop
Guessing
Code
Complexity
: Why Your Team Needs a Health Score"
dev.to
·
4d
·
Discuss:
DEV
📊
Runtime Verification
Human-like
metacognitive
skills will reduce LLM
slop
and aid alignment and capabilities
lesswrong.com
·
3h
📚
Automata Learning
Claude's
Constitution
lesswrong.com
·
3h
📐
Hoare Logic
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
1d
🎯
GADT
Wider
systems for linear logic with fixed points: proof theory and
complexity
arxiv.org
·
18h
🎯
Fixed Point Theory
How do I become a good
writer
?
ritza.co
·
3h
·
Discuss:
Hacker News
🔨
Compilers
The
Scottish
island that bought
itself
elysian.press
·
3h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Arianespace
successfully
launches 32 Amazon Leo satellites with the first Ariane 64
newsroom.arianespace.com
·
4h
·
Discuss:
Hacker News
💻
Apple Virtualization
The problem with
blaming
‘
ultra-processed
’ foods for obesity
greyenlightenment.com
·
3h
·
Discuss:
Hacker News
📵
Digital Minimalism
Extractive
Taxation
and the French Revolution
nber.org
·
3h
·
Discuss:
Hacker News
≤
Order Theory
Rv 0.5: Windows support, rv run,
rvx
spinel.coop
·
4h
·
Discuss:
Hacker News
🔬
Unikernels
The $100 million
bet
that
Columbus
can become America's startup capital
ohiotechnews.com
·
4h
·
Discuss:
Hacker News
🔧
DevOps
Trump Administration
Erases
the Government’s Power to Fight Climate Change
nytimes.com
·
4h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
What Won't Change
praf.me
·
4h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
charm
_ We make the command line
glamorous
charm.land
·
4h
·
Discuss:
Hacker News
💻
CLI Tools
A Wave of
Unexplained
Bot Traffic Is
Sweeping
the Web
wired.com
·
3h
·
Discuss:
Hacker News
🌐
ActivityPub
Is it AI
slop
, or AI
soup
?
skillsoup.dev
·
4h
·
Discuss:
Hacker News
🔲
Cellular Automata
Opinion | How A.I. Companies Are
Preying
on College Students
nytimes.com
·
3h
·
Discuss:
Hacker News
🎮
Verification Games
15
lessons
learned
building ChatGPT Apps
developers.openai.com
·
3h
·
Discuss:
Hacker News
🌐
Network Protocols
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