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
23864
posts in
1.65
s
Generative
Type
experiments
brendandawes.com
·
2d
✨
Effect Handlers
SCPI
and Hardware
Instrumentation
for Reverse Engineers
voidstarsec.com
·
1d
🔌
Single Board PC
On A
Lark
dothemath.ucsd.edu
·
1d
🏛️
Philosophy
OpenAI upgrades
Responses
API with features built
specifically
for long-running AI agents
the-decoder.com
·
6h
🤖
AI Curation
The
Univalence
Principle
golem.ph.utexas.edu
·
23h
🔶
Cubical Type Theory
Microsoft
boffins
figured
out how to break LLM safety guardrails with one simple prompt
theregister.com
·
2d
🧪
Protocol Fuzzing
Quordle
hints and
answers
for Wednesday, February 11 (game #1479)
techradar.com
·
1d
🎯
Interactive Provers
New
OpenClaw
AI agent found
unsafe
for use
kaspersky.com
·
1d
🔓
Hacking
Skills
in OpenAI API
simonwillison.net
·
6h
🔄
Archival Workflows
DCP-o-matic
• Feature Request for
Verifier
dcpomatic.com
·
1d
🛡️
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
Stop Testing Attacks, Start
Diagnosing
Defenses: The
Four-Checkpoint
Framework Reveals Where LLM Safety Breaks
arxiv.org
·
20h
🛡️
Error Boundaries
Specification
Vibing
for Automated Program Repair
arxiv.org
·
1d
🔓
Decompilation
Three
Conversations
Worth Having with Your
CTO
docs.eventsourcingdb.io
·
5h
·
Discuss:
Hacker News
🔗
Data Provenance
Design
Patterns
Catalogue
catalogue.projectsbyif.com
·
2d
·
Discuss:
Hacker News
📱
QR Archaeology
a free-to-use data
modeler/generator
for any database
synthforge.io
·
1d
·
Discuss:
Hacker News
🔄
Schema Evolution
SecretSpec
0.7:
Declarative
Secret Generation
devenv.sh
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/NixOS
,
r/programming
🦠
Parasitic Archives
SubJS
: JavaScript
Runtime
for Agents. Let your agent do what it does best
emi0x7d1.dev
·
1d
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
A/B test
Webflow
websites on
autopilot
. Approve winners weekly
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🌊
Streaming Systems
Loading...
Loading more...
« Page 14
•
Page 16 »
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