Hacker News: eproxus

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

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. Speaker and teacher at conferences

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.

New comment by eproxus in "Our commitment to Windows quality"

eproxus — Sat, 21 Mar 2026 13:43:30 +0000

It's basically the blog post version of "Yes | Remind me later". I have very little trust at this point that anything tied to short term financial interest will change (OneDrive, AI, Recall, Microsoft accounts vs local accounts, data collection etc.). Obviously (to us, but apparently not to them) it is ultimately tied to long term financial interest. I don't believe they are able to see that based on the decisions they've been taking the last decade.

New comment by eproxus in "Shall I implement it? No"

eproxus — Fri, 13 Mar 2026 09:02:13 +0000

In planning I sometimes add ”ask me questions as we go to iron out details and ambiguities.” Works quite well.

New comment by eproxus in "macOS Tahoe windows have different corner radiuses"

eproxus — Tue, 10 Mar 2026 15:00:08 +0000

They obviously have been cutting corners.

New comment by eproxus in "Hello world does not compile"

eproxus — Sun, 08 Feb 2026 07:55:40 +0000

It should probably be a percentage of upvotes to be fair then.

New comment by eproxus in "Hello world does not compile"

eproxus — Sat, 07 Feb 2026 10:41:58 +0000

Flagging is the new downvote, with extra power. No one can say no to you, if enough people (who knows how many, 1, 5, 20? Definitely an order of magnitude less that upvotes least) do it the system automatically hides it. And unless the mods care, the system can be abused very easily.

I’ve seen posts with 500+ upvotes that were still flagged. I think the balance and automation around flagging is completely off and too easily abused.

New comment by eproxus in "ICE protester says her Global Entry was revoked after agent scanned her face"

eproxus — Mon, 02 Feb 2026 13:48:34 +0000

I mean, they kind of have to, when they are the ones falling under that very same definition, right?

New comment by eproxus in "cURL removes bug bounties"

eproxus — Wed, 21 Jan 2026 11:22:10 +0000

That's because we stopped calling others out for shameful, disrespectful or unethical behavior as a rule. So there is less or nothing to be ashamed about anymore.

MacBooks, Apple Neural Engine, and Overheating

eproxus — Tue, 20 Jan 2026 09:58:34 +0000

Article URL: https://www.gethopp.app/blog/macbook-m4-overheating

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

Points: 3

# Comments: 0

New comment by eproxus in "Show HN: Gemini Pro 3 imagines the HN front page 10 years from now"

eproxus — Wed, 10 Dec 2025 18:39:35 +0000

This is incredibly funny, I’m impressed. The FAQ of the No-AI Editor is hilarious:

Q: I typed "make website" and nothing happened? A: That is correct. You have to write the HTML tags.

Q: How do I center a div without the Agent? A: Nobody knows. This knowledge was lost during the Great Training Data Purge of 2029.

New comment by eproxus in "MinIO is now in maintenance-mode"

eproxus — Wed, 03 Dec 2025 19:34:53 +0000

That page crashes Safari for me on iOS.

New comment by eproxus in "MinIO is now in maintenance-mode"

eproxus — Wed, 03 Dec 2025 19:32:56 +0000

Yeah, that page is horrendous and looks super sketchy. It looks like a very professional fishing attempt to get unsuspecting developers to download malware.

They have a lot of obviously fake quotes from non-existent people at positions that don’t even mention what company it is. The pictures are misgendered and even contain pictures of kids.

Feels like the whole page is AI generated.

New comment by eproxus in "Markdown is holding you back"

eproxus — Sun, 23 Nov 2025 09:41:12 +0000

Djot is another interesting alternative that tries to make Markdown more parsable and coherent: https://github.com/jgm/djot#rationale