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
23399
posts in
1.21
s
A Few Notes on
Moats
commoncog.com
·
3h
🎯
Proof Tactics
OSTEP
Chapter
8
muratbuffalo.blogspot.com
·
10h
·
Discuss:
Blogger
⚡
CPU Microarchitecture
New research: 3 big challenges
facing
security teams (and how to
overcome
them)
cybersecuritydive.com
·
2d
🎯
Threat Hunting
[$]
FOSS
in times of war,
scarcity
, and AI
lwn.net
·
23h
🐧
FOSS
ParrotOS
7.0 delivers major
under-the-hood
overhaul
techspot.com
·
22h
🔌
Operating system internals
AI agents face an
uncomfortable
truth where security and
usefulness
are in direct competition
the-decoder.com
·
1h
🔐
Systems Hardening
Boost LLM Security: automated Red
Teaming
at Scale with
Promptfoo
blog.nviso.eu
·
6d
⚔️
Lean Tactics
AI-generated arguments are
persuasive
—even when
labeled
phys.org
·
21h
🤖
AI Curation
DCP-o-matic
• (Feature) Request for
Verifier
dcpomatic.com
·
5h
✅
Document Verification
How One Engineer Turned Saudi Cloud
Compliance
from a 6-Month
Bottleneck
into a 2-Week Workflow
hackernoon.com
·
1d
🔍
BitFunnel
90% Failure Rate: Why
GPT-4o
Can't
Optimize
Code (And What We Built Instead)
hackernoon.com
·
1d
📏
Code Metrics
Automata
on Graph
Alphabets
arxiv.org
·
9h
⚙️
Syntactic Monoids
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
six
thoughts
on
generating
c
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
JavaScript
Math
Bug
codepen.io
·
1d
·
Discuss:
Hacker News
🎯
Gradual Typing
The Evolution of
Bengt
BetjäNT
andonlabs.com
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Turing's Parsing and
Brute
Force Are
Incorrect
zenodo.org
·
4d
·
Discuss:
Hacker News
🧮
Kolmogorov Complexity
a search engine for
autonomous
AI agents
clawl.co.uk
·
1d
·
Discuss:
Hacker News
🤖
AI Curation
Context
Is Part of the Game
joy.pm
·
3d
·
Discuss:
Hacker News
✨
Effect Handlers
🤖 The
SaaSpocalypse
- The week AI killed software
fintechbrainfood.com
·
20h
·
Discuss:
Hacker News
🌀
Brotli Internals
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