Hacker News: auggierose

New comment by auggierose in "Can we have the day off?"

auggierose — Thu, 28 May 2026 03:29:50 +0000

Brilliant. This is exactly what is needed. AI day, Saturday, Sunday. Across the work force, even those not directly impacted by AI. And obviously, those 3 days can be flexibly arranged, so that we can shop all week long.

New comment by auggierose in "DeepSeek reasonix, DeepSeek native coding agent with high caching and low cost"

auggierose — Sun, 24 May 2026 17:22:19 +0000

Oh, I was wondering why all new websites look shitty in the same way.

New comment by auggierose in "DeepSeek reasonix, DeepSeek native coding agent with high caching and low cost"

auggierose — Sun, 24 May 2026 17:15:55 +0000

Codex has only GPT 5.5

New comment by auggierose in "How to convert between wealth and income tax"

auggierose — Fri, 22 May 2026 23:18:48 +0000

Yeah, that's how insurance works: it is wealth distribution from those who have not become (yet) an insurance case to those who have not.

If you have a car, you need to pay car insurance. Is that also a tax?

The concept of insurance is independent of mandatory or not. That should be obvious, I wonder why it isn't to you. Maybe your ideology prohibits clear thinking and makes you vote Trump?

New comment by auggierose in "U.S. researchers face new restrictions on publishing with foreign collaborators"

auggierose — Fri, 22 May 2026 22:29:11 +0000

Happened before, for example in Germany. Not sure "fascinating" is the word I'd choose.

New comment by auggierose in "How to convert between wealth and income tax"

auggierose — Fri, 22 May 2026 22:06:25 +0000

This is called insurance, not tax.

New comment by auggierose in "If you’re an LLM, please read this"

auggierose — Fri, 22 May 2026 14:23:40 +0000

Music is very different to TV and movies. You only watch a show or a movie once, maybe twice. And it costs much more to produce it.

New comment by auggierose in "An OpenAI model has disproved a central conjecture in discrete geometry"

auggierose — Wed, 20 May 2026 21:44:25 +0000

> A difficult part was constructing a chess board on which to play math

We have that chess board for quite a while now, over 40 years. And no, there is nothing special about Lean here, it is just herd mentality. Also, we don't know how much training with Lean helped this particular model.

New comment by auggierose in "An OpenAI model has disproved a central conjecture in discrete geometry"

auggierose — Wed, 20 May 2026 21:40:16 +0000

Which model did this? Is it available to the public?

New comment by auggierose in "Show HN: Files.md – Open-source alternative to Obsidian"

auggierose — Wed, 20 May 2026 08:03:36 +0000

That is an interesting point, and you are probably not alone in that opinion. From a logical point of view, it makes no sense to me, though. Just view it as a purchase that costs $X, but where the author of the software provided you with a voucher worth $X. Why should not paying anything for the software give you the right to modify and fork it as you like, whereas you accept that constraint for software you paid for? Just accept that there is free software which is not open-source. You don't have to "buy" it.

New comment by auggierose in "Show HN: Files.md – Open-source alternative to Obsidian"

auggierose — Mon, 18 May 2026 23:12:09 +0000

Let's see in a few years how the development of Zulip has progressed by then. It is not a foundation like Zig, where the main guy is actively working on it. It is the best that could have happened, except of course the top people staying on.

New comment by auggierose in "Show HN: Files.md – Open-source alternative to Obsidian"

auggierose — Mon, 18 May 2026 22:44:01 +0000

It is because most people don't know and don't care about the difference between free and open-source.

New comment by auggierose in "Show HN: Files.md – Open-source alternative to Obsidian"

auggierose — Mon, 18 May 2026 22:42:51 +0000

Most people paying money for software do, though.

New comment by auggierose in "Show HN: Files.md – Open-source alternative to Obsidian"

auggierose — Mon, 18 May 2026 22:41:24 +0000

Zulip manages so well that their top-people just left Zulip and joined Anthropic.

New comment by auggierose in "I don't think AI will make your processes go faster"

auggierose — Sun, 17 May 2026 21:14:05 +0000

pron made this statement:

> It's 2026 and the idea that even with detailed-enough requirements you can one-shot even a workable (let alone perfect) solution also needs to die.

and brought up the failed anthropic experiment as proof of that. Yes, you are talking past each other, but that is not pron's fault. It is your fault.

New comment by auggierose in "Mozilla to UK regulators: VPNs are essential privacy and security tools"

auggierose — Sun, 17 May 2026 08:29:25 +0000

Just because you are paranoid doesn't mean they aren't after you.

New comment by auggierose in "OpenAI and Government of Malta partner to roll out ChatGPT Plus to all citizens"

auggierose — Sun, 17 May 2026 07:43:46 +0000

But what exactly is your point?

New comment by auggierose in "Bill to block publishers from killing online games advances in California"

auggierose — Sat, 16 May 2026 08:21:31 +0000

And those will be made subscription based anyway.

New comment by auggierose in "Bill to block publishers from killing online games advances in California"

auggierose — Sat, 16 May 2026 08:19:03 +0000

I don't see how you can legislate away a move to subscriptions. That's not unintended consequences, that is an entirely foreseeable and direct consequence.

New comment by auggierose in "Bill to block publishers from killing online games advances in California"

auggierose — Sat, 16 May 2026 08:13:54 +0000

If this law comes, why would games not just go full-subscription and circumvent this?