DevOps

I Built Formal Verification for Compiled Sekura JS Programs with SJV and Z3

Most developers trust this pipeline: source code ↓ compiler ↓ binary If the source looks correct and the tests pass, we usually assume the compiled…

Demystifying The Lexer

The Pipeline Behind compiling software can be challenging to grasp... I'll try to break it down as much as i can First of all the full pipeline look…

How I Built My Own Programming Language from Scratch

I Built a Programming Language Called Zen Building a programming language had been something I wanted to do for a long time. What I didn't realize w…

JavaC

Normally languages like C and C++ compile their code directly into machine code to be executed by the machine. This machine code is specific to the…

Running Native glibc (Debian) Binaries on Android 15 Without PRoot

🔧 TL;DR: Android 15 broke PRoot with stricter seccomp filters. After ~10 hours of debugging, I found a working solution using patchelf + LD_PRELOAD=…