Feeds to Scour
SubscribedAll
Scoured 4519 posts in 73.4 ms
Great Ideas in Theoretical Computer Science
cs251.com·14h·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
Syntactic musings on the fallibility effect
blog.yoshuawuyts.com·2d·
Discuss: Lobsters
🌊Gradual Effects
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
GraphRAG Explained: Building Knowledge-Grounded LLM Systems with Neo4j and LangChain
pub.towardsai.net·7h
🕸️Knowledge Graphs
Preview
Report Post
michmech/lemmatization-lists: Machine-readable lists of lemma-token pairs in 23 languages.
github.com·2d
🔤Language Tokenizers
Preview
Report Post
Reimplementing Unix Correct: The Lost Bayesian Spelling Corrector
learningloom.substack.com·8h·
Discuss: Substack
⚡Incremental Parsing
Preview
Report Post
Carving Nature at Your Joints
planktonvalhalla.com·39m·
Discuss: Hacker News
🌱Digital Gardens
Preview
Report Post
How accurate is Gemini for business and enterprise use
blog.pangeanic.com·4h
🎮Language Ergonomics
Preview
Report Post
Preventing Generics Contagion for code
reddit.com·4h·
Discuss: r/rust
🌊Gradual Effects
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·4d·
Discuss: Hacker News
🧩Constraint Logic
Preview
Report Post
Evaluating chain-of-thought monitorability
openai.com·1d·
Discuss: Hacker News
💡Explainable AI
Preview
Report Post
GitHub - KalyanKS-NLP/LLM-Interview-Questions-and-Answers-Hub: 100+ LLM interview questions with answers.
github.com·15h·
Discuss: Hacker News
🪜Recursive Descent
Preview
Report Post
Four Ps for Building Massive Collective Knowledge Systems
anil.recoil.org·9h
🌱Digital Gardens
Preview
Report Post
Show HN: High-Performance Domain-Agnostic Rule Engine with AI-Powered Config
ayushmaanbhav.github.io·17h·
Discuss: Hacker News
📋Tablegen
Preview
Report Post
The success of 'natural language programming'
brooker.co.za·2d·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
Sieve: A Mail Filtering Language
ietf.org·1d
📚Factor
Preview
Report Post
The Wrong Question About Type Systems
furkan3ayraktar.github.io·2d·
Discuss: Lobsters, Hacker News
📐Type Theory
Preview
Report Post
Selective Applicative Functors
blog.veritates.love·1d·
Discuss: Lobsters, Hacker News
🔬programming language theory
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·16h·
Discuss: Lobsters
🏰Capability Machines
Preview
Report Post