Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs https://lobste.rs/s/axmhji #pdf #formalmethods #math #reversing #vibecoding
https://arxiv.org/abs/2610.08144
reversing
Beyond the compiler: Making IBM i run modified native code - Program Validation Value https://lobste.rs/s/kymztn #reversing
https://blog.silentsignal.eu/2026/11/10/Beyond-the-compiler-Making-IBM-i-run-modified-native-code-PVV/
When LLM Decompilers Recompile More and Preserve Less https://lobste.rs/s/uzfa4k #reversing #vibecoding
https://arxiv.org/abs/2609.05370
500+ Billion Tokens Later: Letting AI Agents Decompile A First-Person Shooter https://lobste.rs/s/fdxjtr #reversing #vibecoding
https://momo5502.com/posts/2026-10-09-game-decompilation/
prjcombine - An FPGA reverse engineering project https://lobste.rs/s/qwylli #hardware #reversing
https://codeberg.org/prjunnamed/prjcombine
It took me nine years to hack my Xbox 360 via @lobsters https://lobste.rs/s/wceg2u #hardware #reversing
https://kennedn.com/blog/posts/glitching/