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
24222
posts in
2.07
s
ParrotOS
7.0 delivers major
under-the-hood
overhaul
techspot.com
·
17h
🔌
Operating system internals
[$]
FOSS
in times of war,
scarcity
, and AI
lwn.net
·
17h
🐧
FOSS
Boost LLM Security: automated Red
Teaming
at Scale with
Promptfoo
blog.nviso.eu
·
5d
⚔️
Lean Tactics
Steve
Yegge
on AI Agents and the Future of Software Engineering
newsletter.pragmaticengineer.com
·
10h
🔄
Language Evolution
We Just Got a
Peek
at How
Crazy
a World With AI Agents May Be
secondthoughts.ai
·
9h
🔓
Hacking
OpenClaw
: The
Helpful
AI That Could Quietly Become Your Biggest Insider Threat
jamf.com
·
1d
🛡️
CLI Security
AI-generated arguments are
persuasive
—even when
labeled
phys.org
·
16h
🤖
AI Curation
90% Failure Rate: Why
GPT-4o
Can't
Optimize
Code (And What We Built Instead)
hackernoon.com
·
23h
📏
Code Metrics
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
⚖️
Verification Calculi
Language
Modeling
and Understanding Through
Paraphrase
Generation and Detection
arxiv.org
·
1d
📝
Text Embeddings
six
thoughts
on
generating
c
wingolog.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
JavaScript
Math
Bug
codepen.io
·
20h
·
Discuss:
Hacker News
🎯
Gradual Typing
The Evolution of
Bengt
BetjäNT
andonlabs.com
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
a search engine for
autonomous
AI agents
clawl.co.uk
·
22h
·
Discuss:
Hacker News
🤖
AI Curation
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
🤖 The
SaaSpocalypse
- The week AI killed software
fintechbrainfood.com
·
14h
·
Discuss:
Hacker News
🌀
Brotli Internals
Software
Factories
and the
Agentic
Moment
factory.strongdm.ai
·
3d
·
Discuss:
Hacker News
🔐
Capability Systems
Agentic
Tool
Patterns
– 54
patterns
for building tools LLM agents can use
blog.arcade.dev
·
1d
·
Discuss:
Hacker News
🔌
Interface Evolution
OpenClaw
: I gave an AI my credit card and let it
loose
on Amazon
codedojo.com
·
1d
·
Discuss:
Hacker News
🔓
Hacking
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