An introduction to deterministic builds with C/C++
What are deterministic builds?
What are deterministic builds?
Aiming for a 10 year life-cycle for smartphones
PyPy for low-latency systems Recently I have merged the gc-disable branch, introducing a couple of features which are useful when you need...
Hot takes and cold truths on software, startups, and the lies we tell ourselves.
This post is based on a talk I gave at the React JS & React Native Bonn Meetup.It aims to answer the following questions: What’s TypeScript? How can I ...
Android is deeply deeply fragmented. The Android ecosystem is split between at least 1,728 combinations of OS - Brand - Device Model (Data).
From the highly eclectic blog of Mark Dominus
Today's major defense systems rely heavily on software-enabled capabilities. However, many defense programs acquiring new systems first determine the physical items to develop....
Part of my series on common misconceptions in space journalism. It is an unwritten rule of space journalism that any article about Moon or Mars bases needs to have a conceptual drawing of habitatio…
This is inspired by Dan Luu's post on the advantages of a single big repository over many small ones. That post is fairly old, and I confess that I'm hardly up to date on the state of tooling, both for managing multiple repos and for dealing with one big one. But I'm going to make an argument which I think mostly…
I was reminded of Ray Bradbury’s Fahrenheit 451 a day or two ago while reading Ian Bogost on Apple’s Airpods. Bogost examined Airpods’ potential long term social consequences. …
Take control of your web by running your own personal cloud server with Sandstorm.
Peter Dorman points to this post on statistical significance and p-values by Timothy Taylor, editor of the Journal of Economic Perspectives, a highly influential publication of the American Economic Association.
_posted by Vincent St-Amour_ Racket version 7.2 is now available from http://racket-lang.org/ Racket-on-Chez is done in a useful sense, but we'll wait until it gets better before making it the default Racket implementation. For more information, see htt...
Finde Rückzugsorte abseits von Berliner Straßen
Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler, the verified F* code is compiled to readable C, meaning existing systems projects can readily integrate…
Hash tables provide a fast way to maintain a set of keys or map keys to values, even if the keys are objects, like strings. They are such a ubiquitous tool in computer science that even incremental…
Jeff Wilcox is a principal engineer at Microsoft working on Microsoft's engineering system. Jeff lives in Seattle.
In the previous post, I described a simple way to think about matrices, namely as bipartite graphs. Today I'd like to share a different way to picture matrices—one which is used not only in mathematics, but also in physics and machine learning. Here's the basic idea. An $m\times n$ matrix $M$ with real entries…
Back in July last year, Scott Helme and I shipped a little pet project that tracked the world's largest websites not implementing HTTPS by default [https://www.troyhunt.com/why-no-https-heres-the-worlds-largest-websites-not-redirecting-insecure-requests/] . We called it Why No HTTPS? [https://whynohttps.
Science News, Physics, Science, Philosophy, Philosophy of Science
Pain researchers at University of Sydney have found compelling evidence that insects feel persistent pain after injury. Read more.
tl;dr; Redis is 16 times faster at reading these JSON blobs.*