Celebrate 50 years of Microsoft with the company’s original source code by Bill Gates www.gatesnotes.com/home/home-page-…

Free math texts by Jim Hefferon (Linear Algebra, Theory of Computation, Introduction to Proofs) hefferon.net

@acm.org ACM has named Andrew G. Barto and Richard S. Sutton as the recipients of the 2024 ACM A.M. Turing Award for developing the conceptual and algorithmic foundations of reinforcement learning awards.acm.org/about/2024-turing

Stanford's "The Fourier Transform and Its Applications"

Videos, problem sets & more: see.stanford.edu/course/ee261

An unexpected, and extremely inefficient, way to compute pi @3blue1brown.com www.youtube.com/watch?v=HEfHFsfGXj…

Introduction to Computer Graphics, a free, on-line textbook covering the fundamentals of computer graphics and computer graphics programming math.hws.edu/graphicsbook

Videos from Math Professor Jeffrey Chasnov. Some of the playlists are videos from his Coursera courses on Mathematics for Engineers. www.youtube.com/@Jeff-math/playlis… www.math.hkust.edu.hk/~machas/?men…

Computer Science lectures by @timroughgarden.bsky.social www.youtube.com/channel/UCcH4Ga14Y…

Online conversion from TeX/MathML to HTML/SVG (powered by MathJax) mathjax.github.io/MathJax-demos-we…

Temml is a LaTeX-to-MathML JavaScript conversion utility. Useful online converter on homepage. temml.org

KaTeX: A math typesetting library for the web katex.org

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration. ghostty.org

Advent of Code 2024 complete!

MarkItDown: Python tool for converting various files to Markdown. It presently supports: PDF, PowerPoint, Word, Excel, Images, Audio, HTML, csv, json, xml, etc. github.com/microsoft/markitdown

Vanilla JS vanilla-js.com

Donald Knuth's 28th annual Christmas Lecture: Strong Components and Weak Components www.youtube.com/watch?v=au26uZfuxV… (past recordings www.youtube.com/playlist?list=PLoR…)

In Python, comparisons can be chained arbitrarily, e.g., x < y <= z is equivalent to x < y and y <= z docs.python.org/3/reference/expres…

Lean: First Steps leanfirststeps.blogspot.com/p/cont…

Are all natural numbers interesting? If not, there must be a smallest uninteresting number - and that makes it interesting. 🤔 en.wikipedia.org/wiki/Interesting_…

Kaleidoscope: Implementing a Language with LLVM llvm.org/docs/tutorial

Beating OpenBLAS and MKL in FP32 Matrix Multiplication From Scratch salykova.github.io/matmul-cpu

Note that the function $s(x)=(\ln x) / x$ from the post has the following property:

$$-s(e^{-x}) = -\frac{\ln(e^{-x})}{e^{-x}} = x e^x$$

and the inverse function (branches) of $x \mapsto x e^x$ is commonly called the Lambert W function, which has undergone a lot of study.

en.wikipedia.org/wiki/Lambert_W_fu… mathworld.wolfram.com/LambertW-Fun…

Journal of Open Source Software @joss joss.theoj.org

A curated list of awesome mathematics resources github.com/rossant/awesome-math

AlphaGeometry: An Olympiad-level AI system for geometry deepmind.google/discover/blog/alph…

Math OCR model that outputs LaTeX and Markdown github.com/VikParuchuri/texify

Easily train AlphaZero-like agents on any environment you want github.com/s-casci/tinyzero

A chiral aperiodic monotile - one that tiles the plane aperiodically without reflections cs.uwaterloo.ca/~csk/spectre

Donald Knuth Annual Christmas Lectures youtube.com/playlist?list=PLoROMvo…

Benchmarking LLMs in the Wild, an Elo-based LLM leaderboard huggingface.co/spaces/lmsys/chatbo…

The AWS SDK for Rust is now generally available and supported for production use aws.amazon.com/blogs/developer/ann…

The Miracle Sudoku. A puzzle with sudoku rules plus some extra restrictions. The host's reaction on seeing the puzzle for the first time (around 3:45) is hilarious. www.youtube.com/watch?v=yKf9aUIxdb…

MacTutor History of Mathematics Archive mathshistory.st-andrews.ac.uk