Some Junk Theorems in Lean
(news.ycombinator.com)
31.
32.
34.
35.
36.
37.
Ask HN: Scheduling stateful nodes when MMAP makes memory accounting a lie
(news.ycombinator.com)
38.
Shaders: How to draw high fidelity graphics with just x and y coordinates
(news.ycombinator.com)
39.
40.
Tailscale Down
(news.ycombinator.com)
41.
The Mighty Simplex (2023)
(news.ycombinator.com)
42.
Data plus connection creates growth
(feeds.feedburner.com)
43.
How AI can monitor your movements to improve your health
(feeds.feedburner.com)
44.
Tesla rewards Elon Musk’s reality-distortion field
(theverge.com)
45.
Japan city drafts ordinance to cap smartphone use at 2 hours per day
(news.ycombinator.com)
46.
47.
Is mathematics mostly chaos or mostly order?
(news.ycombinator.com)
48.
Is Mathematics Mostly Chaos or Mostly Order?
(news.ycombinator.com)
49.
Open source can't coordinate?
(news.ycombinator.com)
50.
Open source can't coordinate
(news.ycombinator.com)
Today's top topics:
google
apple
openai
spacex
anthropic
samsung
remarkable
amazon
android authority
microsoft