Understanding contravariance
The concept of contravariance, contravariant functors, and the Contravariant typeclass defined in the ‘contravariance’ Haskell library.
The concept of contravariance, contravariant functors, and the Contravariant typeclass defined in the ‘contravariance’ Haskell library.
Migrating from a server-based solution to S3 static website resulted in increased performance and decreased costs
A post by August Lilleaas, published April 20, 2018.
This post follows the story of a GitHub intern's experience laser cutting a contribution graph to creating an application that automates the process.
The sharpness of a photographic imaging system or of a component of the system (lens, film, image sensor, scanner, enlarging lens, etc.) is characterized by a parameter called Modulation Transfer Function (MTF) , also known as spatial frequency response. We present a unique visual explanation of MTF and how it relates…
Based on the description of the book in the World Scientific Press catalogue, I asked my university library to order a book entitled Automat...
Is your Git repository bursting at the seams? git-sizer is a new open source tool that can tell you when your repo is getting too big. git-sizer computes various Git…
My house knows when people are using the wifi, and keeps the inverter on so that the satellite internet is powered up, unless the battery is too low. When nobody is using the wifi, the inverter turns off, except when it's needed to power the fridge.
Jepsen analyzes the safety properties of distributed systems–most notably, identifying violations of consistency models. But what are consistency models? What phenomena do they allow? What kind of consistency does a given program really need?
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
The Electron team is excited to announce that the first stable release of Electron 3 is now
Some thoughts on security after ten years of qmail 1.0 Bernstein, 2007 I find security much more important than speed. We need invulnerable software systems, and we need them today, even if they ar…
There is a weakness common to any software letting you protect a piece of data with a password: how does that password translate into an encryption key? If that conversion is a fast one, then you better don’t expect the encryption to hold. Somebody who gets hold of that encrypted data will try to guess the password…
Are dependent types the future of software development? Read more about our work on Dependent Haskell in this blog post.
Yesterday I was in Anaheim giving a talk called “Industry Lifecycles.” (click here for slides and video).
Start using this domain right away. Straightforward domain shopping experience. Quick access to your domain.
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
A definitive new study dispels the myth of the Silicon Valley wunderkind.
In light of Oracle’s recent announcement indicating an end to free long-term support for OpenJDK after January 2019, we re-affirm that the OpenJDK 8 and OpenJDK 11 Java runtimes in Amazon Linux 2 will continue to receive free long-term support from Amazon until at least June 30, 2023. We are collaborating and…
IBM's vacuum tube computers of the 1950s were built from pluggable modules, each holding eight tubes and the associated components. I recent...
In two weeks since open sourcing FoundationDB , we’ve had an outpouring of interest.