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
23308
posts in
661.8
ms
We Just Got a
Peek
at How
Crazy
a World With AI Agents May Be
secondthoughts.ai
·
18h
🔓
Hacking
ROBO
: The Automation Ecosystem In One ETF (
NYSEARCA
:
ROBO
)
seekingalpha.com
·
3h
🏠
Homelab Automation
Mathematicians
launch First Proof, a first-of-its-kind math
exam
for AI
scientificamerican.com
·
2d
⚙️
Proof Engineering
★ Claude Code: /
insights
perrotta.dev
·
3d
🦀
Rust Macros
AI-First Company
Memos
the-ai-native.company
·
1h
·
Discuss:
Hacker News
📄
Document Digitization
I tried a Claude Code
rival
that's local, open source, and
completely
free
zdnet.com
·
1d
🔓
Open Source Software
C-- Home
cs.tufts.edu
·
1d
·
Discuss:
Lobsters
🔗
Concatenative Programming
LangGraph vs
CrewAI
vs
AutoGen
: The Complete Multi-Agent AI Orchestration Guide for 2026
dev.to
·
5d
·
Discuss:
DEV
⚔️
Lean Tactics
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
3d
📝
Concrete Syntax
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
browser.html - a web browser built with web technologies using
Servo
as web
rendering
engine
tangled.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🛡️
WebAssembly Security
Show HN:
Mimora
, a 3D avatar for
OpenClaw
AI agents with voice and expressions
mimora.app
·
4h
·
Discuss:
Hacker News
🏛
Digital humanities
When Models Examine Themselves: Vocabulary-Activation
Correspondence
in
Self-Referential
Processing
zenodo.org
·
1d
·
Discuss:
Hacker News
💾
Floppy Imaging
Manufacturing
QMS
Software
samrian.com
·
2d
·
Discuss:
Hacker News
⚙️
Proof Engineering
MDST
Engine: run
GGUF
models in the browser with WebGPU/WASM
mdst.app
·
3h
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
OpenClaw
: I gave an AI my credit card and let it
loose
on Amazon
codedojo.com
·
2d
·
Discuss:
Hacker News
🔓
Hacking
Agentic Coding Is
Draining
Your
Moat
slwip.com
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Loading...
Loading more...
« Page 11
•
Page 13 »
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