"Writing is nothing more than a guided dream."
Home
Blog
Notes
CV
BlogRoll
Benevides' Blog
This is the place where I dump my
Org ROAM
notes.
Type Inheritance and Relational Theory
2025-05-01
OAuth 2
2025-04-24
OIDC
2025-04-24
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