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
3759
posts in
133.9
ms
Why you should
consider
F#
asfaload.com
·
6d
·
Discuss:
Hacker News
🐫
ocaml
New
Athens
– The First Great American City for
Families
movetonewathens.com
·
15h
·
Discuss:
Hacker News
⚙️
systems programming
AMD
surpasses
40% server
CPU
revenue share for the first time
videocardz.com
·
15h
·
Discuss:
Hacker News
,
r/hardware
⚙️
systems programming
Ex-UK gov advisors raise $
14M
for AI that predicts consumer
behaviour
10,000x faster
techfundingnews.com
·
15h
·
Discuss:
Hacker News
🗄️
databases
Python Is for Everyone: Inside the
PSF
's D&I Work Group
georgiker.com
·
15h
·
Discuss:
Hacker News
⚙️
systems programming
The World's Most
Satisfying
Checkbox
notbor.ing
·
15h
·
Discuss:
Hacker News
⚙️
systems programming
I built a
tiny
app that tells you if you can
afford
something before buying it, would love feedback
trykora.xyz
·
15h
·
Discuss:
Hacker News
,
r/SideProject
🗄️
databases
TRAMP
2.8.1 User
Manual
gnu.org
·
15h
·
Discuss:
Hacker News
⚙️
systems programming
xAI’s
Moonshot
Meeting: Layoffs, Billion-Image Floods, and a
Lunar
AI Factory (No, Really)
kirkstechtips.com
·
15h
·
Discuss:
Hacker News
⚙️
systems programming
Your Own AI Assistant for 19 Euros a Month: How
ClawHosters
and Free
APIs
Make It Possible
clawhosters.com
·
15h
·
Discuss:
Hacker News
⚙️
systems programming
Create
Audiobooks
with AI
warblize.com
·
15h
·
Discuss:
Hacker News
🔄
compilers
Economics
has failed on the climate crisis. This complexity
scientist
has a plan to fix that
theguardian.com
·
15h
·
Discuss:
Hacker News
⚙️
systems programming
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
15h
·
Discuss:
Hacker News
⚙️
systems programming
AI and the Death of the
Billable
Hour
deadneurons.substack.com
·
15h
·
Discuss:
Substack
⚙️
systems programming
Claude
Opus
4.6
Escalates
Things Quickly
thezvi.substack.com
·
15h
·
Discuss:
Substack
⚡
query optimization
Show HN: A free online British
accent
generator for instant voice
conversion
audioconvert.ai
·
14h
·
Discuss:
Hacker News
🔄
compilers
A
beautiful
home for Claude Code
claudeisland.com
·
14h
·
Discuss:
Hacker News
🔄
compilers
Single-file multi-client MCP
gateway
with per-tool access
ctrl
mcp-x.org
·
14h
·
Discuss:
Hacker News
⚙️
systems programming
Beyond
agentic
coding
haskellforall.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
⚙️
systems programming
OpenClaw
:
180K
Stars, a Critical CVE, and Agentic AI's Security Wake-Up Call
learndevrel.com
·
14h
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 26
•
Page 28 »
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