📐 PLT - plumenator · Scour

Incremental Lambda Calculus λFunctional Programming

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

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

arxiv.org·2d

Binary Lambda Calculus is Hard λFunctional Programming

aartaka.me·4d·r/functionalprogramming

Redis connection monkey patching in Ruby Jungles 🦀Rust

ruby-lang.org·5h·DEV

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

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

JavaScript Basics λFunctional Programming

w3schools.com·12h·DEV

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

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

JSONC Specification 🔤Type Systems

jsonc.org·14h·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·57m

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

tanelpoder.com·56m

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

AI as a Trojan horse race 🔍Abstract Interpretation

lesswrong.com·2d

squadette/rubysyn: Rubysyn: clarifying Ruby's syntax and semantics 🧮Lean

github.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

JavaScript: The Good Parts by Douglas Crockford 🔄Category Theory

goodreads.com·5d

Pressure-induced enhancement of deep-blue photoluminescence in two-dimensional hybrid organic-inorganic perovskites 🔍Abstract Interpretation

link.aps.org·2d

When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions 🧮Lean

arxiv.org·13h

Forty-Four Esolangs 🔄Category Theory

mitpress.mit.edu·6d

Loading more...