Hacker News: krcz

New comment by krcz in "How accurate have Ed Zitron's AI skeptic predictions been?"

krcz — Wed, 02 Sep 2026 00:28:59 +0000

Interesting; he is clearly saying that they were ("as a field") "confident and wrong" to believe that "the economy would have been completely upended" by the appearance of a model as strong as GPT4. What seems to be missing, from your point of view, to consider it an admission of being wrong?

New comment by krcz in "Short sellers notch $8.7B profit as SpaceX shares dip to IPO price"

krcz — Sat, 18 Jul 2026 11:48:19 +0000

Wouldn't it be possible to use heat pumps, making radiators 100C or hotter while running GPUs much below that?

New comment by krcz in "Please Do Not Vibe Fuck Up This Software"

krcz — Sun, 31 May 2026 13:50:18 +0000

Or no one is to blame, if the mechanism of the regression is complex and non-obvious based just on the patch itself.

New comment by krcz in "Please Do Not Vibe Fuck Up This Software"

krcz — Sun, 31 May 2026 12:58:12 +0000

Regressions are bad and they should be avoided. Still, software engineering is a complex thing and regressions happened long time before coding agents were a thing. Unless one can pinpoint regression to changes that were more sloppy than the human-written rsync commits were I don't think coding agents are to blame.

New comment by krcz in "Please Do Not Vibe Fuck Up This Software"

krcz — Sun, 31 May 2026 12:30:02 +0000

I believe your point is not that it has never failed for anyone in the last few years after upgrade? Then, if the claim is that breakage is considerably worse than it used to be before using coding agents: it is possible, but I think it requires more evidence than a few anecdotes.

New comment by krcz in "Ending our third party fact-checking program and moving to Community Notes model"

krcz — Tue, 07 Jan 2025 20:19:07 +0000

> Imagine math if we'd question the basic axioms.

No need to imagine, it's enough to look into non-Euclidean geometry (obtained by excluding Euclid's fifth axiom), non-standard models of geometry, or reverse mathematics (studying which axioms are necessary for a specific theorem to be provable).

New comment by krcz in "Beyond Functional Programming: The Verse Programming Language [pdf]"

krcz — Mon, 12 Dec 2022 01:41:37 +0000

These are not possible, as x can be 7 only if y is 7, and likewise for 8. Semantics isn't based on sets, but on non-deterministic assignments to variables: y is either 7 or 8 and x is either y or 2.

New comment by krcz in "Computer proof ‘blows up’ centuries-old fluid equations"

krcz — Sat, 19 Nov 2022 10:29:17 +0000

It's a social construct in the the same sense anything not directly verifiable using senses is. Is there an Eiffel tower in Paris? Most people haven't seen it, so they can only accept the social consensus that it is there.

If one can afford it, they can travel to Paris and check themselves. The same with mathematical truth: if one has means (time, intelligence, access to training), they can check the proof themselves. Otherwise they need to trust the consensus.

So again, is the truth in mathematics just a social construct? In some sense, I guess, but probably not the one some people might assume hearing such a statement.

New comment by krcz in "Let's Settle This"

krcz — Mon, 10 Jan 2022 13:20:00 +0000

For the people wondering what is that comment doing here: in Polish it means "what a mess".

New comment by krcz in "Teen Girls Are Developing Tics. Doctors Say TikTok Could Be a Factor"

krcz — Sun, 17 Oct 2021 11:33:41 +0000

TikTok is not good for getting deep understanding of things, but it is great for discovery. you can get familiar with the surface level so you have a better idea where you want to dive deeper

New comment by krcz in "Gitfs: Version Controlled File System"

krcz — Sun, 22 Aug 2021 14:03:21 +0000

I like the idea - does it support .gitignore though? I wasn't able to find anything in the documentation and GitHub issues seem to be confusing in that regards. If it doesn't, it might be hard to use with tools that create temporary or output files in the directory, such as compilers, LaTeX, some editors, etc.

New comment by krcz in "Belarus 'diverts Ryanair flight to arrest journalist', opposition says"

krcz — Sun, 23 May 2021 20:39:19 +0000

Polish prime minister calls it an "act of state terrorism": https://twitter.com/MorawieckiM/status/1396486258747183106

New comment by krcz in "India’s second wave of Covid-19 feels nothing like its first"

krcz — Sat, 01 May 2021 17:18:10 +0000

Are you sure that statistic wasn't for ventilators, not oxygen?

New comment by krcz in "Children Playing Blockchain"

krcz — Tue, 09 Mar 2021 20:40:38 +0000

Only if by "work involved" you mean burning lots of electricity with expensive GPUs/ASICs.

New comment by krcz in "Rent controls have split housing in Berlin into two distinct markets"

krcz — Tue, 02 Mar 2021 21:52:18 +0000

I fully agree, thousandfold price increases would suggest that processes that control prices in free market system had become unstable. In such cases I'd agree with state intervention. Fortunately it doesn't happen that often.

> Also, this doesn't really apply to housing. Correct, it's more complex there and some of the reasons are mentioned in the article.

New comment by krcz in "Rent controls have split housing in Berlin into two distinct markets"

krcz — Tue, 02 Mar 2021 16:52:07 +0000

When the price explodes, bakers may hire more people and bake bread during night and day, increasing the supply.

New comment by krcz in "The Road to Utopia: A manifesto for reclaiming a humanist future (2020)"

krcz — Sat, 06 Feb 2021 11:44:05 +0000

The manifesto seems to agree with that:

> Utopia is not a destination we should ever expect to reach—it is a point on a compass.

New comment by krcz in "The Media and Silicon Valley Are at War"

krcz — Tue, 02 Feb 2021 14:33:55 +0000

Maybe there just is no objective "right" and it's better to have two biased stories with diverse biases instead of one trying its best to be unbiased.

New comment by krcz in "Ask HN: Show me your half baked project"

krcz — Sat, 09 Jan 2021 17:43:32 +0000

Zygote [1], started as bunch of ideas about programming languages, now it is in exploration/design phase, might end up becoming a new programming language.

Main goals: idiomatic translation (transpilation into readable code, with both imperative and functional targets possible, e.g. translating map-filter-reduce chain into a loop), restricted homoiconic syntax (with typed macros), advanced language concepts (dependent types, contracts, verification, effect systems) implemented as macros.

Target uses: GPU/heterogenous programming, neural networks model definitions, cryptography; everywhere where control is needed over how abstractions are translated into the low level code.

[1] https://github.com/krcz/zygote

New comment by krcz in "Capitol Police rejected offers of federal help to quell rioting"

krcz — Fri, 08 Jan 2021 17:35:21 +0000

> opening the barriers for them

https://www.snopes.com/fact-check/capitol-police-opened-gate...

https://www.politifact.com/article/2021/jan/07/ask-politifac...