KEVIN ALEMAN — LOGBOOK

// personal log

I write about life, engineering & games.

Engineer in El Salvador. A logbook of what I'm building, playing, and figuring out — code, games, and everything around them.

Start here

A few entries to get to know the logbook.

Reading paths

Follow a thread through the logbook.

AI & engineering

Judgment, verification, and the craft of building with agents.

  1. In the AI Era, Code Is Cheap. Reputation Isn’t.Why trust matters when contributions get easier.
  2. AI Has a Problem With Functional ProgrammingA closer look at the abstractions AI leaves behind.
  3. Proof Driven Development: can the agent prove it works?How to ask an agent for evidence that its work holds up.

PostgreSQL in practice

Three ways to put the database to work beyond storing rows.

  1. Fuzzy Search with PostgreSQLFind close matches with trigrams.
  2. Manage scheduling with PostgreSQLPrevent overlapping bookings in the database.
  3. Getting query performance stats with PostgreSQLFind slow queries and missing indexes.

Learning in public

Experiments, lessons, and encouragement from the journey.

  1. Algos in real life: Binary SearchConnect an algorithm to a familiar workflow.
  2. You got selected for GSoC 2026, now what?Make the most of a chance to work in the open.
  3. You're doing great, and you need to hear that :)Remember the people behind the work.
idxdaterttitle — tags
0222026-10-218mProof Driven Development: can the agent prove it works? ai,programming,rust,softwareengineering0212026-10-155mAI Has a Problem With Functional Programming ai,programming,softwareengineering,cleancode0202026-10-1314mI used AI to cheat my way to a 156-day reading streak ai,swift,macos,programming0182026-10-086mThe future, after AI ai,programming,career,beginners0172026-07-037mGotta Earn 'Em All: The Gym Badges of Agentic Engineering (Part 2) ai,agents,programming,career0162026-06-228mThe Apple Books data model macos,sqlite,programming,database0152026-06-176mGotta Earn 'Em All: The Gym Badges of Agentic Engineering (Part 1) ai,agents,programming,career0142026-05-046mYou got selected for GSoC 2026, now what? opensource,gsoc,software,webdev0132026-03-047mIn the AI Era, Code Is Cheap. Reputation Isn’t. ai,opensource,programming,software0122021-09-154mYou're doing great, and you need to hear that :) webdev,mentalhealth,beginners0112020-10-023mThe beauty of Node.JS streams nodejs,javascript,streams,beginner0102020-09-115mBuilding a new feature: showoff my talks! gatsby,frontend,pdf,react,webdev,showdev0092020-09-034mAlgos in real life: Binary Search git,algorithms,beginners,development,advice0082020-06-175mDevelop JS/TS with Vim vim,javascript,typescript,webdev,dev0072020-05-107mFuzzy Search with PostgreSQL postgresql,databases,search,fuzzy,sql0062020-04-287mGetting query performance stats with PostgreSQL performance,query,sql,postgresql0052020-04-034mManage scheduling with PostgreSQL postgresql,databases,scheduling,development0042020-03-304mA tale of Candy Crush & Technical debt programming,techdebt,scrum,agile0032020-01-128mHow to: make a Chrome extension chrome,extension,how-to,tutorial,javascript0022019-11-026mFrom Javascript to Go II golang,javascript,tutorial,opinion0012019-10-159mFrom Javascript to Go I golang,javascript,tutorial,opinion
    ↑↓ navigate↵ openesc close