How a data center company uses stranded renewable energy
(arstechnica.com)
18241.
18242.
18243.
Show HN: We moved from AWS to Hetzner, saved 90%, kept ISO 27001 with Ansible
(news.ycombinator.com)
18244.
On memes, mimetic desire, and why it's always that deep
(news.ycombinator.com)
18245.
Sega mistakenly reveals sales numbers of popular games
(news.ycombinator.com)
18246.
Using Microsoft's New CLI Text Editor on Ubuntu
(news.ycombinator.com)
18247.
18248.
18249.
Finding Peter Putnam
(news.ycombinator.com)
18250.
Verified dynamic programming with Σ-types in Lean
(news.ycombinator.com)
18251.
18252.
18253.
18254.
Mira Murati’s Thinking Machines Lab closes on $2B at $10B valuation
(techcrunch.com)
18255.
Verified Dynamic Programming with Σ-types in Lean
(news.ycombinator.com)
18256.
18257.
18258.
18259.
Career advice, or something like it
(news.ycombinator.com)
18261.
18262.
Rolling the ladder up behind us
(news.ycombinator.com)
18263.
18264.
Applebee’s and IHOP have plans for AI
(theverge.com)
18265.
ChatGPT: Everything you need to know about the AI-powered chatbot
(techcrunch.com)
18266.
Show HN: Nxtscape – an open-source agentic browser
(news.ycombinator.com)
18267.
18269.
18270.