Feeds to Scour
SubscribedAll
Scoured 4165 posts in 63.7 ms
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d·
Discuss: Hacker News
🌳Tree Shaking
Preview
Report Post
The Wrong Question About Type Systems
furkan3ayraktar.github.io·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
Preview
Report Post
Syntactic musings on the fallibility effect
blog.yoshuawuyts.com·2d·
Discuss: Lobsters
🌊Gradual Effects
Preview
Report Post
Datomic introduction articles, using SQL
github.com·1d·
Discuss: Lobsters
🗄️Database Internals
Preview
Report Post
We need to go back, TO THE GRADIENT
cant.bearblog.dev·4h·
Discuss: Hacker News
🪜Recursive Descent
Preview
Report Post
LLMOps Is Not MLOps: Why Your LLM Demo Broke in Production (With Real Examples)
pub.towardsai.net
·13h
✨Gleam
Preview
Report Post
Railway.com knows better than you
anukari.com·7h·
Discuss: Hacker News
🔓Binary Exploitation
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·3h·
Discuss: Lobsters
🏰Capability Machines
Preview
Report Post
Great Ideas in Theoretical Computer Science
cs251.com·2h·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
Enjoying The Ride
bigmachine.io·3h
💬Prompt Engineering
Preview
Report Post
Scaling Go Testing with Contract and Scenario Mocks
funnelstory.ai·7h·
Discuss: Hacker News, r/golang
✅Property Testing
Preview
Report Post
Errors in Rust: A Deep Dive
halcyon.hr·3d·
Discuss: Hacker News
🔮Type Inference Visualization
Preview
Report Post
Vibe Coding Is Creating a Generation of Sorcerer’s Apprentices
russellmiller2.substack.com·6h·
Discuss: Substack
💬Interactive REPLs
Preview
Report Post
zhaochenyang20/Awesome-ML-SYS-Tutorial
github.com·1d
✨Gleam
Preview
Report Post
Property-Based Testing Caught a Security Bug I Never Would Have Found
kiro.dev·1h·
Discuss: Hacker News
✅Property Testing
Preview
Report Post
Show HN: High-Performance Domain-Agnostic Rule Engine with AI-Powered Config
ayushmaanbhav.github.io·4h·
Discuss: Hacker News
📋Tablegen
Preview
Report Post
A Codebase by an Agent for an Agent
ampcode.com·9h·
Discuss: Hacker News
🎮Language Ergonomics
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·4d
💬Interactive REPLs
Preview
Report Post
Sieve: A Mail Filtering Language
ietf.org·1d
📚Factor
Preview
Report Post
#33 Why You Should Read More Engineering Blogs
proactiveengineer.com·3h·
Discuss: Hacker News
💬Prompt Engineering
Preview
Report Post