Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

First screen, captured 4 months ago.

Looks similar

Screenshot of github.com: Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)

98 points by permute 3 months ago | 42 comments

Screenshot of github.com: Agentic coding deserves more than a chat box bolted onto VS Code

Agentic coding deserves more than a chat box bolted onto VS Code (github.com)

57 points by evanklem2004 4 months ago | 19 comments

Screenshot of github.com: Show HN: A CSS 3D Engine (no WebGL)

Show HN: A CSS 3D Engine (no WebGL)(github.com)

55 points by rofko 4 months ago | 23 comments

Screenshot of github.com: After 8 years, I rewrote my open-source PyTorch curvature library

After 8 years, I rewrote my open-source PyTorch curvature library (github.com)

75 points by noahgolmant 5 months ago | 1 comments

Screenshot of github.com: Cmapv2: A high performance, concurrent map

Cmapv2: A high performance, concurrent map (github.com)

39 points by sirgallo 1 year ago | 15 comments

Screenshot of github.com: WebMCP

WebMCP (github.com)

113 points by sanj 1 year ago | 27 comments