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
⚔️ Lean Tactics
Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23925
posts in
963.2
ms
The Machine Learning
Practitioner
’s Guide to
Speculative
Decoding
machinelearningmastery.com
·
12h
💻
Local LLMs
Can AI Code for
Vintage
?
sparcie.wordpress.com
·
11h
🏗️
Compiler Archaeology
AI Agents Are Not
Necessarily
About Speed
rugu.dev
·
23h
🧠
Intelligence Compression
When is a
bug
not a
bug
?
blog.zarfhome.com
·
20h
🧪
Binary Fuzzing
Garnix
Blog:
Forwardly-evaluated
build systems
garnix.io
·
12h
·
Discuss:
Lobsters
❄️
Nix Flakes
Deferred
member
initialization
in C++
sandordargo.com
·
1d
·
Discuss:
Lobsters
🦀
Rust Borrowing
Scary Agent Skills: Hidden
Unicode
Instructions
in Skills ...And How To Catch Them
embracethered.com
·
10h
·
Discuss:
Lobsters
⚡
Proof Automation
The Problem With LLMs
deobald.ca
·
23h
·
Discuss:
Lobsters
💻
Local LLMs
TDD
Is Backwards: Why
Assertions
Should Come First in Disruptive Development
hackernoon.com
·
2d
🧪
Property-Based Testing
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Nobody
Gets There Alone: We Need A Community
Roadmap
for Agentic Engineering
hackernoon.com
·
14h
🔌
Interface Evolution
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
Building a
Slack
Bot
siivikko.fi
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
The Real
Bottleneck
: Why
Faster
Coding Doesn't Speed Up Projects
heise.de
·
9h
·
Discuss:
Hacker News
📏
Code Metrics
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
49m
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Recursive
self-improvement
from AI models
marginalrevolution.com
·
1d
·
Discuss:
Hacker News
⚡
Incremental Computation
We hid
backdoors
in
binaries
– Opus 4.6 found 49% of them
quesma.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
,
r/ClaudeAI
,
r/programming
🦠
Malware Analysis
Show HN: We added
AGENTS.md
to 120 challenges so AI
teaches
instead of codes
frontendmentor.io
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
Let Your Agents
Instantly
Understand Any Git
Repo
instagit.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
Loading...
Loading more...
« Page 4
•
Page 6 »
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