Feeds to Scour
SubscribedAll
Scoured 78173 posts in 2.08 s
Functional Logic Program Transformations
arxiv.org·17h
🔄CPS Transform
Preview
Report Post
CPU-less parallel execution of lambda calculus in digital logic
arxiv.org·17h
📏Linear Scanning
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·6h·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·22h·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
MIT's Recursive Language Models Improve Performance on Long-Context Tasks
infoq.com·1d
🪜Recursive Descent
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·16h·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
istmarc/tenseur: C++23 Tensor, neural networks and mathematical library
github.com·3h·
Discuss: r/cpp
🦀MIR Optimization
Preview
Report Post
Python Closures: Coming from JavaScript
dev.to·1d·
Discuss: DEV
📦Closure Conversion
Preview
Report Post
GNU C Language Manual
gnu.org·2h
🪄C Metaprogramming
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org·5h
🔗Category Theory
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·22h·
Discuss: Lobsters, Hacker News
✨Gleam
Preview
Report Post
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·10h
🏗️Cranelift
Preview
Report Post
No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2
pub.towardsai.net
·1d
🌱Minimal ML
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·2d
🔗Lexical Scoping
Preview
Report Post
Google Releases FunctionGemma Model
i-programmer.info·5h
💬Smalltalk VMs
Preview
Report Post
Introducing Names: practical namespaces for Emacs-Lisp
endlessparentheses.com·8h
🔧Scheme Macros
Preview
Report Post
Datomic - Datomic at Clojure/Conj 2025
blog.datomic.com·23h
🌲Deforestation
Preview
Report Post
Writing your first compiler
popovicu.com·3d·
Discuss: Hacker News, r/golang
⚙️Compilers
Preview
Report Post
Alexis King’s Blog
lexi-lambda.github.io·2d
🗂️Type Indexing
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·19h
🪞Homoiconicity
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