Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔤 Regular Expression Theory
Brzozowski Derivatives, Automata, Pattern Matching, DFA
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5433
posts in
15.5
ms
Quantum Pattern Matching in
Generalised
Degenerate
Strings
arxiv.org
·
1d
⚖️
Weighted Automata
gvergnaud/ts-pattern
: 🎨 The
exhaustive
Pattern Matching library for TypeScript, with smart type inference.
github.com
·
4d
·
Discuss:
Hacker News
🔧
ppx
From
Torsors
to
Topoi
: An Introduction with a View Toward $\Sigma$-Protocols in Cryptography
arxiv.org
·
1d
🔗
Curry-Howard
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
6h
🔍
Formal Verification
A comprehensive database of
categories
and their
properties
catdat.app
·
5h
·
Discuss:
Hacker News
➡️
Category Theory
yes, all longest
regex
matches
in linear time is possible
iev.ee
·
3d
·
Discuss:
Lobsters
,
r/programming
🔤
Regular Expressions
Surfacing
Hidden Privacy Risks in Code: Lessons from LLM and Retrieval
Assisted
Detection
usenix.org
·
10h
🛡️
seL4
In search of
falsehood
– using
Opus
4.6 to prove False
tristan.st
·
10h
·
Discuss:
Hacker News
📐
Hoare Logic
emlautarom1/PDP
_11_Simulator:
PDP11
Simulator written in APL
github.com
·
12h
·
Discuss:
Hacker News
⚙️
PL Implementation
Affine
Space
Types
videocortex.io
·
2d
·
Discuss:
Lobsters
🔢
Algebraic Data Types
An alternative
derivation
of
Shannon
entropy.
iczelia.net
·
7h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Less-relevant results
LLMs as Giant
Lookup-Tables
of
Shallow
Circuits
lesswrong.com
·
1d
🐫
Embedded OCaml
🦀
Statum
:
Zero-Boilerplate
Compile-Time State Machines in Rust
reddit.com
·
1d
·
Discuss:
r/rust
🏗️
Dune
The
joy
of
reading
the code
pdole.ga
·
1d
·
Discuss:
Lobsters
🎯
GADT
Omnilingual
MT
: Machine Translation for 1,600 Languages
ai.meta.com
·
1d
·
Discuss:
Hacker News
📚
Automata Learning
The Talk Show: ‘The
Pogue
Feature’
daringfireball.net
·
7h
📺
Vintage Apple
DIY
Reflow
Plate
Runs On USB Power Delivery
hackaday.com
·
3h
🖥️
KVM
watchOS
26.4 fixes a major Apple Watch
Workout
app complaint
9to5mac.com
·
9h
🍎
Apple
Vector
, the Journal of the British
APL
Association
web.archive.org
·
10h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Powell
: Job
creation
is near zero
finance.yahoo.com
·
6h
·
Discuss:
Hacker News
🔲
Cellular Automata
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