Looks similar
Machine-Assisted Proof [pdf](ams.org)
177 points by jalcazar | 91 comments
Doomsday Book (2006) [pdf](crisesnotes.com)
269 points by Jimmc414 | 195 comments
Related stories
US vs. Google amicus curiae brief of Y Combinator in support of plaintiffs [pdf](storage.courtlistener.com)
402 points by dave1629 | 862 comments
PDF of Y Combinator's amicus curiae brief supporting the plaintiffs in the US Department of Justice antitrust case against Google.
EU tells Apple to open everything up to its rivals(appleinsider.com)
481 points by mmastrac | 1023 comments
AppleInsider news article reporting that the EU is requiring Apple to open its platforms and features to rival companies.
Apple and Meta fined millions for breaching EU law(ca.finance.yahoo.com)
389 points by Aldipower | 514 comments
Reuters article on Yahoo Finance reporting that the EU fined Apple $570 million and Meta $228 million for breaching EU law.
US jury says Apple owes record $5.7B in haptic technology patent case(reuters.com)
44 points by onemoresoop | 38 comments
Reuters news report on a US jury verdict finding Apple owes a record $5.7 billion in a haptic technology patent case; page showed a device verification screen.
Australian court finds Apple, Google guilty of being anticompetitive(ghacks.net)
335 points by warrenm | 126 comments
A ghacks.net news article reporting that an Australian court found Apple and Google engaged in anticompetitive conduct.
Apple takes UK to court over 'backdoor' order(theregister.com)
594 points by latexr | 223 comments
The Register news article reporting Apple has filed a complaint with the UK Investigatory Powers Tribunal challenging a government order to break iCloud encryption.
![Screenshot of storage.courtlistener.com: Apple files emergency motion to become defendant in US vs. Google [pdf]](https://hn.urlbox.com/shots/renders/2025/1/31/318cc0a5-2a02-4b91-98af-1915ffad1871.jpg)
![Screenshot of pubsonline.informs.org: Richard Bellman on the Birth of Dynamic Programming (2002) [pdf]](https://hn.urlbox.com/shots/renders/2024/12/22/c03615be-4af5-4817-8c0a-1729f49fda7c.jpg)
![Screenshot of ams.org: Machine-Assisted Proof [pdf]](https://hn.urlbox.com/shots/renders/2024/12/28/78f19787-8c3d-4276-91fd-5354f759bef1.jpg)
![Screenshot of thedaemon.space: The psychonaut field manual [pdf]](https://hn.urlbox.com/shots/renders/2025/1/1/94342e9f-2958-414e-badb-eaba5caab376.jpg)
![Screenshot of inf.ed.ac.uk: The Cognitive Style of PowerPoint (2006) [pdf]](https://hn.urlbox.com/shots/renders/2025/1/2/548c1f7a-043f-48e2-9847-9b28787f4bc1.jpg)
![Screenshot of crisesnotes.com: Doomsday Book (2006) [pdf]](https://hn.urlbox.com/shots/renders/2025/1/7/8b7b0d1d-5df5-4c49-aea4-fe4dc31e10f1.jpg)
![Screenshot of cs.umd.edu: Ultra-low-power localization tag uses cellular signals [pdf]](https://hn.urlbox.com/shots/renders/2024/12/12/49c18f31-784c-4272-bbfc-77fec4086948.jpg)
![Screenshot of storage.courtlistener.com: US vs. Google amicus curiae brief of Y Combinator in support of plaintiffs [pdf]](https://hn.urlbox.com/shots/renders/2025/5/10/d9659992-fe4d-4df1-a037-8cd71d4373a3.jpg)




