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
25291
posts in
961.4
ms
Snippets
With Regular
Expressions
irreal.org
·
11h
🌳
Incremental Parsing
Fragments
: February 9
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
Agentic
AI Engineering
Workflows
for iOS in 2026
blog.jacobstechtavern.com
·
1d
⚡
Incremental Computation
Matchlock
: Linux-based
sandboxing
for AI agents
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Introducing
ThinkLang
: A Programming Language Where AI Is a First-Class
Citizen
dev.to
·
2d
·
Discuss:
DEV
🎯
Gradual Typing
10 AI
Automation
Workflows
That Save 10+ Hours/Week
dev.to
·
4d
·
Discuss:
DEV
🤖
Archive Automation
Efficient and
Adaptable
Detection of Malicious LLM Prompts via
Bootstrap
Aggregation
arxiv.org
·
22h
🧪
Binary Fuzzing
Build a
Compiler
in Five Projects
kmicinski.com
·
3d
🔨
Compilers
Zero-Trust Data
Warehousing
for Agentic AI: Why
Trusting
the Pipeline No Longer Scales
hackernoon.com
·
17h
⚙️
Batch Processing
CausalArmor
: Efficient
Indirect
Prompt Injection Guardrails via Causal Attribution
arxiv.org
·
22h
✨
Effect Handlers
Domain
Specific
Languages
martinfowler.com
·
12h
🗣️
Domain-Specific Languages
AI Model
Forensics
: The Source of
Suspicious
Text-to-Image AI
hackernoon.com
·
5h
🔍
Vector Forensics
Technical
Details of My
LLM-Generated
Book
mattbruenig.com
·
15h
·
Discuss:
Hacker News
📝
Concrete Syntax
Better Python tests with
inline-snapshot
pydantic.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧪
Property-Based Testing
Show HN: Parametric
Hubris
– Beating GPT-5 on
SimpleQA
with forced retrieval
dev.thelastrag.de
·
2d
·
Discuss:
Hacker News
🔍
BitFunnel
How pair
prompting
could
mitigate
the risks of AI assisted programming
gethopp.app
·
8h
·
Discuss:
Hacker News
🔗
Concatenative Programming
Minions
:
Stripe
’s one-shot, end-to-end coding agents
stripe.dev
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Autonomous
PRD
Agent
minicodemonkey.github.io
·
2d
·
Discuss:
Hacker News
🔲
Cellular Automata
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
We created
documents
for selling AI Agent
Skills
skly.ai
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Loading...
Loading more...
« Page 4
•
Page 6 »
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