Category Theory and Declarative Programming
This is part 11 of Categories for Programmers. Previously: Natural Transformations. See the Table of Contents. Introduction to Part II In the first part of the book I argued that both category theo…
Topics /
The most popular blog posts about math & algorithms on Hacker News. 2,851 posts.
This is part 11 of Categories for Programmers. Previously: Natural Transformations. See the Table of Contents. Introduction to Part II In the first part of the book I argued that both category theo…
Restate Some Basic Concepts and Math in Bayesian Filter
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Stay up to speed on the rapid advancement of AI technology and the benefits it offers to humanity.
For twenty years, the fastest known algorithm to multiply two n-by-n matrices, due to Coppersmith and Winograd, took a leisurely O(n2.376) steps. Last year, though, in his PhD thesis, Andrew Stot…
I really like decision tables but they’ve fallen out of common knowledge. Let’s fix that. A decision table is a means of concisely representing branching and conditional computations. In the most basic form, you have some columns that represent the “inputs” as booleans and some columns that represent outputs and…
Can you use math to escape from, what seems like, an impossible prison escape problem based on coins and a chessboard?
Update - 05 Dec 2017: Google just announced that it will be commited to the development of a new released version of the S2 library, amazing news, repository can be found here. Google's S2 library is a real treasure, not only due to its capabilities for spatial indexing but also because it is a library that
Array and hash table are probably the most important data structures. Some programming languages such as Perl, Lua and Javascript, almost build the language core on top of the two data structures. …
When you resize, rotate, or in any way transform an image; or more generally when you resample some discrete signal, the software you are using must _interpolate_ between the discrete points to produce a result. Linear and cubic interpolation are easy to explain, but Lánczos interpolation, one of the most popular…
I wondered how GPT-3 might do on the following problem: given a partially-connected graph, find a path between two nodes, or determine that no path exists. I wrote some code to automate generating …
A remainder and a modulus look so very similar, but they are not the same thing and worse, are treated differently by different programming languages. Do you know how your language handles mod?
I hope everyone had a good weekend. I went on a hike. It was great. Statistics One of my great school regrets, next to “taking three years of business...
Stay up to speed on the rapid advancement of AI technology and the benefits it offers to humanity.
If there is one highly underrated concept in philosophy today, it is computation . Why is it so important? Because computationalism is t...
A Penn State engineering student's work on a century-old math problem that expands research in aerodynamics, unlocking new possibilities in wind turbine design, was recently published in Wind Energy Science.
This paper appeared in Communications of the ACM in April 1960. It is the original paper on Lisp.
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. ...
It’s fairly clear when one should buy a particular stock. One should buy stock when it is undervalued. What I have always wondered about is how much stock one should buy. A few months ago I stumbled upon the answer which is given by the Kelly criterion . It says that one should invest an amount to maximize one’s…
The discovery of the Higgs boson at CERN’s Large Hadron Collider (LHC) in 2012 marked a significant milestone in particle physics. Since then, the ATLAS and CMS collaborations have been diligently investigating the properties of this unique particle and searching to establish the different ways in which it is produced…
The python code that goes along with this blog post can be found at To evaluate the quality of a blue noise texture, you can analyze it in frequency space by taking a discrete Fourier transform. Wh…
For every n, there is a base b such that n! = b^n. The relation between n and b(n) is surprisingly close to linear.
For reasons beyond the scope of this entry, I have been investigating elliptical and ovoid shapes. The Wikipedia article for Moss’s egg has a link to a tutorial on Euclidean Eggs by Freyja Hreinsdóttir which (amongst other things) describes how to construct the “four point egg”. I think it is a nicer shape than Moss’s…
Automatic differentiation is a well-studied technique for computing exact numeric derivatives. Dan Piponi has a great introduction on the subject , but to give you an overview, the idea is that you introduce an algebraic symbol such that but . Formulas involving are called dual numbers (e.g., , ) in much the same way…
Efficient elliptic curves tend not to have a prime order. This discusses the problems this causes, and the solutions.
A programming model for spatial canvases
In the early 1990s, they were merely visualization aids in the study of mathematics. Gradually, the complexity and artistry of the images becomes an end itself.