Feeds to Scour
SubscribedAll
Scoured 73075 posts in 562.6 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·21h
📐TLA+
Preview
Report Post
From monolith to modular monolith to microservices: realistic migration patterns
dev.to·16h·
Discuss: DEV
🎯Microservices
Preview
Report Post
Making a Language
thunderseethe.dev·4h
🔨Compiler Design
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🔍eBPF Verifier
Preview
Report Post
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·14h
🦀Rust Macros
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·14h
🔬Static Analysis
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·12h
⚙️Systems Programming
Preview
Report Post
Introducing Names: practical namespaces for Emacs-Lisp
endlessparentheses.com·13h
🦀Rust Macros
Preview
Report Post
Functional Logic Program Transformations
arxiv.org·21h
λFunctional Programming
Preview
Report Post
Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors
towardsdatascience.com·13h
🦙Ollama
Preview
Report Post
datahaven-xyz/datahaven: An EVM compatible Substrate chain, powered by StorageHub and secured by EigenLayer
github.com·1h
🎚️Tiered Storage
Preview
Report Post
Scheme implementation as O’Reilly book via Claude Code
ezzeriesa.notion.site·1d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·9h·
Discuss: Hacker News
🏗️Cranelift
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org·10h
Category Theory
Preview
Report Post
Type-safe eval in Grace
haskellforall.com·1d·
🎯Escape Analysis
Preview
Report Post
Vibe coding is a moving target (so don’t marry the tool)
nothingeasyaboutthis.com·44m
💬Prompt Engineering
Preview
Report Post
The Stainless PHP SDK generator is now generally available
stainless.com·2d
💼Thrift
Preview
Report Post
Dependency Inversion Principle: The Architect’s Superpower
ihoka.me·2d·
Discuss: Hacker News
🔄Effect Handlers
Preview
Report Post
Alchemist: from Brickbuilder to a Databricks Marketplace App
databricks.com·1d
🌀Naiad
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
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