FastLanes Compression Layout: Decoding >100B integers/sec with scalar code [pdf](ir.cwi.nl)15 points by jandrewrogers 2 years ago | 0 comments
Mostly Automated Proof Repair for Verified Libraries [pdf](ilyasergey.net)24 points by ghuntley 3 years ago | 6 comments
Mathematical Intimidation: Driven by the data (2011) [pdf](ams.org)58 points by dedalus 2 years ago | 2 comments
A proposal for the next version of C [pdf](open-std.org)12 points by leoncaet 2 years ago | 3 comments
Large Interferometer for Exoplanets [pdf](aanda.org)31 points by hindsightbias 2 years ago | 3 comments
![Screenshot of ir.cwi.nl: FastLanes Compression Layout: Decoding >100B integers/sec with scalar code [pdf]](https://hn.urlbox.com/shots/renders/2024/6/17/7ac78144-fc1e-4a66-a6f6-eac6f39459ed.jpg)
![Screenshot of usenix.org: Meta’s Microservice Architecture [pdf]](https://hn.urlbox.com/shots/renders/2023/7/11/517c1a72-7762-4bf2-a183-722985612fa2.jpg)
![Screenshot of open-std.org: Polymorphic Types in C [pdf]](https://hn.urlbox.com/shots/renders/2024/1/18/aa5dc922-8277-4379-b39e-983508fa24cc.jpg)
![Screenshot of ilyasergey.net: Mostly Automated Proof Repair for Verified Libraries [pdf]](https://hn.urlbox.com/shots/renders/2023/6/23/de2c61e2-18ad-4538-8515-420f7ba4bef6.jpg)
![Screenshot of ams.org: Mathematical Intimidation: Driven by the data (2011) [pdf]](https://hn.urlbox.com/shots/renders/2023/12/25/20f54497-7396-44b6-ac7b-267ae73263bd.jpg)
![Screenshot of open-std.org: A proposal for the next version of C [pdf]](https://hn.urlbox.com/shots/renders/2024/1/20/35831229-b7a1-412b-bf6b-bf0082dd89a8.jpg)
![Screenshot of aanda.org: Large Interferometer for Exoplanets [pdf]](https://hn.urlbox.com/shots/renders/2023/11/28/1b212626-fb24-4523-a5c1-fcd53a13ca43.jpg)