The latest blog posts to take off on Hacker News. 2,851 posts.
At Google, our organization designs, owns, and maintains a number of optimization models that automate the planning of Google’s datacenter growth and health. As is pretty standard in supply chain optimization and planning, these models are often integer linear programs. It’s a core competency of operations research…
I love the feeling of having a new way to think about the world. I especially love when there’s some vague idea that gets formalized into a concrete concept. Information theory is a prime example of this.
Stephen Wolfram shares his memories of mathematical physicist Mitchell Feigenbaum. Also a detailed discussion of his work and big discovery of a universal constant for functions approaching chaos via period doubling.
This blog post is about an interesting detail about machine learning that I came across as a researcher at Jane Street - that of the interaction between L2 r...
I'm the kind of person who reads encyclopedias front to back just for fun, and I've been fascinated by mathematical special functions at least since my first encounter with the gamma function as a teenager. My work implementing numerical and symbolic algorithms in mpmath , Arb and other software projects during the…
Diablo1 is a classic 1996 hack and slash rogue-like. several fans took it upon themselves to reverse-engineer the source code. I began a week long deep dive into how exactly did lead developer, Dav…
Programmers love to discuss programming languages. We not only debate their technical merits and aesthetic qualities, but they become integrated into our personal identities, along with the values and traits that we associate with them. Some even defend a form of Linguistic Determinism that thinking is confined to…
(Non-clickbait title: building a 4-bit adder in Cities:Skylines.)
Create beautiful emails, automate campaigns, and track performance. Try it now and see how our tools can drive your business.
Note: These pages make extensive use of the latest XHTML and CSS Standards . They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in…
Queueing theory is the scientific study of waiting in line. It can apply to familiar lines like those at the grocery store or bank but also to things like web s
Dynamic programming has a reputation as a technique you learn in school, then only use to pass interviews at software companies. Indeed, most developers do not regularly work on problems where dynamic programming is needed. Ultimately, dynamic programming is a technique for efficiently solving problems that can be…
Why are election polls often inaccurate? Why is racism wrong? Why are your assumptions often mistaken? The answers to all these questions and to many others have a lot to do with the non-ergodicity…
Do adventure games have dead ends? The author of The Teeny Tiny Mansion proves the absence of dead ends in that game via formal verification (in particular, with the help of the cbmc model-checking program ). Here I’ll demonstrate how to prove the same thing via Markov theory. The Markov approach requires more…
In this post we’ll explore how we can derive logistic regression from Bayes’ Theorem. Starting with Bayes’ Theorem we’ll work our way to computing the log odds of our problem and the arrive at the inverse logit function. After reading this post you’ll have a much stronger intuition for how logistic
A number of people have asked me to weigh in on this story in Quanta Magazine (based on this paper [ PDF version ] and also reported in t...
This post is a write-up of a solution to part of a programming puzzle I did yesterday. It’s a little different than the usual “solution + theory” approach, though: I’m going to talk about the actual steps you’d need to take to get to the solution (i.e. what to google, what intermediate code looks like, etc.). Often…
Lambdaclass's blog about distributed systems, machine learning, compilers, operating systems, security and cryptography.
In a previous article , I already introduced manifolds and their, ahem, manifold ways. Among the many interesting comments I received about this article, some were dealing with a basic question, namely how to measure the properties of a manifold. In this article, I want to present a few concepts from Morse theory …
[ An updated treatment of some of this material appears in Chapter 2 of the Energy and Human Ambitions on a Finite Planet (free) textbook, also mirrors a 2022 article in Nature Physics . . ]
These structures are so universal that most research papers in the theory of computation, programming languages and formal methods present concepts in terms of discrete mathematics rather than code.
