Sign in

Jan Marthedal Rasmussen

@janmr.com
45 followers 71 following 181 posts

Programmer, amateur mathematician, BJJ brown belt janmr.com

PostsRepliesMedia
Jan Marthedal Rasmussen @janmr.com · 01/10/2026
TypeScript had its first release, version 0.8, on this day in 2012 web.archive.org/web/20150403... #onthisday #typescript #programming
010
Jan Marthedal Rasmussen @janmr.com · 30/09/2026
How We Got from There to Here: A Story of Real Analysis milneopentextbooks.org/how-we-got-f... #math #analysis #history
000
Jan Marthedal Rasmussen @janmr.com · 29/09/2026
Lill's method is a visual method of finding the real roots of a univariate polynomial of any degree en.wikipedia.org/wiki/Lill%27... #math #visualization
en.wikipedia.org
Lill's method - Wikipedia
001
Jan Marthedal Rasmussen @janmr.com · 26/09/2026
What is the sum of all 5 digit numbers using 1, 2, 3, 4, 5 without repetition? janmr.com/posts/sum-of... #math #combinatorics
janmr.com
janmr.com | A Sum of All Digit Permutations
What is the sum of all 5 digit numbers using 1, 2, 3, 4, 5 without repetition?
000
Jan Marthedal Rasmussen @janmr.com · 24/09/2026
Functional Programming in Lean, a free book on using Lean as a programming language lean-lang.org/functional_p... #lean #functional #programming #book #online
020
Jan Marthedal Rasmussen @janmr.com · 23/09/2026
Today marks the September equinox, 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/equino... #september #equinox
121
Jan Marthedal Rasmussen @janmr.com · 20/09/2026
Introduction to the Finite Element Method: The Discrete Formulation janmr.com/posts/finite... #math #numericalanalysis #fem #pde
janmr.com
janmr.com | The Discrete Formulation
Restricting the weak problem to a finite-dimensional subspace with the Galerkin method, assembling the stiffness matrix and load vector, and bounding the discretisation error with Céa's lemma.
000
Jan Marthedal Rasmussen @janmr.com · 17/09/2026
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. mathshistory.st-andrews.ac.uk/Biographies/... www.maths.tcd.ie/pub/HistMath... #onthisday #mathematics
mathshistory.st-andrews.ac.uk
Bernhard Riemann - Biography
Bernhard Riemann's 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 Riema...
000
Jan Marthedal Rasmussen @janmr.com · 15/09/2026
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-IRE/... #algorithms #informationtheory
000
Jan Marthedal Rasmussen @janmr.com · 13/09/2026
The term "regression" in Regression Analysis comes from Sir Francis Galton, who in the 1870s-80s observed that offspring characteristics tend to regress toward the population mean rather than resembling their parents' extremes en.wikipedia.org/wiki/Regress... #machinelearning #regression #history
000
Jan Marthedal Rasmussen @janmr.com · 05/09/2026
The Rust Programming Language — the official free book for learning Rust, known as "the book" doc.rust-lang.org/book/ #online #rust #book
000
Jan Marthedal Rasmussen @janmr.com · 01/09/2026
BLAS is was announced on this day in 1979: Basic Linear Algebra Subprograms for Fortran Usage dl.acm.org/doi/10.1145/... netlib.org/blas/ #onthisday #blas #numericalanalysis #library #fortran
020
Jan Marthedal Rasmussen @janmr.com · 30/08/2026
Parallel Computing from Stanford — a free YouTube playlist covering parallel programming concepts, GPU computing, and performance optimization #online #course #computerscience #programming www.youtube.com/playlist?lis...
youtube.com
Stanford CS149 I Parallel Computing I 2023 I Kayvon Fatahalian and Kunle Olukotun - YouTube
From smartphones, to multi-core CPUs and GPUs, to the world's largest supercomputers and websites, parallel processing is ubiquitous in modern computing. The...
000
Jan Marthedal Rasmussen @janmr.com · 19/08/2026
SciPy 0.1 was released on this day in 2001 mail.python.org/pipermail/py... #scipy #onthisday
000
Jan Marthedal Rasmussen @janmr.com · 16/08/2026
Introduction to the Finite Element Method: Weak Formulation of Elliptic PDEs janmr.com/posts/finite... #math #numericalanalysis #fem #pde
janmr.com
janmr.com | Weak Formulation of Elliptic PDEs
Extending the weak formulation to general second-order elliptic operators, giving the abstract bilinear form and linear functional of the finite element method.
000
Jan Marthedal Rasmussen @janmr.com · 09/08/2026
TheoremDB — A public workspace for machine mathematics: open problems, permanent records of proofs and attempts, evidence and credit theoremdb.org #math #OpenScience
theoremdb.org
TheoremDB · A public workspace for machine mathematics
A public workspace for machine mathematics: open problems, permanent records of proofs and attempts, evidence and credit.
000
Jan Marthedal Rasmussen @janmr.com · 06/08/2026
Introduction to the Finite Element Method: Example of Weak Solution to the Poisson Problem janmr.com/posts/finite... #math #numericalanalysis #fem #pde
000
Jan Marthedal Rasmussen @janmr.com · 03/08/2026
A peer-reviewed video journal for mathematical research talks www.mathematicaldiscourse.org #online #mathematics #video #journal
mathematicaldiscourse.org
Mathematical Discourse - Mathematical Discourse
A peer-reviewed video journal for mathematical research talks.
000
Jan Marthedal Rasmussen @janmr.com · 01/08/2026
Introduction to the Finite Element Method: Weak Formulation of the Poisson Problem janmr.com/posts/finite... #math #numericalanalysis #fem #pde
janmr.com
janmr.com | Weak Formulation of the Poisson Problem
Deriving the weak form of the Poisson equation by integration by parts, with essential and natural boundary conditions and the conditions for well-posedness.
001
Jan Marthedal Rasmussen @janmr.com · 30/07/2026
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-r... #math #combinatorics #algorithms
000
Jan Marthedal Rasmussen @janmr.com · 28/07/2026
Introduction to the Finite Element Method: General Elliptic PDEs janmr.com/posts/finite... #math #numericalanalysis #fem #pde
janmr.com
janmr.com | General Elliptic PDEs
Generalising the Poisson equation to second-order linear elliptic operators, with uniform ellipticity, conormal boundary conditions, and well-posedness.
000
Jan Marthedal Rasmussen @janmr.com · 26/07/2026
Freely available programming books, a large, community-curated list of free learning resources in many languages and topics ebookfoundation.github.io/free-program... #online #programming #books
010
Jan Marthedal Rasmussen @janmr.com · 24/07/2026
Introduction to the Finite Element Method: The Poisson Problem janmr.com/posts/finite... #math #numericalanalysis #fem #pde
000
Jan Marthedal Rasmussen @janmr.com · 22/07/2026
Dictionary of Algorithms and Data Structures from NIST — a free online reference for algorithm and data structure terminology xlinux.nist.gov/dads/ #computerscience #algorithms
000
Jan Marthedal Rasmussen @janmr.com · 20/07/2026
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/... #linux #ai
100
Jan Marthedal Rasmussen @janmr.com · 19/07/2026
Neural Networks - The Optimization Problem janmr.com/posts/neural... #neuralnetworks #machinelearning #optimization
janmr.com
janmr.com | Neural Networks - The Optimization Problem
010
Jan Marthedal Rasmussen @janmr.com · 17/07/2026
Introduction to the Theory of Programming Languages by Bertrand Meyer — free book covering formal foundations of programming languages bertrandmeyer.com/itpl/ #programming #computerscience #online #book
bertrandmeyer.com
Online version of "Introduction to the Theory of Programming Languages" - Bertrand Meyer's technology+ blog
A full, free online version of Introduction to the Theory of Programming Languages, 2nd printing (1991) Copyright notice: The text is not in the public domain. It is copyrighted material, made availab...
020
Jan Marthedal Rasmussen @janmr.com · 15/07/2026
A Mathematical Theory of Communication by C. E. Shannon (1948) — the foundational paper that established information theory people.math.harvard.edu/~ctm/home/te... #math #paper #informationtheory
020
Jan Marthedal Rasmussen @janmr.com · 05/07/2026
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 #math
000
Jan Marthedal Rasmussen @janmr.com · 28/06/2026
Introduction to Neural Networks, part 3: Multiple Inputs janmr.com/posts/neural... #neuralnetworks #machinelearning
janmr.com
janmr.com | Neural Networks - Multiple Inputs
110
Jan Marthedal Rasmussen @janmr.com · 21/06/2026
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/equino... #astronomy #june #solstice
000
Jan Marthedal Rasmussen @janmr.com · 19/06/2026
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 #computerscience #mathematics #online #courses
000
Jan Marthedal Rasmussen @janmr.com · 16/06/2026
The Joy of Cryptography — an undergraduate-level textbook introducing the fundamentals of provable security joyofcryptography.com #cryptography #computerscience #online #book
090
Jan Marthedal Rasmussen @janmr.com · 14/06/2026
Introduction to Neural Networks, part 2: The Model janmr.com/posts/neural... #neuralnetworks #machinelearning
janmr.com
janmr.com | Neural Networks - The Model
We define the neural network model that we will be exploring in the following posts
020
Jan Marthedal Rasmussen @janmr.com · 12/06/2026
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
220
Jan Marthedal Rasmussen @janmr.com · 11/06/2026
Linear Algebra by Gilbert Strang — one of the most popular free linear algebra courses, with video lectures and materials ocw.mit.edu/courses/18-0... #online #course #math #linearalgebra
000
Jan Marthedal Rasmussen @janmr.com · 08/06/2026
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... #online #book #computerscience
060
Jan Marthedal Rasmussen @janmr.com · 07/06/2026
Introducing a series of posts on the basics of Neural Networks janmr.com/posts/neural... #neuralnetworks #machinelearning #numpy
janmr.com
janmr.com | Neural Networks - Preface
Introducing a series of posts on the basics of Neural Networks
030
Jan Marthedal Rasmussen @janmr.com · 05/06/2026
The Story of C++: The World's Most Consequential Programming Language | The Official Story www.youtube.com/watch?v=lI7t... #documentary #video #cpp
youtube.com
The Story of C++: The World's Most Consequential Programming Language | The Official Story
YouTube video by CultRepo
000
Jan Marthedal Rasmussen @janmr.com · 31/05/2026
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 ieeexplore.ieee.org/document/105... courses.cs.duke.edu/spring03/cps... #compression #algorithms
010
Jan Marthedal Rasmussen @janmr.com · 30/05/2026
Rust and Iterator Adapters janmr.com/posts/rust-a... #rust
000
Jan Marthedal Rasmussen @janmr.com · 18/05/2026
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-... #math #calculus #online #book
020
Jan Marthedal Rasmussen @janmr.com · 17/05/2026
The nth Bit of a Negative Number janmr.com/posts/nth-bi... #multipleprecision #bitfiddling
janmr.com
janmr.com | The nth Bit of a Negative Number
000
Jan Marthedal Rasmussen @janmr.com · 10/05/2026
Algorithms by Jeff Erickson — a free, comprehensive algorithms textbook from the University of Illinois jeffe.cs.illinois.edu/teaching/alg... #computerscience #algorithms #online #book
030
Jan Marthedal Rasmussen @janmr.com · 09/05/2026
Generating All Permutations janmr.com/posts/genera... #combinatorics #algorithms #python #rust
janmr.com
janmr.com | Generating All Permutations
020
Jan Marthedal Rasmussen @janmr.com · 07/05/2026
The Syntax and Semantics of einsum arxiv.org/abs/2509.20020 #python #numpy #ndarrays #tensors #einsum
000
Jan Marthedal Rasmussen @janmr.com · 30/04/2026
Full text of the Python Data Science Handbook by Jake VanderPlas jakevdp.github.io/PythonDataSc... #python #online #datascience #book
020
Jan Marthedal Rasmussen @janmr.com · 29/04/2026
Leap Year Rules janmr.com/posts/leap-y... #datetime
000
Jan Marthedal Rasmussen @janmr.com · 26/04/2026
Readings in Database Systems (commonly known as the "Red Book") has offered readers an opinionated take on both classic and cutting-edge research in the field of data management since 1988 www.redbook.io #databases
000
Jan Marthedal Rasmussen @janmr.com · 22/04/2026
MathNet — a high-quality, large-scale, multimodal, and multilingual dataset of Olympiad-level math problems spanning 47 countries, 17 languages, and two decades mathnet.csail.mit.edu #math #problem #collection
mathnet.csail.mit.edu
MathNet: A Global Multimodal Benchmark for Mathematical Reasoning and Retrieval
MathNet — a high-quality, large-scale, multimodal, and multilingual dataset of Olympiad-level math problems spanning 47 countries, 17 languages, and two decades. ICLR 2026.
000