Static Type Checking in Common Lisp
There is a misconception that Lisp is a dynamically typed language and doesn’t offer compile-time type checking. Lisp being the…
There is a misconception that Lisp is a dynamically typed language and doesn’t offer compile-time type checking. Lisp being the…
If you've ever thought of publishing a tech book then read up on my experiences writing HTTP/2 in Action for Manning.
"Animal sales was a profitable and prestigious business, since most real animals had died out after the Terran War; there were plenty of electric ones, though—" Oh, ahem, didn’t notice you there. ScummVM Team is thrilled to announce the release …
Scientific machine learning is a burgeoning discipline which blends scientific computing and machine learning. Traditionally, scientific computing focuses on large-scale mechanistic models, usually differential equations, that are derived from scientific laws that simplified and explained phenomena. On the other hand…
How learning the Clojure programming language three years ago changed my life
At Tuesday Night Live with James Hamilton at the 2016 AWS re:Invent conference, I introduced the first Amazon Web Services custom silicon. The ASIC I showed formed the foundational core of our second generation custom network interface controllers and, even back in 2016, there was at least one of these ASICs going…
“Boeing 737 Max: What went wrong?” (BBC) contains a plot showing the angle of attack data being fed to Boeing’s MCAS software. Less than one minute into the […]
This tweet made me think a lot: First of all, as much as I hate this idea, I think this notion is correct. This trend has been happening for a long time, and it’s going to keep happening. I th…
A new major version of Bazel, Bazel 2.0 has just been released. In particular, it brings some important flag flips that did not make it into Bazel 1.0 .
You’re making morning drip coffee. You need to make 2 cups. Do you:
I’ve written previously about various aspects of imprisonment, including practical preparations such as packing your personal possessions (r...
We’re releasing the 774 million parameter GPT-2 language model after the release of our small 124M model in February, staged release of our medium 355M model in May, and subsequent research with partners and the AI community into the model’s potential for misuse and societal benefit. We’re also releasing an…
I hear more voices saying [https://hackernoon.com/the-myth-of-software-time-estimations-576a7466d91a] there is little point in doing time-based estimations on how long building software will take, and thus we should just stop doing it. "Let's just use story points and estimate complexity, but not
CUDA grep : Manish and Brandon's 15418 final project
Douglas Self,
Running my own email server has its challenges. Chief among them: my favorite mail-server software hasn’t been updated since I started using it in 1998.
This is the inaugural issue of Cryptography Dispatches, meant to be quick, frequent and lightly edited discussions of cryptographic topics. Longer form can be found at blog.filippo.io. If you are not reading this in your email client, you can subscribe here .
So, about a decade ago I wrote an essay on this blog about the writing of the Merchant Princes series (at that point, six slim novels—the Empire Games follow-on trilogy wasn't more than a daydream back then), in which I tried to pin down what I'd learned about writing a series.
ReactOS is a free, opensource reimplementation of windows
Evaluating Rust as the common denominator of modern development
Sandspiel is a falling sand game I built in late 2018. I really enjoyed writing this game, and wanted to put into writing some of my goals, design decisions, and learnings from that process. If you’re reading this but haven’t played sandspiel, you should probably go try it !