Functional Programming

Feeds to Scour
SubscribedAll
Scoured 104 posts in 9.1 ms

Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]

 λType Theory  Content type: Video
youtube.com··Hacker News

ocaml/odoc: Documentation compiler for OCaml

 Category Theory  Content type: Code
github.com·

Slowed Down

 🖥️Computability  Content type: Blog
clofer.codeberg.page·

Starting Work at Jane Street

 Category Theory  Content type: Blog
hazelduvall.dev·

🍋 Lumiterra Dev Log #138 · Agents Learn to Stake, the Social Layer Takes Shape

 λLambda Calculus  Content type: Blog
lumiterra.itch.io·

SQLite improving performance with pre-sort

 λLambda Calculus

Cross-border library in Quebec opens new Canadian entrance

 Category Theory  Content type: News
theglobeandmail.com·

Why does `std.mem.sort` have the `context` field?

 λLambda Calculus  Content type: Discussion
ziggit.dev·

From Classroom to Community: SEED Transforms Learning Into Service

 Foundations of Math  Content type: Academic
usu.edu·

AeroWomen in Yeovil highlights women's role in space exploration

 🌀Homotopy Theory  Content type: News
bbc.com·

Static types and shovels (2026)

 λType Theory

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

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

Configure Calva Result Display

 λLambda Calculus

Strudel REPL – Audio Programming Language

 λLambda Calculus
gamefromscratch.com·

Programming Languages Software Award

 ✳️Proof Theory
sigplan.org·

The perils of UUID primary keys in SQLite

 λLambda Calculus

A Concurrent Language for Non-Concurrent Software (2010)

 λLambda Calculus

Creative Coder

 λType Theory
guidoschmidt.cc·

Property-based testing | Liam DeVoe

 λType Theory
tybug.dev··Hacker News

[eCHO News] Episode #106: Writing eBPF in Haskell. Cilium and Star Wars

 λLambda Calculus

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