![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 3e8.org: Futures and Multiple Values in Parallel Lisp (1991) [pdf]](https://hn.urlbox.com/shots/renders/2024/11/28/50077ee9-c3c5-494d-8243-833ca6958922.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 theory.stanford.edu: Recursive Program Synthesis using Paramorphisms [pdf]](https://hn.urlbox.com/shots/renders/2024/7/12/2823f00e-4a20-4194-a7ec-21cdfccb7c97.jpg)
![Screenshot of eecs.umich.edu: Velox: Meta's Unified Execution Engine [pdf]](https://hn.urlbox.com/shots/renders/2024/3/25/aabcecfe-8432-4e2b-97be-4248b4d522f6.jpg)
![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 klab.tch.harvard.edu: Augmenting biological intelligence with RL in C.elegans using optogenetics [pdf]](https://hn.urlbox.com/shots/renders/2024/6/17/49075edf-f4a6-4840-aa4b-a3739a02a464.jpg)
First screen, captured .
32 points by ingve | 36 comments
43 points by xo5vik | 32 comments