Higher RAII and the seven arcane uses of linear types

Article URL: https://verdagon.dev/blog/higher-raii-uses-linear-types

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

Points: 12

# Comments: 1

https://verdagon.dev/blog/higher-raii-uses-linear-types

Created 14d | May 14, 2024, 10:50:12 PM

Login to add comment

Other posts in this group

Google Cloud accidentally deleted account of $125B pension fund

Google Cloud accidentally deleted account of $125B pension fund

Article URL: https://www.n-able.com/blog/unisuper-google-cloud-outage-reveals-need-f

May 29, 2024, 12:40:04 AM | Hacker news

Facebook will soon use your photos, posts and other info to train its AI

Facebook will soon use your photos, posts and other info to train its AI

Article URL: https://www.thejournal.ie/facebook-data-ai-6391876-May2024/

Comments URL:

May 29, 2024, 12:40:04 AM | Hacker news

Proposal to change default annotation processing policy in JDK 23

Proposal to change default annotation processing policy in JDK 23

Article URL: https://mail.openjdk.org/pipermail/jdk-dev/2024-May/009028.html

Comments URL:

May 29, 2024, 12:40:03 AM | Hacker news

Ex-OpenAI board member reveals what led to Sam Altman's brief ousting

Ex-OpenAI board member reveals what led to Sam Altman's brief ousting

Article URL: https://www.businessinsider.com/openai-board-member-details-sam-altman-l

May 29, 2024, 12:40:03 AM | Hacker news

Automata via Macros (2006)

Automata via Macros (2006)

Article URL: https://cs.brown.edu/~sk/Publications/Papers/Published/sk-automata-macros/

Comments URL

May 28, 2024, 10:20:18 PM | Hacker news

Former FTX Executive Ryan Salame Sentenced to 90 Months in Prison

Former FTX Executive Ryan Salame Sentenced to 90 Months in Prison

Article URL: https://www.justice.gov/usao-sdny/pr/former-ftx-executive-ryan-salame-senten

May 28, 2024, 10:20:18 PM | Hacker news

Happiness

Article URL: https://complicated.world/en/Human_Life

Comments URL: https://news

May 28, 2024, 10:20:17 PM | Hacker news

Techie