Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

GaloisInc/parameterized-utils
github.com·5h
🧮Algebraic Datatypes
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·1d
💻Programming languages
The Mondrian introduction to functional optics
marcosh.github.io·21h·
Discuss: Hacker News
Bidirectional Programming
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·5h·
🔗Lisp
Online activities 6 – 12 October
ests.wordpress.com·22h
🏗️Constructive Mathematics
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
Cactus Language • Semantics 1
inquiryintoinquiry.com·1d
🔢Denotational Semantics
TypeScript Flaws (2024)
intercaetera.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Type Theory and Functional Programming (1999) [pdf]
dev.to·6d·
Discuss: DEV
🔤Type Theory
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·1d
⬆️Lambda Lifting
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·19h
🎯Proof Tactics
Issue 492
haskellweekly.news·5d·
Discuss: Hacker News
🔗Functional Compilers
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·1d·
Discuss: Hacker News
🛠Language Design
The Chip That Spoke Lisp
jxself.org·19h
🤖Lisp Machines
Clojure Data Cookbook – How to manipulate data, analyze, and visualize tasks
github.com·3h·
Discuss: Hacker News
🧠Lisp Dialects
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·17h
📐Mathematical Art
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·1d·
Discuss: Substack
🔩Systems Programming
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·1d
🎯Gradual Typing
Making performant Python bindings to compiled code
kylebarron.dev·16h·
Discuss: Hacker News
🦀Rust Macros
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.com·21h·
Discuss: Hacker News
💧Liquid Types