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
23025
posts in
571.3
ms
OSTEP
Chapter
8
muratbuffalo.blogspot.com
·
1d
·
Discuss:
Blogger
⚡
CPU Microarchitecture
Dada
: moves and
mutation
smallcultfollowing.com
·
2d
🦀
Rust Macros
Functional
Optics
for Modern Java
blog.scottlogic.com
·
3d
💧
Liquid Types
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
4d
📝
Concrete Syntax
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
2d
🧪
Property-Based Testing
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
2d
🎯
Performance Proofs
MDST
Engine: run
GGUF
models in the browser with WebGPU/WASM
mdst.app
·
19h
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
You Don't Need It
moq.dev
·
14h
·
Discuss:
Hacker News
🌐
Protocol Synthesis
Your
VCL
App: 4x to 11x Faster Math Performance with
Elements
blogs.remobjects.com
·
2d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
How I Use
ActivitySmith
While
Deploying
ActivitySmith
activitysmith.com
·
1d
·
Discuss:
Hacker News
📦
Package Managers
On the
Incoming
Slopocalypse
and the Death(?) of Open Source
llamaindex.ai
·
16h
·
Discuss:
Hacker News
🔓
Open Source Software
How Talking to a
Rubber
Duck
Made Me a Better Developer
talkflow.substack.com
·
14h
·
Discuss:
Substack
,
r/programming
🔍
Concolic Testing
Separation
of Concerns: You're Cutting
Along
the Wrong Line
inferal.com
·
4h
·
Discuss:
Hacker News
🏺
Database Archaeology
Three
Conversations
Worth Having with Your
CTO
docs.eventsourcingdb.io
·
14h
·
Discuss:
Hacker News
🔗
Data Provenance
Show HN: I built simple browser tools
bcoz
I'm
tired
of everything becoming SaaS
bitlist.io
·
17h
·
Discuss:
Hacker News
🔍
BitFunnel
an early-stage
experimental
programming
language
solnix-lang.org
·
4d
·
Discuss:
DEV
,
Hacker News
💻
Programming languages
What Your Claude Code Agents Don't Need to Be
Told
helderberto.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Reducing Attack Surface for AI Agents with
Process-Scoped
Credentials
dreamiurg.net
·
16h
·
Discuss:
Hacker News
🛡️
CLI Security
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
2d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Why "just
prompt
better" doesn't work
bicameral-ai.com
·
2d
·
Discuss:
Hacker News
📏
Code Metrics
Loading...
Loading more...
« Page 10
•
Page 12 »
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