λ Functional Programming - mando · Scour

Formal Verification of Imperative First-Class Functions in Move 📘TypeScript

Profunctor Equipment in Haskell 🦕Deno

bartoszmilewski.com·1d·Hacker News

Data Analysis with Vector Functional Programming (2016) [video] 📊Data Science

youtube.com·3h·Hacker News

I Wrote a Compiler 🪟Tauri

funcall.blogspot.com·8h·Blogger

I'm not mutable, I'm partially instantiated 🔵Go

news.ycombinator.com·1d·Hacker News

Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp 🐍Python

hyperpolyglot.org·18h·Lobsters

Generalising monads to arrows (1998) 💬LLMs

cs.tufts.edu·3d·Lobsters

Pseudorandom number generation in JAX 📦uv

abstractnonsense.xyz·21h

8 Years of Clojure 🦕Deno

joshkingsley.me·2d

Annually-Funded Developers' Update: March & April 2026 📦uv

clojuriststogether.org·19h

Futhark by Example 📝Obsidian

futhark-lang.org·1d·Hacker News

Functional Interfaces in Java 🦕Deno

netjstech.com·6d·Blogger

Proof-reading, with a bit of help from LLMs 💬LLMs

logicmatters.net·6h

quadracollision/llmisp: JSON AST > Clojure 💬LLMs

github.com·1d·r/vibecoding

Agentic AI token compression using Haskell 💬LLMs

blog.dan-gilmour.com·5d·Hacker News

When can Traits Depend on Themselves? 📘TypeScript

nadrieril.github.io·2d

Persistent homology-based multiscale Hi-C analysis uncovers TADs-mediated gene regulation 📊Data Science

nature.com·21h

Caitlin Taylor: Building a ‘Legible’ Food System 🌱Digital Gardens

3quarksdaily.com·12h

Portland PLV Group 💬LLMs

plv.cs.pdx.edu·1d

Categorical Programming Language Tutorial 📘TypeScript

msakai.github.io·4d·Lobsters

Log in to enable infinite scrolling