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
⌨️ programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2637
posts in
74.0
ms
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
💻
computing
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
2d
·
Discuss:
Substack
💻
computing
Beyond
agentic
coding
haskellforall.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
💻
computing
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
9h
·
Discuss:
Hacker News
🤖
AI
A
Newbie
's First
Contribution
to (Rust for) Linux
blog.buenzli.dev
·
1h
·
Discuss:
Hacker News
💻
computing
Executive Function as Code: using (
Doom
)
Emacs
to script my brain
milly.kittycloud.eu
·
3d
·
Discuss:
Hacker News
,
r/selfhosted
💻
computing
Compile
and Run Your First Program
emojicode.org
·
2d
·
Discuss:
Hacker News
💻
computing
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧠
machine learning
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonwillison.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧠
machine learning
Achieving
Ultra-Fast AI Chat
Widgets
cjroth.com
·
23h
·
Discuss:
Hacker News
🤖
AI
Electrobun
v1: Build fast, tiny, and cross-platform desktop apps with
TypeScript
blackboard.sh
·
7h
·
Discuss:
Hacker News
💻
computing
C and
Undefined
Behaviour
lelanthran.com
·
6h
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
💻
computing
Trying out
Coder
(
attempting
to rebuild Ramp's background agents setup in a weekend, part 2)
eliot.blog
·
52m
·
Discuss:
Hacker News
💻
computing
Show HN:
Elysia
JIT
"Compiler", why it's one of the fastest JavaScript framework
elysiajs.com
·
10h
·
Discuss:
Hacker News
,
r/javascript
,
r/node
💻
computing
The source code was the
moat
. But not
anymore
philipotoole.com
·
22h
·
Discuss:
Lobsters
,
Hacker News
💻
computing
Fast
Properties
in
V8
(2017)
v8.dev
·
4h
·
Discuss:
Hacker News
💻
computing
Writing
the Code That
Powers
Your Code
thelinell.com
·
4d
·
Discuss:
Hacker News
💻
computing
The
silent
death of Good Code
amit.prasad.me
·
21h
·
Discuss:
Hacker News
,
r/programming
💻
computing
Why Every R Package
Wrapping
External Tools Needs a
Sitrep
() Function
drmowinckels.io
·
23h
·
Discuss:
Lobsters
,
Hacker News
💻
computing
Software design is now
cheap
dottedmag.net
·
11h
·
Discuss:
Hacker News
💻
computing
Loading...
Loading more...
« Page 1
•
Page 3 »
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