Feeds to Scour
SubscribedAll
Scoured 9447 posts in 74.5 ms
How I Built My Project in Haskell
dev.to·1d·
Discuss: DEV
λFunctional Programming
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·3d·
Discuss: Hacker News
λFunctional Programming
StraTyper: Automated Semantic Type Discovery and Multi-Type Annotation for Dataset Collections
arxiv.org·3d
🧩Parser Combinators
wareya/pred_recdec: Predicated LL (recursive descent) parser in pure rust
github.com·2h·
Discuss: Hacker News
🧩Parser Combinators
isledb: An embedded key-value engine built on object storage in Go
reddit.com·13h·
Discuss: r/golang
🎯GADT
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·1d·
Discuss: Hacker News, r/Compilers
🔧ppx
Oatmeal - Constraint propagation for fun
eli.li·21h·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
Railway Oriented Programming
fsharpforfunandprofit.com·2d·
Discuss: Hacker News
📦Module Systems
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·1d
⚙️Compiler Design
creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.
github.com·19h·
Discuss: r/node, r/reactjs
🔧ppx
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·16h·
Discuss: Hacker News
⚙️Compiler Design
Week 1: Why did I start learning Rust?
vitaliihonchar.com·1d·
Discuss: r/programming
🔬Static Analysis
Agentic Proof-Oriented Programming
risemsr.github.io·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Type Variance
en.wikipedia.org·2d·
Discuss: Hacker News
🎯GADT
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·2d
🧮Z3
Fast Properties in V8 (2017)
v8.dev·7h·
Discuss: Hacker News
❓Existential Types
Introduction to Abject-Oriented Programming (2007)
typicalprogrammer.com·10h·
Discuss: Hacker News
🔤Language Design
Hello World: Algorithmic Trading & DeFi Logic
dev.to·9h·
Discuss: DEV
🔀Brzozowski Derivatives
Accelerate your discovery by parallelizing experiments
magellink.com·7h·
Discuss: Hacker News
🔧Unikernel Development
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·10h·
Discuss: Hacker News
📐Hoare Logic

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