Feeds to Scour
SubscribedAll
Scoured 8809 posts in 118.2 ms
Golang custom error types with stack trace
klotzandrew.com·8h
🎯Escape Analysis
Preview
Report Post
Durable Execution: Build reliable software in an unreliable world
thenewstack.io·1d·
Discuss: Hacker News
📋Task Queues
Preview
Report Post
Drift-Bench: Diagnosing Cooperative Breakdowns in LLM Agents under Input Faults via Multi-Turn Interaction
arxiv.org·1d
✨Gleam
Preview
Report Post
How not to program in Dyalog APL
toolofthought.com·1h·
Discuss: Lobsters
🎯Escape Analysis
Preview
Report Post
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·23h·
Discuss: Lobsters, Hacker News
🎯Escape Analysis
Preview
Report Post
"Five-Point Haskell": Total Depravity (and Defensive Typing)
blog.jle.im·1d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
Preview
Report Post
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·16h·
Discuss: Lobsters, Hacker News, r/golang
🎨Domain-Specific Languages
Preview
Report Post
Functional Programming Bits in Python
martynassubonis.substack.com·1d·
Discuss: Substack, r/programming, r/webdev
🔗Dependent Types
Preview
Report Post
nilpunch/massive-ecs: Bitset-based ECS with rollbacks. C# library and Unity package.
github.com·9h
🚂Cranelift IR
Preview
Report Post
The Hot Mess of AI: How Does Misalignment Scale with Model Intelligence and Task Complexity?
alignment.anthropic.com·1d·
Discuss: Hacker News
🧠Symbolic AI
Preview
Report Post
On Complete Categorical Semantics for Effect Handlers
arxiv.org·7h
🔄Effect Handlers
Preview
Report Post
Noel Welsh: Direct-style Effects Explained
noelwelsh.com·13h
💫Effect Systems
Preview
Report Post
Formally Verifying PBS Kids with Lean4
shadaj.me·1d·
Discuss: Hacker News
⚖️Inference Rules
Preview
Report Post
Introduction to SAFE
safe-docs.erlang-solutions.com·3h
🛡️Security Type Systems
Preview
Report Post
Why Go is not my favourite language
blog.habets.se·1d·
Discuss: Hacker News
🎯Escape Analysis
Preview
Report Post
Algebraic Effects for the Rest of Us
overreacted.io·16h
💫Effect Systems
Preview
Report Post
Reflections on Reflection
blog.nyxcode.com·1d·
Discuss: r/rust
🪞Metaprogramming
Preview
Report Post
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·1d·
Discuss: Hacker News
🗺️Region Inference
Preview
Report Post
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·15h·
Discuss: Substack
🎯Escape Analysis
Preview
Report Post
Pascal-J/type-system-j: adds an optional type system to J language
github.com·15h·
Discuss: Lobsters
📐Type Theory
Preview
Report Post

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