niftycent.com
NiftyCent
IT
Login
Mercato
Sconti

Data types as Lattices – Dana Scott [pdf]

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

Creato 6mo | 10 ago 2024, 04:30:08


Accedi per aggiungere un commento

Altri post in questo gruppo

Patterns for Building Realtime Features
Patterns for Building Realtime Features

Article URL: https://zknill.io/posts/patterns-for-building-realtime/

Comments URL:

10 feb 2025, 22:50:24 | Hacker news
Increased crevassing across accelerating Greenland Ice Sheet margins
Increased crevassing across accelerating Greenland Ice Sheet margins

Article URL: https://www.nature.com/articles/s41561-024-01636-6

Comments URL:

10 feb 2025, 22:50:23 | Hacker news
Fly.io (YC W20) Is Hiring a Customer Support Director
Fly.io (YC W20) Is Hiring a Customer Support Director

Comments URL: https://news.ycombinator.com/item?id=43005096

Points: 0

# Comments: 0

https://news.ycombinator.com/ite

10 feb 2025, 22:50:21 | Hacker news
Mac(OS)talgia
Mac(OS)talgia

Article URL: https://swallowmygraphicdesign.com/project/macostalgia

Comments URL:

10 feb 2025, 20:30:16 | Hacker news
A story about USB floppy drives (2004)
A story about USB floppy drives (2004)

Article URL: https://devblogs.microsoft.com/oldnewthing/20040409-00/?p=39873

Comments URL:

10 feb 2025, 20:30:15 | Hacker news
CAPTCHAs: 'a tracking cookie farm for profit masquerading as a security service'
CAPTCHAs: 'a tracking cookie farm for profit masquerading as a security service'

Article URL:

10 feb 2025, 20:30:15 | Hacker news
Undergraduate Upends a 40-Year-Old Data Science Conjecture
Undergraduate Upends a 40-Year-Old Data Science Conjecture

Article URL: https://www.quantamagazine.org/undergraduate-upends-a-40-year-old-data-sc

10 feb 2025, 20:30:14 | Hacker news
Techie
Techie