Some algorithms are more efficient than others. We would prefer to chose an efficient algorithm, so it would be nice to have metrics for comparing algorithm efficiency. The complexity of an algorithm ...

Let’s hear the argument, let’s see the evidence that YouTube used to decide it was misinformation. Let’s have a debate. Science works best when we have an open debate. Forgive me for the clickbait ...

AI will augment, not fully replace, mid-level engineers by 2025, according to Indian tech leaders. Global tech executives predict a 30% productivity boost from AI, impacting hiring practices. It’s ...

This document explains and verifies the design goals for an efficient, generic and robust stable sort implementation called driftsort by Orson Peters and Lukas Bergdoll (source code). TL;DR: driftsort ...

Many problems in mathematical sciences are ‘easy to evaluate’, despite being typically ‘hard to solve’. For example, in computer science, NP-complete optimization problems admit a polynomial-time ...

Improving the efficiency of algorithms for fundamental computations can have a widespread impact, as it can affect the overall speed of a large amount of computations. Matrix multiplication is one ...

In 1997, Amazon CEO Jeff Bezos wrote his first letter to shareholders and set a precedent for decades of startups after it. Despite Amazon's tiny footprint at the time, Bezos' letter to shareholders ...

Note: Some of the code here is old and was written when I was learning C++. It might be possible that code is not safe or making wrong assumptions. Please use with caution. Pull requests are always ...

The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...