301.
302.
Scientists Intrigued by Large Spider-Like Blob on Europa
(futurism.com)
303.
Lean theorem prover mathlib
(news.ycombinator.com)
304.
Lean Theorem Prover Mathlib
(news.ycombinator.com)
305.
306.
307.
308.
309.
310.
311.
312.
313.
314.
316.
317.
The Cities Skylines Paradox: how the sequel stumbled
(news.ycombinator.com)
318.
319.
Mixing Is the Heartbeat of Deep Lakes. At Crater Lake, It's Slowing Down
(news.ycombinator.com)
320.
321.
650GB of Data (Delta Lake on S3). Polars vs. DuckDB vs. Daft vs. Spark
(news.ycombinator.com)
322.
323.
325.
326.
327.
328.
The Vision Pro is getting its first live ‘immersive’ sports
(theverge.com)
329.