Get the latest tech news

Interactive λ-Reduction

Examples Starter Lamping A Lamping B List Head Ω (Non-Normalizing) Y (Non-Normalizing) Two Squared Twice Erasure vs Sharing Replicator Decay Graph Coloring Δ-Nets (2025) λ-Calculus (1936+) Absolute levels (default) Relative levels Linear (L) Affine (A) Relevant (I) Full (K) 0/0 GitHub.

None

Get the Android app

Or read this on Hacker News

Related news:

James Webb, Hubble space telescopes face reduction in operations

Dual-target weight-loss drug is 47% more effective than its rival | “Our study shows that treatment with tirzepatide was superior to semaglutide with respect to reduction in body weight and waist circumference."

NASA workforce has been cut by 10 percent, and it may be just the beginning. Two sources told Ars that directors at the agency's field centers have been told to prepare options for a "significant" reduction in force in the coming months.

« Black Friday 2025 deals: We found huge sales from Amazon, Apple, Lego, Ninja, Dyson and others to start shopping now

DNS Firewalling with MISP and Technitium DNS Server »