Feed
This page contains my microposts, which primarily consist of links and observations that I find interesting. I usually cross-post to other social media, but I like to own them and have them here as the true source. You can find the latest updates as an Atom feed as well.
-
Learning representations by back-propagating errors — the seminal paper that popularized backpropagation for training neural networks — was published on this day 40 years ago www.cs.toronto.edu/~hinton/pages/p…
-
Introduction to Compilers by Cornell University — covering lexing, parsing, type checking, code generation, and optimization (see lecture notes) www.cs.cornell.edu/courses/cs4120/…
-
Introduction to Neural Networks, part 5: Gradient Descent janmr.com/posts/neural-networks/gr…
-
TypeScript had its first release, version 0.8, on this day in 2012 web.archive.org/web/20150403224440…
-
How We Got from There to Here: A Story of Real Analysis milneopentextbooks.org/how-we-got-…
-
Lill's method is a visual method of finding the real roots of a univariate polynomial of any degree https://en.wikipedia.org/wiki/Lill's_method
-
What is the sum of all 5 digit numbers using 1, 2, 3, 4, 5 without repetition? janmr.com/posts/sum-of-all-digit-p…
-
Functional Programming in Lean, a free book on using Lean as a programming language lean-lang.org/functional_programmi…
inductive Vect (α : Type u) : Nat → Type u where | nil : Vect α 0 | cons : α → Vect α n → Vect α (n + 1) def Vect.zip : Vect α n → Vect β n → Vect (α × β) n | .nil, .nil => .nil | .cons x xs, .cons y ys => .cons (x, y) (zip xs ys) -
Today marks the September equinox (yesterday if you're west of UTC), the moment when the Sun crosses the celestial equator moving southward, resulting in nearly equal hours of day and night across the globe and marking the start of astronomical autumn in the Northern Hemisphere janmr.com/posts/equinoxes-and-sols…
-
Introduction to the Finite Element Method: The Discrete Formulation janmr.com/posts/finite-element-met…
-
Bernhard Riemann was born 200 years ago today. His ideas concerning geometry of space had a profound effect on the development of modern theoretical physics. He clarified the notion of integral by defining what we now call the Riemann integral. mathshistory.st-andrews.ac.uk/Biog… www.maths.tcd.ie/pub/HistMath/Peop…
-
A Method for the Construction of Minimum-Redundancy Codes, by David A. Huffman — published in September 1952, introducing what is now known as Huffman coding www.worldradiohistory.com/Archive-…
-
The term "regression" in Regression Analysis comes from Sir Francis Galton, who in the 1870s-80s observed that offspring characteristics (originally in sweet peas, later confirmed in human height) tend to regress toward the population mean rather than resembling their parents' extremes en.wikipedia.org/wiki/Regression_t…
-
The Rust Programming Language — the official free book for learning Rust, known as "the book" doc.rust-lang.org/book
-
BLAS is was announced on this day in 1979: Basic Linear Algebra Subprograms for Fortran Usage dl.acm.org/doi/10.1145/355841.3558… netlib.org/blas
-
Parallel Computing from Stanford — a free YouTube playlist covering parallel programming concepts, GPU computing, and performance optimization www.youtube.com/playlist?list=PLoR…
-
SciPy 0.1 was released on this day in 2001 mail.python.org/pipermail/python-l…
-
Introduction to the Finite Element Method: Weak Formulation of Elliptic PDEs janmr.com/posts/finite-element-met…
-
TheoremDB — A public workspace for machine mathematics: open problems, permanent records of proofs and attempts, evidence and credit theoremdb.org
-
Introduction to the Finite Element Method: Example of Weak Solution to the Poisson Problem janmr.com/posts/finite-element-met…
-
A peer-reviewed video journal for mathematical research talks www.mathematicaldiscourse.org
-
Introduction to the Finite Element Method: Weak Formulation of the Poisson Problem janmr.com/posts/finite-element-met…
-
Given n people, you can arrange n(n−1)/2 matches between them. If n is even, you can do n−1 rounds of n/2 matches; if n is odd, n rounds of (n−1)/2 matches. en.wikipedia.org/wiki/Round-robin_…
-
Introduction to the Finite Element Method: General Elliptic PDEs janmr.com/posts/finite-element-met…
-
Freely available programming books, a large, community-curated list of free learning resources in many languages and topics ebookfoundation.github.io/free-pro…
-
Introduction to the Finite Element Method: The Poisson Problem janmr.com/posts/finite-element-met…
-
Dictionary of Algorithms and Data Structures from NIST — a free online reference for algorithm and data structure terminology xlinux.nist.gov/dads
-
Linus Torvalds on using AI for Linux: "I realize that some people really dislike AI, but this is an area where I'm willing to absolutely put my foot down as the top-level maintainer." lore.kernel.org/linux-media/CAHk-=…
-
Introduction to Neural Networks, part 4: The Optimization Problem janmr.com/posts/neural-networks/th…
-
Introduction to the Theory of Programming Languages by Bertrand Meyer — free book covering formal foundations of programming languages bertrandmeyer.com/itpl
-
A Mathematical Theory of Communication by C. E. Shannon (1948) — the foundational paper that established information theory people.math.harvard.edu/~ctm/home/…
-
Maximum Overhang: How far can a stack of n identical blocks be made to hang over the edge of a table? arxiv.org/abs/0707.0093
-
Introduction to Neural Networks, part 3: Multiple Inputs janmr.com/posts/neural-networks/mu…
-
Today marks the June solstice, the longest day in the Northern Hemisphere and the shortest day in the Southern Hemisphere. At 08:24 UTC the North Pole is tilted maximally (about 23.4°) towards the Sun. janmr.com/posts/equinoxes-and-sols…
-
Stanford Engineering Everywhere — includes the three-course Introduction to Computer Science, taken by the majority of Stanford’s undergraduates, as well as more advanced courses in artificial intelligence and electrical engineering see.stanford.edu
-
The Joy of Cryptography — an undergraduate-level textbook introducing the fundamentals of provable security joyofcryptography.com
-
Introduction to Neural Networks, part 2: The Model janmr.com/posts/neural-networks/mo… #neuralnetworks #machinelearning
-
Attention Is All You Need was published in June 2017 — the paper introduced the Transformer architecture, which laid the foundation for modern large language models arxiv.org/abs/1706.03762 #paper #llm
-
Linear Algebra by Gilbert Strang — one of the most popular free linear algebra courses, with video lectures and materials ocw.mit.edu/courses/18-06-linear-a…
-
Foundations of Computer Science by Alfred Aho and Jeffrey Ullman — a freely available CS textbook covering automata, languages, and computation infolab.stanford.edu/~ullman/focs.…
-
Introducing a series of posts on the basics of Neural Networks janmr.com/posts/neural-networks
-
The Story of C++: The World's Most Consequential Programming Language | The Official Story www.youtube.com/watch?v=lI7tMxzSJ7…
-
The paper A Universal Algorithm for Sequential Data Compression was published in May of 1977 — it introduced the LZ77 algorithm, which became the foundation for a family of derivative compression algorithms underpinning widely used formats like ZIP, gzip, and PNG ieeexplore.ieee.org/document/10557… courses.cs.duke.edu/spring03/cps29…
-
Rust and Iterator Adapters janmr.com/posts/rust-and-iterator-…
-
Calculus by Gilbert Strang — an online book that covers single variable and multivariable calculus in depth, and is rich with applications ocw.mit.edu/courses/res-18-001-cal…
-
The nth Bit of a Negative Number janmr.com/posts/nth-bit-of-negativ…
-
Algorithms by Jeff Erickson — a free, comprehensive algorithms textbook from the University of Illinois jeffe.cs.illinois.edu/teaching/alg…
-
Generating All Permutations janmr.com/posts/generating-all-per…
-
The Syntax and Semantics of einsum arxiv.org/abs/2509.20020
-
Full text of the Python Data Science Handbook by Jake VanderPlas jakevdp.github.io/PythonDataScienc…
