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
馃敜 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
8468
posts in
82.3
ms
Readable and
concise
concatenative
programming
cognate-lang.github.io
路
1h
路
Discuss:
Hacker News
鈿欙笍
Compiler Design
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
路
1d
馃攣
Fixed-Point Theory
Proof-oriented
Programming in F*
fstar-lang.org
路
2d
路
Discuss:
Lobsters
馃敆
Curry-Howard
Decision Guardian: Enforce
ADRs
in PRs Using Regex and
JSONPath
news.ycombinator.com
路
5h
路
Discuss:
Hacker News
馃搳
Runtime Verification
Automata
on Graph
Alphabets
arxiv.org
路
3d
馃攢
Brzozowski Derivatives
The
prehistory
of generative grammar and聽
Chomsky
鈥檚 debt to Emil Post
benjamins.com
路
1d
路
Discuss:
Hacker News
馃攣
Fixed-Point Theory
Hazardous
States and
Accidents
lesswrong.com
路
1d
馃幆
GADT
Table of
Contents
- Data Engineering for Large Models: Architecture,
Algorithms
& Projects
datascale-ai.github.io
路
11h
路
Discuss:
Lobsters
馃敜
Language Design
Txtbrd
txtbrd.com
路
18h
路
Discuss:
Hacker News
馃攢
Brzozowski Derivatives
models have some pretty
funny
attractor
states
lesswrong.com
路
1d
馃敳
Cellular Automata
alexpovel/srgn
: A grep-like tool which understands source code syntax and allows for manipulation in addition to search
github.com
路
1d
路
Discuss:
Hacker News
馃敤
Compilers
Expressing
a prime as the sum of two
squares
johndcook.com
路
1d
路
Discuss:
Hacker News
馃敘
Algebraic Data Types
Proving
What's Possible
buttondown.com
路
2d
馃攳
Formal Verification
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
路
2d
路
Discuss:
Lobsters
馃惈
Embedded OCaml
How low-bit
inference
enables
efficient AI
dropbox.tech
路
4h
路
Discuss:
Hacker News
馃攢
Brzozowski Derivatives
Informational
Inequivalence
of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org
路
1d
路
Discuss:
Hacker News
馃攢
Brzozowski Derivatives
Validate
AI agent
endpoints
across 8 protocols in one URL
agentprobe.xyz
路
1d
路
Discuss:
Hacker News
馃敀
Protocol Verification
levlai/chiralipy
: pure python comp chem
github.com
路
1d
路
Discuss:
Hacker News
馃惈
OCaml
The
strongest
encryption
is just noise
hypertextgarden.com
路
1d
路
Discuss:
Hacker News
馃敀
Protocol Verification
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
路
1d
路
Discuss:
Hacker News
,
r/compsci
馃帹
GADTs
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