HNHacker News
TopNewBestAskShowJobs

grt_thr

72 karma · joined May 23, 2023

submissionscomments
grt_thr··on Japan’s government will not enforce copyrights on data used in AI training
I guess I should just never have to pay for another movie since I can't play it back in my head flawlessly.
grt_thr··on Rust has been forked to the Crab Language
Rust has been rather monolithic. There is no such thing as a rust spec, just whatever the rust compiler does. This is a good first step to making it into a language people work in rather than just blog about.
grt_thr··on XFS Metadata Corruption on Linux 6.3 Tracked Down to One Missing One-Line Patch
We can't do unit tests against a database with a known state. How do you think one does a unit test on hardware in an unknown state?
grt_thr··on Wikipedia had wrong Vatican flag for years – now incorrect flags are everywhere
For secular states. The coat of arms of the Kingdom of Jerusalem used gold on silver. The coat of arms of the papacy on the other hand is not the flag so they can do whatever they feel like there.
grt_thr··on Why I Left Rust
You start a project that aims to be inclusive of everyone you end up with people who aren't accepted anywhere else.

In short: gates are there for a reason.

grt_thr··on Lawyer cites fake cases invented by ChatGPT, judge is not amused
Ironically enough this sounds exactly like how bing was justifying its gas lighting before it got lobotomised.
grt_thr··on Firefox displayed a pop-up ad for Mozilla VPN over an unrelated page
If Firefox was bad for Google then would Google be paying them 500m a year?
grt_thr··on Firefox displayed a pop-up ad for Mozilla VPN over an unrelated page
There are dozens of smaller browsers that don't abuse their users. When Firefox loses the mind share it no longer deserves they will finally get enough money to hire a full-time developer.
grt_thr··on Not Even a Recession: The Great German Gas Debate in Retrospect [pdf]
There isn't a German expedition energy market, there is a European one.
grt_thr··on The brand new Thunderbird logo
The current logo was from 2018.
grt_thr··on The brand new Thunderbird logo
It's been literally 5 hours. How could anyone possibly tell if this is successful or not?
grt_thr··on Programming with natural language is going to work (2010)
Pointing out that people are impressed by form and not substance isn't venom, it's the first step to bringing mathematics into the 20th century.
grt_thr··on Programming with natural language is going to work (2010)
That is a proof of the same way that

    print("Hello World")
is an executable.
grt_thr··on Programming with natural language is going to work (2010)
Mathematics as shown in textbooks is not rigorous. I don't understand why so many people fetishize something they saw at university.

Formalised mathematics are incomprehensible to humans and orders of magnitude longer then anything you can see in textbook or mathematical papers outside automated theorem proving.

grt_thr··on Programming with natural language is going to work (2010)
> But it's imaginable that these concerns

It's also imaginable that we can build an engine that runs on entropy. Doesn't mean it's possible.

grt_thr··on Not Even a Recession: The Great German Gas Debate in Retrospect [pdf]
https://www.euronews.com/green/2023/03/09/climate-change-eur...

Not sure how the second warmest winters ever recorded can be cooler than the average of the next 4 warmest winters.

grt_thr··on Programming with natural language is going to work (2010)
The ambiguity is exponential. I wish that the people hyping on llms read the older literature and sentence parsing.

The only reason why people are so impressed is that chatgpt sometimes gives better results than Google. Which just ought to tell you hiw bad google has gotten.

grt_thr··on A mental health crisis in science
When I was a post grad I could make less than I would at McDonalds for work I was volontold to do.

I did the smart thing and quit. When you select for people who don't do the smart thing and want to be exploited in exchange for prestige they get exploited.

grt_thr··on Reddit comments and submissions collected by Pushshift
I was number 3 admin for two defaults back when there were only 20 defaults. Power mods are a cancer that got all the regular mods banned and then ran the places to the ground.
grt_thr··on Vanilla OS 2.0 Orchid base is changing from Ubuntu to Debian
Then issue is that gnome 2 was actually good. Gnome 3 was not.
grt_thr··on Vanilla OS 2.0 Orchid base is changing from Ubuntu to Debian
Is this a joke or are you trolling to make the gnome devs look even more unreasonable?