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
23890
posts in
818.0
ms
On A
Lark
dothemath.ucsd.edu
·
1d
🏛️
Philosophy
SecureGen
- Open-Source
TOTP
Authenticator, Password Manager
hackster.io
·
6h
🔒
Hardware Attestation
OpenAI upgrades
Responses
API with features built
specifically
for long-running AI agents
the-decoder.com
·
1h
🤖
AI Curation
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
2d
📏
Code Metrics
ROBO
: The Automation Ecosystem In One ETF (
NYSEARCA
:
ROBO
)
seekingalpha.com
·
5h
🏠
Homelab Automation
New
OpenClaw
AI agent found
unsafe
for use
kaspersky.com
·
1d
🔓
Hacking
Quordle
hints and
answers
for Wednesday, February 11 (game #1479)
techradar.com
·
1d
🎯
Interactive Provers
Skills
in OpenAI API
simonwillison.net
·
18m
🔄
Archival Workflows
DCP-o-matic
• Feature Request for
Verifier
dcpomatic.com
·
1d
🛡️
Archive Verification
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
4d
·
Discuss:
DEV
🔗
Concatenative Programming
Stop Testing Attacks, Start
Diagnosing
Defenses: The
Four-Checkpoint
Framework Reveals Where LLM Safety Breaks
arxiv.org
·
14h
🛡️
Error Boundaries
Specification
Vibing
for Automated Program Repair
arxiv.org
·
1d
🔓
Decompilation
Obsidian
Introduces
Obsidian
CLI
help.obsidian.md
·
1d
·
Discuss:
Hacker News
🛡️
CLI Security
Manufacturing
QMS
Software
samrian.com
·
2d
·
Discuss:
Hacker News
⚙️
Proof Engineering
MDST
Engine: run
GGUF
models in the browser with WebGPU/WASM
mdst.app
·
5h
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Who’s the agent now?
danturkel.com
·
14h
·
Discuss:
Hacker News
🎯
Threat Hunting
Design
Patterns
Catalogue
catalogue.projectsbyif.com
·
2d
·
Discuss:
Hacker News
📱
QR Archaeology
Agentic Coding Is
Draining
Your
Moat
slwip.com
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Preparing your website for LLMs.
speakeasy.com
·
1d
·
Discuss:
Hacker News
🔗
Hypermedia APIs
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
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