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
9139
posts in
130.6
ms
Exploring
Homebrew
for the
Pokémon
Mini
hackaday.com
·
4h
🔬
Unikernels
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
·
4h
📚
Automata Learning
How Secret Loyalty
Differs
from Standard
Backdoor
Threats
lesswrong.com
·
4h
🔒
Protocol Verification
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
Beneficial
health effects and possible health concerns of tea
consumption
a review
maxapress.com
·
4h
·
Discuss:
Hacker News
🕸️
Graph Theory
Show HN: Digital
identity
pages
with traffic quality
thugg.lol
·
4h
·
Discuss:
Hacker News
🔒
Protocol Verification
ICE,
CBP
Knew Facial Recognition App Couldn’t Do What DHS Says It Could, Deployed It
Anyway
techdirt.com
·
4h
·
Discuss:
Hacker News
🛡️
macOS Security
How to
Lie
with Charts | Hands-On Data
Visualization
handsondataviz.org
·
3h
·
Discuss:
Hacker News
📐
Linear Algebra
Show HN: We Made Nasdaq
Parsing
Even Faster (and More
Reliable
)
lunyn.com
·
4h
·
Discuss:
Hacker News
📊
Runtime Verification
Game
sound
effects
for Claude Code
josepvidal.dev
·
4h
·
Discuss:
Hacker News
🎮
Verification Games
A Wave of
Unexplained
Bot Traffic Is
Sweeping
the Web
wired.com
·
3h
·
Discuss:
Hacker News
🌐
ActivityPub
Show HN: The
Rails
developers' guide to mobile app
frameworks
masilotti.com
·
4h
·
Discuss:
Hacker News
🔧
DevOps
GTIG
AI Threat Tracker: Distillation,
Experimentation
, and (Continued) Integration of AI for Adversarial Use
cloud.google.com
·
4h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Arianespace
successfully
launches 32 Amazon Leo satellites with the first Ariane 64
newsroom.arianespace.com
·
4h
·
Discuss:
Hacker News
💻
Apple Virtualization
Your AI
sounds
confident
. But is it right?
truthlayer.netlify.app
·
4h
·
Discuss:
Hacker News
🧠
Automated Reasoning
CodeSpeak
: Software Engineering with AI
codespeak.dev
·
3h
·
Discuss:
Lobsters
,
Hacker News
🤖
Program Synthesis
Demoing
the AI computer that doesn't yet
exist
ruperts.world
·
2h
·
Discuss:
Hacker News
🔲
Cellular Automata
Controlled
Cot
: A
SystemLevel
Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com
·
6d
·
Discuss:
Substack
🧠
Automated Reasoning
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