Running Lean’s Natural Number Game (nng4) locally in Linux

Read more

Trick to execute markdown code blocks in the browser

Read more

Maximizing the cartesian product of n elements and how it relates to number bases

Read more

Script to convert videos to mp4 with Nautilus (Ubuntu’s file explorer)

Read more

AIs taking-over-the-world dynamics

Read more

Convert symlinks from absolute to relative

Read more

Script to send WOL magic packet using netcat

Read more

Convert image to base64 DataURL

Read more

Configure your local mail to be sent to your Gmail

Read more

Cmus setup and shortcuts

Read more

Time complexity

Read more

Use UPnP to forward ports in Linux

Read more

Point a domain to an IP in a DNS provider

Read more

Embedding markdown recursively

Read more

Configure Https on a VPS with caddy

Read more

Configure Build tasks in vscode

Read more

Export Markdown to PDF

Read more

Descentralized database (social consensus)

Read more

Datacion por radiocarbono

Read more

How to verify email DKIM signatures

Read more

The WITH statement

Read more

INSERT … RETURNING

Read more

Ssh poor-man’s-vpn on android

Read more

Configure ssh keys in Mikrotik

Read more

Share file with ipfs

Read more

Perfectly centering pixels is tricky

Read more

DynamoDB

Read more

Open Graph Protocol

Read more

Lazy loading images in HTML

Read more

Configurar un servicio onion

Read more

Configure an onion service

Read more

Bitcoin

Read more

Install yt-dlp in Android

Read more

Transacciones en MySQL

Read more

Ubuntu Network Troubleshoot

Read more

Terminal Shortcuts

Read more

Ubuntu fresh setup guide

Read more

Recover a BIP39 password with a P2SH(P2WPKH) address by Brute-forcing

Read more

Configuring Age Of Empires 2: Forgotten Empires on Ubuntu

Read more

How to ignore monitoring a disk from the smartd daemon

Read more

Manual Beninca DA2XS

Read more

Formula para calcular el Radio de curvatura

Read more