niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

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

Created 6mo | Aug 10, 2024, 4:30:08 AM


Login to add comment

Other posts in this group

Why hasn't commercial air travel gotten any faster since the 1960s? (2009)
Why hasn't commercial air travel gotten any faster since the 1960s? (2009)

Article URL: https://engineering.mit.edu/engage/ask-an-engineer/why-

Feb 11, 2025, 1:10:34 AM | Hacker news
Musk-led group makes $97B bid for control of OpenAI
Musk-led group makes $97B bid for control of OpenAI

Article URL: https://www.reuters.com/markets/deals/elon-musk-led-gr

Feb 11, 2025, 1:10:33 AM | Hacker news
Hedge Funds Are Pocketing Much of Their Clients' Gains with 'No Limit' Fees
Hedge Funds Are Pocketing Much of Their Clients' Gains with 'No Limit' Fees

Article URL: https://www.bloomberg.com/graphics/2025-hedge-fund-investment-fees/

Comments URL:

Feb 11, 2025, 1:10:33 AM | Hacker news
Fun with C++26 reflection: Keyword Arguments
Fun with C++26 reflection: Keyword Arguments

Article URL: https://pydong.org/posts/KwArgs/

Comments URL: https://news.ycombinator.c

Feb 11, 2025, 1:10:32 AM | Hacker news
Large Nuclear-Powered Subsonic Aircraft for Transoceanic Commerce (1971) [pdf]
Large Nuclear-Powered Subsonic Aircraft for Transoceanic Commerce (1971) [pdf]

Article URL: https://ntrs.nasa.gov/api/citations/19710028801/downloads/19710028801.pdf

Comments URL:

Feb 11, 2025, 1:10:12 AM | Hacker news
Patterns for Building Realtime Features
Patterns for Building Realtime Features

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

Comments URL:

Feb 10, 2025, 10:50:24 PM | 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:

Feb 10, 2025, 10:50:23 PM | Hacker news
Techie
Techie