1981
The Limits of the CAP Theorem
This post explains how CAP-Consistent systems can be highly available, how the CAP theorem applies to CockroachDB, and why consistency is the better choice.
New
The latest blog posts to take off on Hacker News. 2,851 posts.
1982
Designing state machines
Explore exciting job opportunities at Getaround. Join our international team revolutionizing carsharing and sustainable transportation. Apply today!
1983
Diving into the world of hash tables
Diving into the world of Hash Tables and understanding the underlying mechanics is extremely interesting, and very rewarding. So let's get into it and get started from the beginning. They are used commonly in algorithm design.
1984
Oded Wins the Knuth Prize
Just announced $latex {\dots}&fg=000000$ Oded Goldreich is one of the top researchers in cryptography, randomness, and complexity theory. Today Ken and I wish to thank the Knuth Prize Committee…
1985
1986
Algorithm generates practical paper-folding patterns to produce any 3D structure
MIT’s Erik Demaine improves on his landmark, 18-year-old algorithm for generating origami folding patterns for any 3-D shape. The new work adds the requirement of “watertightness,” or minimizing the number of seams in an origami approximation of a closed surface.
1987
The Aggregate Magic Algorithms (2015)
There are lots of people and places that create and collect algorithms of all types ( here are a few WWW sites). Unfortunately, in building systems hardware and software, we in The Aggregate often have found it necessary to do relatively obscure low-level things very efficiently. Many of the tricks we've devised or…
1988
Is SHA-3 slow?
In a recent post , Adam Langley complains that “SHA-3 is slow”. Similar comments appear from time to time on the web (see also David Wong's post ). But what does it mean precisely? Let us dig into it.
1989
Twitter, but for Math, with Toots
Hooray, it’s yet another social network for you to join! I’m skeptical about new social media, but I’ve been seeing enough posts about mathstodon.xyz that I finally caved and got an account. Mathstodon is the math(s) “instance” of mastodon , a new open-source, decentralized microblogging social network. It’s a lot…
1990
TLA+ in Practice and Theory, Part 4: Order in TLA+
We learn how to encapsulate and compose TLA+ specifications, of the precise mathematical definition of abstraction, and compare TLA+'s notion of abstraction with those of other formalisms. Plus some various cool stuff.
1991
Z-order curve usage to decrease dimensionality to 1
Personal blog about system engineering and devops
1992
TLA+ in Practice and Theory, Part 3: The Temporal Logic of Actions
TLA, the Temporal Logic of Actions is the core of TLA+. It is a temporal logic that minimizes the use of temporal reasoning in favor of more ordinary mathematics. It is a general mathematical framework for describing and reasoning about algorithms and systems.
1993
1994
Optimizing things in the USSR (2016)
A review of Red Plenty, by Francis Spufford
1995
Clojure Linear Algebra Refresher: Eigenvalues and Eigenvectors
I stumble upon eigenvectors and eigenvalues regularly when reading about machine learning topics. They seem to be important. They are not introduced in those...
1996
Clojure Linear Algebra Refresher: 1 – Vector Spaces
This article is a starting article in a series that is going to briefly skim through a good engineering textbook on linear algebra, making notes that help yo...
1997
4D Toys: a box of four-dimensional toys
So I have been working on Miegakure for a long time now, and I have created and accumulated many cool 4D things of all sorts. I think it’s about time that I share some of them, so…
1998
Oh My Gosh, It’s Covered in Rule 30s
New British train station design identified as cellular automata rule 30. Generating rule-based patterns. And a website that lets you try it yourself.
1999
Voronoi Tessellations
Mapping nearest locations.
2000
2001
Principles of TLA+
TLA+ is a formal specification and verification language intended to help engineers specify, design and reason about complex, real-life algorithms and software or hardware systems. We explore its motivation, application and principles of design.
2002
How Bayesian Inference Works (2016)
Bayesian inference is a way to get sharper predictions from your data. It’s particularly useful when you don’t have as much data as you would like and want to juice every last bit of predictive strength from it.
2003
Principal Component Analysis Explained Visually (2015)
Principal component analysis (PCA) is a technique used to emphasize variation and bring out strong patterns in a dataset. It's often used to make data easy to explore and visualize.
2004
Topics in Core Mathematics at Graterford Prison
Topics in Core Mathematics sounds like the blandest possible math class. The course title is meant to convey the one important aspect of the class for many students: this class fulfills the core math requirement for the College of Liberal Arts and Sciences. Box checked. However, the advantage of blandness is that it…
2005
2006
Learning to break ciphers
Every now and then, I read a question about learning how to break ciphers, or more generally how to become a cryptographer/cryptologist. From my viewpoint, the most important part of learning this…
2007
An Intro to Integer Programming for Engineers: Simplified Bus Scheduling
Explore what’s new, what’s next, and what should be on your radar in the world of transportation. Our insights are supported by real-world data from our partners across the globe.
2008
Eigentechno – Principal Component Analysis applied to electronic music
Applying Principal Component Analysis to a data-set of short electronic music loops
2009
Approximating sin(x) to 5 ULP with Chebyshev polynomials
Weblog/homepage for a developer/engineer/artist. DIY projects, opinions and code.
2010
Understanding deep learning requires re-thinking generalization
Understanding deep learning requires re-thinking generalization Zhang et al., ICLR’17 This paper has a wonderful combination of properties: the results are easy to understand, somewhat surpri…