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
✅ formal methods
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3760
posts in
180.4
ms
What to do before
thinking
hard
timktitarev.wordpress.com
·
11h
·
Discuss:
Hacker News
⚙️
systems programming
This website used to sell
stolen
software
componentpro.com
·
11h
·
Discuss:
Hacker News
🗄️
databases
Pseudonyms
Used by Donald Trump
en.wikipedia.org
·
11h
·
Discuss:
Hacker News
🗄️
databases
A
beautiful
home for Claude Code
claudeisland.com
·
11h
·
Discuss:
Hacker News
🔄
compilers
Single-file multi-client MCP
gateway
with per-tool access
ctrl
mcp-x.org
·
11h
·
Discuss:
Hacker News
⚙️
systems programming
Linux Mint is
shutting
down its
shorter
development cycle
neowin.net
·
11h
·
Discuss:
Hacker News
⚙️
systems programming
Introducing GPT‑5.3‑
Codex
‑
Spark
openai.com
·
11h
·
Discuss:
Hacker News
🔄
compilers
Subscription-Based
API
Throttling
Without Client API Keys
metaduck.com
·
11h
·
Discuss:
Hacker News
🌐
network programming
ICE is
pushing
Minneapolis
underground
theverge.com
·
10h
·
Discuss:
Hacker News
⚙️
systems programming
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
11h
·
Discuss:
Hacker News
,
r/programming
🔄
compilers
The Many
Flavors
of
Ignore
Files
nesbitt.io
·
11h
·
Discuss:
Hacker News
🔄
compilers
EloqDoc
vs
MongoDB
- Part 1: Architecture and Design Overview
devtoolsacademy.com
·
10h
·
Discuss:
Hacker News
⚡
query optimization
Two Autonomous
Claudes
, Full System Access, No
Instructions
. An Experiment.
codingsoul.org
·
11h
·
Discuss:
Hacker News
⚙️
systems programming
Business Is the Art of
Maintenance
blog.oak.ninja
·
10h
·
Discuss:
Hacker News
⚙️
systems programming
Willow
-
Protocols
for an uncertain future
fosdem.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
systems programming
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
6d
·
Discuss:
Hacker News
🐫
ocaml
A daily updated database of startup
investments
in Europe
Newsider.com
newsider.com
·
10h
·
Discuss:
Hacker News
🗄️
databases
ANSI
Escape Code Injection in OpenAI's Codex CLI Leading to
RCE
dganev.com
·
10h
·
Discuss:
Hacker News
🐫
ocaml
Working
Yourself
Out of a Job
dak.dev
·
10h
·
Discuss:
Hacker News
⚙️
systems programming
Why am I unable to
submit
posts
containing
web addresses?
news.ycombinator.com
·
11h
·
Discuss:
Hacker News
🗄️
databases
Loading...
Loading more...
« Page 22
•
Page 24 »
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