Introduction to the Finite Element Method: Weak Formulation of Elliptic PDEs
Introduction to the Finite Element Method: Weak Formulation of Elliptic PDEs https://janmr.com/posts/finite-element-method/continuous/elliptic-weak-form/
janmr.com
Jan Marthedal Rasmussen updates
Latest posts
TheoremDB — A public workspace for machine mathematics: open problems, permanent records of proofs and attempts, evidence and credit
TheoremDB — A public workspace for machine mathematics: open problems, permanent records of proofs and attempts, evidence and credit https://theoremdb.org
Introduction to the Finite Element Method: Example of Weak Solution to the Poisson Problem
Introduction to the Finite Element Method: Example of Weak Solution to the Poisson Problem https://janmr.com/posts/finite-element-method/continuous/poisson-weak-example/
A peer-reviewed video journal for mathematical research talks
A peer-reviewed video journal for mathematical research talks https://www.mathematicaldiscourse.org
Introduction to the Finite Element Method: Weak Formulation of the Poisson Problem
Introduction to the Finite Element Method: Weak Formulation of the Poisson Problem https://janmr.com/posts/finite-element-method/continuous/poisson-weak-form/
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.
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. https://en.wikipedia.org/wiki/Round-robin_tournament#Scheduling_algorithm
Introduction to the Finite Element Method: General Elliptic PDEs
Introduction to the Finite Element Method: General Elliptic PDEs https://janmr.com/posts/finite-element-method/continuous/elliptic-pdes/
Freely available programming books, a large, community-curated list of free learning resources in many languages and topics
Freely available programming books, a large, community-curated list of free learning resources in many languages and topics https://ebookfoundation.github.io/free-programming-books/
Introduction to the Finite Element Method: The Poisson Problem
Introduction to the Finite Element Method: The Poisson Problem https://janmr.com/posts/finite-element-method/continuous/poisson-problem/
Dictionary of Algorithms and Data Structures from NIST — a free online reference for algorithm and data structure terminology
Dictionary of Algorithms and Data Structures from NIST — a free online reference for algorithm and data structure terminology https://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."
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." https://lore.kernel.org/linux-media/CAHk-=wi4zC+Ze8e+p3tMv8TtG_80KzsZ1syL9anBtmEh5Z40vg@mail.gmail.com/
Neural Networks - The Optimization Problem
Neural Networks - The Optimization Problem http://janmr.com/posts/neural-networks/04-the-optimization-problem/
Introduction to the Theory of Programming Languages by Bertrand Meyer — free book covering formal foundations of programming languages
Introduction to the Theory of Programming Languages by Bertrand Meyer — free book covering formal foundations of programming languages https://bertrandmeyer.com/itpl/
A Mathematical Theory of Communication by C. E. Shannon (1948) — the foundational paper that established information theory
A Mathematical Theory of Communication by C. E. Shannon (1948) — the foundational paper that established information theory https://people.math.harvard.edu/~ctm/home/text/others/shannon/entropy/entropy.pdf
Maximum Overhang: How far can a stack of n identical blocks be made to hang over the edge of a table?
Maximum Overhang: How far can a stack of n identical blocks be made to hang over the edge of a table? https://arxiv.org/abs/0707.0093
Introduction to Neural Networks, part 3: Multiple Inputs
Introduction to Neural Networks, part 3: Multiple Inputs http://janmr.com/posts/neural-networks/03-multiple-inputs/
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.
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. https://janmr.com/posts/equinoxes-and-solstices/
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
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 https://see.stanford.edu
The Joy of Cryptography — an undergraduate-level textbook introducing the fundamentals of provable security
The Joy of Cryptography — an undergraduate-level textbook introducing the fundamentals of provable security https://joyofcryptography.com
Introduction to Neural Networks, part 2: The Model
Introduction to Neural Networks, part 2: The Model http://janmr.com/posts/neural-networks/02-the-model/ #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
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 https://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
Linear Algebra by Gilbert Strang — one of the most popular free linear algebra courses, with video lectures and materials https://ocw.mit.edu/courses/18-06-linear-algebra-spring-2010/
Foundations of Computer Science by Alfred Aho and Jeffrey Ullman — a freely available CS textbook covering automata, languages, and computation
Foundations of Computer Science by Alfred Aho and Jeffrey Ullman — a freely available CS textbook covering automata, languages, and computation http://infolab.stanford.edu/~ullman/focs.html
Introducing a series of posts on the basics of Neural Networks
Introducing a series of posts on the basics of Neural Networks https://janmr.com/posts/neural-networks/01-preface/
The Story of C++: The World's Most Consequential Programming Language | The Official Story
The Story of C++: The World's Most Consequential Programming Language | The Official Story https://www.youtube.com/watch?v=lI7tMxzSJ7w
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
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 https://ieeexplore.ieee.org/document/1055714…
Rust and Iterator Adapters
Rust and Iterator Adapters http://janmr.com/posts/rust-and-iterator-adapters/
Calculus by Gilbert Strang — an online book that covers single variable and multivariable calculus in depth, and is rich with applications
Calculus by Gilbert Strang — an online book that covers single variable and multivariable calculus in depth, and is rich with applications https://ocw.mit.edu/courses/res-18-001-calculus-fall-2023/
The nth Bit of a Negative Number
The nth Bit of a Negative Number http://janmr.com/posts/nth-bit-of-negative-number/
Algorithms by Jeff Erickson — a free, comprehensive algorithms textbook from the University of Illinois
Algorithms by Jeff Erickson — a free, comprehensive algorithms textbook from the University of Illinois https://jeffe.cs.illinois.edu/teaching/algorithms/
Generating All Permutations
Generating All Permutations http://janmr.com/posts/generating-all-permutations/
The Syntax and Semantics of einsum
The Syntax and Semantics of einsum https://arxiv.org/abs/2509.20020
Full text of the Python Data Science Handbook by Jake VanderPlas
Full text of the Python Data Science Handbook by Jake VanderPlas https://jakevdp.github.io/PythonDataScienceHandbook/
Leap Year Rules
Leap Year Rules http://janmr.com/posts/leap-year-rules/
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
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 http://www.redbook.io
MathNet — a high-quality, large-scale, multimodal, and multilingual dataset of Olympiad-level math problems spanning 47 countries, 17 languages, and two decades
MathNet — a high-quality, large-scale, multimodal, and multilingual dataset of Olympiad-level math problems spanning 47 countries, 17 languages, and two decades https://mathnet.csail.mit.edu #math #problem #collection
Tiling with L-Trominos
Tiling with L-Trominos http://janmr.com/posts/tiling-with-l-trominos/
An algorithm for the machine calculation of complex Fourier series by Cooley and Tukey (1965) — the paper that popularized the Fast Fourier Transform (FFT)
An algorithm for the machine calculation of complex Fourier series by Cooley and Tukey (1965) — the paper that popularized the Fast Fourier Transform (FFT) https://www.ams.org/journals/mcom/1965-19-090/S0025-5718-1965-0178586-1/
The date of Easter can be computed by a number of simple calculations; the earliest possible date for Easter is March 22, and the latest is April 25
The date of Easter can be computed by a number of simple calculations; the earliest possible date for Easter is March 22, and the latest is April 25 https://aa.usno.navy.mil/faq/easter
Comparing Rational Numbers Without Overflow
Comparing Rational Numbers Without Overflow http://janmr.com/posts/comparing-rational-numbers-without-overflow/
Error Detecting and Error Correcting Codes by R. W. Hamming was published on this day in 1950; the paper introduced Hamming codes, a fundamental technique for detecting and correcting errors in digital data
Error Detecting and Error Correcting Codes by R. W. Hamming was published on this day in 1950; the paper introduced Hamming codes, a fundamental technique for detecting and correcting errors in digital data https://archive.org/details/bstj29-2-147
Low-Level Date Algorithms (year/month/day to day epoch and the reverse, among others)
Low-Level Date Algorithms (year/month/day to day epoch and the reverse, among others) https://howardhinnant.github.io/date_algorithms.html
City In A Bottle – A 256 Byte Raycasting System
City In A Bottle – A 256 Byte Raycasting System https://frankforce.com/city-in-a-bottle-a-256-byte-raycasting-system/
Advanced Data Structures from MIT (6.851) — lecture notes and videos covering advanced topics like memory hierarchies, hashing, and geometric data structures
Advanced Data Structures from MIT (6.851) — lecture notes and videos covering advanced topics like memory hierarchies, hashing, and geometric data structures https://courses.csail.mit.edu/6.851/spring21/
Yesterday marked the March equinox, the moment when the Sun crosses the celestial equator moving northward, resulting in nearly equal hours of day and night across the globe and marking the start of astronomical spring in the Northern Hemisphere
Yesterday marked the March equinox, the moment when the Sun crosses the celestial equator moving northward, resulting in nearly equal hours of day and night across the globe and marking the start of astronomical spring in the Northern Hemisphere https://janmr.com/posts/equinoxes-and-solstices/
The XZ Utils backdoor, had it made it into stable versions of major Linux distributions, would have enabled an attacker to silently gain access to any affected system
The XZ Utils backdoor, had it made it into stable versions of major Linux distributions, would have enabled an attacker to silently gain access to any affected system https://www.redhat.com/en/blog/understanding-red-hats-response-xz-security-incident https://www.openwall.com/lists/oss-security/2024/03/29/4 https://www.youtube.com/watch?v=aoag03mSuXQ #linux #security
Bresenham's Line Algorithm
Bresenham's Line Algorithm https://janmr.com/posts/bresenhams-line-algorithm/
Small chess programs
Small chess programs https://nanochess.org/chess.html #chess #programming
The Six Circles Theorem illustrated
The Six Circles Theorem illustrated https://janmr.com/posts/six-circles-theorem-illustrated/
Assignment Expressions was a controversial enhancement to the Python language and played a central role in Guido stepping down as BDFL
Assignment Expressions was a controversial enhancement to the Python language and played a central role in Guido stepping down as BDFL https://peps.python.org/pep-0572/ https://mail.python.org/archives/list/python-committers@python.org/thread/GQONAGWBBFRHVRUPU7RNBM75MHKGUFJN/