The lectures assume no prior knowledge of the Paxos consensus algorithm or of TLA+, the language in which the specifications are written. In fact, the lectures constitute a crash course on TLA+. If you're interested just in the algorithm, you will probably find the specs annoying and will try to read only the…
In software development there are many concepts that at first glance seem useful and sound, but, after considering the consequences of their implementation and use, are actually horrifying. Examples include thread cancellation , variable length arrays , and memory aliasing . GCC’s closure extension to C is another…
Andy attempts to revive his blog by predicting what databases will look like in the year 2065.
Few weeks ago I solved a great KVM escaping challenge from TWCTF hosted by @TokyoWesterns . I have given a writeup on my blog: [Write-up] T...
Today, we are excited to announce the open source release of the FoundationDB Record Layer!
Affordable VM hosting in Glarus, Switzerland, operated by 100% hydropower. Devuan, debian, freebsd, ubuntu, centos. Our tech stack is fully open source.
Hi, I’m SL . You may remember me from my classic appearances in contentious 9fans threads , or maybe you’ve read one of my books .
Created by Lewis Lehe (of Setosa and UC Berkeley Trans. Eng. ) with design and art by Dennys Hess . Thanks to Ian Johnson for good advice. Tools: d3 , Angular Material , Coffeescript , Browserify , Gulp and Five-Hour Energy Drink .
Can using clang-format make your code slower? Kind of.
You may have heard about Fedora Silverblue, the next-generation desktop OS. This article gives you a more complete view about what it is and how it works.
This is part of a series of posts on the design and technical steps of creating Himblick , a digital signage box based on the Raspberry Pi 4.
We are beyond excited to announce Windows Terminal! Windows Terminal is a new, modern, fast, efficient, powerful, and productive terminal application for
In a post a few months back I said it’s a popular myth that const is helpful for enabling compiler optimisations in C and C++ . I figured I should explain that one, especially because I used to believe it was obviously true, myself. I’ll start off with some theory and artificial examples, then I’ll do some experiments…
Realize the speed, agility and performance of a scalable, composable web architecture with Netlify. Explore the composable web platform now!
Software performance depends more and more on exploiting multiple processor cores....
From the operating system's point of view, we have a large pool of memory from some starting address to some ending address. We can use our linker script (the virt.lds file) to provide us symbols representing the address of the starting and ending points.
In this regularly but rarely updated article, which is without doubt the most comprehensive list of Linux distributions' problems on the entire Internet, we only discuss their main problems and shortcomings (which may be the reason why some people say Linux distros are not ready for the desktop) while everyone should…
A technical problem at the company we use to connect to Faster Payments caused issues with bank transfers. To fix it, we’re bringing everything in-house instead.
Blog posts about GNU Guix.
I’m working on more posts about the Catalina release, but I wanted to start with a short warning. I’ve heard a bunch of reports of data loss in Apple Mail. Thankfully, none seem to be caused by my apps . (Ironically, one of the bugs I’ve encountered is the inability to delete messages via AppleScript.) And, in fact…
