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
24230
posts in
1.57
s
Ethereum Signature Schemes Explained: ECDSA, BLS,
XMSS
, and Post-Quantum
leanSig
with Rust Code Examples
blog.lambdaclass.com
·
1d
🔗
Hash Chains
Less
focused
work with AI
flowingdata.com
·
22h
🤖
AI Curation
A Peek Into
Muddled
Libra
’s Operational Playbook
unit42.paloaltonetworks.com
·
8h
🔓
Hacking
Cadence
heard
you wanted some AI in your AI so it used AI to design an AI chip
theregister.com
·
11h
🔧
Hardware Verification
EdgeQuake
: Rust-powered RAG framework for production knowledge
graphs
news.ycombinator.com
·
19h
·
Discuss:
Hacker News
🦀
Rust Borrowing
Security, Cloud Costs, and Bugs: How I
solved
the Developer's Three Biggest
Nightmares
in a single app
dev.to
·
2d
·
Discuss:
DEV
🧮
Z3 Solver
How AI Is
Rewriting
Test Automation in Modern
QA
hackernoon.com
·
5d
🔍
Concolic Testing
Code
Reviews
: Here's What They Actually
Teach
Us
hackernoon.com
·
1d
📏
Code Metrics
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Language
Modeling
and Understanding Through
Paraphrase
Generation and Detection
arxiv.org
·
1d
📝
Text Embeddings
Agent-Tail
agent-tail.vercel.app
·
19m
·
Discuss:
Hacker News
📟
Terminal Forensics
Using an AI agent to design and ship a Rust
diff
fingerprinting
algorithm
argos-ci.com
·
1d
·
Discuss:
Hacker News
🔗
Binary Similarity
I
vibecoded
a production grade
internationalization
library in 2 days
sklivvz.com
·
1d
·
Discuss:
Hacker News
🌀
Brotli Internals
MySQL
with
extensions
for the agentic AI era
villagesql.com
·
17h
·
Discuss:
Hacker News
🗄️
Database Internals
The State of
Agentic
Graph
RAG
localoptimumai.substack.com
·
19h
·
Discuss:
Substack
🧮
Datalog Systems
Show HN: Claude has a
compiler
, I have
SlopScript
slopscript.netlify.app
·
2d
·
Discuss:
Hacker News
⚔️
Lean Tactics
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Data Modeling for the Agentic Era:
Semantics
, Speed, and
Stewardship
rilldata.com
·
1d
·
Discuss:
Hacker News
🔢
Denotational Semantics
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
1d
·
Discuss:
Hacker News
,
r/programming
📏
Code Metrics
what a software factory can
teach
creatives
about working with AI
codeforcreatives.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
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