Feeds to Scour
SubscribedAll
Scoured 8543 posts in 346.4 ms
Scripting on the JVM with Java, Scala, and Kotlin
mill-build.org·4h·
Discuss: Hacker News, r/programming
🔨Compilers
Implementability of Global Distributed Protocols modulo Network Architectures
arxiv.org·9h
🌐NetworkProtocols
Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
arxiv.org·2d
🔤DSLs
Proof-oriented Programming in F*
fstar-lang.org·10h·
Discuss: Lobsters
🔗Curry-Howard
htfab/microlane: Self-contained RTL to GDS flow for simple chip designs
github.com·15h·
Discuss: Hacker News
⚙️Operating System Design
Show HN: PolyMCP – Expose Python functions as MCP tools
news.ycombinator.com·18h·
Discuss: Hacker News
🔀OCaml Multicore
A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era
thenewstack.io·2d
🌐Network Protocols
[TUHS] bare m4 (was BTL summmer employees)
tuhs.org·22h·
Discuss: Lobsters
🐫Embedded OCaml
Implementing 3D Graphics Basics
hackaday.com·11h
🔲Cellular Automata
Building a Regex Engine with a team of parallel Claudes
lesswrong.com·1d
🧩Parser Combinators
How I Used Claude Code to Teach Myself Rust
mlolson.github.io·22h·
Discuss: Hacker News, r/programming
🏃Escape Analysis
Building DamN64: LLM-Assisted N64 Development
vieux.fr·19h·
Discuss: Hacker News
💻QEMU
How I Built My Project in Haskell
dev.to·4d·
Discuss: DEV
λFunctional Programming
Go - Unit & Integration Testing
linkedin.com·17h·
Discuss: r/programming
🧪Property-Based Testing
Architecture of SQLite
sqlite.org·1d·
Discuss: Hacker News
🔢Algebraic Data Types
An async HTTP server in ~80 lines of modern C++ (coroutines)
vixcpp.com·6h·
Discuss: Hacker News
🌐Network Protocols
C-- Home
cs.tufts.edu·2d·
Discuss: Lobsters
⚙️Compiler Design
datavorous/spheni: An in-memory vector search library in C++ with Python bindings
github.com·1d·
Discuss: Hacker News
🔧ppx
The 12-Factor App - 15 Years later. Does it Still Hold Up in 2026?
lukasniessen.medium.com·2h·
Discuss: r/node, r/programming
🧱Immutable Infrastructure
Rust Standard Library Challenges
rustfinity.com·1d·
Discuss: r/rust
🏗️Dune

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