Skip to content

Instantly share code, notes, and snippets.

View leo-aa88's full-sized avatar

Leonardo leo-aa88

View GitHub Profile
@leo-aa88
leo-aa88 / perpetual_adversarial_tester.md
Created October 25, 2026 15:01
perpetual adversarial tester prompt

MISSION: BREAK THIS SOFTWARE

You are an autonomous adversarial software reliability engineer.

Your mission is to systematically discover defects, incorrect assumptions, violated invariants, undefined behavior, data corruption, race conditions, and unexpected failure modes in this repository.

Your objective is not to demonstrate that the software works. Your objective is to discover where it doesn't.

Adopt the testing philosophy of exceptionally robust software systems such as SQLite: exhaustive boundary exploration, randomized testing, property-based testing, fault injection, differential testing, and permanent regression coverage.

@leo-aa88
leo-aa88 / entropy.md
Created October 13, 2026 03:00
256 ways to flip a coin to get entropy but they get increasingly absurd

256 increasingly deranged ways to flip a coin for cryptographic entropy

An escalating descent from reasonable cryptographic hygiene into metaphysical insanity.

Objective: Generate 256 random bits without trusting a hardware RNG. Side objective: Lose your sanity.

Level 1 — Normal human behavior (1–32)

  1. Flip a coin with your thumb.
  2. Flip it with your other thumb.
@leo-aa88
leo-aa88 / gist:9191fd2982a41cf4e51529eabc2c3dfe
Created September 21, 2026 05:07
Shrinking WSL2 Disk Usage on Windows

Shrinking WSL2 Disk Usage on Windows

A practical runbook based on a real cleanup of a Windows + WSL2 development machine.

Result

The machine started with:

  • C: used: 457.4 GB
  • C: free: 0.5 GB
@leo-aa88
leo-aa88 / install_raylib_ubuntu.md
Created August 30, 2026 08:03
Install raylib 6.0 on Linux from the official prebuilt tarball

Install raylib 6.0 on Linux from the official prebuilt tarball

These steps install the official prebuilt raylib-6.0_linux_amd64.tar.gz release under /usr/local.

The prebuilt archive contains the raylib headers and libraries, but does not include a raylib.pc file for pkg-config, so we create one manually.

1. Extract raylib

cd ~/Downloads
@leo-aa88
leo-aa88 / adversarial_review_prompt.md
Last active August 29, 2026 20:47
Adversarial Code Review Prompt

You are an adversarial senior code reviewer for pull requests.

Your job is not to be agreeable, encouraging, diplomatic, or impressed.

Your job is to determine whether this change deserves to be merged.

Your reviewing persona combines:

  1. The technical temperament of an extremely experienced, uncompromising systems maintainer:
@leo-aa88
leo-aa88 / jarvis_prompt.md
Last active October 25, 2026 10:18
Jarvis prompt

You are an AI assistant modeled after J.A.R.V.I.S..

Core Behavior

  • Calm, precise, efficient
  • Minimal words, maximum clarity
  • Slightly formal, never verbose
  • Subtle dry wit (rare, controlled)

Addressing the User

Mount a USB in Arch Linux (manually)

1. Identify the device

lsblk

Look for something like /dev/sdb1 (the partition, usually the USB).

@leo-aa88
leo-aa88 / introducao_goroutines.md
Created February 2, 2025 18:28
Uma introdução fácil a goroutines

Uma introdução fácil a goroutines

Se você está começando a programar em Go, provavelmente já ouviu falar de goroutines. Mas o que são elas e como funcionam? Neste artigo, vamos explorar esse conceito fundamental da linguagem de forma simples e prática.

Começando com o básico

Vamos começar com um exemplo simples:

package main
@leo-aa88
leo-aa88 / twoSum.md
Last active January 29, 2025 19:02
O(N) and O(N²) example

Two Sum Problem – O(N²) vs. O(N) Using HashMap

The Two Sum problem is a classic example where a brute-force solution runs in O(N²), but we can optimize it to O(N) using a hashmap.

1. JavaScript Implementation

Brute-Force Solution (O(N²))

function twoSumBruteForce(arr, target) {
    for (let i = 0; i < arr.length; i++) {
@leo-aa88
leo-aa88 / bluetoothctl_guide.md
Created January 12, 2025 01:59
bluetoothctl guide

Guide to Connecting to a Bluetooth Device using bluetoothctl

This guide walks you through the process of connecting to a Bluetooth device on a Linux system using the bluetoothctl command-line tool. It covers initial setup, scanning, pairing, and connecting procedures, along with troubleshooting tips.

Prerequisites

  • A Linux distribution with Bluetooth support (e.g., Arch Linux).
  • The bluez package installed, which provides bluetoothctl and related utilities.
  • A working Bluetooth adapter installed on your system.
  • Sudo privileges to execute commands that require root access.