Hacker News: eproxus

New comment by eproxus in "Desert Ant Labs: local, fast models that run on device"

eproxus — Wed, 09 Sep 2026 21:05:06 +0000

It does say this: "Certain by script: these characters belong to only one language, so the model never ran."

So I think it's some buggy code in their UI that even prevents the model from running.

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

eproxus — Sat, 05 Sep 2026 08:20:33 +0000

This the correct way to look at it. Just as the person spending 5 years working on this will have learnt many things which will be useful after this problem is solved, you have to factor in the training cost (sure it's only done "once", but that is the same for the person too once they jump on the next problem).

The model wouldn't not be able to solve this without all the training leading up to the actual execution, so counting only the tokens of the execution doesn't give the full picture.

New comment by eproxus in "Mom gets 6-month suspended sentence for letting 5-year-old walk to the pond"

eproxus — Thu, 03 Sep 2026 18:33:20 +0000

What's even worse is that they now probably made it a lot worse for that family, adding stress and trauma (at the very least). So in fact, the neighbor made the kid more unsafe than they originally were.

New comment by eproxus in "Evidence of Fraud in an Influential Study About Procrastination"

eproxus — Tue, 01 Sep 2026 06:24:02 +0000

Universities, institutions and publications who care about their reputation should pay people to replicate studies performed by people they employ in their name. Otherwise they will loose their trustworthiness.

But perhaps it is not as big a shame for them as some think it should be...

New comment by eproxus in "A spectre is haunting Unicode"

eproxus — Sun, 16 Aug 2026 11:41:01 +0000

This would make a great tattoo, as a pun on people getting Kanji character tattoos without being able to read Kanji.

Why Secure Boot Makes Disk Encryption Provisioning Harder Than It Looks

eproxus — Sun, 16 Aug 2026 11:20:08 +0000

Article URL: https://www.grisp.org/blog/posts/2026-08-13-disc-encryption-provisioning

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

Points: 2

# Comments: 0

New comment by eproxus in "1,741 "informed" consents with one click? GDPR complaint filed"

eproxus — Thu, 30 Jul 2026 16:05:09 +0000

Completely agree, the solution to so many privacy invasions and problems in tech is just because ads are allowed.

Would love to see a society where ads are not allowed. Cannot really see any downsides personally, but I’m sure many will claim ”how will companies survive?!” Hard to see it would lead to the collapse of either companies or society, but maybe of capitalism as we know it (which I think given the current state of the world would be such a bad thing).

New comment by eproxus in "How is the Bun rewrite in Rust going?"

eproxus — Mon, 27 Jul 2026 17:27:11 +0000

If that is true, isn't it a bit unconventional? What version are they using, some random Git SHA? Why couldn't that have been made to a release or a release candidate at least?

New comment by eproxus in "LG to ban residential proxies from smart TV apps"

eproxus — Wed, 22 Jul 2026 09:11:45 +0000

And if you install Tailscale you can even use it as an exit node to surf from home when you're traveling.

New comment by eproxus in "Zig Creator Calls Spade a Spade, Anthropic Blows Smoke"

eproxus — Tue, 14 Jul 2026 09:16:50 +0000

This is actually is an interesting example, because Cities Skylines 2 has been handed over from Colossal Order to Iceflake Studios recently and since then they have (in my opinion) quickly been able to improve and fix a lot of things that CO weren't able pull off for years. So perhaps CO's development was somewhat of a "total shit show"?

I'm not saying Unity should publish PR about how Unity is working well and this handover and subsequent fixes proves it, but I think you could argue that they could and that they would have at least some facts to back it up with.

New comment by eproxus in "Ask HN: Who wants to be hired? (July 2026)"

eproxus — Thu, 02 Jul 2026 13:49:15 +0000

Location: Berlin, Germany, Europe

Remote: Yes

Willing to relocate: No

Technologies: Erlang/Elixir, PostgreSQL, Kubernetes, HTTP, Rest, OpenAPI, Grafana

Resumé/CV: https://web.tresorit.com/l/k25pI#bXLXsrFlwqMqLkE47_s2Ig

Github: https://github.com/eproxus

Email: see profile

Senior backend engineer with 20+ years of Erlang/Elixir experience across payments, cloud, IoT, and large-scale game backends. Author and maintainer of widely-used open source Erlang libraries. Passionate about scalability, quality, testing and performance.

New comment by eproxus in "Windows 11 New Media Player Uses 3.5x More RAM, Charges for Popular Video Codecs"

eproxus — Sun, 21 Jun 2026 07:38:40 +0000

I still use K-Lite since they ship MPC-HC (a fork of Media Player Classic) that comes with really good HDR support and default configuration out of the box. If you don't like to have the desktop in HDR you can even configure it to automatically toggle on/off HDR whenever an HDR movies is played.

The HDR support in VLC has been really lackluster. Maybe it is better nowadays, I don't know.

New comment by eproxus in "Ask HN: Who wants to be hired? (June 2026)"

eproxus — Wed, 03 Jun 2026 07:56:53 +0000

Location: Berlin, Germany, Europe

Remote: Yes

Willing to relocate: No

Technologies: Erlang/OTP, Elixir, PostgreSQL, Kubernetes, HTTP, Rest, OpenAPI, Grafana

Resumé/CV: https://web.tresorit.com/l/k25pI#bXLXsrFlwqMqLkE47_s2Ig

Github: https://github.com/eproxus

Email: see profile

New comment by eproxus in "macOS needs its grid back"

eproxus — Tue, 02 Jun 2026 08:30:40 +0000

I've also switched to Instant Space Switcher, it is soo good! Previously I used BetterMouse for only this feature but they made the space switching worse in later versions (slower, on-par with the default macOS speed).

Here's the link if anyone is curious: https://github.com/jurplel/InstantSpaceSwitcher

New comment by eproxus in "Google Declaring War on the Web"

eproxus — Thu, 21 May 2026 06:12:02 +0000

I think in a different society this could have been the case (possibly, assuming the hype is somewhat true).

But the way society is structured now? We still live in feudalism, just uplifted to modern levels of ”comfort” (if you take of your western glasses and look at the whole world. There are still people living in medieval conditions today in some places in the world).

The way it’s going it’s only going to make rich people richer, and give them more power to control this system and perpetuate it. I don’t see that drastically changing anytime soon, unless we do something about it on a societal level.

New comment by eproxus in "GitHub is investigating unauthorized access to their internal repositories"

eproxus — Wed, 20 May 2026 06:49:50 +0000

It should be in their interest actually, since much of the malware is spread via GitHub.

New comment by eproxus in "Appearing Productive in the Workplace"

eproxus — Wed, 06 May 2026 19:15:45 +0000

Things have probably always been like that, agree. I often try to see AI as a catalyst, that accelerates what already is.

In a good culture, with high competence and trust this can yield increased output (to some degree at least) and in a bad culture it will accelerate and expedite the dominating traits instead.

New comment by eproxus in "We've raised $17M to build what comes after Git"

eproxus — Fri, 10 Apr 2026 11:54:26 +0000

Can you expand on this? How do you achieve it? Just a WIP JJ commit after every change or something more clever?

New comment by eproxus in "How the AI Bubble Bursts"

eproxus — Wed, 01 Apr 2026 06:17:28 +0000

That’s exactly what a bot would say ;-)

New comment by eproxus in "Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem"

eproxus — Sun, 29 Mar 2026 07:41:59 +0000

I you think you’ll be paid 3 hours of salary for every 5 minutes of work, I have bad news for you.

Most likely your 3 hours will be filled with managing 36 different AI sessions at a time and it will slowly break your brain.

At least if we keep doing capitalism the way we are.