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
🌿 git
diffing algorithms, version control
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18994
posts in
344.9
ms
Programming
with AI, Without the
Hype
albertovarela.net
·
5d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
As
Rocks
May Think
evjang.com
·
5d
·
Discuss:
Hacker News
,
r/programming
📼
Tape Combinators
Writing
the Code That
Powers
Your Code
thelinell.com
·
5d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Atlas
v1.1: Database Security as Code,
Declarative
Data Management, and More
atlasgo.io
·
6d
·
Discuss:
Hacker News
🗄️
Database Internals
GitHub discusses giving
maintainers
control to disable
PRs
github.com
·
6d
·
Discuss:
Hacker News
,
r/opensource
📦
Git LFS
ReARM 26.01.173:
VDR
Export, Finding
Changelogs
, and More
rearmhq.com
·
5d
·
Discuss:
Hacker News
🦋
Format Metamorphosis
Coding Agents Need More Than
Examples
. They Need
Guardrails
.
medium.com
·
5d
·
Discuss:
Hacker News
🦋
Format Evolution
Learning to Repair
Lean
Proofs
from Compiler Feedback
arxiv.org
·
4d
⚔️
Lean Tactics
Drawing Genealogy Graphs. Part 1: Tree Drawing Using
Reingold-Tilford
Algorithm
tbt.qkation.com
·
6d
·
Discuss:
Hacker News
🌳
Format Genealogy
Your App
Shouldn
't Have a
Happy
Path
erickhun.com
·
6d
·
Discuss:
Lobsters
,
r/programming
🔐
Capability Systems
Where the Work Goes When Agents
Arrive
dreamiurg.net
·
6d
·
Discuss:
Hacker News
💾
Persistence Strategies
Small Projects
reddit.com
·
6d
·
Discuss:
r/golang
⚙️
DIY Electronics
Agent Identity for
Git
Commits
justin.poehnelt.com
·
6d
·
Discuss:
Hacker News
🌳
Git Internals
Show HN: Turn
fuzzy
ideas
into build-ready plans with AI
agiloop.ai
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
We built a web
IDE
where AI
edits
structured code instead of text
stellisoft.com
·
5d
·
Discuss:
Hacker News
🦀
Rust Macros
local-first
context
manager for AI coding
workflows
contextpin.com
·
5d
·
Discuss:
Hacker News
⚡
SMT Integration
Everything I've
Done
with
OpenClaw
(So Far)
madebynathan.com
·
5d
·
Discuss:
Hacker News
🪟
Awesome windows command-line
Automating
AV
Archival
Workflows: Part 2
eddycolloton.com
·
6d
🤖
Archive Automation
Closing the Loop: Universal
Repository
Representation with
RPG-Encoder
arxiv.org
·
5d
🔗
Archive Combinators
I
struggled
to code with AI until I learned this
workflow
newsletter.systemdesign.one
·
6d
·
Discuss:
r/programming
⚡
Proof Automation
Loading...
Loading more...
« Page 7
•
Page 9 »
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