UFS File-Based Optimization Patches for Linux “Complete and Utter Madness”
2022-11-02
Verifying GCC optimizations using an SMT solver
2022-11-02
GCC Translation Validation 2: Verifying GCC optimizations using an SMT solver
2022-11-02
Cando: Computer Aided Nanostructure Design and Optimization
2022-11-01
Show HN: Minimax – A Compressed-First, Microcoded RISC-V CPU
2022-11-01
Date-me Google Docs
2022-11-01
Debugging Compilers with Optimization Fuel
2022-11-01
Ask HN: Stacking forces in a physics engine C++
2022-10-31
Fixing our NextJS front-end to finally get to #1 on Google
2022-10-31
Ask HN: Best Node.js in production course/book?
2022-10-30