GoKawiil - Tech News

Topics: Today This Week This Month This Year

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

2026-07-28 | tags: lean 4, csg, mesh intersection

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

2026-06-04 | get Polygon Intersection Verification Kit → | tags: agents, ai agents, algorithm

Raytracing Geometries in 3D Rendering (news.ycombinator.com)

2026-06-03 | get NVIDIA GeForce RTX Graphics Card → | tags: casting, casting rays, geometry

We made flying nearly collision-proof decades ago. Why are intersections still so dangerous? (feeds.feedburner.com)

2026-04-22 | get Smart Traffic Light System → | tags: aerospace safety, vehicle collisions, car crashes

Lazier Binary Decision Diagrams for set-theoretic types (news.ycombinator.com)

2025-12-02 | by José Valim | get Binary Decision Diagrams → | tags: bdds, dual, elixir

Today's top topics: google apple models free phone browser centers pixel iphone openai