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
23915
posts in
862.8
ms
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
·
2d
🛡️
CLI Security
Making Gemini CLI
extensions
easier
to use
developers.googleblog.com
·
5h
❄️
Nix Adoption
How I
Automate
Repetitive
Coding Tasks Without Losing Control
dev.to
·
6d
·
Discuss:
DEV
🤖
Archive Automation
Security, Cloud Costs, and Bugs: How I
solved
the Developer's Three Biggest
Nightmares
in a single app
dev.to
·
3d
·
Discuss:
DEV
🧮
Z3 Solver
Backdoors
With
Manners
: When AI Writes Clean Code That Turns Malicious Later
hackernoon.com
·
2d
🕵️
Vector Smuggling
Code
Reviews
: Here's What They Actually
Teach
Us
hackernoon.com
·
1d
📏
Code Metrics
Stop Testing Attacks, Start
Diagnosing
Defenses: The
Four-Checkpoint
Framework Reveals Where LLM Safety Breaks
arxiv.org
·
13h
🛡️
Error Boundaries
AIDev
:
Studying
AI Coding Agents on GitHub
arxiv.org
·
13h
📐
Proof Assistants
MySQL
with
extensions
for the agentic AI era
villagesql.com
·
1d
·
Discuss:
Hacker News
🗄️
Database Internals
The Potential of
RLMs
dbreunig.com
·
2d
·
Discuss:
Hacker News
📏
Linear Logic
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
💻
Programming languages
Rise of the
Cowboy
Coder
jollycoder.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
Software as a tool, not an end in itself: A
plea
for more domain
expertise
heise.de
·
4h
·
Discuss:
Hacker News
⚙️
Proof Engineering
Turing's Parsing and
Brute
Force Are
Incorrect
zenodo.org
·
4d
·
Discuss:
Hacker News
🧮
Kolmogorov Complexity
Show HN: We got sick of
juggling
terminals
for AI agents so we built a workspace
augmentcode.com
·
1d
·
Discuss:
Hacker News
🏠
Homelab Archaeology
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
2d
·
Discuss:
Hacker News
🌐
DNS Security
Context
Is Part of the Game
joy.pm
·
3d
·
Discuss:
Hacker News
✨
Effect Handlers
How do you use AI coding tools at scale without
losing
architectural
control?
contextfirst.dev
·
3d
·
Discuss:
Hacker News
⚡
Incremental Computation
Loading...
Loading more...
« Page 15
•
Page 17 »
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