Terence Tao on the suspension of UCLA grants

NSF suspends nearly 300 UCLA grants (Terence Tao, Plasma Science Facility, etc.)

Mezzano, an operating system written in Common Lisp

On "local" and "global" errors in mathematical papers, and how to detect them

Org tutorials

Do Clouds Mostly Form Above the Lakes?

How "Do Your Own Research" Became a Slogan for Epistemic Collapse

Theory of Stupidity [pdf]

Formalizing a Proof in Lean Using GitHub Copilot Only [video]

Writing N-body gravity simulations code in Python

Lectures on the Geometric Anatomy of Theoretical Physics

The Art of Scripting HTTP Requests Using Curl

Advanced Python Development Workflow in Emacs

Brewington Hardaway Becomes First U.S. Born Black Grandmaster

The Book Written by Tiny Paws

Yale prof solves part of math's 'Rosetta

When are two proofs of the same theorem different proofs

John J. Hopfield Talk, "Collective Properties of Neuronal Networks" [video]

A Guided Tour of Emacs

Why (Chess) Opening Statistics Are Wrong

An astrophysicist attempts to measure the physics of Outer Wilds

Investigating Cleo

Rosser's Theorem via Turing Machines (2011)

Programming with Lambda Calculus

What Justifies Dimensional Analysis?

Teaching Data Science with Literate Programming Tools

Agnikul Cosmos launches rocket powered by 3-D printed semi-cryo engine

Superconductive Witch Hunt

The Emacs Window Management Almanac

Data Science Cheat Sheets

Enshittification protests beget more enshittification

The Stochastic-Quantum Correspondence

Theranos Founder Elizabeth Holmes in Conversation with Michael Krasny (2014) [video]

Does Quantum Mechanics Imply Multiple Universes? [video]

Richard Stallman's Talk in Spain Canceled (At Short Notice)

Forget billions of years: Researchers have grown diamonds in just 150 minutes

Emacs from Scratch #1 – Getting Started with a Basic Usable Configuration [video]

What role community plays in free software

What keeps you coming back to Emacs?

Release: Keras 3.3.0

Erdos Problems Collection

AI for Math Resources

The Probability of Undecidability

MatplotLLM, iterative natural language data visualization in org-Babel

Collaborative data processing and documenting using org-babel

Technologies Behind Distributed Deep Learning: AllReduce

The Cursed Computer Iceberg Meme

Quines, Polyglot Code and Other Fun Computations

Browser Wars

Teaching Programming Languages in a Post-Linnaean Age [pdf]

What Is – (Docker)

The Lambda Calculus for Absolute Dummies

Tivoization

Emacsconf 2023

A Peek into Einstein's Zurich Notebook

Introduction to Formal Reasoning

Drawing a T-Rex with Epicycles

The Beauty of Roots [pdf]

Lambda Calculus from the Ground Up [video]

A mathematical formalization of dimensional analysis (2012)

Category Theory with Bartosz Milewski

Quantum mechanics essentials: Everything you need for quantum Computation [video]

Lisp in Space

Google Engineers Rake in Base Salaries Up to $718,000, According to a New Report

BB(745) is independent of ZFC. [pdf]

Simulation: Falling into a Schwarzschild Blackhole [video]

A web front end for your Org-files

A better way to picture atoms

Screen Locker in Pure Emacs Lisp

Operating System: IIT Lectures [video]

A Close Call: How a Near Failure Propelled Me to Succeed – Terence Tao [pdf]

Physicists Are Unraveling the Mystery of the Arrow of Time

Study Proves That Water Separates into Two Different Liquids at Low Temperatures

Emacs: Introduction to the Ef-Themes

Intro to Lisp Macros [video]

Emacs: Ef-themes demonstration – Protesilaos Stavrou [video]

Quantum Computing for Computer Scientists [video]