Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
llm_trw
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
49 ms
·
841.
▲
by
llm_trw
2y ago
>Their customer service is a nightmare Having customer service would be a step up. >>We banned your account for illegal activity. >But I just signed up and tried logging in? >>After review we have banned your IP forever fo
842.
▲
by
llm_trw
2y ago
>Hire good people and give them room to do their jobs. Sounds great when it's described that way, doesn't it? Except in practice, judging from the report of founder after founder, what this often turns out to mean is: hire prof
843.
▲
by
llm_trw
2y ago
Like always this ignores that the space programs live in is not only high dimensional but hyperbolic, meaning the search space for even trivial programs explodes much faster than you'd expect. Neural networks are best thought of as ora
844.
▲
by
llm_trw
2y ago
>Prior to 1910, for every 1,000 babies born in the United States, 165 died before their first birthday (Newmayer 1911). https://www.demogr.mpg.de/papers/working/wp-2011-005.pdf Today it is at 5 per 1,000. Pleas
845.
▲
by
llm_trw
2y ago
Ah yes banks. The people responsible for the 2008 crash.
846.
▲
by
llm_trw
2y ago
I always find it funny how well coastal Americans diagnose the maladies that plague America while at the same time thinking they only infect inland Americans. Case in point: America is a racist country. But the racial quotas in Ivy League U
847.
▲
by
llm_trw
2y ago
A long while ago I read an article predicting the downfall of all unpaid internet moderation because it would attract the type of person who both has copious free time and enjoys having power over others. Reddit during covid showed us just
848.
▲
by
llm_trw
2y ago
>HN is awesome because of the rules and moderation (including bans); It was awesome. Then it jumped the shark when people realized they could flag posts they don't like with no repercussions.
849.
▲
by
llm_trw
2y ago
The century of humiliation is a funny name to call a period of winning.
850.
▲
by
llm_trw
2y ago
Thats what the Chinese through during the industrial revolution.
851.
▲
by
llm_trw
2y ago
In a democracy two wolves and a sheep discuss what is for dinner.
852.
▲
by
llm_trw
2y ago
This was a question I gave as a post grad TA to third year physics students. In three classes totaling 43 students exactly one got it right and he was a double major from CS. This is Latex, it renders nicely to: https://arachnoid
853.
▲
by
llm_trw
2y ago
That's an argument for why we should all use Chinese instead.
854.
▲
by
llm_trw
2y ago
No that's what OP is saying about LLMs.
855.
▲
by
llm_trw
2y ago
And yet, give them something as innocuous as $$ \frac{\frac{a}{b}}{c \times \frac{d}{\frac{e}{f}}} \times \frac{\frac{g}{h \times \frac{i}{j}}}{k} $$ And watch 98% of them fail to bring it to normal for a simple fraction.
856.
▲
by
llm_trw
2y ago
>echo “hello world” Congratulations, you just launched all the worlds nuclear missiles. This is to spec since you didn't provide one and we just fed the teletype output into the 'arm and launch' module of the missiles.
857.
▲
by
llm_trw
2y ago
I've yet to find anyone who hasn't written part of a CAS that understands what algebraic manipulation even is, let alone how to do it outside of hand picked artificial examples. I find it astonishing that term rewriting systems ar
858.
▲
by
llm_trw
2y ago
A lot of the short comings of new math came from the fact that it assumed that the fundamentals of math were simple and easily understood. Doing real algebra without something like the Kunth Bendix algorithm is somewhere between pointless m
859.
▲
by
llm_trw
2y ago
How can we expect kids to learn to read a language that's taken an alphabet and created a poor woman's logogram out of it? wi hæv ɔl ðə tulz wi nid tə tɝn ˈɪŋɡlɪʃ ˈɪntu ə ˈlæŋɡwɪdʒ wʌn kæn rid wɪðˈaʊt ˈnidɪŋ fɔr jɪrz ˈtutərɪŋ. jɛt
860.
▲
by
llm_trw
2y ago
The issue is there to verify a program you need to have a spec. To generate a spec you need to solve the general problem. This is what gets swept under the rug whenever formal methods are brought up.
861.
▲
by
llm_trw
2y ago
The same is true of computers, in fact it has been mathematically proven that it is impossible to answer the general question if a computer program is correct. But that hasn't stopped the last 40 years from happening because computers
862.
▲
by
llm_trw
2y ago
Please reread what I wrote.
863.
▲
by
llm_trw
2y ago
The USSR was a totalitarian hell hole which had nothing to do with what communism was supposed to be. It was still better than what happened to the USSR between 1993 and 2000 when the West won the cold war and dictated surrender terms.
864.
▲
by
llm_trw
2y ago
>A ~French~ Chinese citizen running a service in ~French~ Chinese is going to be subject to ~French~ Chinese laws and can expect to be arrested when they step into the country of ~French~ Chinese if they have charges pending. >This is
865.
▲
by
llm_trw
2y ago
To slightly mis-quote the only good Soviet joke that came out after the fall of the USSR: The Communists lied to us about Communism, unfortunately they didn't lie about the West.
866.
▲
by
llm_trw
2y ago
And you can send encrypted SD cards through the mail. Arrest all postwomen.
867.
▲
by
llm_trw
2y ago
CEOs too.
868.
▲
by
llm_trw
2y ago
Victorians put a lot of energy on safety. It's just that the safety they cared about was vastly different to what were the actual things killing them. If you want a modern take on it observe our obsession with stranger danger for child
869.
▲
by
llm_trw
2y ago
Yeah, which is why you should always eat leaded paint. How can something so sweet be bad for you?
870.
▲
by
llm_trw
2y ago
This is called firing customers, it works surprisingly well.
More ›