Feeds to Scour
SubscribedAll
Scoured 8248 posts in 73.1 ms
The prehistory of generative grammar and Chomsky’s debt to Emil Post
benjamins.com·9h·
Discuss: Hacker News
🔁Fixed-Point Theory
dnaHNet: A Scalable and Hierarchical Foundation Model for Genomic Sequence Learning
arxiv.org·1d
🧩Parser Combinators
Karpathy's Micro LLM in JavaScript
github.com·14h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Llama-Polya: Instruction Tuning for Large Language Model based on Polya's Problem-solving
arxiv.org·1d
🧮SMT Solvers
(Re)Discovering Natural Laws
lesswrong.com·8h
🎯Hindley-Milner
Proof-oriented Programming in F*
fstar-lang.org·1d·
Discuss: Lobsters
🔗Curry-Howard
Digitizing the "Shokunin": How we encoded a Master's hammer strike into AI
yusukekaizen.substack.com·23h·
Discuss: Substack
🔲Cellular Automata
[TUHS] bare m4 (was BTL summmer employees)
tuhs.org·1d·
Discuss: Lobsters
🐫Embedded OCaml
Polysemanticity is a Misnomer
lesswrong.com·12h
🔁Fixed-Point Theory
Yori – Isolating AI Logic into "Semantic Containers" (Docker for Code)
news.ycombinator.com·1h·
Discuss: Hacker News
🧮Z3
Show HN: A deterministic adversarial puzzle system
hashclue.com·12h·
Discuss: Hacker News
🔗Curry-Howard
The Perceptron
blog.engora.com·1d·
Discuss: Hacker News
⏱️Computational Complexity
Show HN: I taught AI to remember. Then it warned me
github.com·5h·
Discuss: Hacker News
🔲Cellular Automata
Part 1 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System
news.ycombinator.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Dyad 2.0: What Agentic AI means for the Future of Computer Languages - Blog
juliahub.com·11h·
Discuss: Hacker News
🤖Program Synthesis
"Am I the only one still wondering what is the deal with linear types?"
jonmsterling.com·1h·
Discuss: Hacker News
🎨GADTs
Extractional AI as Opposed to Conversational AI
normain.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
Show HN: The Algorithm's Favorite Child
next.chatbotkit.com·14h·
Discuss: Hacker News
⏱️Computational Complexity
CodeSpeak: Software Engineering with AI
codespeak.dev·9h·
Discuss: Lobsters, Hacker News
🤖Program Synthesis
How I Used Claude Code to Teach Myself Rust
mlolson.github.io·1d·
Discuss: Hacker News, r/programming
🏃Escape Analysis

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