Higher RAII and the seven arcane uses of linear types (verdagon.dev) | HN Screenshots

YHacker Newsscreenshots

Screenshot of verdagon.dev: Higher RAII and the seven arcane uses of linear types

First screen, captured 2 years ago.

Looks similar

Screenshot of verdagon.dev: What Vale taught me about linear types, borrowing, and memory safety

What Vale taught me about linear types, borrowing, and memory safety (verdagon.dev)

103 points by generichuman 3 years ago | 10 comments

Screenshot of verdagon.dev: Ante: A new way to blend borrow checking and reference counting

Ante: A new way to blend borrow checking and reference counting (verdagon.dev)

103 points by g0xA52A2A 3 months ago | 24 comments

Screenshot of verdagon.dev: How to Survive Your Project's First 100k Lines

How to Survive Your Project's First 100k Lines (verdagon.dev)

185 points by swah 3 years ago | 71 comments

Screenshot of verdagon.dev: The Impossible Optimization, and the Metaprogramming to Achieve It

The Impossible Optimization, and the Metaprogramming to Achieve It (verdagon.dev)

54 points by melodyogonna 1 year ago | 19 comments

Screenshot of verdagon.dev: Crossing the impossible FFI boundary, and my gradual descent into madness

Crossing the impossible FFI boundary, and my gradual descent into madness (verdagon.dev)

84 points by signa11 2 years ago | 37 comments

Screenshot of verdagon.dev: Group Borrowing: Zero-cost memory safety with fewer restrictions

Group Borrowing: Zero-cost memory safety with fewer restrictions (verdagon.dev)

66 points by verdagon 1 year ago | 60 comments