5 points, 1 comments on Hacker News
Source: [Hacker News](https://karagila.org/2026/lean/)
📰 Read Full Story
This is an aggregated headline summary. For the complete report, visit the original publisher.
Continue Reading at Hacker News ↗More Headlines
Show HN: Throw Alice and Bob into Sagittarius A*
Black Hole Lab is an open source physics simulation of a rotating black hole and two observers, Alice and Bob. You can launch Alice and Bob on paths around or into the black hole and watch events play out. The simulation lets you see a slice of the physics with one or two dimensions of space ...
We spent $1200 on a booth at HITEX 2026. Here's what we got
1 points, 0 comments on Hacker News
Borel jet extensions via higher categories and homotopy type theory
1 points, 0 comments on Hacker News
DuckDB Runs Recursive CTEs Faster
1 points, 0 comments on Hacker News
Hackers abuse Google Ads, Bing redirects to push Claude ClickFix attacks
4 points, 0 comments on Hacker News
The Token Economy: Why Falling Token Prices Have Not Lowered AI Bills
1 points, 0 comments on Hacker News