🧮 Functional Programming - merp · Scour

Functional programmers need to take a look at Zig 🌲Tree-sitter

news.ycombinator.com·4d·Hacker News

Simple and safe implicit async programming model for imperative (JS/Python-like) languages ⚡Async Programming

geleto.github.io·2d·r/programming

Go-joker – a much faster Clojure interpreter written in Go and WASM 🔵Go

rcarmo.github.io·1d·Hacker News

Differentially Private Functional Encryption 🔒Container Security

eprint.iacr.org·4d

Building Data-Heavy Systems in Clojure Without Losing Simplicity 📏Linear Types

flexiana.com·2d

Powers-of-Funbenius 📏Linear Types

blog.zksecurity.xyz·3d·Hacker News

Beyond Pattern Matching: Representation and the Case for a Middle-Level Theory of Large Language Models 🔍Type Inference

philsci-archive.pitt.edu·2d

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis 🔗Dependent Types

Mojo Release v1.0.0b1 📋Dhall

mojolang.org·1d·Hacker News

They Called It LISP for a Reason: List Processing 📏Linear Types

gigamonkeys.com·3d·Hacker News

marcelofarias/botscript: BotScript - A TypeScript superset for the LLM era 📐Type Theory

github.com·9h·Hacker News

Calculator – an overview 🌲Tree-sitter

helpcenter.flourish.studio·2d

Clojure Deref (May 5, 2026) 🦀Rust language programming

clojure.org·3d

Avoiding "if" makes Quicksort faster. 📏Linear Types

easylang.online·1d·Hacker News, r/programming

JavaScript, When Is This? ⚡Async Programming

piccalil.li·1d·Hacker News

Esoteric Topics in Computer Programming (2002) 📐Type Theory

web.archive.org·4d·Hacker News

Making your own programming language is easier than you think (but also harder) 📋Dhall

lisyarus.github.io·1d·Lobsters, Hacker News

Three views on monads 🔍Type Inference

The Last Human-First Programming Language 📋Dhall

andreasbergstrom.dev·1d·DEV

Learning JavaScript, Day 10 ⌨Typing

blog.katemonkey.com·2d

Log in to enable infinite scrolling