🧬 Functional Programming

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

🧮Algebraic Datatypes

lmika.org·

Kan Extensions in Haskell

🔀Category Theory

bartoszmilewski.com··Hacker News

quasitriangular Hopf 2-algebra in nLab

🧮Algebraic Archives

ncatlab.org·

Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell

🔗Functional Compilers Blog

irfanali.org··Hacker News, r/compsci, r/programming, r/programming

Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors?

🔗Functional Compilers

doscienceto.it··Lobsters, Hacker News

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

🔗Functional Compilers Video

youtube.com··Hacker News

Kemi Badenoch agrees with Idris Elba that Bond should not be ‘woke’

⚛️Quantum Codecs News

the-independent.com·

Constants and pure functions in Python: how to do it right

⬆️Lambda Lifting Blog

en.andros.dev··Hacker News

Idris Elba: 'Don't try to make James Bond woke'

⚛️Quantum Codecs News

bbc.com·

geohot/fromthetransistor: From the Transistor to the Web Browser, a rough outline for a 12 week course

⚙️Logic Synthesis Code

github.com··Hacker News

A Concurrent Language for Non-Concurrent Software (2010)

⚡Parallel Computing

prog21.dadgum.com··Hacker News

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

💻Programming languages Academic

arxiv.org··Lobsters

Idris Elba Says Bond Rumors Were ‘Never Legit’ and ‘Not Realistic’: Audiences ‘Won’t Go for a Black Male Playing Bond’

⚛️Quantum Codecs News

variety.com·

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

Issue 527

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

A line-by-line translation of the OCaml runtime from C to Rust

Implementing Monads with Async Zig

OCaml Onboarding: Introduction to the Dune build system

Stackage Blog: Stackage talk at Haskell Ecosystem Workshop 2026

Still wishing for enums in Go. And now, after looking at a piece of code feating optional pointer types, I wished Go had unions too. In fact, Go should just ...

Kan Extensions in Haskell

quasitriangular Hopf 2-algebra in nLab

Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell

Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors?

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

Kemi Badenoch agrees with Idris Elba that Bond should not be ‘woke’

Constants and pure functions in Python: how to do it right

Idris Elba: 'Don't try to make James Bond woke'

geohot/fromthetransistor: From the Transistor to the Web Browser, a rough outline for a 12 week course

A Concurrent Language for Non-Concurrent Software (2010)

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

Idris Elba Says Bond Rumors Were ‘Never Legit’ and ‘Not Realistic’: Audiences ‘Won’t Go for a Black Male Playing Bond’