1
Render mathematical expressions in Markdown On GitHub
You can now use LaTeX style syntax to render math expressions within Markdown inline (using $ delimiters) or in blocks (using $$ delimiters). Writing expressions as blocks To add math…
2
Finding the average of two unsigned integers without overflow
Another code golfing adventure.
3
Gödel, Escher, Bach: an in-depth explainer
[Thanks to Jacob Falkovich, Eric Neyman, and my LessWrong reviewer, among others, for their feedback on earlier drafts.] …
4
Algorithms you should know before you take system design interviews
I put together a list and explained why they are important.
5
A 9-line summary of textbook physics
All their wonders in one table
6
Protons are probably smaller than long thought
Our office chair, the air we breathe, the stars in the night sky: they are all made of atoms, which in turn are composed of electrons, protons and neutrons. Electrons are negatively charged; according to current knowledge, they have no expansion, but are point-like. The positively charged protons are different …
7
Solving some formal math olympiad problems
We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AMC12 and AIME competitions, as well as two problems adapted from the IMO.
8
Time-Series Compression Algorithms
These algorithms aren't magic – but combined they can save over 90% of storage costs and speed up queries. Here’s how 5 common ones work.
9
Quaternions: A Practical Guide
AnyLeaf Articles: Quaternions: A practical guide
10
Emulating double precision on the GPU to render large worlds
One of the problems with developing games with large game worlds is that objects start to jitter and teleport around as you move away from the world origin. This post is about how we overcame one challenge in particular and what we did.
11
Nearly all binary searches and mergesorts are broken (2006)
Posted by Joshua Bloch, Software EngineerI remember vividly Jon Bentley's first Algorithms lecture at CMU, where he asked all of us incoming Ph.D. ...
12
A gentle introduction to automated reasoning
Meet Amazon Science’s newest research area.
13
Corrected identification of object about to hit the moon
Note : I keep getting questions that cause me to realize I should explain something else, or that I explained something poorly. Click here for a list of recent changes. Last modified 2015 Mar 05 16:00 UTC. Here's the original story about this object .
14
The Stacks Project, a new model for organizing and visualizing mathematics
Columbia professor Johan de Jong has spent the last 15 years gathering the foundational theorems of algebraic geometry in one place. His creation, the Stacks Project, offers a new model for organizing and visualizing mathematical information.
15
The Kalman filter: helping chickens cross the road
The Kalman Filter. Helping Chickens Cross the Road. David Austin Grand Valley State University I was running some errands recently when I spied the Chicken Robot ambling down the sidewalk, then vee…
16
The definitive guide to “modulo bias” and how to avoid it (2020)
The Latest News from Research at Kudelski Security
17
Hinge and Its Implementation of the Gale–Shapley algorithm
https://thetab.com/uk/2020/05/20/this-is-how-the-nobel-prize-winning-hinge-algorithm-actually-works-157740
18
Provably space-efficient parallel functional programming
You have heard your grandmother tell you many times: parallel programming is hard. In 2022, does it still have to be? Back in grandma’s heyday, they knew a cool and breezy way to do paralleli…
19
Discovering Novel Algorithms with AlphaTensor
In our paper, published today in Nature, we introduce AlphaTensor, the first artificial intelligence (AI) system for discovering novel, efficient, and provably correct algorithms for fundamental tasks such as matrix multiplication. This sheds light on a 50-year-old open question in mathematics about finding the…
20
New method identifies the root causes of statistical outliers
Amazon ICML paper proposes information-theoretic measurement of quantitative causal contribution.
21
Some neurons are active when adding, others when subtracting
Most elementary school children probably already know that three apples plus two apples add up to five apples. However, what happens in the brain during such calculations is still largely unknown. The current study by the Universities of Bonn and Tübingen now sheds light on this issue.