🧩 Monads

Effect Systems, Composable Abstractions, Error Handling, Sequencing Computations

Feeds to Scour
SubscribedAll
Scoured 127 posts in 13.2 ms
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
λFunctional Programming
michaelhelvey/lilfuture: Educational async runtime for Rust
github.com·1d
🏗️Compiler Design
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🏗️Language Design
Fast Autoscheduling for Sparse ML Frameworks
ajroot.pl·2d·
Discuss: Hacker News
📈Incremental Computation
Understanding LLM Inference Engines: Inside Nano-vLLM (Part 2)
neutree.ai·18h·
Discuss: Hacker News
⏩SIMD
How I Extend My Workflow with Claude Code CLI
spin.atomicobject.com·13h
🔗Dependent Types
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·3d·
Discuss: Substack
λFunctional Programming
Lambda cube
en.wikipedia.org·5d·
Discuss: Lobsters
🔗Dependent Types
My Current AI Coding Workflow
jonathannen.com·23h
🤖AI
Processes and Threads - Discourse on Concurrency, Part I
ayanmali.substack.com·20h·
Discuss: Substack
🔓Lock-free Algorithms
codx-dev/msgpacker: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com·19h·
Discuss: Hacker News
🔍Static Analysis
Finding the needle in the logstack: Reducing LLM context with TF-IDF
eliseomartelli.it·1d
🔢Linear Types
Securing GenAI: Vol. 8 — Deploying AI apps securely
pub.towardsai.net·6h
⏱️Tokio
Building Highly Efficient Inference System for Recommenders Using PyTorch
pytorch.org·1d·
Discuss: Hacker News
📈Incremental Computation
A Modern Python Stack for Data Projects (uv + ruff + ty + Marimo + Polars)
mameli.dev·2d·
Discuss: r/programming
🧵Coroutines
Beta Release: Predicated Recursive Descent for Rust
wareya.wordpress.com·5d·
Discuss: Hacker News
🏗️Compiler Design
Optimized LLM Inference Engines
rishirajacharya.com·2d
🏗️Compiler Design
Building a Claude Code skill
sevalla.com·2d
🔍Static Analysis
Writing an Async Runtime in Rust
michaelhelvey.dev·4d·
Discuss: Lobsters, Hacker News
⏱️Tokio
a Pingora-based reverse proxy (inspired by River)
sentinel.raskell.io·3d·
Discuss: Hacker News
⏱️Tokio

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