GoKawiil - Tech News

1.

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

2.

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

3.

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

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

4.

Alphabet beats on revenue, with cloud booming 63% and topping $20 billion (cnbc.com)

2026-04-29 | by Jennifer Elias | get Google Cloud Platform T-Shirt → | tags: alphabet, google cloud, sundar pichai

5.

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

6.

Alphabet to buy Intersect Power to bypass energy grid bottlenecks (techcrunch.com)

2025-12-22 | by Marina Temkin | get Intersect Power → | tags: alphabet, billion, google

7.

Alphabet buys data center energy specialist Intersect for $4.75 billion to help power AI (feeds.feedburner.com)

2025-12-22 | get Data Center Energy Specialist → | tags: agreement, agreement buy, allow

8.

Alphabet to Buy Intersect for $4.75 Billion as AI-Investment Plans Grow (feeds.content.dowjones.io)

2025-12-22 | get Personal Finance book → | tags: buy intersect, center, center projects

9.

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