Data structures as topological spaces (2002) [pdf](mgs.spatial-computing.org)154 points by cpp_frog 2 years ago | 42 comments
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf](users.cs.utah.edu)73 points by luu 2 years ago | 8 comments
Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
A proposal for the next version of C [pdf](open-std.org)12 points by leoncaet 2 years ago | 3 comments
Electronic tongue to analyze fish freshness (2008) [pdf](moscow.sci-hub.se)6 points by antvo 5 years ago | 0 comments
![Screenshot of mgs.spatial-computing.org: Data structures as topological spaces (2002) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/16/d9708222-e2a1-4851-86eb-fde5780f65d5.jpg)
![Screenshot of unicode.org: Unicode 88 (1988) [pdf]](https://hn.urlbox.com/shots/renders/2023/9/2/4a661a71-d121-4778-b9e2-909d0f413f25.jpg)
![Screenshot of users.cs.utah.edu: High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]](https://hn.urlbox.com/shots/renders/2024/1/12/78d1c585-675c-4c2c-aedb-70347a6f1cea.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)
![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 moscow.sci-hub.se: Electronic tongue to analyze fish freshness (2008) [pdf]](https://hn.urlbox.com/shots/renders/2023/6/12/2492d553-1132-4dca-a80d-3a0e1dbc5d27.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)