







Welcome to the 84th issue of De Programmatica Ipsum, about Spreadsheets. In this edition, we declare spreadsheets the most popular software programming environment of all time; in the Library section, we learn how to use Lotus 1-2-3 for science reading "Spreadsheet Physics" by Charles Misner and Patrick Cooney; and in our Vidéothèque section, we discover that Excel is a Turing-complete, functional programming language through the eyes of Dr. Felienne Hermans.
Building a spreadsheet from the ground up | Prabhanshu Gupta

pldb: programming languages papers
Search 22,324 papers from POPL, PLDI, ICFP, OOPSLA and other programming languages venues, from 1973 to today.
The Interface of Kai Krause's Software @mprove
Matthias Müller-Prove, Innovative Benutzungsschnittstellen, 1998/99, University of Hamburg

Jupyter Notebooks – a publishing format for reproducible computational workflows
It is increasingly necessary for researchers in all fields to write computer code, and in order to reproduce research results, it is important that this code is published. We present Jupyter notebooks, a document format for publishing code, results and explanations in a form that is both readable and executable. We discuss various tools and use cases for notebook documents.
Teaching Programming for First-Year Data Science
This summary was generated using automated tools and was not authored or reviewed by the article's author(s). It is provided to support discovery, help readers assess relevance, and assist readers from adjacent research areas in understanding the work. It is intended to complement the author-supplied abstract, which remains the primary summary of the paper. The full article remains the authoritative version of record. Click here to learn more.

Old and new apps, via modern coding agents
I have been interested in machine-assisted ways to do and teach mathematics from as far back as 1999, when I started coding several applets in Java 1.0, both for my complex analysis and linear alge…

The Story of C++: The World's Most Consequential Programming Language | The Official Story

Open-sourcing Keyhive, filtering Ambsheets, and Sketchpad explorations
Some updates from our ongoing work on local-first auth, a new post from our Ambsheets project about filtering scenarios in a spreadsheet, and some explorations of the historic Sketchpad project for constraint-based drawing.

Denicek: Computational Substrate for Document-Oriented End-User Programming
As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.

Programming Language Foundations in Agda – Table of Contents
This book is an introduction to programming language theory using the proof assistant Agda.
www.tinlizzie.org
The peril of laziness lost | The Observation Deck

Spatial programming without escape

An invitation into Droste's Lair

Something Pretty Right: A History of Visual Basic | Retool

Issue 084: Spreadsheets
Workshop on Live Programming (LIVE)
Live Programming in Hostile Territory