from Hacker News

remexre

joined 10/12/16, 5:20 AM has 1440 karma

• Auditing Electron Apps with Bananatron

  by remexre on 4/23/25, 10:58 PM, with 0 comments

• Rustc Implements "Super Let"

  by remexre on 4/10/25, 5:22 PM, with 0 comments

• Catgrad: A categorical deep learning compiler

  by remexre on 2/3/25, 7:44 AM, with 16 comments

• Clang now more aggressively uses undefined behavior on pointer addition overflow

  by remexre on 1/20/25, 5:23 PM, with 1 comments

• The Open Source Evolvable Hardware Project

  by remexre on 1/16/25, 7:23 AM, with 0 comments

• The Rocq Prover

  by remexre on 12/25/24, 5:52 PM, with 0 comments