HNHacker News
TopNewBestAskShowJobs

alberto-m

1,428 karma · joined October 23, 2017

marnetto.net alberto.m.dev@gmail.com
submissionscomments
alberto-m··on Let's Stop Debating the Gnu Imp Manipulation Program
I actually think your comment reinforces the point of the author. Zero interest into making things clear or attractive to outsiders, the main point is to be smug towards those poor ignorants.

Good post, and the advanced use of the font typographic settings was alone worth the visit.

alberto-m··on The body temperature of Tyrannosaurus rex
Missed that, thanks. I searched "Tyrannosaurus" on Algolia before submitting, but it was not sufficient.
alberto-m··on 16-bit Intel 8088 chip (c. 1985)
> but the wind still blows over / Savannah

Is this a citation of a former work? There's a famous Italian song titled “And yet the wind still blows” (1978), built in the same format of this poem.

alberto-m··on Most people prefer traditional architecture
Maybe in “Whither Tartaria” by Scott Alexander, which covers a similar topic.
alberto-m··on Most people prefer traditional architecture
“Form follows function” is attributed to Louis Sullivan, author of very beautiful buildings. Whatever excuse modernist architects have for inflicting misery upon us laymen, this principle is not one of them.
alberto-m··on OpenAI’s Navier-Stokes release included a Lean 4 formal proof
The other part no one is talking about is the applicability. Navier-Stokes is the most “physical” of the Millennium Problems. Is the exploding solution a mathematical curiosity, just like the Banach-Tarski Paradox does not allow me to double my RAM by cutting my memory modules in five pieces and mounting them back appropriately? Or does it have application in the real world, pointing to hitherto unknown resonance phenomena that could allow to prevent the next Tacoma Bridge incident (or, more sadly, to build new marine weapons)?
alberto-m··on On the Navier–Stokes Millennium Prize Problem
Since you are a very new account, allow me to inform you that copy-pasting the same comment throughout the thread is very bad form.
alberto-m··on Formalizing Fermat's Last Theorem
There are hopefully still some Ludi to play before doing that, Magister.
alberto-m··on Paint.net 5.2 alpha now runs on Linux
> Note: The MIT license does not require credit.

The MIT notice starts with “Copyright (c) <year> <copyright holders>”, and who uses the code must include that line in any derived work.

> Also I rather doubt

Do you doubt Claude's rewrite can be defined as “clean room” (I also do)? Or that Claude is able to rewrite it? Or that it would not have been possible otherwise?

alberto-m··on How Europe is killing makers and micro-entrepreneurs
> Really the chances that someone will ask a small company to be compliant are just very low.

So EU has replaced rule of law with a system where every SME is a criminal and enforcement is left to chance or to the whim of the regulator (“oh, you criticized von der Leyen on your website? We cannot prosecute you for this, but let's send some inspectors to check if you are complying with the PPWR”).

Italy works like that for tax compliance. I've read USSR also worked in a similar way. The effect on economy and innovation is always catastrophic.

alberto-m··on Belgian car salesman becomes prince after DNA test proves royal parentage
Or Plato's Republic, if one prefers older books.
alberto-m··on Universal health coverage could save $1T and 114k lives a year: study
Much less, the average monthly cost is about 123 CHF (less than 150$). Source: https://www.bag.admin.ch/de/newnsb/d2okh_kUK_OFhmMDfpyiy

Same in Germany: private kids' insurance costs a fraction of the one for adults. Apparently it's very unlikely that they require expensive healthcare.

alberto-m··on Google has acquired the data of failed US airline Spirit
Did they consent? Just because one receives a letter it doesn't mean they “own” it, much less that they are entitled to publish it at their leisure. If Spirit were active in any country with GDPR-style laws, the seller of these data would be most likely investigated.
alberto-m··on More German than many Germans
> but the chat absolutely needs to happen in German. Why? Work culture.

It's absolutely normal that people speak their mother tongue when they have the possibility. One can be kind and speak English to make a guest feel more comfortable, but if a permanent resident refuses to learn the local language fluently he should not demand that everyone else bends over backwards to accommodate him.

alberto-m··on Ten advances in mathematics and theoretical computer science
It's incredible how the “Chinese Room” argument, as well as its counterarguments, is still incredibly pertinent despite being now more than 40 years old. Scientific American published many articles on this topic in the Eighties; they seem as fresh as ever.
alberto-m··on Ten advances in mathematics and theoretical computer science
Not OP, but my interpretation is this.

Quantum waveform collapse has been proposed as explanation for consciousness, allowing to explain how an entity can have free will and yet obey rigid physical laws: https://en.wikipedia.org/wiki/Consciousness_causes_collapse

I think OP is suggesting a similar thing happened in the LLM, implying it gained consciousness despite following a well-defined compute process.

alberto-m··on RFC/The future of Abstract Wikipedia
I've been away from the Wikipedia environment for more than a decade, but this seems the n-th chapter of the WMF implementing something that the contributor community does not want, but will help to pad the CVs of managers and developers of the Foundation itself. Just like LiquidThreads, the Media Viewer, etc.
alberto-m··on UEFA and its national associations will not participate in FIFA competitions
What would be the purpose of the clause "not exceeding 15 minutes" then? The rule is clear: the competition can choose an inverval duration between 0-15 minutes, the referee can alter it inside that range (I've only ever seen it extended beyond that span for unplanned force majeure reasons like a storm).

In any case it's clear that the WC referee had no role in the scheduling of those half-time antics.

alberto-m··on UEFA and its national associations will not participate in FIFA competitions
The IFAB, just like in any other event. The Laws of the Game are codified, and FIFA has insufficent voting power to change them unilaterally: https://en.wikipedia.org/wiki/Laws_of_the_Game_(association_...
alberto-m··on UEFA and its national associations will not participate in FIFA competitions
Changing the pauses of the game alters the momentum and, as consequence, the results. How is that “inconsequential”? There have been cases of corrupted referees before, but violating the Laws of the Game in plain sight is an unprecedented attack on the sport.
alberto-m··on Ron Gilbert started production on Thimbleweed Park 2
Graphic adventures ceased to be popular before YouTube and smartphones started to damage the average capability to focus. The famous post https://www.oldmanmurray.com/features/77.html illustrates how the genre became too contrived and self-referential (even poking fun at those who blame “television-atrophied attention spans”).

But the rest of your point stands. I keep reading young gamers complaining about adventures and role-playing games being “too difficult” whenever they don't put big flashing arrows on the next character or place to interact with. I cannot understand that: if one can solve a puzzle without grit, what pleasure does that bring? It's the same as watching TV.

alberto-m··on Ron Gilbert started production on Thimbleweed Park 2
I found the puzzles fair enough, but my impressions about writing and characters match yours.
alberto-m··on Making
> My theory is that if you are a systems person you find using LLMs fun and fulfilling and if you are a details person you find that they are the opposite.

There was echoed by Andrej Karpathy: “LLM coding will split up engineers based on those who primarily liked coding and those who primarily liked building.”

alberto-m··on Judge approves $1.5B Anthropic settlement for pirated books used to train Claude
This is literally the tale of Alexander and the pirate, told in “The City of God” (V century). Nothing new under the sun, unfortunately.
alberto-m··on AI in mathematics is forcing big questions
The argument of your imaginary dialogue is very weak. To run a valid marathon one must cover 42 kms, but we do not run marathons because we want to be 42 kms away. Building a robot to do that would be probably an interesting feat for robotics, but it would not leave any mark in the history of the sport.
alberto-m··on Stealing Is a Skill
> people defending theft and then arguing that if you change the position of one comma in the entirety of Harry Potter, then it's an acceptable new product.

History rhymes, indeed. Almost two centuries ago, Balzac wrote:

> A man spends ten years of his life searching for an industrial secret, a machine, some kind of discovery, he takes out a patent, he believes he is master of his thing, he is followed by a competitor who, if he has not foreseen everything, perfects his invention with a screw, and thus takes it out of his hands. [Illusions perdues, 1843]

alberto-m··on How Quake Ruined Id Software
Obligatory xcancel link:

https://xcancel.com/SandyofCthulhu/status/206959220964578529...

alberto-m··on World Cup 2026 qualification calculator from FIFA Docs
> It's surprisingly hard to know what your team has to do to get through with the new regulations.

As an Italian, I disagree :-)

Really well made site. Good info density, plenty of data presented in a logical order. Thanks for sharing it!

alberto-m··on The Wholesale Plagiarism of Obscure Sorrows
I think because a proprietary IP owner can allocate some budget to sue the infringers. A community of OSS contributors may lack the money, the will or the know-how to do that.

They will also face a much harder task when explaining their case to a judge. The contributors to the open-source chess engine Stockfish needed a lot of time and energy to convince a German court that it was illegal for the commercial engine Houdini to copy their algorithms.

alberto-m··on DOS Game "F-15 Strike Eagle II" reversing project needs DOS test pilots
The dev blog is one of the best retro-reversing journals you can find. Happy reading!
Page 1 of 5Next →