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
⚙️ systems programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2635
posts in
143.4
ms
Hoot
: Scheme on
WebAssembly
spritely.institute
·
3d
·
Discuss:
Hacker News
🔄
compilers
Proportional
–integral–
derivative
controller
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
✅
formal methods
Jokes
on You AI: Turning the
Tables
dev-log.me
·
2d
·
Discuss:
Hacker News
✅
formal methods
C and
Undefined
Behaviour
lelanthran.com
·
2d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🔄
compilers
AI
fatigue
Is real and
nobody
talks about it
siddhantkhare.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
✅
formal methods
Oddly
Simple
GUI
Programs
simonsafar.com
·
3d
·
Discuss:
Hacker News
🔄
compilers
Exactly Once Operations: Why
Idempotency
Belongs
in the Business Layer
equatorops.com
·
4d
·
Discuss:
Hacker News
✅
formal methods
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
✅
formal methods
Building
Production-Grade
AI Systems: The
Observability
Library That Actually Works
medium.com
·
5d
·
Discuss:
Hacker News
✅
formal methods
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
✅
formal methods
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/Compilers
,
r/embedded
,
r/rust
🔄
compilers
The Story of
Heroku
(2022)
leerob.com
·
3d
·
Discuss:
Hacker News
🌐
network programming
96%
Engineers
Don’t Fully Trust AI Output, Yet Only 48%
Verify
It
newsletter.eng-leadership.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🌐
network programming
Tech
Stack
Is a Business Decision
dinkomarinac.dev
·
4d
·
Discuss:
Hacker News
,
r/programming
🔄
compilers
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonwillison.net
·
3d
·
Discuss:
Lobsters
,
Hacker News
✅
formal methods
Things
Unix
can do
atomically
rcrowley.org
·
4d
·
Discuss:
Hacker News
🔄
compilers
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔄
compilers
Bob
– Open-source AI personal agent with 170 tools, built in 3 days
github.com
·
1d
·
Discuss:
Hacker News
✅
formal methods
What does it take to build towards 100
PRs/day
per
engineer
?
jonathannen.com
·
4d
·
Discuss:
Hacker News
✅
formal methods
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
4d
·
Discuss:
Hacker News
✅
formal methods
Loading...
Loading more...
« Page 12
•
Page 14 »
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