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
23129
posts in
916.0
ms
The Return of
Algol
68
jxself.org
·
3d
🦀
Rust Borrowing
Mini-Heap
dailynous.com
·
1d
⬜
Minimalism
The Death of Traditional Testing: Agentic Development Broke a 50-Year-Old Field,
JiTTesting
Can
Revive
It
engineering.fb.com
·
14h
·
Discuss:
Hacker News
🐛
Fuzzing
Sixteen
AI Agents Built a C
Compiler
From Scratch
developers.slashdot.org
·
2d
🦀
Rust Macros
Skills
in OpenAI API
simonwillison.net
·
12h
🔄
Archival Workflows
Hope Is Not a Security Strategy: Why
Secure-by-Default
Beats
Hardening
tuananh.net
·
3d
·
Discuss:
Lobsters
🔒
WASM Capabilities
Stop Testing Attacks, Start
Diagnosing
Defenses: The
Four-Checkpoint
Framework Reveals Where LLM Safety Breaks
arxiv.org
·
1d
🛡️
Error Boundaries
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
2d
🎯
Performance Proofs
Multi-Dimensional
Computational
Library for Physics-Aware AI
splitfxm.com
·
2d
·
Discuss:
Hacker News
📊
Quantization
Relay
Lang –
Async
first programming language
harrisonerd.com
·
2d
·
Discuss:
Hacker News
🌐
Protocol Synthesis
Introducing
Composer
1.5
cursor.com
·
2d
·
Discuss:
Hacker News
🎧
Learned Audio
browser.html - a web browser built with web technologies using
Servo
as web
rendering
engine
tangled.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🛡️
WebAssembly Security
Solene
'% :
Declaratively
manage containers on Linux
dataswamp.org
·
2d
·
Discuss:
Hacker News
📦
Container Security
Python's Dynamic
Typing
Problem
whileforloop.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🎯
Gradual Typing
Deploy
OpenClaw
agents in – 1 minute – no tech skills needed
ezclaw.app
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
2d
·
Discuss:
Hacker News
⚙️
Proof Engineering
A live view of
OpenClaw
instances
brought to you by the STRIKE Research Team
declawed.io
·
2d
·
Discuss:
Hacker News
🎯
Threat Hunting
AI contract review and
redrafts
in
Word
lawgmented.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
Pain
. Or, Why Learning to Code Is Like Learning Chinese. (2010)
amandapeyton.com
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Show HN: Deploy Multiple
OpenClaw
Assistants
Easily
moltbot-online.com
·
1d
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Loading...
Loading more...
« Page 16
•
Page 18 »
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