Hacker News: hokkos

New comment by hokkos in "Formalizing Fermat's Last Theorem"

hokkos — Fri, 04 Sep 2026 20:11:00 +0000

their reaction here : https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...

New comment by hokkos in "Qwen 3.8 27B is excellent, but it defaults to overthinking things"

hokkos — Mon, 17 Aug 2026 09:42:37 +0000

it is not the marginal price for household users, but the (average electricity bill : subscription + consumption) / (average consumption), so it will be higher than the additional kwh consumed.

New comment by hokkos in "Docker Sandboxes – Disposable, isolated sandboxes for AI agents"

hokkos — Mon, 10 Aug 2026 07:14:28 +0000

Wow, I hope one day Linux will be able to support the exclusive MacOs/Windows technology of Docker Sandboxes.

(it's in the doc, but kinda strange to not see some instructions on the main page, probably distro related)

New comment by hokkos in "Windows 11's built-in Weather app wastes more than 1 GB of RAM"

hokkos — Sun, 09 Aug 2026 16:59:36 +0000

Apple Weather app can jump to 1GB on a mac if you click around a little with the wind gust direction particle effect in the map

New comment by hokkos in "AWS: Inaccurate Estimated Billing Data - $1.7 BILLION"

hokkos — Fri, 17 Jul 2026 10:56:05 +0000

Same, i am now a slave to Jeff Bezos to the end of my life.

New comment by hokkos in "I'm a USB-C Maximalist"

hokkos — Tue, 14 Jul 2026 22:17:14 +0000

An electric toothbrush can never break: it can only become a toothbrush. You should never see an “Electric Toothbrush Temporarily Out of Order” sign, just “Electric Toothbrush Temporarily Manual.” Sorry for the exercise.

New comment by hokkos in "Woman in Brazil enslaved for 55 years by 3 generations of the same family"

hokkos — Sun, 12 Jul 2026 13:32:42 +0000

Serfdom was abolished in the Kingdom of France in 1315.

New comment by hokkos in "Show HN: Follow London Trains in 3D"

hokkos — Wed, 08 Jul 2026 15:51:11 +0000

There seems to be some parallax issues between your trip layer and your 3D Tiles layer, but nice usage of deck.gl.

New comment by hokkos in "AMD Ryzen AI Halo – $4k AI Dev Kit"

hokkos — Mon, 06 Jul 2026 21:06:15 +0000

People complain about the cost of RAM for data centers, yet happily buy devices with 128 GB of RAM that will see an order of magnitude less use than servers in those same data centers.

New comment by hokkos in "Vite+ Beta"

hokkos — Thu, 02 Jul 2026 22:03:50 +0000

being worked on : https://github.com/oxc-project/oxc/discussions/21936

New comment by hokkos in "EU Open Sources Ten-Year Network Development Planning Tools"

hokkos — Sun, 28 Jun 2026 14:37:32 +0000

it's juste a model from Technical University of Munich not an official model from ENTSOE for TYNDP

New comment by hokkos in "Codex logging bug may write TBs to local SSDs"

hokkos — Mon, 22 Jun 2026 09:58:15 +0000

is it closed source ? i can see the rust code in repo contrary to the JS in claude code repo, are you mixing them up ?

New comment by hokkos in "Total Iran Economic Damage Estimate"

hokkos — Tue, 16 Jun 2026 22:01:08 +0000

So this is why the US will pay $300B for their surrender.

New comment by hokkos in "Yserver: A modern X11 server written in Rust"

hokkos — Sun, 14 Jun 2026 21:26:50 +0000

Seems pretty accurately disclosed to me https://github.com/joske/yserver/graphs/contributors

New comment by hokkos in "Erin Brockovich made a map to track data centers around the country"

hokkos — Wed, 27 May 2026 06:20:50 +0000

And its own map is obviously vibe coded (each Key Concerns box raises when hovered).

New comment by hokkos in "Not alive, but not dead: disembodied human brains used for drug testing"

hokkos — Wed, 20 May 2026 20:50:49 +0000

I Have No Mouth, and I Must Scream.

New comment by hokkos in "Spain has become one of Europe’s cheapest power markets"

hokkos — Sun, 10 May 2026 21:22:27 +0000

Jan Rosenow doesn't know what he is talking about, power markets are not only day ahead market, but there are a lot of other maturities, CAL27 is higher in Spain than France or the Nordics.

https://www.eex.com/en/market-data/market-data-hub

New comment by hokkos in "Walking slower? Your ears, not your knees, might be the problem"

hokkos — Sun, 10 May 2026 18:56:15 +0000

An obvious confounding factor is age, did they accounted for this?

New comment by hokkos in "BYD overtakes Tesla and Kia as the best-selling EV brand in key overseas markets"

hokkos — Wed, 06 May 2026 21:25:55 +0000

Freedom.

New comment by hokkos in "Formatting a 25M-line codebase overnight"

hokkos — Mon, 04 May 2026 21:20:56 +0000

Now it makes me wonder, are those 45M LoC are untyped ?