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
23309
posts in
330.2
ms
Simple
solution
davidrevoy.com
·
1h
🔗
Constraint Handling
A Few Notes on
Moats
commoncog.com
·
6h
🎯
Proof Tactics
[$]
FOSS
in times of war,
scarcity
, and AI
lwn.net
·
1d
🐧
FOSS
ParrotOS
7.0 delivers major
under-the-hood
overhaul
techspot.com
·
1d
🔌
Operating system internals
Boost LLM Security: automated Red
Teaming
at Scale with
Promptfoo
blog.nviso.eu
·
6d
⚔️
Lean Tactics
AI agents face an
uncomfortable
truth where security and
usefulness
are in direct competition
the-decoder.com
·
4h
🔐
Systems Hardening
OpenClaw
: The
Helpful
AI That Could Quietly Become Your Biggest Insider Threat
jamf.com
·
2d
🛡️
CLI Security
AI-generated arguments are
persuasive
—even when
labeled
phys.org
·
1d
🤖
AI Curation
DCP-o-matic
• (Feature) Request for
Verifier
dcpomatic.com
·
8h
✅
Document Verification
90% Failure Rate: Why
GPT-4o
Can't
Optimize
Code (And What We Built Instead)
hackernoon.com
·
1d
📏
Code Metrics
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Language
Modeling
and Understanding Through
Paraphrase
Generation and Detection
arxiv.org
·
1d
📝
Text Embeddings
Turing's Parsing and
Brute
Force Are
Incorrect
zenodo.org
·
4d
·
Discuss:
Hacker News
🧮
Kolmogorov Complexity
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
💻
Programming languages
The Evolution of
Bengt
BetjäNT
andonlabs.com
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Show HN: A
compiled
programming language for LLM-to-LLM
communication
[pdf]
sifsystemsmcrd.com
·
1h
·
Discuss:
Hacker News
🗜️
LZSS Variants
Rule
#1 for coding with AI agents
zknill.io
·
2d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Context
Is Part of the Game
joy.pm
·
3d
·
Discuss:
Hacker News
✨
Effect Handlers
🤖 The
SaaSpocalypse
- The week AI killed software
fintechbrainfood.com
·
23h
·
Discuss:
Hacker News
🌀
Brotli Internals
Software
Factories
and the
Agentic
Moment
factory.strongdm.ai
·
4d
·
Discuss:
Hacker News
🔐
Capability Systems
Loading...
Loading more...
« Page 13
•
Page 15 »
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