Feeds to Scour
SubscribedAll
Scoured 4132 posts in 60.4 ms
The Wrong Question About Type Systems
furkan3ayraktar.github.io·1d·
Discuss: Lobsters, Hacker News
🪞Metaprogramming
Preview
Report Post
michmech/lemmatization-lists: Machine-readable lists of lemma-token pairs in 23 languages.
github.com·1d
🔤Language Tokenizers
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·40m·
Discuss: Lobsters
🏰Capability Machines
Preview
Report Post
Vibe Coding Is Creating a Generation of Sorcerer’s Apprentices
russellmiller2.substack.com·3h·
Discuss: Substack
💬Interactive REPLs
Preview
Report Post
Syntactic musings on the fallibility effect
blog.yoshuawuyts.com·1d·
Discuss: Lobsters
🌊Gradual Effects
Preview
Report Post
Selective Applicative Functors
blog.veritates.love·1d·
Discuss: Lobsters, Hacker News
🔬programming language theory
Preview
Report Post
Getting Started with Dialyzer in Elixir | AppSignal Blog
blog.appsignal.com·1d
💎Refinement Types
Preview
Report Post
Show HN: Writing a networking stack for xv6 in Rust
alessandroferrari.live·1d·
Discuss: Hacker News
🌍Minimal HTTP
Preview
Report Post
Idiomatic Rust CLI Framework build on Clap
crates.io·1h·
Discuss: r/rust
🚂Cranelift IR
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·3d
💬Interactive REPLs
Preview
Report Post
Live Programming in Hostile Territory
folkjs.org·23h
🔍Lens Libraries
Preview
Report Post
Sieve: A Mail Filtering Language
ietf.org·1d
📚Factor
Preview
Report Post
Show HN: High-Performance Domain-Agnostic Rule Engine with AI-Powered Config
ayushmaanbhav.github.io·1h·
Discuss: Hacker News
📋Tablegen
Preview
Report Post
zhaochenyang20/Awesome-ML-SYS-Tutorial
github.com·1d
✨Gleam
Preview
Report Post
The Atomic Traits of LLMs
pub.towardsai.net·3d
🎮Language Ergonomics
Preview
Report Post
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Writing Concisely — Center for Arts & Language
artsandlanguage.risd.edu·1h
📚Factor
Preview
Report Post
Web Experience Toolkit (WET) - Working examples - Web Experience Toolkit
wet-boew.github.io·3h
🎮Language Ergonomics
Preview
Report Post
Type-Safe User Interfaces and the Manifest Pattern
andrewhathaway.net·2d·
Discuss: Hacker News
🌉Cross-Platform FFI
Preview
Report Post
Attempting Cross Translation Unit Taint Analysis for Firefox
attackanddefense.dev·2d·
Discuss: Lobsters
🔗Language Toolchains
Preview
Report Post