Feeds to Scour
SubscribedAll
Scoured 4192 posts in 57.0 ms
Property-Based Testing Caught a Security Bug I Never Would Have Found
kiro.dev·3h·
Discuss: Hacker News
💎Refinement Types
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·5h·
Discuss: Lobsters
🏰Capability Machines
Preview
Report Post
Scaling Go Testing with Contract and Scenario Mocks
funnelstory.ai·8h·
Discuss: Hacker News, r/golang
💎Refinement Types
Preview
Report Post
audio_samples: an audio data layer for Rust
reddit.com·6h·
Discuss: r/rust
✨Gleam
Preview
Report Post
LLMOps Is Not MLOps: Why Your LLM Demo Broke in Production (With Real Examples)
pub.towardsai.net
·14h
✨Gleam
Preview
Report Post
GitHub - gruhn/regex-utils: TypeScript library for regex equivalence, intersection, complement and other utilities that go beyond string matching.
github.com·1d
📚Factor
Preview
Report Post
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Show HN: High-Performance Domain-Agnostic Rule Engine with AI-Powered Config
ayushmaanbhav.github.io·5h·
Discuss: Hacker News
📋Tablegen
Preview
Report Post
Selective Applicative Functors
blog.veritates.love·1d·
Discuss: Lobsters, Hacker News
🔬programming language theory
Preview
Report Post
The Wrong Question About Type Systems
furkan3ayraktar.github.io·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
Preview
Report Post
Vibe Coding Is Creating a Generation of Sorcerer’s Apprentices
russellmiller2.substack.com·7h·
Discuss: Substack
💬Interactive REPLs
Preview
Report Post
zhaochenyang20/Awesome-ML-SYS-Tutorial
github.com·2d
✨Gleam
Preview
Report Post
What's new in Kotlin 2.3.0
kotlinlang.org·2d·
Discuss: Lobsters
🔮Type Inference Visualization
Preview
Report Post
Your job is to deliver code you have proven to work
simonwillison.net·11h·
Discuss: Lobsters, Hacker News, r/programming
🎮Language Ergonomics
Preview
Report Post
Syntactic musings on the fallibility effect
blog.yoshuawuyts.com·2d·
Discuss: Lobsters
🌊Gradual Effects
Preview
Report Post
Jq Language Description
github.com·1d·
Discuss: Hacker News
📚Forth Compilers
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·4d
💬Interactive REPLs
Preview
Report Post
Two Kinds of Vibe Coding
davidbau.com·5h·
Discuss: Hacker News
🤖Code Generation
Preview
Report Post
How accurate is ChatGPT for business and enterprise use
blog.pangeanic.com·1d
🎮Language Ergonomics
Preview
Report Post
Getting Started with Dialyzer in Elixir | AppSignal Blog
blog.appsignal.com·1d
💎Refinement Types
Preview
Report Post