Feeds to Scour
SubscribedAll
Scoured 4410 posts in 61.3 ms
Preventing Generics Contagion for code
reddit.com·2h·
Discuss: r/rust
🌊Gradual Effects
Preview
Report Post
Two Kinds of Vibe Coding
davidbau.com·13h·
Discuss: Hacker News
🤖Code Generation
Preview
Report Post
Syntactic musings on the fallibility effect
blog.yoshuawuyts.com·2d·
Discuss: Lobsters
🌊Gradual Effects
Preview
Report Post
Anyone With API Access Can Clone an AI Model and Make It Unsafe
pub.towardsai.net
·1d
✨Effect Inference
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
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
New light on chemotherapy toxicity and its prevention | BJC Reports
nature.com·2h
✨Effect Inference
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·13h·
Discuss: Lobsters
🏰Capability Machines
Preview
Report Post
Evaluating chain-of-thought monitorability
openai.com·22h·
Discuss: Hacker News
💡Explainable AI
Preview
Report Post
Selective Applicative Functors
blog.veritates.love·1d·
Discuss: Lobsters, Hacker News
🔬programming language theory
Preview
Report Post
Cryptographic Lockbox Transaction Substrate
artificialanthology.blogspot.com·16h·
Discuss: Hacker News
🛡️Security Type Systems
Preview
Report Post
zhaochenyang20/Awesome-ML-SYS-Tutorial
github.com·2d
✨Gleam
Preview
Report Post
Tokenization in Transformers v5: Simpler, Clearer, and More Modular
huggingface.co·1d
🔍Tokenizers
Preview
Report Post
We need to go back, TO THE GRADIENT
cant.bearblog.dev·14h·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Jq Language Description
github.com·1d·
Discuss: Hacker News
📚Forth Compilers
Preview
Report Post
The Wrong Question About Type Systems
furkan3ayraktar.github.io·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
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
Corti introduces GIM: Benchmark-leading method for understanding AI model behavior | Corti
corti.ai·14h·
Discuss: Hacker News
💡Explainable AI
Preview
Report Post
Four Ps for Building Massive Collective Knowledge Systems
anil.recoil.org·6h
🌱Digital Gardens
Preview
Report Post
Autopoiesis, intracrinology, and the self: toward a new model of mental health - Academia.edu
academia.edu·1d
🧩Cognitive Science
Preview
Report Post