How to train your program verifier (risemsr.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of risemsr.github.io: How to train your program verifier

First screen, captured 8 months ago.

Looks similar

Screenshot of sqg.dev: SQG (SQL to Code Generator) v0.10: Java Streams and List Type Support

SQG (SQL to Code Generator) v0.10: Java Streams and List Type Support (sqg.dev)

16 points by uwemaurer 7 months ago | 4 comments

Screenshot of blog.python.org: RISC-V is now officially supported by CPython

RISC-V is now officially supported by CPython (blog.python.org)

288 points by lumpa 2 months ago | 52 comments

Screenshot of seiya.me: Implementing a RISC-V Hypervisor

Implementing a RISC-V Hypervisor (seiya.me)

94 points by ingve 1 year ago | 4 comments

Screenshot of v2.tauri.app: Experimental Tauri Verso Integration

Experimental Tauri Verso Integration (v2.tauri.app)

118 points by stareatgoats 1 year ago | 35 comments

Screenshot of robrace.dev: Programming Tutorials Are Dead

Programming Tutorials Are Dead (robrace.dev)

29 points by polysaturate 1 month ago | 4 comments

Blog post by Rob Race, who sells programming education, arguing that traditional programming tutorials are dead.

programming-education tutorials coding-agents ai-assisted-coding

Screenshot of danielmangum.com: VPR: Nordic's First RISC-V Processor

VPR: Nordic's First RISC-V Processor (danielmangum.com)

147 points by hasheddan 1 year ago | 33 comments