TL;DR: I was able to issue SSL certificates I was not supposed to be able to. AWS CloudFront and Heroku were among the affected. The issue was in the specification of ACME TLS-SNI-01 in combination with shared hosting providers. To be clear, Let’s Encrypt…

We’d like to find more curious, creative people who are doing exciting work in emerging fields and give them an opportunity to start building their network. We’ll bring 120 of those people together for a weekend conference in Colorado from Friday, April 26…

But Oracle says Google's concerns are a smokescreen for a desire to freely copy and make huge profits.

Step aside, soy milk

Week 3: Google

posted by Matthew Flatt For background information about Racket on Chez Scheme (a.k.a. Racket CS), see the original announcement, last January's report, and the report at Scheme Workshop 2018. Racket on Chez Scheme is done in a useful sense. All...

In the last post , we described a protocol that should satisfy the requirements and invariants established in the first post . Today we will look at formal verification with TLA+. Formal verification is just another (niche) tool in the toolbox. Some tools…

It’s not every day where students new to programming get to ask 709 software developers for advice. Overview There is a school here in Malmö, Sweden called The Game Assembly. This school focuses on teaching students game production. Everything from programming…

When VAEs are trained with powerful decoders, the model can learn to 'ignore the latent variable'. This isn't something an autoencoder should do. In this post we'll take a look at why this happens ...

Yep, that’s right. Eighty cents. That’s what Instacart actually paid Tom, an Instacart worker, for 69 minutes of his time .

A guide for wrapping Go code in Swift for use within a native macOS or iOS application.

He said Facebook users want tailored ads. According to our research, that’s not true.