Feeds to Scour
SubscribedAll
Scoured 17982 posts in 453.6 ms
Revisiting Regular Types
abseil.ioΒ·1d
Ξ»Lambda Encodings
Simplifying assertions with lenses
blog.ploeh.dkΒ·1h
πŸ”—Functional Compilers
wareya/pred_recdec: Predicated LL (recursive descent) parser in pure rust
github.comΒ·17hΒ·
Discuss: Hacker News
πŸ”—Parser Combinators
How I Built My Project in Haskell
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”—Functional Compilers
Learn Weird Programming Languages
okienko.dayΒ·2hΒ·
Discuss: Hacker News
πŸ”—Concatenative Programming
Differential Logic β€’ 4
inquiryintoinquiry.comΒ·1d
βš”οΈLean Theorem
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.ioΒ·1d
πŸ¦€Rust Macros
isledb: An embedded key-value engine built on object storage in Go
reddit.comΒ·1dΒ·
Discuss: r/golang
🏺Database Archaeology
An attempt at a First-Proof AI challenge
abhvio.usΒ·1dΒ·
Discuss: Hacker News
🎯Performance Proofs
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.comΒ·3dΒ·
Discuss: Hacker News
πŸ”—Functional Compilers
The Return of Algol 68
jxself.orgΒ·19h
πŸ¦€Rust Borrowing
Weeknotes 2026-W06 β€Ί Project Pterodactyl: incremental architecture
jonmsterling.comΒ·1dΒ·
Discuss: Hacker News, r/Compilers
⚑Incremental Computation
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.orgΒ·3d
πŸ¦€Rust Verification
Railway Oriented Programming
fsharpforfunandprofit.comΒ·3dΒ·
Discuss: Hacker News
🐚Shell Monads
An introduction to lockless algorithms [LWN.net]
lwn.netΒ·4h
⚑Hardware Transactional Memory
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.comΒ·1dΒ·
Discuss: Hacker News
βš–οΈHoare Logic
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.comΒ·1d
πŸ“Concrete Syntax
Let Lambda Come Over
yamlscript.orgΒ·2d
⬆️Lambda Lifting
A Language For Agents
lucumr.pocoo.orgΒ·15hΒ·
Discuss: Lobsters, Hacker News
πŸ—£οΈDomain-Specific Languages
Portable C Compiler
en.wikipedia.orgΒ·1dΒ·
Discuss: Hacker News
πŸ—οΈCompiler Archaeology

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