Feeds to Scour
SubscribedAll
Scoured 4411 posts in 63.4 ms
Inlining – The Ultimate Optimisation
xania.org·1d·
Discuss: Lobsters, Hacker News
📥Inlining
Preview
Report Post
Preventing Generics Contagion for code
reddit.com·2h·
Discuss: r/rust
🌊Gradual Effects
Preview
Report Post
GitHub - jign/SkyLifeguard: Assertive Programming framework for UE5 inspired by DbC
github.com·7h·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Syntactic musings on the fallibility effect
blog.yoshuawuyts.com·2d·
Discuss: Lobsters
🌊Gradual Effects
Preview
Report Post
Sieve: A Mail Filtering Language
ietf.org·1d
📚Factor
Preview
Report Post
The Wrong Question About Type Systems
furkan3ayraktar.github.io·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
Preview
Report Post
LAI #106: Choosing the Right Shape for AI Systems
pub.towardsai.net
·19h
💬Prompt Engineering
Preview
Report Post
Making a game on a custom bytecode VM in 7 days and 3kB
laurentlb.itch.io·9h·
Discuss: Hacker News
⚡Live Coding
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·13h·
Discuss: Lobsters
🏰Capability Machines
Preview
Report Post
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Reimplementing Unix Correct: The Lost Bayesian Spelling Corrector
learningloom.substack.com·5h·
Discuss: Substack
⚡Incremental Parsing
Preview
Report Post
What's new in Kotlin 2.3.0
kotlinlang.org·2d·
Discuss: Lobsters
🔮Type Inference Visualization
Preview
Report Post
Attempting Cross Translation Unit Taint Analysis for Firefox
attackanddefense.dev·3d·
Discuss: Lobsters
🔗Language Toolchains
Preview
Report Post
I Tried Gleam for Advent of Code, and I Get the Hype | Lobsters
lobste.rs·3h·
Discuss: Lobsters
✨Gleam
Preview
Report Post
Porting a complete HTML5 parser and browser test suite [from Python to OCaml us
anil.recoil.org·8h·
Discuss: Lobsters, Hacker News
🎮Language Ergonomics
Preview
Report Post
Well, new vulnerability in the rust code
git.kernel.org·1d·
Discuss: Hacker News, r/linux, r/programming
🔓Binary Exploitation
Preview
Report Post
Property-Based Testing Caught a Security Bug I Never Would Have Found
kiro.dev·11h·
Discuss: Hacker News
✅Property Testing
Preview
Report Post
Swindlers-Inc/sqlitez: A lightweight SQLite wrapper and schema maintainer - Codeberg.org
codeberg.org·14h
🗄️SQLite
Preview
Report Post
Using Zig Metaprogramming to Make Life Easy | Matt Provost
mattprovost.dev·4d
⚡Comptime Parsers
Preview
Report Post
Vibe Coding Is Creating a Generation of Sorcerer’s Apprentices
russellmiller2.substack.com·16h·
Discuss: Substack
💬Interactive REPLs
Preview
Report Post