Feeds to Scour
SubscribedAll
Scoured 4534 posts in 48.4 ms
The Wrong Question About Type Systems
furkan3ayraktar.github.io·2d·
Discuss: Lobsters, Hacker News
📐Type Theory
Preview
Report Post
Great Ideas in Theoretical Computer Science
cs251.com·14h·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
Preventing Generics Contagion for code
reddit.com·4h·
Discuss: r/rust
🌊Gradual Effects
Preview
Report Post
GitHub - emilybache/Parrot-Refactoring-Kata: Kata to learn about Polymorphism
github.com·1m
💬Interactive REPLs
Preview
Report Post
What We Built Before LLMs — and Why Modern AI Deployments Are Failing Without It
pub.towardsai.net
·1d
🔀Data Integration
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·16h·
Discuss: Lobsters
🏰Capability Machines
Preview
Report Post
Reimplementing Unix Correct: The Lost Bayesian Spelling Corrector
learningloom.substack.com·8h·
Discuss: Substack
⚡Incremental Parsing
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·4d
💬Interactive REPLs
Preview
Report Post
GitHub - jign/SkyLifeguard: Assertive Programming framework for UE5 inspired by DbC
github.com·10h·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Porting a complete HTML5 parser and browser test suite [from Python to OCaml us
anil.recoil.org·11h·
Discuss: Lobsters, Hacker News
🎮Language Ergonomics
Preview
Report Post
CS 224 Fall 23
sitanchen.com·5h
🔢Algebraic Datatypes
Preview
Report Post
Selective Applicative Functors
blog.veritates.love·1d·
Discuss: Lobsters, Hacker News
🔬programming language theory
Preview
Report Post
the pepsi place | Albatross: Breaking out of pyjail with your hands tied.
blog.pepsipu.com·1h
⚡Incremental Parsing
Preview
Report Post
Datomic introduction articles, using SQL
github.com·1d·
Discuss: Lobsters
🗄️Database Internals
Preview
Report Post
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Getting Started with Dialyzer in Elixir | AppSignal Blog
blog.appsignal.com·1d
💎Refinement Types
Preview
Report Post
Vibe Coding Is Creating a Generation of Sorcerer’s Apprentices
russellmiller2.substack.com·18h·
Discuss: Substack
💬Interactive REPLs
Preview
Report Post
Non-Sendable First Design
massicotte.org·1d·
Discuss: Hacker News
🔄CRDT
Preview
Report Post
Sieve: A Mail Filtering Language
ietf.org·1d
📚Factor
Preview
Report Post
Syntactic musings on the fallibility effect
blog.yoshuawuyts.com·2d·
Discuss: Lobsters
🌊Gradual Effects
Preview
Report Post