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
π Unification
Pattern Matching, Type Inference, Constraint Solving, Algorithms
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81912
posts in
208.9
ms
Main
Content ||
Math
β© Programming
jeremykun.com
Β·
5h
π’
Algebraic Datatypes
A
Proof
of P =
NP
dev.to
Β·
3h
Β·
Discuss:
DEV
π¨
Graph Coloring
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
Β·
6h
Β·
Discuss:
Hacker News
πͺ
Recursive Descent
Build a
Compiler
in Five Projects
kmicinski.com
Β·
1d
π
Racket Modules
Let
Lambda
Come Over
yamlscript.org
Β·
1d
Ξ»
Lambda Calculus
Revisiting
Regular
Types
abseil.io
Β·
1d
π
Hindley-Milner+
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
Β·
3d
Β·
Discuss:
r/golang
π€
Regex Engines
An
attempt
at a
First-Proof
AI challenge
abhvio.us
Β·
16h
Β·
Discuss:
Hacker News
Ξ»
Lambda Calculus
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
Β·
1d
π
Pratt Parsers
Railway
Oriented
Programming
fsharpforfunandprofit.com
Β·
2d
Β·
Discuss:
Hacker News
π
Error Monads
Oatmeal
-
Constraint
propagation for fun
eli.li
Β·
1d
Β·
Discuss:
Lobsters
,
Hacker News
π§©
Constraint Solvers
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
Β·
16h
Β·
Discuss:
r/golang
πΉ
Go Internals
Transport
and Merge: Cross-Architecture
Merging
for Large Language Models
arxiv.org
Β·
2d
π
Binary Translation
An Introduction to
XML
Data
Binding
in C++
artima.com
Β·
1d
π
Template Compilers
Rob
Pike
's Simple Regular
Expressions
bruceediger.com
Β·
1d
π€
Regex Engines
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
Β·
3d
Β·
Discuss:
Hacker News
π³
Tree Walking
From
Chunks
to
Connections
: The Case for Graph RAG
pub.towardsai.net
Β·
4h
π²
Deforestation
The Future of Software Engineering
poberezkin.com
Β·
8h
Β·
Discuss:
Hacker News
π
Program Synthesis
Differential
Logic
β’ 4
inquiryintoinquiry.com
Β·
14h
β«
Mathematical DSLs
π₯Top AI
Papers
of the Week
nlp.elvissaravia.com
Β·
12h
π±
Minimal ML
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