Jan Marthedal Rasmussen
@janmr.com
Programmer, amateur mathematician, BJJ brown belt
https://janmr.com
https://janmr.com
Math.sumPrecise developer.mozilla.org/en-US/docs/W...
Math.sumPrecise() - JavaScript | MDN
The Math.sumPrecise() static method takes an iterable of numbers and returns the sum of them. It is more precise than summing them up in a loop, because it avoids floating point precision loss in inte...
developer.mozilla.org
August 1, 2025 at 6:26 AM
Math.sumPrecise developer.mozilla.org/en-US/docs/W...
A leap year check in three instructions hueffner.de/falk/blog/a-...
A leap year check in three instructions
How to test for leap years (until year 102499) in the proleptic Gregorian calendar with just three 32-bit instructions, with detailed explanation of the bit-level tricks.
hueffner.de
May 22, 2025 at 11:57 AM
A leap year check in three instructions hueffner.de/falk/blog/a-...
Full unicode emoji list unicode.org/emoji/charts...
unicode.org
May 20, 2025 at 7:47 AM
Full unicode emoji list unicode.org/emoji/charts...
An ongoing multi-author open source project to formalise a proof of Fermat's Last Theorem in the Lean theorem prover imperialcollegelondon.github.io/FLT/ #lean
Fermat’s Last Theorem
An ongoing multi-author open source project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover.
imperialcollegelondon.github.io
May 19, 2025 at 10:53 AM
An ongoing multi-author open source project to formalise a proof of Fermat's Last Theorem in the Lean theorem prover imperialcollegelondon.github.io/FLT/ #lean
Fast and maintainable patterns for fetching from a database by @sophiebits.com sophiebits.com/2020/01/01/f...
Fast and maintainable patterns for fetching from a database
sophiebits.com
May 7, 2025 at 5:09 AM
Fast and maintainable patterns for fetching from a database by @sophiebits.com sophiebits.com/2020/01/01/f...
Celebrate 50 years of Microsoft with the company’s original source code by Bill Gates www.gatesnotes.com/home/home-pa...
Celebrating 50 years of Microsoft | Bill Gates
This one piece of code led to a half century of innovation from Microsoft.
www.gatesnotes.com
April 4, 2025 at 11:44 AM
Celebrate 50 years of Microsoft with the company’s original source code by Bill Gates www.gatesnotes.com/home/home-pa...
Free math texts by Jim Hefferon (Linear Algebra, Theory of Computation, Introduction to Proofs) hefferon.net
Free Math Texts and more, from Jim Hefferon
Free Texts in Mathematics and Computer Science and more, from Jim Hefferon
hefferon.net
April 2, 2025 at 12:11 PM
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-t...
Andrew Barto and Richard Sutton are the recipients of the 2024 ACM A.M. Turing Award for developing the conceptual and algorithmic foundations of reinforcement learning.
Andrew Barto and Richard Sutton as the recipients of the 2024 ACM A.M. Turing Award for developing the conceptual and algorithmic foundations of reinforcement learning. In a series of papers beginning...
awards.acm.org
March 5, 2025 at 10:31 AM
@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-t...
Reposted by Jan Marthedal Rasmussen
Watch Firefly land on the Moon! After identifying surface hazards and selecting a safe landing site, #BlueGhost landed directly over the target in Mare Crisium. A historic moment on March 2 we'll never forget. We have Moon dust on our boots! #BGM1
youtu.be/NpHhEybJdxg
youtu.be/NpHhEybJdxg
Moon Landing - Firefly Blue Ghost Makes History
YouTube video by Firefly Aerospace
youtu.be
March 4, 2025 at 6:56 PM
Watch Firefly land on the Moon! After identifying surface hazards and selecting a safe landing site, #BlueGhost landed directly over the target in Mare Crisium. A historic moment on March 2 we'll never forget. We have Moon dust on our boots! #BGM1
youtu.be/NpHhEybJdxg
youtu.be/NpHhEybJdxg
Stanford's "The Fourier Transform and Its Applications"
Videos, problem sets & more: see.stanford.edu/course/ee261
Videos, problem sets & more: see.stanford.edu/course/ee261
Stanford Engineering Everywhere | EE261 - The Fourier Transform and its Applications
The goals for the course are to gain a facility with using the Fourier transform, both specific techniques and
general principles, and learning to recognize when, why, and how it is used. Together wit...
see.stanford.edu
March 4, 2025 at 8:41 AM
Stanford's "The Fourier Transform and Its Applications"
Videos, problem sets & more: see.stanford.edu/course/ee261
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=HEfH...
The most unexpected answer to a counting puzzle
YouTube video by 3Blue1Brown
www.youtube.com
February 27, 2025 at 6:06 AM
An unexpected, and extremely inefficient, way to compute pi @3blue1brown.com www.youtube.com/watch?v=HEfH...
Introduction to Computer Graphics, a free, on-line textbook covering the fundamentals of computer graphics and computer graphics programming math.hws.edu/graphicsbook/
February 25, 2025 at 10:43 AM
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. #math #lectures #mooc www.youtube.com/@ProfJeffrey... www.math.hkust.edu.hk/~machas/?men...
January 24, 2025 at 11:54 AM
Videos from Math Professor Jeffrey Chasnov. Some of the playlists are videos from his Coursera courses on Mathematics for Engineers. #math #lectures #mooc www.youtube.com/@ProfJeffrey... www.math.hkust.edu.hk/~machas/?men...
Computer Science lectures by @timroughgarden.bsky.social www.youtube.com/channel/UCcH...
January 8, 2025 at 1:48 PM
Computer Science lectures by @timroughgarden.bsky.social www.youtube.com/channel/UCcH...
Online conversion from TeX/MathML to HTML/SVG (powered by MathJax) #math #tex #mathml #svg mathjax.github.io/MathJax-demo...
MathJax-demos-web
A repository with examples using mathjax-v3
mathjax.github.io
January 7, 2025 at 12:09 PM
Online conversion from TeX/MathML to HTML/SVG (powered by MathJax) #math #tex #mathml #svg mathjax.github.io/MathJax-demo...
Temml is a LaTeX-to-MathML JavaScript conversion utility. Useful online converter on homepage. temml.org #math #tex #mathml
Temml - Convert TeX to MathML
temml.org
January 6, 2025 at 10:25 AM
KaTeX: A math typesetting library for the web katex.org
KaTeX – The fastest math typesetting library for the web
Simple API, no dependencies – yet super fast on all major browsers.
katex.org
January 6, 2025 at 10:04 AM
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
cross-platform terminal emulator that uses
platform-native UI and GPU acceleration.
ghostty.org
Ghostty
Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
ghostty.org
December 29, 2024 at 6:23 AM
👻 Ghostty is a fast, feature-rich, and
cross-platform terminal emulator that uses
platform-native UI and GPU acceleration.
ghostty.org
cross-platform terminal emulator that uses
platform-native UI and GPU acceleration.
ghostty.org
Reposted by Jan Marthedal Rasmussen
😮 Well this is cool!
“Map of GitHub”, a visualization of 400k+ GH projects, clustered into countries.
anvaka.github.io/map-of-githu...
“Map of GitHub”, a visualization of 400k+ GH projects, clustered into countries.
anvaka.github.io/map-of-githu...
December 16, 2024 at 2:46 PM
😮 Well this is cool!
“Map of GitHub”, a visualization of 400k+ GH projects, clustered into countries.
anvaka.github.io/map-of-githu...
“Map of GitHub”, a visualization of 400k+ GH projects, clustered into countries.
anvaka.github.io/map-of-githu...
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/ma...
#python #microsoft
github.com/microsoft/ma...
#python #microsoft
GitHub - microsoft/markitdown: Python tool for converting files and office documents to Markdown.
Python tool for converting files and office documents to Markdown. - microsoft/markitdown
github.com
December 15, 2024 at 6:06 PM
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/ma...
#python #microsoft
github.com/microsoft/ma...
#python #microsoft
Reposted by Jan Marthedal Rasmussen
If you're curious what it takes to build and run #AdventOfCode every year, you might enjoy this talk: www.youtube.com/watch?v=uZ8D...
Keynote: Advent of Code, Behind the Scenes - Eric Wastl
YouTube video by CppNorth
www.youtube.com
December 8, 2024 at 11:48 AM
If you're curious what it takes to build and run #AdventOfCode every year, you might enjoy this talk: www.youtube.com/watch?v=uZ8D...
Vanilla JS vanilla-js.com #javascript
Vanilla JS
vanilla-js.com
December 9, 2024 at 12:15 PM
Vanilla JS vanilla-js.com #javascript
Donald Knuth's 28th annual Christmas Lecture: Strong Components and Weak Components www.youtube.com/watch?v=au26... (past recordings www.youtube.com/playlist?lis...) #computerscience #lecture
Stanford Lecture: Dr. Don Knuth - Strong Components and Weak Components (2024)
YouTube video by Stanford Online
www.youtube.com
December 4, 2024 at 7:45 AM
Donald Knuth's 28th annual Christmas Lecture: Strong Components and Weak Components www.youtube.com/watch?v=au26... (past recordings www.youtube.com/playlist?lis...) #computerscience #lecture
A good example of where the phrase "An exception that proves the rule" would be applicable
November 28, 2024 at 1:56 PM
A good example of where the phrase "An exception that proves the rule" would be applicable