I wanted to run OCaml on seL4. Not “install OCaml” — actually get it running inside a virtual machine hosted by seL4, the formally verified microkernel that’s supposed to be one of the most secure pieces of software ever written.…
Summary: Today I took my first real dive into OCaml — a powerful, elegant functional programming language known for its speed, safety, and expressive type system. I started from scratch on my Debian machine. After installing opam (OCaml’s package manager),…
Nand to Tetris (also known as The Elements of Computing Systems) is one of the most unique and rewarding computer science courses available. It takes you on a hands-on journey where you build a complete, general-purpose computer system — starting…
64-bit Version Register Purpose in Our Program Why this specific register? RAX Holds the syscall number Convention: First argument for syscalls RDI Holds file descriptor (stdout=1) Syscall argument #1 RSI Holds address of the string Syscall argument #2 RDX Holds…
xv6-riscv is a clean, minimalist, educational operating system developed by MIT. It is a re-implementation of the historic Unix Version 6 (1975) written in ANSI C for the modern RISC-V architecture. Purpose Why It’s Valuable How to Use It Structured…
My Study Plan: Learning C with K&R and Building ls from Scratch I’m combining The C Programming Language (K&R, 2nd Edition) with the excellent lsbtw project by Tony (from his YouTube video “How to Actually Learn C (2027 Edition)”). This…
The OSINT Bible 2026 — 7779 pages of pure open-source intelligence knowledge + included video course. If you’re into investigations, cybersecurity, research, or just want to level up your info-gathering game… this might be one of the most stacked resources…
The home lab leveled up today. After getting Proxmox VE 9.2 running inside VMware last session, today’s mission was clear — get an attacker and a target on the same isolated network and prepare for real penetration testing practice. Here’s…
I started with a simple question: “Async Rust?” Over the past session, I went from zero to building a complete asynchronous Rust application. I began by understanding the basics — how async/await works, why we need a runtime like Tokio,…
My Approach To learn AI in a relaxed, enjoyable way — no pressure, no deadlines, and at whatever speed feels comfortable for me. Using AI as my personal guide: explaining things simply, practicing together in this chat, and focusing on…