1201
Programming in Z3 by learning to think like a compiler
Programming in logic can help you produce better optimized, more secure, bug-free code … if only you knew how to do it.
New
The latest blog posts to take off on Hacker News. 2,851 posts.
1202
The art of solving problems with Monte Carlo simulations
Using the power of randomness to answer scientific questions.
1203
What3Words – The Algorithm
What3Words is a widely promoted system that is used for sharing a location using just three words. For example, ///wedge.drill.mess is located in Hyde Park.The globe is divided into 3m squares, eac…
1204
Evolution of Random Number Generators
Prime powers have a kinda chaotic pattern in their bits. We bootstrap this idea into a good random number generator, recapitulating history.
1205
Hopfield Networks Is All You Need
Blog post
1206
The Fourier transform is a neural network
The site of Sid
1207
EU proposing to regulate the use of Bayesian estimation
The European Commission just released their Proposal for a Regulation on a European approach for Artificial Intelligence . They finally get around to a definition of “AI” on page 60 of the report (link above):
1208
Dynamic Programming vs. Divide-and-Conquer (2018)
In this article I’m trying to explain the difference/similarities between dynamic programing and divide and conquer approaches based on two examples - binary search and minimum edit distance (Levenshtein distance)
1209
The Boyer-Moore Fast String Searching Algorithm
Our algorithm has the peculiar property that, roughly speaking, the longer the pattern is, the faster the algorithm goes. Furthermore, the algorithm is ``sublinear'' in the sense that it generally looks at fewer characters than it passes. The algorithm is described in
1210
Deriving the piano keyboard from biological principles using clustering
Once upon a time we were creatures in the wilderness and we evolved the ability to hear sounds. Now here's an interesting thing, if you hear a sound of frequency f and others of frequency 2f, 3f, etc then there's a good chance these sounds come from the same object, due to the physical principle of resonance . And so…
1211
Floor, Ceiling, Bracket
The notation [x] reigned for nearly two centuries before being replaced by ⌊x⌋. Why the latter is much better and what else we might learn from its inventor.
1212
Watertight vector maps from raster images
Or, “how not to GIS”.
1213
Are deep neural networks dramatically overfitted? (2019)
<meta http-equiv=
1214
Ergodicity, What's It Mean
Ensemble averages and time averages
1215
Why machine learning struggles with causality
Machine learning systems thrive on finding and exploiting statistical regularities. This is why they can't do causal reasoning.
1216
Evaluating Search Algorithms
The three-step framework Shopify's Data Science & Engineering team built for evaluating new search algorithms.
1217
1218
1219
TLA+ Action Properties
There’s not a whole lot on TLA+ technique out there: all the resources are either introductions or case studies. Good for people starting out, bad for people past that. I think we need to write more intermediate-level stuff, what Ben Kuhn calls Blub studies. Here’s an attempt at that. Most TLA+ properties are…
1220
Speech to Birdsong Conversion
A blog about signals, programming, music, and other stuff.
1221
Paul Erdős (2000)
Erdős posed and solved problems in number theory and other areas and founded the field of discrete mathematics.
1222
The Joy of Condensed Matter
I published a slightly different version of this article in Nautilus on February 24, 2021. Everyone seems to be talking about the problems with physics: Woit’s book Not Even Wrong, SmolinR…
1223
The solution of the Zodiac killer’s 340-character cipher
See how Mathematica was used to solve one of the cryptograms sent in a letter by the Zodiac Killer.
1224
1225
1226
Apple’s M1 processor and the full 128-bit integer product
If I multiply two 64-bit integers (having values in [0, 264)), the product requires 128 bits. Intel and AMD processors (x64) can compute the full (128-bit) product of two 64-bit integers using a single instruction (mul). ARM processors, such as those found in your mobile phone, require two instructions to achieve the…
1227
Claude Shannon: The Mathematical Theory of Cryptography
The foundation of modern cryptography.
1228
Euler's Fizzbuzz (2020)
FizzBuzz is a common coding problem asked in technical screenings or interviews. It goes something like this:
1229
Fitting Cubic Bézier Curves
Blog of Raph Levien.
1230
Trapped priors as a basic problem of rationality
P(A|B) = [P(A)*P(B|A)]/P(B), all the rest is commentary.