Feeds to Scour
SubscribedAll
Scoured 9654 posts in 385.6 ms
Precision in Practice: Knowledge Guided Code Summarizing Grounded in Industrial Expectations
arxiv.org·2h
🔄Reproducible Builds
Preview
Report Post
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·11h·
Discuss: Substack
🎯GADT
Preview
Report Post
A Black Box Made Less Opaque (part 2)
lesswrong.com·3h
🔢Algebraic Data Types
Preview
Report Post
java sucks (2000)
jwz.org·13h·
Discuss: Lobsters
📝Nix Language
Preview
Report Post
Verifying coding AIs for LLM powered software
aunhumano.com·11h·
Discuss: Hacker News
🔍Formal Verification
Preview
Report Post
A Demonstration of Self-Profiling
geoffchappell.com·14h·
Discuss: Hacker News
👁️System Observability
Preview
Report Post
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·19h·
Discuss: Lobsters, Hacker News
🏃Escape Analysis
Preview
Report Post
Learning to Repair Lean Proofs from Compiler Feedback
arxiv.org·2h
✓Automated Theorem Proving
Preview
Report Post
'What Does "Resilient" Mean? — Defining Drift and Invariants'
dev.to·21h·
Discuss: DEV
📐Hoare Logic
Preview
Report Post
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·12h·
Discuss: Lobsters, Hacker News, r/golang
🐫Embedded OCaml
Preview
Report Post
The Architecture of Open Source Applications (Volume 1) Berkeley DB
aosabook.org·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Preview
Report Post
Python 3.14.3 and 3.13.12 are now available!
pythoninsider.blogspot.com·9h·
Discuss: Blogger
📦Opam
Preview
Report Post
clojure.spec - Rationale and Overview
clojure.org·1d·
Discuss: Hacker News
📦Module Systems
Preview
Report Post
Flavours of Reflection
semantics.bernardteo.me·1d·
Discuss: Lobsters, r/cpp
❓Existential Types
Preview
Report Post
Vibe Coding Design Study: Tlparse
blog.ezyang.com·2h·
Discuss: Hacker News
🔍Formal Verification
Preview
Report Post
Ask HN: Why dead code detection in Python is harder than most tools admit
news.ycombinator.com·1d·
Discuss: Hacker News
🏃Escape Analysis
Preview
Report Post
Coding Agents Need More Than Examples. They Need Guardrails.
medium.com·14h·
Discuss: Hacker News
🏃Escape Analysis
Preview
Report Post
Functional Programming Bits in Python
martynassubonis.substack.com·1d·
Discuss: Substack, r/programming, r/webdev
λFunctional Programming
Preview
Report Post
Debugging Memory Leaks in Go Without Documentation: A Security Researcher's Approach
dev.to·8h·
Discuss: DEV
👁️System Observability
Preview
Report Post
Lambda cube
en.wikipedia.org·2d·
Discuss: Lobsters
🧮Lambda Calculus
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