Lambda the Ultimate @lambdafeed

Platonic C# - Managing Referential Transparency through Unique Types: The idea of Platonic C# is to enforce referential transparency within the context of C#, by enforcing a set of rules around defaulting to immutability of data structures and requiring… dlvr.it/SkMwMh

Computer History Museum releases PostScript source: The Computer History Museum, in conjunction with Adobe, has released the PostScript source code. Here is the release, with some helpful historical context and several photos: The story of PostScript… dlvr.it/SfGGx2

The Verse Calculus: a Core Calculus for Functional Logic Programming: The Verse Calculus: a Core Calculus for Functional Logic Programming simon.peytonjones.org/assets/pdfs/ve… * LENNART AUGUSTSSON, Epic Games, Sweden * JOACHIM BREITNER * KOEN CLAESSEN, Epic… dlvr.it/SfFbq1

LtU is now running in a new, more stable environment: LtU has experienced a long period of downtime recently. Its software infrastructure was outdated enough that it became difficult to maintain when problems arose. It has now been migrated to a brand… dlvr.it/SXXC19

Graydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes: In 2019, Graydon Hoare gave a talk to undergraduates (PDF of slides) trying to communicate a sense of what compilers looked like from the perspective of people who did it for a living. … dlvr.it/SKlrkX

Latent Effects for Reusable Language Components: Latent Effects for Reusable Language Components, by Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu: The development of programming languages can be quite complicated and costly.… dlvr.it/S9YqKW

Introducing PathQuery, Google's Graph Query Language: Introducing PathQuery, Google's Graph Query Language We introduce PathQuery, a graph query language developed to scale with Google's query and data volumes as well as its internal developer community.… dlvr.it/S2mzXM

Google announces Logica: organizing your data queries, making them universally reusable and fun: You can read more about it at the Google Open Source blog post, Logica: organizing your data queries, making them universally reusable and fun. They advocate… dlvr.it/RyjLFv

Coq will be renamed: From the Coq-club: The Coq development team acknowledges the recent discussions (started on the Coq-Club mailing list) around Coq's logo and name. We wish to thank everyone that participated in these discussions. Testimonies from… dlvr.it/RxGBSq

LAMBDA: The ultimate Excel worksheet function: Post by Andy Gordon and Simon Peyton Jones on LAMBDA giving Excel users the ability to define functions. Ever since it was released in the 1980s, Microsoft Excel has changed how people organize, analyze, and… dlvr.it/RrQSV0

Google Brain's Jax and Flax: Google's AI division, Google Brain, has two main products for deep learning: TensorFlow and Jax. While TensorFlow is best known, Jax can be thought of as a higher-level language for specifying deep learning algorithms while… dlvr.it/RqfBp7

Built to Last: Mar Hicks. Built to Last. Logic. Issue 11, "Care". It was this austerity-driven lack of investment in people—rather than the handy fiction, peddled by state governments, that programmers with obsolete skills retired—that removed COBOL… dlvr.it/Rh26GS

Tackling the Awkward Squad for Reactive Programming: 2020.ecoop.org/details/ecoop-… Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter Reactive programming is a programming paradigm whereby programs are internally represented… dlvr.it/Rh26G0

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy: The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy, Lionel Parreaux, ICFP 2020. MLsub extends traditional… dlvr.it/RcGMlR

Applications of Blockchain to Programming Language Theory: Let's talk about Blockchain. Goal is to use this forum topic to highlight its usefulness to programming language theory and practice. If you're familiar with existing research efforts, please… dlvr.it/RTjGW0

Turnstile+: Dependent Type Systems as Macros: In 2017, a team from Northeastern University released Turnstile, a framework for implementing propositionally typed languages in Racket; cf. naasking's story Type Systems as Macros. The system was really nice… dlvr.it/RQ1cQJ

Histogram: You have to know the past to understand the present by Tomas Petricek: Histogram: You have to know the past to understand the present by Tomas Petricek, University of Kent Programs are created through a variety of interactions. A programmer… dlvr.it/RDplP1

Applied Category Theory - The Emerging Science of Compositionality: An enjoyable 25-minute introductory talk: YOW! Lambda Jam 2019 - Ken Scambler - Applied Category Theory (slides) What do programming, quantum physics, chemistry, neuroscience, systems… dlvr.it/R9jFJH

Tensor Considered Harmful: Tensor Considered Harmful, by Alexander Rush TL;DR: Despite its ubiquity in deep learning, Tensor is broken. It forces bad habits such as exposing private dimensions, broadcasting based on absolute position, and keeping type… dlvr.it/R7P50Z

Seven Sketches in Compositionality: An Invitation to Applied Category Theory: Seven Sketches in Compositionality: An Invitation to Applied Category Theory 2018 by Brendan Fong and David I. Spivak Category theory is becoming a central hub for all of pure… dlvr.it/R3fHLC