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 Expressions
NFA, DFA, Parsing, Pattern Matching
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8604
posts in
123.3
ms
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
·
23h
🔁
Fixed-Point Theory
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
SoftMatcha
2: A Fast and Soft Pattern
Matcher
for Trillion-Scale Corpora
arxiv.org
·
1d
·
Discuss:
Hacker News
🔤
Kleene Algebra
Validate
AI agent
endpoints
across 8 protocols in one URL
agentprobe.xyz
·
21h
·
Discuss:
Hacker News
🔒
Protocol Verification
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
3d
🧩
Parser Combinators
Txtbrd
txtbrd.com
·
7h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Proof-oriented
Programming in F*
fstar-lang.org
·
2d
·
Discuss:
Lobsters
🔗
Curry-Howard
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
1d
🐫
OCaml
LateOn-Code
&
ColGrep
: LightOn unveils state-of-the-art code retrieval models and code search tooling
huggingface.co
·
1d
·
Discuss:
Hacker News
🔧
ppx
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
2d
·
Discuss:
Lobsters
🐫
Embedded OCaml
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
1d
·
Discuss:
Hacker News
🔁
Fixed-Point Theory
Why
Diamond
Transistors
Are So Hard To Make
hackaday.com
·
1h
⚡
Process Calculi
Show HN:
Orangensaft
– A mini Python-like language with LLM
eval
in lang runtime
github.com
·
16h
·
Discuss:
Hacker News
λ
Functional Programming
What
happens
when Spotify
lets
AI write all the code
news.reading.sh
·
1h
·
Discuss:
r/programming
🍎
Apple
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
5d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
Unleash
your ideas with
ASCII
monosketch.io
·
16h
·
Discuss:
Hacker News
❄️
Nix
Show HN: AI-Powered
Structured
Data
Extraction
from Any Document (93%+ Accuracy)
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔤
Kleene Algebra
Dozens of
Australians
diagnosed
with tattoo-related vision loss
abc.net.au
·
2h
·
Discuss:
Hacker News
➡️
Category Theory
Table of
Contents
- Data Engineering for Large Models: Architecture,
Algorithms
& Projects
datascale-ai.github.io
·
58m
·
Discuss:
Lobsters
🔤
Language Design
C-- Home
cs.tufts.edu
·
3d
·
Discuss:
Lobsters
⚙️
Compiler Design
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