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
24259
posts in
1.18
s
'Tech bros are
predicting
the end of work as we know it thanks to AI, but are struggling to
envision
what comes next'
lemonde.fr
·
3h
🛡
Cybersecurity
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
·
21h
🤖
AI Curation
A Peek Into
Muddled
Libra
’s Operational Playbook
unit42.paloaltonetworks.com
·
7h
🔓
Hacking
Cadence
heard
you wanted some AI in your AI so it used AI to design an AI chip
theregister.com
·
9h
🔧
Hardware Verification
EdgeQuake
: Rust-powered RAG framework for production knowledge
graphs
news.ycombinator.com
·
17h
·
Discuss:
Hacker News
🦀
Rust Borrowing
How AI Is
Rewriting
Test Automation in Modern
QA
hackernoon.com
·
4d
🔍
Concolic Testing
90% Failure Rate: Why
GPT-4o
Can't
Optimize
Code (And What We Built Instead)
hackernoon.com
·
21h
📏
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
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
1d
·
Discuss:
Hacker News
⚡
LZ4 Streaming
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
⬆️
Lambda Lifting
Using an AI agent to design and ship a Rust
diff
fingerprinting
algorithm
argos-ci.com
·
1d
·
Discuss:
Hacker News
🔗
Binary Similarity
The State of
Agentic
Graph
RAG
localoptimumai.substack.com
·
18h
·
Discuss:
Substack
🧮
Datalog Systems
I
vibecoded
a production grade
internationalization
library in 2 days
sklivvz.com
·
1d
·
Discuss:
Hacker News
🌀
Brotli Internals
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔒
WASM Capabilities
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
2d
·
Discuss:
Hacker News
🎯
Performance Proofs
Some
thoughts
on LLM coding
blog.dave.tf
·
2d
·
Discuss:
Hacker News
📏
Code Metrics
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
23h
·
Discuss:
Hacker News
,
r/programming
📏
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