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
🤖 AI
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
113
posts in
27.2
ms
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
⚙️
LLVM
On
craft
and AI
slightknack.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming
My AI
Adoption
Journey
mitchellh.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/LocalLLaMA
💻
Programming
Why I
joined
OpenAI
brendangregg.com
·
21h
·
Discuss:
Lobsters
,
Hacker News
🔮
Obsidian
Text classification with Python 3.14's
zstd
module • Max
Halford
maxhalford.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Building a privacy-first,
EU-hosted
AI chat in Rust (
Leptos
)
limbochat.com
·
2d
·
Discuss:
Hacker News
⚙️
LLVM
Personal AI is Already Here (And You’re
Probably
Not Ready)
robert-glaser.de
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚙️
LLVM
So
yeah
, I vibe-coded a log
colorizer
—and I feel good about it
arstechnica.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming
Wirth
's
Revenge
jmoiron.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
⚙️
LLVM
I miss
thinking
hard.
jernesto.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming
The
Impatient
Programmer’s Guide to
Bevy
and Rust: Chapter 7
aibodh.com
·
5d
·
Discuss:
Hacker News
🦀
Rust
Selfish
AI
garfieldtech.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming
Lambda
cube
en.wikipedia.org
·
5d
·
Discuss:
Lobsters
⚙️
LLVM
Calling
Lean
Functions
As Python
Functions
philipzucker.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming
Your App
Shouldn
't Have a
Happy
Path
erickhun.com
·
4d
·
Discuss:
Lobsters
,
r/programming
💻
Programming
Programming
Principles
in the Age of AI:
DRY
kirilltolmachev.dev
·
5d
·
Discuss:
Lobsters
💻
Programming
java
sucks
(2000)
jwz.org
·
3d
·
Discuss:
Lobsters
💻
Programming
Expensively
Quadratic
: the LLM Agent Cost Curve
blog.exe.dev
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
LLVM
pydantic/monty
: A minimal, secure Python interpreter written in Rust for use by AI
github.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
Hacker News
🦀
Rust
My Experience with
Vibe
Coding
haskellforall.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
LLVM
Loading...
Loading more...
Page 2 »
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