Teaching Program Verification in Dafny at Amazon (2023) (dafny.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of dafny.org: Teaching Program Verification in Dafny at Amazon (2023)

First screen, captured 1 year ago.

Looks similar

Screenshot of austinhenley.com: My 25-year adventure in AI and ML

My 25-year adventure in AI and ML (austinhenley.com)

169 points by ibobev 1 year ago | 30 comments

Screenshot of danielmangum.com: Understanding every byte in a WASM module

Understanding every byte in a WASM module (danielmangum.com)

167 points by hasheddan 2 years ago | 32 comments

Screenshot of byroot.github.io: Optimizing Ruby's JSON, Part 1

Optimizing Ruby's JSON, Part 1 (byroot.github.io)

241 points by todsacerdoti 1 year ago | 56 comments

Screenshot of zuernerd.github.io: Extracting a UART Password via SPI Flash Instruction Tracing

Extracting a UART Password via SPI Flash Instruction Tracing (zuernerd.github.io)

54 points by Eduard 9 months ago | 11 comments

Screenshot of luke8086.dev: Running NetBSD on IBM ThinkPad 380Z

Running NetBSD on IBM ThinkPad 380Z (luke8086.dev)

146 points by jaypatelani 1 year ago | 40 comments

Screenshot of peter.eisentraut.org: PostgreSQL and FIPS Mode

PostgreSQL and FIPS Mode (peter.eisentraut.org)

65 points by chmaynard 2 years ago | 23 comments