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
23371
posts in
1.20
s
intersection
type in
nLab
ncatlab.org
·
1d
🧮
Algebraic Datatypes
Mini-Heap
dailynous.com
·
23h
⬜
Minimalism
'Tech bros are
predicting
the end of work as we know it thanks to AI, but struggle to
envision
what comes next'
lemonde.fr
·
12h
🛡
Cybersecurity
Automatic
Programming
notes.billmill.org
·
6d
✓
Automated Theorem Proving
Hope Is Not a Security Strategy: Why
Secure-by-Default
Beats
Hardening
tuananh.net
·
2d
·
Discuss:
Lobsters
🔒
WASM Capabilities
Automating
AV
Archival
Workflows: Part 3
eddycolloton.com
·
21h
🤖
Archive Automation
Building a Simple “Chat with Your
Documents
”
GenAI
App (End-to-End)
dev.to
·
4d
·
Discuss:
DEV
🤖
Archive Automation
Beyond the
Chatbox
: Engineering Your Prompts with the
Trinity
Framework
dev.to
·
4d
·
Discuss:
DEV
📝
Concrete Syntax
"Our Landing Page Has 12,000 Visitors and Zero
Conversions
." A
Confession
and a Fix
hackernoon.com
·
1d
🔓
Hacking
Language
Modeling
and Understanding Through
Paraphrase
Generation and Detection
arxiv.org
·
1d
📝
Text Embeddings
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
I built an AI
operating
system for car
shopping
and Research
vehique.ai
·
1d
·
Discuss:
Hacker News
🤖
AI Curation
MCP
Servers
: What They Are, Why They Matter, and What Can Go Wrong
docsalot.dev
·
21h
·
Discuss:
Hacker News
🤖
Network Automation
Relay
Lang –
Async
first programming language
harrisonerd.com
·
1d
·
Discuss:
Hacker News
🌐
Protocol Synthesis
DASL
: Web
Tiles
dasl.ing
·
20h
·
Discuss:
Hacker News
🌐
Web Standards
Show HN:
ContinualCode
– a coding agent that updates its
weights
from feedback
sdan.github.io
·
1d
·
Discuss:
Hacker News
✨
Effect Handlers
Obey
the Testing
Goat
!
obeythetestinggoat.com
·
3d
·
Discuss:
Hacker News
🔍
Concolic Testing
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
1d
·
Discuss:
Hacker News
✅
Archive Fixity
AI
Employee
Framework
the-aico.com
·
1d
·
Discuss:
Hacker News
🗺️
Competency Maps
Self-improving
CLAUDE.md
files
martinalderson.com
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
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