The GNU libc atanh is correctly rounded(inria.hal.science)102 points by matt_d 6 months ago | 23 comments
Last fifty years of integer linear programming: Recent practical advances (2024)(inria.hal.science)204 points by teleforce 1 year ago | 67 comments
Kronos: Soviet Processor Family for High-Level Languages (2006) [pdf](inria.hal.science)50 points by mepian 2 years ago | 8 comments
![Screenshot of inria.hal.science: Kronos: Soviet Processor Family for High-Level Languages (2006) [pdf]](https://hn.urlbox.com/shots/renders/2024/10/26/49f89281-9524-4611-835d-791cc2351da4.jpg)