🧮 Functional Programming - merp · Scour

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

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

What It Feels Like to Do Data Science 📐Type Theory

lovelaceanalytics.com·1d·Hacker News

ztrsen.f (3) Linux Manual Page 🦀Rust language programming

systutorials.com·6d

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning 🔗Dependent Types

Semantics of pattern unification 🔍Type Inference

Brainfuck interpreter in 336 bytes of Rust 🦀Rust language programming

gist.github.com·3d·r/rust

Phel v0.36.0 – Lisp on PHP, now with numeric tower and first-class Vars 📋Dhall

github.com·8h·Hacker News

Category Theory for Tiny ML in Rust 🦀Rust programming language

hghalebi.github.io·4d·Hacker News

CREATE_FUNCTION (7) Linux Manual Page 🦀Rust language programming

systutorials.com·6d

A programmer's guide to COMMON LISP : Tatar, Deborah G : Free Download, Borrow, and Streaming 📐Type Theory

archive.org·6d·Lobsters, Hacker News

A bidirectional typechecking puzzle> 🔍Type Inference

haskellforall.com·3d·Lobsters, Hacker News, Hacker News

Learning Rust - The Next Programming Paradigm Shift. 🦀Rust language programming

·5d

Temporal Causal Models as a Model of Computation 💫Effect Systems

Ω-Theory: Machine-Verified Algebraic Framework (formal paper, 2026-05-04) 📐Type Theory

ramzesx.github.io·4d·Hacker News

MX Script: a scripting language for one file web APIs ⚡Rescript

mxscript.com·5d·Hacker News

Rambles around computer science 📐Type Theory

humprog.org·4d·Hacker News

Migrate to Flow `as` cast syntax; route babel through hermes-parser 🦀Rust language programming

github.com·18h

A Couple Million Lines of Haskell: Production Engineering at Mercury 🦀Rust programming language

news.ycombinator.com·4d·Hacker News

Kill the Conditional Maze: Refactoring From If-Statements to Rule Pipelines 💎Refinement Types

adamtornhill.substack.com·3d·r/programming

Categorical update 📐Type Theory

logicmatters.net·5d

Sign up or log in to see more results

Log in to enable infinite scrolling