Type-machine (arthi-chaud.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of arthi-chaud.github.io: Type-machine

First screen, captured 1 year ago.

Looks similar

Screenshot of scorpiosoftware.net: Projected File System

Projected File System (scorpiosoftware.net)

45 points by thunderbong 2 years ago | 10 comments

Screenshot of fprasx.github.io: Doing First Grade Math in Rust's Type System

Doing First Grade Math in Rust's Type System (fprasx.github.io)

109 points by lukastyrychtr 2 years ago | 35 comments

Screenshot of ryanjk5.github.io: Show HN: Beautiful Type Erasure with C++26 Reflection

Show HN: Beautiful Type Erasure with C++26 Reflection (ryanjk5.github.io)

107 points by RyanJK5 3 months ago | 44 comments

Screenshot of lemire.me: Defining interfaces in C++: concepts versus inheritance

Defining interfaces in C++: concepts versus inheritance (lemire.me)

53 points by jandeboevrie 3 years ago | 21 comments

Screenshot of mitchellh.com: Mitchell Hashimoto: Zig Writings

Mitchell Hashimoto: Zig Writings (mitchellh.com)

4 points by signa11 2 years ago | 0 comments

Screenshot of nhatcher.com: The Hat, the Spectre and SAT Solvers (2024)

The Hat, the Spectre and SAT Solvers (2024)(nhatcher.com)

98 points by todsacerdoti 1 year ago | 8 comments