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
23314
posts in
389.2
ms
Generative
Type
experiments
brendandawes.com
·
1d
✨
Effect Handlers
On A
Lark
dothemath.ucsd.edu
·
1d
🏛️
Philosophy
SecureGen
- Open-Source
TOTP
Authenticator, Password Manager
hackster.io
·
3h
🔒
Hardware Attestation
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
2d
📏
Code Metrics
New
OpenClaw
AI agent found
unsafe
for use
kaspersky.com
·
1d
🔓
Hacking
Microsoft
boffins
figured
out how to break LLM safety guardrails with one simple prompt
theregister.com
·
1d
🧪
Protocol Fuzzing
Quordle
hints and
answers
for Wednesday, February 11 (game #1479)
techradar.com
·
1d
🎯
Interactive Provers
DCP-o-matic
• Feature Request for
Verifier
dcpomatic.com
·
22h
🛡️
Archive Verification
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
4d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Infrastructure as Code in
Practice
: What It
Solves
— and What It Doesn’t
hackernoon.com
·
1d
🧱
Immutable Infrastructure
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Automata
on Graph
Alphabets
arxiv.org
·
11h
⚙️
Syntactic Monoids
Obsidian
Introduces
Obsidian
CLI
help.obsidian.md
·
1d
·
Discuss:
Hacker News
🛡️
CLI Security
a free-to-use data
modeler/generator
for any database
synthforge.io
·
1d
·
Discuss:
Hacker News
🔄
Schema Evolution
Design
Patterns
Catalogue
catalogue.projectsbyif.com
·
2d
·
Discuss:
Hacker News
📱
QR Archaeology
SecretSpec
0.7:
Declarative
Secret Generation
devenv.sh
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/NixOS
,
r/programming
🦠
Parasitic Archives
DSA
Interview Questions: What Really Gets Asked (and How to
Prepare
Smart)
dsa-interview-questions.pages.dev
·
1d
·
Discuss:
Hacker News
🎯
Threat Hunting
Using Claude Code as a general agent
raahelbaig.com
·
2d
·
Discuss:
Hacker News
👑
Isabelle
A/B test
Webflow
websites on
autopilot
. Approve winners weekly
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🌊
Streaming Systems
I Let AI Agents Train Their Own Models. Here's What Actually
Happened
.
hamzamostafa.com
·
2d
·
Discuss:
Hacker News
🔲
Cellular Automata
Loading...
Loading more...
« Page 9
•
Page 11 »
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