Benevides' Blog

This is the place where I dump my Org ROAM notes.

Digraph

2025-02-03

Distributed Computing Through Combinatorial Topology

2025-02-01

XMPP

2025-02-01

PropEr

2025-01-31

Property-Based Testing

2025-01-31

ICMP

2025-01-31

Linux Networking

2025-01-31

Blockchain

2025-01-31

Bitcoin: A Peer-to-Peer Electronic Cash System

2025-01-30

Bitcoin

2025-01-30

Category Theory

2025-01-26

Gen StateM

2025-01-24

Isagoge

2025-01-21

Combinatory Logic

2025-01-20

Balance Vectors

2025-01-19

Traditional Logic

2025-01-19

Curry-Howard Isomorphism

2025-01-19

Lambda Calculus

2025-01-19

Bash

2025-01-18

LFE

2025-01-16

ERTS

2025-01-14

ghci

2025-01-07

Boolean Algebra

2025-01-04

inode

2025-01-03

OTP Application

2025-01-02

Distributed Erlang

2024-12-26

systemd

2024-12-26

OTP Logging

2024-12-19

Gen Event

2024-12-19

MNESIA

2024-12-17

Erlang Interface

2024-11-29

Natural Deduction

2024-10-16

TCP/IP

2024-10-16

König's Lemma

2024-10-16

OSI Model

2024-10-15

Partial Order

2024-10-13

Relation

2024-10-13

Supervisor

2024-10-13

Dependent Types

2024-10-11

Functional Programming

2024-10-11

Relational Algebra

2024-10-10

Gen Server

2024-10-10

Erlang Term Storage

2024-10-10

Relational Theory

2024-10-09

Management

2024-10-09

The Two Generals' Problem

2024-10-09

Immutable Architectures

2024-10-09

Fallacies of Distributed Computing

2024-10-09

Dializer

2024-10-09

Haskell

2024-10-08

NixOS

2024-10-07

Elixir

2024-10-06

Erlang Shell

2024-10-04

Error Handling in Erlang

2024-10-01

SCSI

2024-10-01

Postgres Server

2024-10-01

Concurrent Erlang

2024-09-30

SQL

2024-09-28

OTP

2024-09-28

Split Brain

2024-09-28

STONITH

2024-09-26

Cluster

2024-09-26

Quorum

2024-09-25

Internet Small Computer Systems Interface

2024-09-24

Distributed Replicated Block Device

2024-09-24

Sequential Erlang

2024-09-24

Linux

2024-09-24

Postgres Window Functions

2024-09-23

NixOS Modules

2024-09-22

Nix

2024-09-22

Postgres Indexes

2024-09-21

Postgres Functions

2024-09-21

Postgres CTEs

2024-09-21

Postgres Subqueries

2024-09-18

Postgres

2024-08-20

Byzantine Generals Problem

2024-08-16

Type-Driven Development with Idris

2024-07-15

CAP Theorem

2024-07-11

Monad

2024-06-19

Erlang

2024-06-19

Architectural Styles and the Design of Network-based Software Architectures

2023-10-18

The Mother of All Demos

2023-10-18

As We May Think

2023-10-18

Hypermedia Systems

2023-10-15

Monoid

2023-10-08

R-Module Homomorphism

2023-10-07

Left R-Module

2023-10-07

Commutative Ring

2023-10-07

Abelian Group

2023-10-07

Algebraic Models for Accounting Systems

2023-10-05

Managing a Programming Project

2023-04-11

mandarin-chinese

2022-02-04

Kubernetes-Ingress

2021-12-08

Distributed Systems

2021-12-02

GitOps

2021-12-01

Kubernetes-Secrets

2021-11-08

The Effective Manager

2021-11-07

History of Logic

2021-11-04

Kubernetes-ConfigMaps

2021-11-03

Kubernetes-Storage

2021-11-03

DNS

2021-10-29

Helm

2021-10-23

kubectl

2021-10-13

Kubernetes

2021-10-12