News for hackers. Stuff that matters.
Re:Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing ... by kzrdude on Thursday December 15, 2022 @06:31PM (#34007338)
Note that these are bugs in pypy and not in "Python" i.e not in the dominant python implementation.
Re:Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing ... by develatio on Thursday December 15, 2022 @06:53PM (#34007558)
Right, thanks for the clarification!