GoKawiil - Tech News

1.

Show HN: I derived Planck mass from sphere packing – 0.574 ppm, zero free param (news.ycombinator.com)

2025-12-29 | by Novgorodtsev | related products | tags: angle, constants, error

2.

Lean theorem prover mathlib (news.ycombinator.com)

2025-12-14 | related products | tags: algebra, build, documentation

3.

Lean Theorem Prover Mathlib (news.ycombinator.com)

2025-12-14 | related products | tags: algebra, build, documentation

4.

Scientists Watch Supernova Shockwave Shoot Through a Dying Star For First Time (slashdot.org)

2025-11-13 | related products | tags: explosion, findings, geometry

5.

Skyfall-GS – Synthesizing Immersive 3D Urban Scenes from Satellite Imagery (news.ycombinator.com)

2025-11-03 | related products | tags: geometry, high, immersive

6.

American solar farms (news.ycombinator.com)

2025-10-31 | by Mark Litwintschik | related products | tags: 00, double, geometry

7.

A Global Mining Dataset (news.ycombinator.com)

2025-10-31 | by Mark Litwintschik | related products | tags: commodity, geometry, gold

8.

Ink deformation (news.ycombinator.com)

2025-10-31 | related products | tags: control, deformation, geometry

9.

Ink Deformation – A Review (news.ycombinator.com)

2025-10-31 | related products | tags: control, deformation, geometry

10.

New math revives geometry's oldest problems (news.ycombinator.com)

2025-10-31 | by Joseph Howlett | related products | tags: enumerative, geometry, mathematicians

11.

SedonaDB: A new geospatial DataFrame library written in Rust (news.ycombinator.com)

2025-10-31 | related products | tags: buildings, geometry, join

12.

Spectral Labs releases SGS-1: the first generative model for structured CAD (news.ycombinator.com)

2025-10-31 | related products | tags: assembly, geometry, model

13.

Meschers: Geometry Processing of Impossible Objects (news.ycombinator.com)

2025-10-31 | by Ana Dodik | related products | tags: geometry, impossible, meschers

14.

Computing simplified coverage polygons (news.ycombinator.com)

2025-10-31 | related products | tags: area, geometry, polygon

15.

Meet Meschers, MIT’s Tool for Building Paradoxical Digital Objects (gizmodo.com)

2025-10-31 | by Gayoung Lee | related products | tags: geometry, impossible, meschers