📐 Type Theory - liate

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 ...

🔧Functional Programming

lmika.org·

Proof System Timelines

✅Formal Verification Blog

klatz.co·

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

💻programming languages

yon-lang.org··Hacker News

Issue 528

🔧Functional Programming

haskellweekly.news·

Lean Programming Language

✅Formal Verification

lean-lang.org·

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

🔧Functional Programming News

developing.dev·

AWS can now mathematically prove your VMs are isolated

✅Formal Verification

thenewstack.io·

Quanta Books Releases The Proof in the Code

✅Formal Verification

simonsfoundation.org·

Interspecies quorum sensing signals modulate multicellular organization and enhance contact-dependent antagonism in Vibrio cholerae

✅Formal Verification Academic

nature.com·

Programming Languages Course Reboot, 2026

🔧Functional Programming Reference

docs.google.com··Lobsters, Hacker News

Introducing Jo — Secure Programming for the AI Era

✅Formal Verification Blog

jo-lang.org··Hacker News

Programming Languages Software Award

✅Formal Verification

sigplan.org·

The Proof in the Code

✅Formal Verification

quantabooks.org·

Validate and Transform Your Data with Schematic

🔧Functional Programming

mitchellhanberg.com·

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

🔧Functional Programming Academic

arxiv.org··Lobsters

Using Ropes for Computation

🔧Functional Programming

wiki.xxiivv.com··Hacker News

Less-relevant results

Go In 2026: Why Simplicity Still Wins For Backend Services

✅Formal Verification Tutorial

nazarboyko.com··DEV

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

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

cryspen/hax: A Rust verification tool

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 ...

Proof System Timelines

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

Issue 528

Lean Programming Language

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

AWS can now mathematically prove your VMs are isolated

Quanta Books Releases The Proof in the Code

Interspecies quorum sensing signals modulate multicellular organization and enhance contact-dependent antagonism in Vibrio cholerae

Programming Languages Course Reboot, 2026

Introducing Jo — Secure Programming for the AI Era

Programming Languages Software Award

The Proof in the Code

Validate and Transform Your Data with Schematic

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

Using Ropes for Computation

Go In 2026: Why Simplicity Still Wins For Backend Services