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
⚡ Proof Automation
Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22955
posts in
663.2
ms
Collaborate Where You
Analyze
: Teams Moves Inside
IDA
hex-rays.com
·
17h
🏛️
Mainframe Archaeology
Compiler-Driven Static Analysis
Locking
Context Checking
Merged
For Linux 7.0
phoronix.com
·
1d
🦀
Rust Verification
I'm a former Big Four
consultant
who
trains
AI to do consulting. Here's how it could change the job.
businessinsider.com
·
1d
⚔️
Lean Tactics
Deploying
Rust to production
checklist
kerkour.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
4d
·
Discuss:
DEV
👑
Isabelle
Nobody
Gets There Alone: We Need A Community
Roadmap
for Agentic Engineering
hackernoon.com
·
1d
🔌
Interface Evolution
Architecture
of
SQLite
sqlite.org
·
1d
·
Discuss:
Hacker News
🗄️
SQLite Internals
Artisan
: Agentic
Artifact
Evaluation
arxiv.org
·
1d
📄
Document Digitization
AIDev
:
Studying
AI Coding Agents on GitHub
arxiv.org
·
1d
📐
Proof Assistants
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
13h
·
Discuss:
Hacker News
📊
Quantization
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
3d
·
Discuss:
Hacker News
🎯
Gradual Typing
How We Built the Fastest
Kimi
K2.5
on Artificial Analysis
baseten.co
·
21h
·
Discuss:
Hacker News
🎯
Performance Proofs
Stack
Overflow
for AI Coding Agents
shareful.ai
·
3d
·
Discuss:
Hacker News
,
Hacker News
🔗
Constraint Handling
Someone
forked
my AI governance repo to
distribute
malware
reducibl.com
·
20h
·
Discuss:
Hacker News
🚀
Indie Hacking
Claude Code Is Being
Dumbed
Down
symmetrybreak.ing
·
18h
·
Discuss:
Hacker News
🔓
Reverse engineering
An AI got $100 to trade crypto. Day 9:
fired
,
rebuilt
its system 5 times
luckyclaw.win
·
20h
·
Discuss:
Hacker News
🔗
Hash Chains
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
Show HN: See what your AI agents do under the
hood
pingpulsehq.com
·
21h
·
Discuss:
Hacker News
🏠
Homelab Pentesting
I Let AI Agents Train Their Own Models. Here's What Actually
Happened
.
hamzamostafa.com
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
Program management update — January 2026
blog.rust-lang.org
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
Loading...
Loading more...
« Page 17
•
Page 19 »
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