Hacker news

Article URL: https://the-nerve-blog.ghost.io/to-be-a-better-programmer-write-little-proofs-in-your-head/

Comments URL: https://news.ycombinator.com/item?id=44573409

Points: 76

# Comments: 37

https://the-nerve-blog.ghost.io/to-be-a-better-programmer-write-little-proofs-in-your-head/

Article URL: https://www.reuters.com/technology/mira-muratis-ai-startup-thinking-machines-raises-2-billion-a16z-led-round-2025-07-15/

Comments URL: https://news.ycombinator.com/item?id=44573574

Points: 32

# Comments: 22

https://www.reuters.com/technology/mira-muratis-ai-star

Article URL: https://www.neowin.net/news/kdes-android-tv-alternative-plasma-bigscreen-rises-from-the-dead-with-a-better-ui/

Comments URL: https://news.ycombinator.com/item?id=44573752

Points: 46

# Comments: 6

https://www.neowin.net/news/kdes-android-tv-alternative-plasma-bigscreen-ris

Article URL: https://words.filippo.io/passkey-encryption/

Comments URL: https://news.ycombinator.com/item?id=44574095

Points: 36

# Comments: 1

https://words.filippo.io/passkey-encryption/

Article URL: https://www.nubero.ch/blog/015/

Comments URL: https://news.ycombinator.com/item?id=44573887

Points: 20

# Comments: 1

https://www.nubero.ch/blog/015/

Article URL: https://github.com/videosdk-live/agents

Comments URL: https://news.ycombinator.com/item?id=44573799

Points: 22

# Comments: 5

https://github.com/videosdk-live/agents

Article URL: https://huggingface.co/mistralai/Voxtral-Mini-3B-2507

Comments URL: https://news.ycombinator.com/item?id=44574204

Points: 13

# Comments: 1

https://huggingface.co/mistralai/Voxtral-Mini-3B-2507

I've always been dissatisfied that simple Mandelbrot explorers proport themselves as a Fractal Graphing Calculator. In summer break between semesters, I started making a real graphing calculator, parsing LaTeX to WebGL to let you graph most any combination of z and c.

Fun ones to try include - sin(z^2+c) - c^z - z^{1.7}+c

Also supports animation, just enter any other letter and turn it into a variable. Supports Mandelbrot or Julia Set style calculation.

Use with a graphics card or inte

Article URL: https://www.engadget.com/ai/meta-announces-huge-new-data-centers-but-they-could-gobble-up-millions-of-gallons-of-water-per-day-174000478.html

Comments URL: https://news.ycombinator.com/item?id=44574382

Points: 16

# Comments: 25

https://www.e

Article URL: https://nypost.com/2025/07/15/business/meta-shareholders-aim-to-haul-ceo-mark-zuckerberg-sheryl-sandberg-to-court/

Comments URL: https://news.ycombinator.com/item?id=44574506

Points: 8

# Comments: 0

https://nypost.com/2025/07/15/business/meta-shareholders-aim-to-haul-