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

YHacker Newsscreenshots

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

First screen, captured 3 months ago.

Looks similar

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

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

65 points by permute 4 months ago | 14 comments

Screenshot of github.com: ASCII 3D Renderer for JavaScript

ASCII 3D Renderer for JavaScript (github.com)

80 points by thunderbong 2 years ago | 19 comments

Screenshot of github.com: Determine mesh rotations to minimise overhangs for 3D printing

Determine mesh rotations to minimise overhangs for 3D printing (github.com)

46 points by alonfnt 2 years ago | 24 comments

Screenshot of github.com: Pool spare GPU capacity to run LLMs at larger scale

Pool spare GPU capacity to run LLMs at larger scale (github.com)

10 points by i386 7 months ago | 2 comments

Screenshot of github.com: Brush – A new compatible Gaussian splatting engine

Brush – A new compatible Gaussian splatting engine (github.com)

164 points by Tycho87 2 years ago | 51 comments

Screenshot of github.com: Show HN: 3DGS.cpp – performant, cross platform Gaussian Splatting with Vulkan

Show HN: 3DGS.cpp – performant, cross platform Gaussian Splatting with Vulkan (github.com)

39 points by 0x02A 2 years ago | 14 comments