![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 users.cs.utah.edu: High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]](https://hn.urlbox.com/shots/renders/2024/1/12/b3791230-4d88-4bd7-9912-980478b14ec6.jpg)
First screen, captured .
Looks similar
![Screenshot of csun.edu: The Surprising Predictability of Long Runs (2012) [pdf]](https://hn.urlbox.com/shots/renders/2024/10/11/293d609f-e9f2-4fb5-aed4-e16f7904ab11.jpg)
![Screenshot of ww3.ca2.uscourts.gov: Google’s TOS doesn’t eliminate a user’s Fourth Amendment rights, judge rules [pdf]](https://hn.urlbox.com/shots/renders/2024/10/30/f30ee8f2-107d-4fb1-9272-6fa4e53b4165.jpg)
Google’s TOS doesn’t eliminate a user’s Fourth Amendment rights, judge rules [pdf](ww3.ca2.uscourts.gov)
361 points by coloneltcb | 251 comments
A Second Circuit Court of Appeals opinion (case 23-6181) holding that Google's terms of service do not eliminate a user's Fourth Amendment privacy rights.
![Screenshot of paulgazzillo.com: SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)](https://hn.urlbox.com/shots/renders/2024/3/9/57e5751d-6921-4758-80c8-bff8b956aca0.jpg)
![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 brianb.freeshell.org: The Kentucky Derby is decadent and depraved (1970) [pdf]](https://hn.urlbox.com/shots/renders/2023/6/13/5a03253e-ab33-4e87-ac58-6ef3f9db1d15.jpg)