📐 PLT - plumenator · Scour

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·10h·Hacker News

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔤Type Systems

arxiv.org·2d

A Ruby program that generates a Rust program that generates a Scala program... ⚙️Compilers

github.com·1h·Hacker News

Binary Lambda Calculus is Hard λFunctional Programming

aartaka.me·4d·r/functionalprogramming

A brief history of C/C++ programming languages ⚙️c++

lemire.me·1d·Hacker News, r/rust

JavaScript Basics λFunctional Programming

w3schools.com·14h·DEV

Made a tool to compare programming languages and rank with learnings! ⚙️Compilers

langscompare.site·5d·r/SideProject, r/programming

JSONC Specification 🔤Type Systems

jsonc.org·15h·Hacker News

WRB—Apr. 8, 2026 🌀Idris

washingreview.com

·2d

Football Finance 2.0 – Navigating Debt Finance Under the Premier League’s Post‑PSR Framework 💰Personal Finance

lawinsport.com·2h

Redis connection monkey patching in Ruby Jungles 🦀Rust

ruby-lang.org·6h·DEV

C3 0.7.11: closing out the 0.7 series before 0.8 ⚙️c++

c3-lang.org·3d·Hacker News, r/programming

China’s PL-17 Revealed: 400km ‘AWACS-Killer’ Missile Signals Major Shift in Global Airpower Balance 🌀Idris

lemmy.ml·1d

Get Oracle Partition High Values as VARCHAR2 types instead of LONG in Oracle 19c and earlier 💰Personal Finance

tanelpoder.com·2h

FuriosaAI establishes European flagship office in Portugal ✅Proof Assistants

furiosa.ai·1h

AI as a Trojan horse race 🔍Abstract Interpretation

lesswrong.com·2d

JavaScript: The Good Parts by Douglas Crockford 🔄Category Theory

goodreads.com·5d

Tanner Horner pleaded guilty to kidnapping and killing 7-year-old Athena Strand on Tuesday. On Wednesday, video from Horner's interrogation is expected to be pl... 🔄Category Theory

twitter.macworks.dev

·1d

Forty-Four Esolangs 🔄Category Theory

mitpress.mit.edu·6d

A Complete Strategic Failure ⚙️c++

politicalwire.com·2d

Loading more...