Benevides' Blog

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

Property-Based TestingDistributed Replicated Block DeviceJSON (PostgreSQL)Natural DeductionPerformance Optimization (PostgreSQL)Erlang InterfaceElixirLambda CalculusinodeDistributed Computing Through Combinatorial TopologycgroupsDuneDistributed SystemsThe Mother of All DemosCategory TheorySupervisorXMPPMNESIAFormal MethodsPhoenix.LiveViewCAP TheoremQuorumDealers of LightningDependent TypesBalance VectorsWarren's Abstract MachineDigraphPatch TheoryFFmpegSystem Columns (PostgreSQL)NixOSGleamHypermedia SystemsLeft R-ModuleghciDistributed ErlangCommutative RingpgvectorRelationSELinuxType-Driven Development with IdrisHelmAnsibleR-Module HomomorphismTask (Elixir)Kripke StructuresAgent (Elixir)PostgreSQL ClusterData Types (PostgreSQL)PostGISLinux NetworkingAristotle's CategoriesNixOS ModulesPartial OrderArchitectural Styles and the Design of Network-based Software ArchitecturesSQLTCP/IPSplit BrainPropErApplication (OTP)IsagogepgrollErlang ShellKubernetes-StorageFunctions and Operators (PostgreSQL)BitcoinClusterOCaml BasicsConcurrent ErlangBitcoin: A Peer-to-Peer Electronic Cash SystemMonoidal Finite-State AutomatonManagementInternet Small Computer Systems InterfaceAlgebraic Models for Accounting SystemsError Handling in ErlangSequential ElixirKubernetes-ConfigMapsHOSTS.TXTIndex (PostgreSQL)ERTSKönig's LemmaCombinatory LogicWindow Functions (PostgreSQL)ICMPDializerIExOPAMSTONITHPi-CalculusMonoidHistory of LogicBase (OCaml)The Two Generals' ProblemManaging a Programming ProjectKubernetes-IngressBashsystemdNixFunctional Declarative DesignkubectlHypervisorByzantine Generals ProblemLinuxGen EventRelational AlgebraLinux File ManagementAbelian GroupProgram GraphOSI ModelRelational TheoryFallacies of Distributed ComputingNervesLiveBookSequential ErlangMonadImmutable ArchitecturesGitOpsAs We May ThinkCurry-Howard IsomorphismErlang Term StorageGen ServerKubernetesErlangKubernetes-Secretsmandarin-chineseFull Text Search (PostgreSQL)Functional ProgrammingBoolean AlgebraTraditional LogicLFEStatements (PostgreSQL)The Effective ManagerPostgreSQL REPLCTE (PostgreSQL)BlockchainSCSIOCamlLinux Memory ManagementLUKSDNSFrontend/Backend Protocol (PostgresSQL)OTP Loggingsys Module (OTP)Simple Authentication and Security LayerSCRAMPostgreSQLOTPGen FSMGen StateM

Gen FSM

2025-04-07

Simple Authentication and Security Layer

2025-04-05

sys Module (OTP)

2025-04-05

SCRAM

2025-03-29

Frontend/Backend Protocol (PostgresSQL)

2025-03-29

LUKS

2025-03-29

PostGIS

2025-03-28

FFmpeg

2025-03-27

OCaml Basics

2025-03-23

Dune

2025-03-22

OPAM

2025-03-22

Base (OCaml)

2025-03-22

HOSTS.TXT

2025-03-19

pgroll

2025-03-18

pgvector

2025-03-13

JSON (PostgreSQL)

2025-03-13

Full Text Search (PostgreSQL)

2025-03-13

Warren's Abstract Machine

2025-03-01

Performance Optimization (PostgreSQL)

2025-02-27

System Columns (PostgreSQL)

2025-02-27

Ansible

2025-02-27

SELinux

2025-02-26

Hypervisor

2025-02-26

Pi-Calculus

2025-02-22

Monoidal Finite-State Automaton

2025-02-22

Kripke Structures

2025-02-21

Program Graph

2025-02-20

Data Types (PostgreSQL)

2025-02-20

PostgreSQL REPL

2025-02-19

Aristotle's Categories

2025-02-18

Formal Methods

2025-02-17

Gleam

2025-02-14

Functional Declarative Design

2025-02-14

Linux File Management

2025-02-14

Nerves

2025-02-14

LiveBook

2025-02-14

Dealers of Lightning

2025-02-13

Phoenix.LiveView

2025-02-11

Agent (Elixir)

2025-02-11

Task (Elixir)

2025-02-11

Linux Memory Management

2025-02-06

cgroups

2025-02-06

OCaml

2025-02-06

Patch Theory

2025-02-05

IEx

2025-02-04

Sequential Elixir

2025-02-04

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

Application (OTP)

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

PostgreSQL Cluster

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

Window Functions (PostgreSQL)

2024-09-23

NixOS Modules

2024-09-22

Nix

2024-09-22

Index (PostgreSQL)

2024-09-21

Functions and Operators (PostgreSQL)

2024-09-21

CTE (PostgreSQL)

2024-09-21

Statements (PostgreSQL)

2024-09-18

PostgreSQL

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