Recent Posts

• Auditing Electron Apps with Bananatron
  by remexreon 4/23/2025, 10:58:20 PM with 0 comments
• Rustc Implements "Super Let"
  by remexreon 4/10/2025, 5:22:34 PM with 0 comments
• Catgrad: A categorical deep learning compiler
  by remexreon 2/3/2025, 7:44:07 AM with 8 comments
• Clang now more aggressively uses undefined behavior on pointer addition overflow
  by remexreon 1/20/2025, 5:23:02 PM with 2 comments
• The Open Source Evolvable Hardware Project
  by remexreon 1/16/2025, 7:23:15 AM with 0 comments
• The Rocq Prover
  by remexreon 12/25/2024, 5:52:49 PM with 0 comments