Feeds to Scour
SubscribedAll
Scoured 77938 posts in 368.5 ms
Learning Deterministic Finite-State Machines from the Prefixes of a Single String is NP-Complete
arxiv.org·1d
🎰Parsing Machines
Preview
Report Post
Making a Language
thunderseethe.dev·11h
🔬programming language theory
Preview
Report Post
weitianxin/Awesome-Agentic-Reasoning
github.com·50m
🤖Abstract Machines
Preview
Report Post
In Praise of APL (1977)
jsoftware.com·59m·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
Partial Reductions for Kleene Algebra with Linear Hypotheses
arxiv.org·1d
🐪OCaml GADTs
Preview
Report Post
Transformer Series #3: Positional Encoding - How Transformers Understand "Time" Without a Clock ⏳
dev.to·19h·
Discuss: DEV
🎰Parsing Machines
Preview
Report Post
Harper: Free, Open Source Grammar Checker
writewithharper.com·7h·
Discuss: r/webdev
🔄Incremental Lexing
Preview
Report Post
No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2
pub.towardsai.net
·2d
🌱Minimal ML
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·1d
🪞Homoiconicity
Preview
Report Post
Conductor Quantum: Coda - Natural language quantum computing
producthunt.com·14h
✨Gleam
Preview
Report Post
From Literal Prompts to Autonomous Agents
dev.to·12h·
Discuss: DEV
💬Interactive REPLs
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·21h·
Discuss: Hacker News
λLambda Calculus
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·3d
🔗Lexical Scoping
Preview
Report Post
Iterative multi-word anagram solver
boulter.com·1d
🤖Suffix Automata
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·17h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Using Secure Small Language Models to Navigate Big Data Sets
govtech.com·15h
📈Earley Parsing
Preview
Report Post
MIT's Recursive Language Models Improve Performance on Long-Context Tasks
infoq.com·1d
🪜Recursive Descent
Preview
Report Post
Simple Sudoku Solvers SII, EI: Dyalog APL
blog.veitheller.de·2d
🧩SAT Solvers
Preview
Report Post
Word Lotus: Started coding again with AI and I started with my favourite game
play.google.com·11h·
Discuss: Hacker News
🌱Minimal ML
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help