GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
1.
Lean theorem prover mathlib
(news.ycombinator.com)
2025-12-14 |
related products
| tags:
algebra
,
build
,
documentation
2.
Lean Theorem Prover Mathlib
(news.ycombinator.com)
2025-12-14 |
related products
| tags:
algebra
,
build
,
documentation
3.
Scientists Watch Supernova Shockwave Shoot Through a Dying Star For First Time
(slashdot.org)
2025-11-13 |
related products
| tags:
explosion
,
findings
,
geometry
4.
Skyfall-GS – Synthesizing Immersive 3D Urban Scenes from Satellite Imagery
(news.ycombinator.com)
2025-11-03 |
related products
| tags:
geometry
,
high
,
immersive
5.
American solar farms
(news.ycombinator.com)
2025-10-31 | by Mark Litwintschik |
related products
| tags:
00
,
double
,
geometry
6.
A Global Mining Dataset
(news.ycombinator.com)
2025-10-31 | by Mark Litwintschik |
related products
| tags:
commodity
,
geometry
,
gold
7.
Ink deformation
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
control
,
deformation
,
geometry
8.
Ink Deformation – A Review
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
control
,
deformation
,
geometry
9.
New math revives geometry's oldest problems
(news.ycombinator.com)
2025-10-31 | by Joseph Howlett |
related products
| tags:
enumerative
,
geometry
,
mathematicians
10.
SedonaDB: A new geospatial DataFrame library written in Rust
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
buildings
,
geometry
,
join
11.
Spectral Labs releases SGS-1: the first generative model for structured CAD
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
assembly
,
geometry
,
model
12.
Meschers: Geometry Processing of Impossible Objects
(news.ycombinator.com)
2025-10-31 | by Ana Dodik |
related products
| tags:
geometry
,
impossible
,
meschers
13.
Computing simplified coverage polygons
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
area
,
geometry
,
polygon
14.
Meet Meschers, MIT’s Tool for Building Paradoxical Digital Objects
(gizmodo.com)
2025-10-31 | by Gayoung Lee |
related products
| tags:
geometry
,
impossible
,
meschers
Today's top topics:
apple
android
phone
google
launch
camera
iphone
amazon
display
game
View all today's topics →