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
24108
posts in
1.35
s
intersection
type in
nLab
ncatlab.org
·
22h
🧮
Algebraic Datatypes
Mini-Heap
dailynous.com
·
20h
⬜
Minimalism
#0182: The CTO Review: Using
Socratic
Dialog
with AI for Better Technical Decisions
matthewsinclair.medium.com
·
22h
🔍
Concolic Testing
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
1d
🌐
WASI
Common
Manual
Testing
Techniques
and The Future Of
Manual
Testing in the age of AI
dev.to
·
4d
·
Discuss:
DEV
🧪
Property-Based Testing
Building a Simple “Chat with Your
Documents
”
GenAI
App (End-to-End)
dev.to
·
4d
·
Discuss:
DEV
🤖
Archive Automation
"Our Landing Page Has 12,000 Visitors and Zero
Conversions
." A
Confession
and a Fix
hackernoon.com
·
1d
🔓
Hacking
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
I built an AI
operating
system for car
shopping
and Research
vehique.ai
·
1d
·
Discuss:
Hacker News
🤖
AI Curation
🏆 100 Most
Watched
Java
Conference Talks Of 2025
techtalksweekly.io
·
18h
·
Discuss:
Hacker News
⚙️
Proof Engineering
Show HN:
ContinualCode
– a coding agent that updates its
weights
from feedback
sdan.github.io
·
1d
·
Discuss:
Hacker News
✨
Effect Handlers
Generate
engaging
tweets
from your build notes
getbanger.tech
·
1d
·
Discuss:
Hacker News
📊
Feed Optimization
Obey
the Testing
Goat
!
obeythetestinggoat.com
·
3d
·
Discuss:
Hacker News
🔍
Concolic Testing
We
chose
a pipeline over speech-to-speech for
evaluative
voice AI
productfit.substack.com
·
1d
·
Discuss:
Substack
🎙️
Whisper
MCP
Servers
: What They Are, Why They Matter, and What Can Go Wrong
docsalot.dev
·
17h
·
Discuss:
Hacker News
🤖
Network Automation
Hope Is Not a Security Strategy: Why
Secure-by-Default
Beats
Hardening
tuananh.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔒
WASM Capabilities
Exponential
Code, Network Effects in AI, & the Return of
Apprenticeships
implications.com
·
6h
·
Discuss:
Hacker News
🔐
Capability Systems
Self-improving
CLAUDE.md
files
martinalderson.com
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Memory and Learning
layer
be built in-house or bought
externally
?
medium.com
·
18h
·
Discuss:
Hacker News
⚡
Incremental Computation
Loading...
Loading more...
« Page 16
•
Page 18 »
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