4 ms·
OP here. I literally just got released from 13 hours in a Swiss holding cell because this prototype looked like a bomb to the WEF police. To get released, I ha
by reutinger 8mo ago
OP here. I literally just got released from 13 hours in a Swiss holding cell because this prototype looked like a bomb to the WEF police.
To get released, I had to walk a forensic expert ('Chris') through this codebase line-by-line. He didn't care about the pitch; he audited the Rust borrow checker logs, the specific hardware interrupts, and the encryption implementation to prove it wasn't a trigger mechanism.
It was the most aggressive code audit of my life. Happy to answer questions about the stack, the 'vibe coding' workflow I used to build it, or the Swiss prison lasagna."
- steveklabnik 8mo agoWhat are the “borrow checker logs” in this context?
- reutinger 8mo agoHi Steve- honored to see you here! (I’m practically using your book to reverse-engineer what the AI wrote ). To be precise with my terminology: I showed the forensic expert the terminal history and compiler output in my VS Code/Cursor logs. Because I was 'vibe coding' with LLMs, I had a long scrollback of cargo build failing repeatedly with ownership/borrow errors. 'Chris' (the forensic expert) reviewed that timestamped history to verify that I was genuinely struggling to compile a harmless display driver in a hotel room that morning, rather than deploying a pre-compiled malicious payload. His logic was essentially: 'A terrorist brings a clean binary. A developer brings a terminal full of red text.' The broken build state was my alibi.
- steveklabnik 8mo agoAh, that makes sense, I was just confused because I don't think of the borrow checker as producing logs, but the terminal output is a great thing to show someone, yeah.