Rust, Haskell, Functional Programming, Logic Programming, Critical Theory

Feeds to Scour
SubscribedAll
Scoured 83 posts in 8.2 ms

VoidZero → Cloudflare, and Angular 22 lands

 λFunctional Programming
javascriptweekly.com·

a topos-oriented language with a content-addressed lattice heap

 ⚙️LLVM
yon-lang.org··Hacker News

Best explanations of how LLMs work

 λFunctional Programming  Content type: Blog

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

 λLambda Calculus  Content type: Academic
arxiv.org··Lobsters

"Self-Control" Is A (Neurological) Type Error

 📐Category Theory
lesswrong.com·

Update canonical GitHub project links (#3177)

 λFunctional Programming  Content type: Code
github.com·

Getting silly with C, part &((int*)1)[-1]

 λFunctional Programming  Content type: News  Content type: Blog

Strict stability of extension types

 🔤Type Theory  Content type: Academic
arxiv.org·

Recognizing innovation, impact in teaching: 2025/26 Provost’s Teaching Awards

 🗂️Zettelkasten
news.usask.ca·

The Boot.dev Beat. June 2026

 λFunctional Programming  Content type: Blog
boot.dev·

Towards a Critical Materialist Analysis of Capital’s Translations

 📚Literary Criticism  Content type: Blog
jhiblog.org
·

A programming language for humans.

 🔤Type Systems
crowdhailer.me··Lobsters

Alex

 λFunctional Programming  Content type: Blog
blog.underwd.net·

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus

 λLambda Calculus  Content type: Academic
arxiv.org·

At Netroots Nation, Progressives Divided on AI

 📚Forth
techpolicy.press·

Coding | TAM

 🌿Git  Content type: News  Content type: Blog

Learning to lead in a hybrid human-AI enterprise

 Algebraic Effects  Content type: News

20 YEARS OF INTERPASSIVITY

 🧠Personal Knowledge Management
web.archive.org·

When Types Intersect and Effects Get Handled

 🔤Type Theory  Content type: Academic
arxiv.org·

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
Save / unsave
s

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