Feeds to Scour
SubscribedAll
Scoured 19454 posts in 1.46 s
Lambda cube
en.wikipedia.org·2d·
Discuss: Lobsters
🔤Type Theory
Preview
Report Post
Layered Modal ML: Syntax and Full Abstraction
arxiv.org·4h
🌳Context free grammars
Preview
Report Post
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
Differential Logic • Overview
inquiryintoinquiry.com·18h
📏Linear Logic
Preview
Report Post
Functional Programming Bits in Python
martynassubonis.substack.com·1d·
Discuss: Substack, r/programming, r/webdev
🔗Functional Compilers
Preview
Report Post
DavidLevi1998/programming-foundations-python: A structured exploration of programming fundamentals in Python, focused on mental models, state, control flow, and abstraction.
github.com·1h·
Discuss: Hacker News
🔗Lisp
Preview
Report Post
Pascal-J/type-system-j: adds an optional type system to J language
github.com·13h·
Discuss: Lobsters
🎯Gradual Typing
Preview
Report Post
A Complete Finitary Refinement Type System for Scott-Open Properties
arxiv.org·2d
🔬Refinement Types
Preview
Report Post
Programming Language Implementation: In Theory, We Understand. In Practice, We Wish We Would.
stefan-marr.de·1d
🛠Language Design
Preview
Report Post
Show HN: OpenSymbolicAI – Agents with typed variables, not just context stuffing
news.ycombinator.com·13h·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
The path to noncommutative function theory: a research story
noncommutativeanalysis.wordpress.com·20h
💻Programming languages
Preview
Report Post
Ellipsis and Higher-Order Unification
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
Preview
Report Post
A Beginner’s Reading List for Large Language Models for 2026
machinelearningmastery.com·1d
💻Local LLMs
Preview
Report Post
Updates and Plans V: From Boise to Tel Aviv, Ceasefire, My 70th Birthday, Nostalgia, Problems, Outrageous Conjectures, Quantum, and AI
gilkalai.wordpress.com·14h
🕸️Graph Algorithms
Preview
Report Post
How Lisp Became God's Own Programming Language
twobithistory.org·6h
🔗Lisp
Preview
Report Post
Untangling Literate Programming
quotenil.com·2d
🔗Concatenative Programming
Preview
Report Post
I built a free ML practice platform - would love your feedback [P]
reddit.com·1h·
Discuss: r/MachineLearning
🎵Audio ML
Preview
Report Post
Recent Advances in LLMs for Mathematics
youtube.com·1d·
Discuss: Hacker News
✅Formal Methods
Preview
Report Post
CodeSOD: A Percise Parser
thedailywtf.com·1d
🌳Incremental Parsing
Preview
Report Post
Calling Lean Functions As Python Functions
philipzucker.com·2d
⚔️Lean Tactics
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