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
⚙ Automata Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23628
posts in
913.9
ms
Automata
on Graph
Alphabets
arxiv.org
·
1d
⚙️
Syntactic Monoids
Proof-oriented
Programming in F*
fstar-lang.org
·
14h
·
Discuss:
Lobsters
👑
Isabelle
Differential
Logic
• 6
inquiryintoinquiry.com
·
2h
🎯
Proof Tactics
Karpathy
's
Micro
LLM in JavaScript
github.com
·
3h
·
Discuss:
Hacker News
💻
Local LLMs
Proving
What's Possible
buttondown.com
·
1d
⚖️
Hoare Logic
Protecting
Context and Prompts:
Deterministic
Security for
Non-Deterministic
AI
arxiv.org
·
14h
🔒
Language-based security
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
6h
✨
Effect Handlers
The
Univalence
Principle
golem.ph.utexas.edu
·
1d
🔶
Cubical Type Theory
A Proof of the
Collatz
Conjecture
github.com
·
58m
·
Discuss:
Hacker News
🎯
Performance Proofs
What I’m Learning in Data Structures: The Algorithm Behind
Compression
(
bzip
, etc.)
dev.to
·
19h
·
Discuss:
DEV
📝
Text Compression
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
1d
·
Discuss:
Lobsters
🧠
Lisp Dialects
Beyond
Kuramoto
Models: Associative Memory and Plastic
Synapses
in ML Ensembles
hackernoon.com
·
1d
🔲
Cellular Automata
Claude Code:
always
be '
verbose
'
perrotta.dev
·
6h
🔗
Concatenative Programming
Dear
Agent:
Prove
it.
rijnard.com
·
14h
·
Discuss:
Hacker News
⚔️
Lean Tactics
intersection
type in
nLab
ncatlab.org
·
2d
🧮
Algebraic Datatypes
How I
learnt
to stop
worrying
and love AI
tweag.io
·
19h
🌳
Incremental Parsing
Stop talking to AI, let them talk to each other: The
A2A
protocol
thenextweb.com
·
7h
🔌
Interface Evolution
GRAIL
Text
Recognizer
jackschaedler.github.io
·
17h
📄
OCR
Graph
algebra
en.wikipedia.org
·
2d
🔄
Graph Rewriting
How ‘effectively zero-knowledge’
proofs
could transform
cryptography
scientificamerican.com
·
1d
🔐
Quantum Security
Loading...
Loading more...
Page 2 »
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