Feeds to Scour
SubscribedAll
Scoured 4160 posts in 70.3 ms
Great Ideas in Theoretical Computer Science
cs251.com·2h·
Discuss: Hacker News
🎯Finite Automata
Preview
Report Post
Selective Applicative Functors
blog.veritates.love·1d·
Discuss: Lobsters, Hacker News
∘Category Theory
Preview
Report Post
Writing Concisely — Center for Arts & Language
artsandlanguage.risd.edu·4h
📚Factor
Preview
Report Post
zhaochenyang20/Awesome-ML-SYS-Tutorial
github.com·1d
✨Gleam
Preview
Report Post
Vibe Coding Is Creating a Generation of Sorcerer’s Apprentices
russellmiller2.substack.com·6h·
Discuss: Substack
💬Interactive REPLs
Preview
Report Post
The success of 'natural language programming'
brooker.co.za·2d·
Discuss: Hacker News
🎯Finite Automata
Preview
Report Post
Using Zig Metaprogramming to Make Life Easy | Matt Provost
mattprovost.dev·3d
⚡Comptime Parsers
Preview
Report Post
The Wrong Question About Type Systems
furkan3ayraktar.github.io·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·3h·
Discuss: Lobsters
🏰Capability Machines
Preview
Report Post
Syntactic musings on the fallibility effect
blog.yoshuawuyts.com·2d·
Discuss: Lobsters
🌊Gradual Effects
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·4d
💬Interactive REPLs
Preview
Report Post
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
LAI #106: Choosing the Right Shape for AI Systems
pub.towardsai.net
·10h
💬Prompt Engineering
Preview
Report Post
michmech/lemmatization-lists: Machine-readable lists of lemma-token pairs in 23 languages.
github.com·1d
🔤Language Tokenizers
Preview
Report Post
Introduction to Jock
docs.jock.org·1d·
Discuss: Hacker News
📚Factor
Preview
Report Post
Sieve: A Mail Filtering Language
ietf.org·1d
📚Factor
Preview
Report Post
Adventures in the land of Language Servers - Speaker Deck
speakerdeck.com·1d
⚡Incremental Parsing
Preview
Report Post
GitHub - KalyanKS-NLP/LLM-Interview-Questions-and-Answers-Hub: 100+ LLM interview questions with answers.
github.com·2h·
Discuss: Hacker News
🪜Recursive Descent
Preview
Report Post
Inlining – The Ultimate Optimisation
xania.org·1d·
Discuss: Lobsters, Hacker News
📥Inlining
Preview
Report Post
Origins of design of data frames: Software for data analysis (John Chambers)
link.springer.com·1d·
Discuss: Hacker News
🌱Minimal Schemes
Preview
Report Post