Tech News
clear
Topic Analysis: Today This Week This Month This Year
1.
Lean theorem prover mathlib (news.ycombinator.com)
2.
Lean Theorem Prover Mathlib (news.ycombinator.com)
3.
Scientists Watch Supernova Shockwave Shoot Through a Dying Star For First Time (slashdot.org)
4.
Skyfall-GS – Synthesizing Immersive 3D Urban Scenes from Satellite Imagery (news.ycombinator.com)
5.
American solar farms (news.ycombinator.com)
6.
A Global Mining Dataset (news.ycombinator.com)
7.
Ink deformation (news.ycombinator.com)
8.
Ink Deformation – A Review (news.ycombinator.com)
9.
New math revives geometry's oldest problems (news.ycombinator.com)
10.
SedonaDB: A new geospatial DataFrame library written in Rust (news.ycombinator.com)
11.
Spectral Labs releases SGS-1: the first generative model for structured CAD (news.ycombinator.com)
12.
Meschers: Geometry Processing of Impossible Objects (news.ycombinator.com)
13.
Computing simplified coverage polygons (news.ycombinator.com)
14.
Meet Meschers, MIT’s Tool for Building Paradoxical Digital Objects (gizmodo.com)
Today's top topics: apple android phone google launch iphone amazon camera display life
View all today's topics →