λ Functional Programming - c13e · Scour

Portland PLV Group 📐Formal Methods

plv.cs.pdx.edu·5d

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog 🔍Parsing

The Mercury Project: Home 🔤New Languages

mercurylang.org·3h

samth/gradual-typing-bib: A bibliography on Gradual Typing 🔢Type Theory

github.com·1d·Lobsters

Data Analysis with Vector Functional Programming (2016) [video] ⚙️Compiler Design

youtube.com·3d·Hacker News

Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js ☎️OTP

gist.github.com·2d·Hacker News, r/functionalprogramming

Scheme Interpreter ⚙️Compiler Design

cs61a.org·58m·Hacker News

Issue 524 🐫OCaml

haskellweekly.news·6d

Humble Tech Book Bundle: The Ultimate Functional Programming by Pragmatic Programmers 🔁Spaced Repetition

humblebundle.com·1d·Hacker News

🎲 Test Timeouts in Gleam 📡Erlang

gearsco.de·18h

Insta360 Mic Pro Review – It Belongs to Good Tone and Is More Than Just a Vlogger Gadget 🗃️PKM

igorslab.de·1h

Moving Beyond Type Systems ⚡Effect Systems

news.ycombinator.com·4d·Hacker News

SwiftUI is functional (bobkonf2026) 🔵Lisp

cdn.media.ccc.de·1d

Red Hat Enterprise Linux 10.2 and 9.8 are here: The intelligent evolution of enterprise Linux ⚗️BEAM Ecosystem

redhat.com·14h·r/linux

Understanding the Garbage Collector 🛡️Memory Safety

ocaml.org·1d·Hacker News

Formal Verification Gates for AI Coding Loops 📡Erlang

reubenbrooks.dev·13h·Hacker News

Runtime Errors in PWAs: Risk Surface and Mitigation ⚙️Compiler Design

adropincalm.com·6d·r/Frontend, r/javascript

Just released: the library announced in Anthony Williams Meeting C++ 2025 opening keynote 🔤New Languages

meetingcpp.com·1d

Can supplements containing NMN, NAD+ and resveratrol really slow ageing? Here’s what the evidence says 🥗Nutrition

theconversation.com·19h

Futhark by Example 🔍Parsing

futhark-lang.org·4d·Hacker News

Log in to enable infinite scrolling