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
24196
posts in
1.54
s
SolarWinds
Web Help Desk
Exploitation
elastic.co
·
1d
🎫
Kerberos Exploitation
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
1d
📋
Document Grammar
OpenClaw
: The
Helpful
AI That Could Quietly Become Your Biggest Insider Threat
jamf.com
·
1d
🛡️
CLI Security
How I
Automate
Repetitive
Coding Tasks Without Losing Control
dev.to
·
6d
·
Discuss:
DEV
🤖
Archive Automation
Ethereum’s
Sticky
Dominance: Why DeFi Still Runs on
Vitalik
’s Tracks
hackernoon.com
·
11h
🔗
Hash Chains
Backdoors
With
Manners
: When AI Writes Clean Code That Turns Malicious Later
hackernoon.com
·
2d
🕵️
Vector Smuggling
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
MySQL
with
extensions
for the agentic AI era
villagesql.com
·
18h
·
Discuss:
Hacker News
🗄️
Database Internals
The Evolution of
Bengt
BetjäNT
andonlabs.com
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
The Potential of
RLMs
dbreunig.com
·
1d
·
Discuss:
Hacker News
📏
Linear Logic
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
💻
Programming languages
Turing's Parsing and
Brute
Force Are
Incorrect
zenodo.org
·
4d
·
Discuss:
Hacker News
🧮
Kolmogorov Complexity
Rule
#1 for coding with AI agents
zknill.io
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Context
Is Part of the Game
joy.pm
·
2d
·
Discuss:
Hacker News
✨
Effect Handlers
Show HN: We got sick of
juggling
terminals
for AI agents so we built a workspace
augmentcode.com
·
1d
·
Discuss:
Hacker News
🏠
Homelab Archaeology
🤖 The
SaaSpocalypse
- The week AI killed software
fintechbrainfood.com
·
15h
·
Discuss:
Hacker News
🌀
Brotli Internals
Software
Factories
and the
Agentic
Moment
factory.strongdm.ai
·
3d
·
Discuss:
Hacker News
🔐
Capability Systems
How do you use AI coding tools at scale without
losing
architectural
control?
contextfirst.dev
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
Runtime
validation is still
fucked
in AI coding agents
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Loading...
Loading more...
« Page 11
•
Page 13 »
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