| | Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (github.com/zwegner) |
| 153 points by djoldman on May 15, 2023 | past | 24 comments |
|
| | x86 SIMD superoptimizer in ~100 lines of Python (github.com/zwegner) |
| 3 points by zwegner on Dec 22, 2019 | past | 1 comment |
|
| | Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (github.com/zwegner) |
| 3 points by mpweiher on Dec 20, 2019 | past |
|
| | Show HN: Faster UTF-8 validator (github.com/zwegner) |
| 122 points by zwegner on Nov 15, 2019 | past | 55 comments |
|
| | Show HN: Game About Squares solver in Python (github.com/zwegner) |
| 4 points by zwegner on July 27, 2014 | past |
|
