Article URL: https://github.com/CMU-HoTT/scott/blob/main/pdfs/1976-data-types-as-lattices.pdf
Comments URL: https://news.ycombinator.com/item?id=41203928
Points: 17
# Comments: 4
https://github.com/CMU-HoTT/scott/blob/main/pdfs/1976-data-types-as-lattices.pdf
Creată
6mo
|
10 aug. 2024, 04:30:08
Autentifică-te pentru a adăuga comentarii
Alte posturi din acest grup
![TSforge: Reverse Engineering the Windows Software Protection Platform](https://www.cdn5.niftycent.com/a/e/b/9/g/j/B/tsforge-reverse-engineering-the-windows-software-protection-platform.webp)
Article URL: https://massgrave.dev/blog/tsforge
Comments URL: https://news.ycombinat
Article URL: https://www.ocr4all.org/
Comments URL: https://news.ycombinator.com/item?id=43043
![TikTok is back in the App Store](https://www.cdn5.niftycent.com/a/k/K/q/P/Q/J/tiktok-is-back-in-the-app-store.webp)
Article URL: https://www.theverge.com/news/612768/tiktok-app-store-apple-google-us-ban
Comments URL:
![Open Source Software and Corporate Influence](https://www.cdn5.niftycent.com/a/k/X/r/O/9/7/open-source-software-and-corporate-influence.webp)
![Hyperbound (YC S23) Is Hiring a Founding Full-Stack Engineer in SF](https://www.cdn5.niftycent.com/a/1/d/w/6/4/E/hyperbound-yc-s23-is-hiring-a-founding-full-stack-engineer-in-sf.webp)
![OpenAI scrubs diversity commitment web page from its site](https://www.cdn5.niftycent.com/a/k/6/3/o/z/2/openai-scrubs-diversity-commitment-web-page-from-its-site.webp)