Feeds to Scour
SubscribedAll
Scoured 81087 posts in 1.04 s
Differential Logic • 4
inquiryintoinquiry.com·20h
∫Mathematical DSLs
Main Content || Math ∩ Programming
jeremykun.com·10h
🔢Algebraic Datatypes
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·1d
📊Pratt Parsers
Waking Up and Moving On
zwieblein.bearblog.dev·10h
🔗Concatenative
Naughty is Nice!
yamlscript.org·2d
🧼Lisp Hygiene
A Simple Method for Commonsense Reasoning
dev.to·22h·
Discuss: DEV
🌱Minimal ML
Revisiting Regular Types
abseil.io·1d
🚀Hindley-Milner+
Observations and Complexity
lesswrong.com·3h
💫Effect Systems
Build a Compiler in Five Projects
kmicinski.com·1d
🎭Racket Modules
On Linguistic Precision
blog.firedrake.org·2d
🧪Parser Testing
string theory - spqr
archiveofourown.org·7h
🔬programming language theory
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·1d·
Discuss: Hacker News
🌱Minimal Languages
glossolalia. or...
lnebres.bearblog.dev·1d
🌱Tiny Languages
An attempt at a First-Proof AI challenge
abhvio.us·21h·
Discuss: Hacker News
λLambda Calculus
Autobiolocation
autobiolocation.is·8h·
Discuss: Hacker News
💫Effect Systems
Elongme
leibal.com·18h
📦Message Serialization
My Most Important C++ Aha! Moments...Ever
artima.com·1d
🔬Nanopasses
The Quest for Knowledge in The Witness
superjumpmagazine.com·19h
🧩Prolog
There is no Alignment Problem
news.ycombinator.com·19h·
Discuss: Hacker News
🧩SAT Solvers
Introduction to Abject-Oriented Programming (2007)
typicalprogrammer.com·19h·
Discuss: Hacker News
📚Self-Documenting Code

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help