Feeds to Scour
SubscribedAll
Scoured 8632 posts in 135.9 ms
How I Built My Project in Haskell
dev.to·1d·
Discuss: DEV
📝Nix Language
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·19h·
Discuss: Hacker News
📐Hoare Logic
Introduction to Abject-Oriented Programming (2007)
typicalprogrammer.com·17h·
Discuss: Hacker News
🔤Language Design
Functional Programming Bits in Python
martynassubonis.substack.com·6d·
Discuss: Substack, r/programming, r/webdev
🔀Brzozowski Derivatives
An attempt at a First-Proof AI challenge
abhvio.us·20h·
Discuss: Hacker News
⏱️Computational Complexity
wareya/pred_recdec: Predicated LL (recursive descent) parser in pure rust
github.com·10h·
Discuss: Hacker News
🧩Parser Combinators
Railway Oriented Programming
fsharpforfunandprofit.com·2d·
Discuss: Hacker News
📦Module Systems
Agentic Proof-Oriented Programming
risemsr.github.io·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
555-Based Square-Wave and Triangle-Wave Function Generator Build for Beginners
hackaday.com·1d
🎯GADT
Show HN: Elysia JIT "Compiler", why it's one of the fastest JavaScript framework
elysiajs.com·21h·
Discuss: Hacker News, r/javascript, r/node
🏃Escape Analysis
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·1d·
Discuss: Hacker News
⚙️Compiler Design
isledb: An embedded key-value engine built on object storage in Go
reddit.com·20h·
Discuss: r/golang
🔠Type-Level Programming
Oatmeal - Constraint propagation for fun
eli.li·1d·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
Computing large Fibonacci numbers
johndcook.com·18h·
Discuss: Hacker News
⏱️Computational Complexity
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·1d
⚙️Compiler Design
Join My New Movement for the Post-AI World
lesswrong.com·9h
🔲Cellular Automata
Style tips for less experienced developers coding with AI
honnibal.dev·3d·
Discuss: Hacker News
🧪Property-Based Testing
Abstract Framework for All-Path Reachability Analysis
arxiv.org·4d
🌲CTL
Show HN: ShapeGuard – Shape Contracts for NumPy and Jax
news.ycombinator.com·3h·
Discuss: Hacker News
🔢Algebraic Data Types

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