reversing

When LLM Decompilers Recompile More and Preserve Less

Decompilation recovers high-level source from compiled machine code and serves as a foundation for security tasks such as vulnerability detection and malware analysis.

Inside a 1980s filter chip that uses switched capacitors

Sometimes it's easier to identify an IC with a microscope. While sorting a box of old ICs, CuriousMarc came across some Harris ICs labeled "...

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations.

Explaining the Magelight XP glitch in Skyrim

Explaining why casting Magelight outside Solitude grants so much XP in Skyrim

Inside the Windows I/O Manager: Deep dive into how read I/O requests are initialized

If you are someone who periodically debug and reverse many different Windows programs, you may have noticed a common point shared among them despite they aren't related in any sense. This point is that the vast majority of them use at some stage a famous well documented Win32 API named

The forgetful CPU (Linux on M4)

This blog post goes into quite some detail about how I first booted Linux on my M4 Mac mini. I encourage you to look up terms and concepts you don’t know, since I cannot explain all the background in this post ;)

Reviving Valve's 15-year-old e-book

You can now experience the 15-year-old Portal 2 e-book like it's 2011 again. And it's all open source.

Datalog Disassembly (2020)