An epic treatise on error models for systems programming languages (typesanitizer.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of typesanitizer.com: An epic treatise on error models for systems programming languages

First screen, captured 1 year ago.

Looks similar

Screenshot of typesanitizer.com: Optimizers need a rethink

Optimizers need a rethink (typesanitizer.com)

132 points by ingve 2 years ago | 139 comments

Screenshot of typesanitizer.com: The purported benefits of effect systems

The purported benefits of effect systems (typesanitizer.com)

16 points by SchwKatze 11 months ago | 3 comments

Screenshot of mrbruh.com: The RCE that AMD wouldn't fix

The RCE that AMD wouldn't fix (mrbruh.com)

291 points by MrBruh 4 months ago | 119 comments

Screenshot of ruudvanasseldonk.com: Abstraction, not syntax

Abstraction, not syntax (ruudvanasseldonk.com)

94 points by unripe_syntax 1 year ago | 51 comments

Screenshot of mrbruh.com: The RCE that AMD won't fix

The RCE that AMD won't fix (mrbruh.com)

343 points by MrBruh 8 months ago | 144 comments

Blog post describing a remote code execution vulnerability found by decompiling AMD's AutoUpdate software, which AMD declined to fix.

amd remote-code-execution vulnerability-disclosure auto-update

Screenshot of typesanitizer.com: Job queues are deceptively tricky

Job queues are deceptively tricky (typesanitizer.com)

109 points by ingve 3 months ago | 36 comments