Article URL: https://dhilst.github.io/algae/game/index.html
Comments URL: https://news.ycombinator.com/item?id=48797895
Points: 8
# Comments: 1
Technology
Dungeon Proof Crawler: learn how to write proofs with RPG
Hacker News
Sunday 05 July 2026, 21:00 UTC
By SchwKatze
1 min read
Key Points
Article URL: https://dhilst.github.io/algae/game/index.html Comments URL: https://news.ycombinator.com/item?id=48797895 Points: 8 # Comments: 1
Originally published by Hacker News
Read original →
Related Stories
What caused the pre-holiday chip stock slump and what to do about it
The session before a long holiday weekend. It was a toxic combination that crushed chip stocks on Thursday. The market was closed Friday in observance of the Fourth of July — so, understandably, Thursday's trading volume was light, which made stocks vulnerable to big swings.
CNBC
5m ago
Millennial Samsung Union Leader’s $26 Billion Bonus Victory Turns to Bitterness
Millennial Samsung Union Leader’s $26 Billion Bonus Victory Turns to Bitterness Avoiding old-school labor ideology, a new generation of tech workers finds itself divided by the AI boom. As recently as late May, Choi Seung-ho was hailed as a hero. Rallying workers at Samsung Electronics Co. to demand a greater share of profits, the union leader secured a staggering windfall, particularly for some semiconductor workers who were promised bonuses of roughly $400,000 this year.
Bloomberg Technology
36m ago
Netflix Viewers Are Abandoning Shows After One Season
Netflix Viewers Are Abandoning Shows After One Season Netflix’s biggest hits are losing more than half of their audience after one season Good afternoon from Los Angeles. I just got back from four days in Northern California, a vacation that also took me driving through Los Gatos, the long-time home of Netflix. Shares in Netflix are down 17% this year and 40% over the last year.
Bloomberg Technology
36m ago
DNSGlobe – Rust TUI to watch DNS propagate around the world
A global DNS propagation checker for your terminal — a Rust TUI that queries 34 public DNS resolvers around the world in parallel, compares their answers, and shows the propagation of your record on a world map. Think dnschecker.org / whatsmydns.net, but in your terminal, with watch mode: start a check and it re-polls until the record has propagated everywhere. Resolvers span the global anycast networks (Google, Cloudflare, Quad9), North America, Europe, Russia, the Middle East, East Asia,...
Hacker News
41m ago