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
9202
posts in
84.1
ms
Stop
Guessing
Code
Complexity
: Why Your Team Needs a Health Score"
dev.to
·
4d
·
Discuss:
DEV
📊
Runtime Verification
S -
Glossary
(Python)
dev.to
·
5d
·
Discuss:
DEV
🔢
Algebraic Data Types
How Secret Loyalty
Differs
from Standard
Backdoor
Threats
lesswrong.com
·
6m
🔒
Protocol Verification
Gauss-Newton
Unlearning
for the LLM Era
arxiv.org
·
13h
🔍
CBMC
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
13h
✅
Model Checking
What Happens When
Strangers
Can
Confess
Anything
indiehackers.com
·
21m
·
Discuss:
Hacker News
❓
Existential Types
Seattle-based
Highspot
is merging with rival
Seismic
in major sales software deal
geekwire.com
·
23m
·
Discuss:
Hacker News
🌐
ActivityPub
I
died
for 40 minutes – here's what it
taught
me about life
bbc.com
·
18m
·
Discuss:
Hacker News
🩹
Self-Healing Systems
I let my 6-year-old shape a space shooter and
implemented
it.
Phaser
and Next.js
astroavocado.com
·
14m
·
Discuss:
Hacker News
🔲
Cellular Automata
Rv 0.5: Windows support, rv run,
rvx
spinel.coop
·
24m
·
Discuss:
Hacker News
🔬
Unikernels
Workledger
– An offline first engineering
notebook
about.workledger.org
·
32m
·
Discuss:
Hacker News
🔧
Unikernel Development
Real-time
PathTracing
with global illumination in
WebGL
erichlof.github.io
·
19m
·
Discuss:
Hacker News
🔲
Cellular Automata
The $100 million
bet
that
Columbus
can become America's startup capital
ohiotechnews.com
·
32m
·
Discuss:
Hacker News
🔧
DevOps
The alignment tax: What product
managers
and systems
engineers
have in common
evercurrent.ai
·
15m
·
Discuss:
Hacker News
🔄
Reproducible Builds
What Won't Change
praf.me
·
28m
·
Discuss:
Hacker News
🩹
Self-Healing Systems
charm
_ We make the command line
glamorous
charm.land
·
29m
·
Discuss:
Hacker News
💻
CLI Tools
DashClaw
: Open-Source Dashboard and
Toolkit
for Agents
dash-claw.vercel.app
·
14m
·
Discuss:
Hacker News
🌐
ActivityPub
Why
agile
development is hard in
hardware
evercurrent.substack.com
·
14m
·
Discuss:
Substack
🔧
DevOps
How do you source funding news even before news
catchers
?
news.ycombinator.com
·
18m
·
Discuss:
Hacker News
🧩
Parser Combinators
How to
Recover
Cryptocurrency
news.ycombinator.com
·
25m
·
Discuss:
Hacker News
🔬
Reverse Engineering
Loading...
Loading more...
« Page 7
•
Page 9 »
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