https://poorlydefinedbehaviour.github.io/index.xml

The list of things I read or watched in 2025 December How Modern Christmas was Invented Trading at light speed: designing low latency systems in C++ - David Gross - Meeting C++ 2022 Inside a Real High-Frequency Trading System | HFT Architecture What are w…

Formal methods Formal methods are techniques – usually based on mathematics – used for the specification, analysis and verification of software and hardware.

The list of things I read or watched in 2024 December Catching up with async Rust Seconds Since the Epoch Use of Time in Distributed Databases (part 3): Synchronized clocks in databases Use of Time in Distributed Databases (part 2): Use of logical clocks…

𝔇𝔢𝔱𝔢𝔯𝔪𝔦𝔫𝔦𝔰𝔱𝔦𝔠 𝔰𝔦𝔪𝔲𝔩𝔞𝔱𝔦𝔬𝔫 𝔱𝔢𝔰𝔱𝔦𝔫𝔤 deterministic: of or relating to a process or model in which the output is determined solely by the input and initial conditions, thereby always returning the same results ( stochastic ): The algorithms are simple and dete…

This post contains TLA+ solutions for The Deadlock Empire which is a collection of challenges where the objective is to break multithreaded programs by playing the role of a scheduler that can context switch at any time.

The list of things I read or watched in 2023 January Operator pattern - https://kubernetes.io/docs/concepts/extend-kubernetes/operator/ Controllers - https://kubernetes.io/docs/concepts/architecture/controller/ Introducing Operators: Putting Operational K…

The list of things I read or watched this month Design a Metrics Aggregation System | Time Series Database Design | Prometheus - https://www.youtube.com/watch?

Disagree and commit is a management principle which states that individuals are allowed to disagree while a decision is being made, but that once a decision has been made, everybody must commit to it1.

The list of things I read or watched this month How To NOT Get Screwed As A Software Engineer - https://www.youtube.com/watch?

As the World Wide Web became more popular all of sudden a server could receive way more traffic than it could handle causing the server to service requests slowly or to not be able to serve them at all1.

The list of things I read or watched this month Farewell EC2-Classic, it’s been swell - https://www.allthingsdistributed.com/2023/09/farewell-ec2-classic.html Building a Firecracker-Powered Course Platform To Learn Docker and Kubernetes - https://iximiuz.…

The list of things I read or watched this month Aplicação do Open Closed Principle: Exemplo prático com metaprogramação mais polimorfismo - https://www.youtube.com/watch?

An alphabet is any set of finite symbols such as a and b.

Dagger is a programmable CI/CD engine that runs your pipelines inside containers1 which makes it easier to test things locally and to setup complex workflows.

The list of things I read or watched this month The right way to define a C function with no arguments - https://www.youtube.com/watch?

Sending logs and traces from a Rust app to Grafana cloud Run the Grafana agent Put the Grafana agent config in grafana-agent/agent/agent.yaml. server: log_level: debug logs: configs: - name: default positions: filename: /tmp/positions.yaml

It feels like most people are not used to thinking about how things can fail, programming as if things always work as expected is the default modus operandi of most engineers i have talked to.

A deadlock happens when there’s at least one resource that can be only acquired by one process at a time and there’s a process P1 that is waiting to acquire a resource currently held by a process P2 and P2 is waiting to acquire a resource currently held by

Anomalies An anomaly or read phenomena can happen when a transaction reads data that may have been modified by another concurrent transaction.

The problem You are developing an application backed by a database, something happens and then several of your users try to access the same content.

Uber has adopted Go as its primary programming language for developing microservices and has a post on its blog called Data Race Patterns in Go where they talk about data races found in their Go codebase.

What is a log A log is just a immutable sequence of records wih strong ordering semantics that can be used to provide durability, replication and to model consensus.

Contributing for the first time I have been trying to force myself to do harder things lately in order to practice and learn new things.

Why Rc cannot be sent between threads We get a compile error if we try to send Rc<T> to another thread: use std::rc::Rc; fn main() { let rc = Rc::new(1); std::thread::spawn(|| { println!

Intro Token bucket is an algorithm that can be used to rate limit requests made or received by a service.

Replicated And Fault Tolerant Raft is a consensus algorithm for managing a replicated log.

What’s a Bloom filter A bloom filter is a data-structure that can be used to check if a set contains an element.