![Screenshot of vldb.org: How large language models will disrupt data management [pdf]](https://hn.urlbox.com/shots/renders/2024/7/27/56687121-1f54-48cc-8850-2c98d2177720.jpg)
![Screenshot of eecs.umich.edu: Velox: Meta's Unified Execution Engine [pdf]](https://hn.urlbox.com/shots/renders/2024/3/25/75674be7-f61d-4477-a904-3ea598e6e971.jpg)
First screen, captured .
Looks similar
![Screenshot of open-std.org: Implication for C++ [pdf]](https://hn.urlbox.com/shots/renders/2023/10/20/a1ffb045-b88b-42fe-96dd-57f4fef01925.jpg)
Implication for C++ [pdf](open-std.org)
32 points by ingve | 36 comments
![Screenshot of isocpp.org: Contracts for C++ (DbC) [pdf]](https://hn.urlbox.com/shots/renders/2024/11/14/12eec603-6521-4c29-b5a3-9eba0bf14e90.jpg)
Contracts for C++ (DbC) [pdf](isocpp.org)
43 points by xo5vik | 32 comments
![Screenshot of ntrs.nasa.gov: What made Apollo a success? (1971) [pdf]](https://hn.urlbox.com/shots/renders/2023/12/18/a76c4449-2c9e-412a-848f-3e9642d4b23b.jpg)
![Screenshot of nature.com: Phase transitions in random circuit sampling [pdf]](https://hn.urlbox.com/shots/renders/2024/10/12/99bbadfd-c63b-4f62-b01c-b0f232c4e8e9.jpg)
![Screenshot of theory.stanford.edu: Recursive Program Synthesis using Paramorphisms [pdf]](https://hn.urlbox.com/shots/renders/2024/7/12/2823f00e-4a20-4194-a7ec-21cdfccb7c97.jpg)
First screen, captured .
32 points by ingve | 36 comments
43 points by xo5vik | 32 comments