121
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.
New
The latest blog posts to take off on Hacker News. 213 posts.
122
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…
123
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.
124
Z-order curve usage to decrease dimensionality to 1
Personal blog about system engineering and devops
125
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.
126
127
Optimizing things in the USSR (2016)
A review of Red Plenty, by Francis Spufford
128
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...
129
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...
130
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…
131
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.
132
Voronoi Tessellations
Mapping nearest locations.
133
134
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.
135
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.
136
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.
137
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…
138
139
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…
140
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.
141
Eigentechno – Principal Component Analysis applied to electronic music
Applying Principal Component Analysis to a data-set of short electronic music loops
142
Approximating sin(x) to 5 ULP with Chebyshev polynomials
Weblog/homepage for a developer/engineer/artist. DIY projects, opinions and code.
143
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…
144
Generating all permutations, combinations, and power set of a string (2012)
Combinatorics is a branch of mathematics that deal with counting of discrete structures. Two concepts that often come up in the study of c...
145
Empirical Bayes for multiple sample sizes
The James-Stein Estimator with unequal variances
146
Same Stats, Different Graphs: Datasets with Varied Appearance and Identical Stats
Why graphical representation and visualization are so important to...
147
148
Anagram Scoring
From the highly eclectic blog of Mark Dominus
149
A dive into spatial search algorithms
Searching through millions of points in an instant
150