System Architecture

To realize the Internet of Everything (IoE) revolution, enterprises must be able to deploy item-level intelligence at scale. Flexible chips are the key.

One tier worse than regular properties.

When we design programs, we usually look for two kinds of properties: that “bad things” never happen and that “good things” are guaranteed to happen. These are called safety and liveness properties, respectively. These are properties that we want to hold true for every possible program behavior. “We always complete every request” is a liveness property. If our system has it, every program trace will complete every request. If it doesn’t hold, I can give you a example behavior where the server never responds.

I’ve noticed some confusion about using SPM to model graphs with local packages, so I wanted to shed some light on the topic. While SPM can describe a project graph, we believe it’s not the best tool for the job—at least not today. SPM’s design decisions make sense in the context of package resolution, but they fall short when it comes to project management. If you want full control over your graph and the developer experience within your project, we recommend limiting SPM to its core purpose: ...

State is pain. The next generation of infrastructure tools will be built on diskless paradigm. In this short post I will explain what is Diskless / Zero Disk Architecture

A functional Scheme for world domination

PRQL is a modern language for transforming data

Let’s say you created a Go program that stores data in PostgreSQL — you installed PostgreSQL, wrote the Go code, and everything works; great! But after writing a test for your code, you wonder: how do you best provide PostgreSQL to your automated tests?

Using a full-featured RPC framework for IPC seems like overkill when the processes run on the same machine. However, if your project anyway exposes RPCs for public APIs or would benefit from a schema-based serialisation layer it makes sense to use only one tool that combines these—also for IPC. Microservices for beginners For the FlashCam software running on the DAQ servers we converged on the following high-level architecture: Each bright box corresponds to a software process running on the DAQ server.

Understanding Database Failure Handling Using Write-Ahead Logs

Refresh vs. Long-lived Access Tokens

Wikipedia’s definition of a digital signature is: A digital signature is a mathematical scheme for verifying the authenticity of digital messages or documents. A valid digital signature on a messag…

Explore the benefits and limitations of using the sidecar design pattern and the specific use cases where it is most appropriate. Learn how to determine whether a sidecar is a suitable choice for a particular scenario, as well as how to implement sidecars to maximize their benefits.

A guide to common pages you can add to your website

Description will go into a meta tag in head /

My last few blog posts have been about how I used TLA+ to gain a better understanding of database transaction consistency models. This post will be in the same spirit, but I’ll be using a dif…

Unlock the fundamentals of system design with our guide to building a load balancer. Learn how load balancing distributes traffic, optimizes resources, and enhances application reliability by providing redundancy and handling high traffic efficiently

The US government’s latest recommendations acknowledge that password composition and reset rules are not just annoying, but counterproductive. The story of why password rules were recommended and enforced without scientific evidence since their invention in 1979 is a story of brilliant people, at the very top of their field, whose well-intentioned recommendations led to decades of ignorance. These mistakes are worth studying, in part, because the people making them were so damn brilliant and the consequences were so long lasting.

The forest offers much but demands much too

Hello, everyone! This should probably be a blog post, but I don’t have a blog, so here we go 😄 My thoughts and frustrations regarding domain modeling in the face of persistence, distilled into a few paragraphs. I’m interested in your opinions. This is probably going to get a bit philosophical, but hopefully also stay practical. I’d like to talk about the age old problem of ORMs. And when it comes to the impedance mismatch problem, Ecto is in the exact same situation as any other ORM in ot...

Comparing the outbox pattern to alternatives like “listen-to-yourself” and 2-phase commit (2PC) transactions. What’s the best choice for data exchange flows between microservices?

WebVM is a full Linux environment running in the browser, client-side. It is a complete virtual machine, with support for persistent data storage, networking and, as of today’s release, Xorg and complete desktop environments. This article will explain the WebVM architecture, how the main components work, and what you can build with this technology.

By: Rajiv Shringi, Oleksii Tkachuk, Kartik Sathyanarayanan

Revisiting the timeless Von Neumann Architecture

An overview of different versioning methods and recommendations for versioning.

Setting up a terabit network overseas and operating it securely – the NFL showed how it's done for the matchup between the New York Giants and Carolina Panthers in Munich.

This AI stuff is cool, but GPU inference is not needed all of the time. Most of the time your instances stay idle, which means you're just burning investor money without any real benefit. Today we'll learn how to make your compute spread between hosts nomadically, hunting deals and using Tigris to make it all possible.