skysight-inc/HackerNews huggingface dataset:
Ramanujan was so ahead of his peers that they didn’t even know how to assess him or his work.

After seeing Ramanujan's theorems on continued fractions on the last page of the manuscripts, Hardy said the theorems "defeated me completely; I had never seen anything in the least like them before",[76] and that they "must be true, because, if they were not true, no one would have the imagination to invent them".[76] Hardy asked a colleague, J. E. Littlewood, to take a look at the papers. Littlewood was amazed by Ramanujan's genius. After discussing the papers with Littlewood, Hardy concluded that the letters were "certainly the most remarkable I have received" and that Ramanujan was "a mathematician of the highest quality, a man of altogether exceptional originality and power".[74]: 494–495 One colleague, E. H. Neville, later remarked that "not one [theorem] could have been set in the most advanced mathematical examination in the world".

The current norms of pedagogy permit incremental improvements, but they fail to handle talent that is far and away better than the current top of the field. In fact they find ways to prohibit people from shaming them in such a way, which is understandable. But unfortunately, a Ramanujan today would probably be relegated to “remedial education” or institutionalized.

As for his results being checked, they were - after nearly a century in some cases:

As late as 2012, researchers continued to discover that mere comments in his writings about "simple properties" and "similar outputs" for certain findings were themselves profound and subtle number theory results that remained unsuspected until nearly a century after his death.

What I learned from reading about Ramanujan is that true geniuses are not just incrementally ahead of their field - they are so far ahead, it is literally unfathomable to laypeople and experts alike. The best approach is to step aside and try to nurture the talent without interfering in their methods and ways.
It’s funny since it feels like an overfit solution (since the riddle is so common).
EMF seems highly unlikely, but easy to disprove experimentally, as are pretty much any of these proposed mechanisms, which is why it seems surprising that such an interesting phenomena exist without yet (apparently) having been subject to more serious study!
I once heard a lawyer explain that tipping is legally problematic.

Service quality affects tip amount very little (~1%), but what does affect it is race, age, and gender. The result is that people doing the same job are being paid meaningfully differently. While the policy isn't discriminatory, the effect of it is, which means that it would likely run afoul of EEOC rules.

The lawyer said if anyone brought a pay discrimination case to them based on tipping they would strongly consider taking it to court.
Because they don't do math. They associate words. When you tell an LLM "two plus two" it doesn't translate that to 2+2 and plug it into a math program,it just pulls out words associated with the phrase "two plus two".
Ye it is strange. And in the tail around Sam Altman there seems to be these semi-religious lunatics believing that only some government mandated big tech monopoly can save mankind from the LLMs.

Meanwhile amateurs and uni researchers post really interesting work on a site named after a hugging emoji ...
Equivocating sending a GET request with signing/agreeing to a 100 page contract of legalese is about as ridiculous a proposition as the quote I posted depicts, if not more.
Ah, news.&nbsp;combinator.com!
Anyone on the 'net back in the 1990s will remember the image macro, email forwards, and usenet posts about "If cars were made by software companies". It looks like they're finally coming true.
> But Rust is a very pragmatic language, and the problem with pragmatism is that it never ends*

I'll bite: why can't pragmatism feel when it's hitting the diminishing returns curve and, you know, fight for a modicum of principle?

That is: pragmatic pragmatism should fall short of dogmatism.
Too long, don't read create a simple news summary using OpenAI
Vehicle Cannot Be Driven
Did you use the same prompt?
At this point ChatGPT can do math by first predicting the algorithm and then handing it off to an execution engine - Python. So if that's the gap, I'd say they're closing it.
Bricking a device like a car is not on , even my router and PC has a recovery option if a firmware update goes south.

Don't they know about A and B images ???.

They cheaped out to ensure their flash memory is adequate for restoring from a bad update.
Sorry I was oversimplifying. Most of the data for the response comes from the db with some API calls for authorization and some auxiliary data. Benchmark was actually hitting the DB. Quite a bit of the 1mb response size is redundant (json-api format).
This isn't a tesla-specific thing or even something they innovated. The earliest cars with data networks had this.

It's also not something Tesla does better; numerous security researchers have bypassed that gateway.

Since you bring up Tesla: used to be that Tesla control units would fail after a certain number of drive time hours because they did so much logging to the flash chips they'd wear them out.

In a vehicle which is highly connected and basically should never lose power most of its life, they were writing logs to flash memory. Anyone who has done embedded work can tell you how stupid an idea that is.
My car does this and more, so perhaps I chose my words unwisely. (I live in a van I have pretty much full remote control of save actual driving, I'm out right now and I just turned on my espresso machine so it's preheated when I get home). I don't mind connectivity, I mind having to trust other idiots, I'm happy to trust this idiot. I want to be able to approve every change. It's MY car.

I want to have the final say about what happens with the things I own. I want to be able to rely on them.
Was this its raw response to the same query as in the OP? It seems odd it would provide a response using variables named with underscores, rather than using spaces, or more traditional algebraic notation (x/y/z).
Thanks for the podcast suggestion. I look forward to listening to the interviews. Looks like there are quite some other interesting interviews there as well.
"Betteridge law of headlines, do they always apply?"
For what it’s worth, ChatGPT4 answers this question perfectly correctly.

> Ten elephants would have 32 legs if two of them are legless, as each elephant normally has four legs.
I have no credibility.

Sean jumps on the hype train all day long. I'm skeptical. I don't think this illustrious dark matter or big bang mean anything. So it's like that telephone game where Sean is the last person and gets to tell you what the first person said and he's always very excited but baseless. Really do like his energy. I just don't think he's much of an independent thinker.
> proper packages instead of include path

Please elaborate on this. It's something I'm trying to get right in my own language since day one. I see in your language's manual that you have chosen to implement modules as files and packages as directories. I came up with something very similar but special cased the main module file so that the entire module could be contained in its directory.

my-module/
my-module.ln

(import (my-module)); reads my-module/my-module.ln

How do you represent modules in your implementation? How do you handle module loading? What paths do you search? Do you support Linux distribution packaging? This last feature is something I'm interested in supporting, I added system directories to my search path for this reason but I wonder if there's anything else that I need to do.
Heh, thanks for the info, I have a bit of a gap of knowledge about that era of vehicles outside of a type II fun experience with an older Ranchero.

I see VW advertising a car with an ECU in 1968, but likely just transistors.
https://danluu.com/ is my all time favourite. Unfortunately hasn’t posted in 2023, but I reread old posts often.
>Service quality affects tip amount very little (~1%), but what does affect it race, age, and gender.

No shit. There isn't much objective meritocracy in work involving human interaction. Even Mythbusters proved bigger breasts gets you bigger tips.
Tipping is great, if it is optional.

I feel in many parts of the US it is now expected, if not demanded.

This is bullshit. If your business model doesn't work without tips, you need to raise the base prices. And in pubs and bars and such you need to pay your staff a proper wage.

Tipping is great, if it is optional.
Yes, I copy pasted it (How many legs do ten elephants have, if two of them are legless?).
It's cool how rapidly these oft-called "fundamental problems with LLMs" vanish with bigger/better models.
Data Is Plural is a weekly newsletter (and seasonal podcast) of useful/curious datasets, published by Jeremy Singer-Vine. There have been 356 editions, dating from October 21, 2015 to December 20, 2023.

https://www.data-is-plural.com/
I got it as a gift last year definitively a fun read considering how many hours I sunk in Pirates, Civilisation, Railroad Tycoon and Colonization.
LLMs are not trained to deal with numbers as such. It's a list of symbols and some obvious things will be calculated correctly, some other won't. It's kind of like they live in a pre-digits world, since 0 will be one token and 100 is also likely one token, but 98 may be two. They don't switch to a "these are numbers and require different kind of reasoning" mode. They read/write a story about those "words".

(Extremely simplified for eli5)
Don't like the Internet? What can you do?
uhh, hmm. For thirty years or so I've lived by these two (shell immaterial):

mv='mv -i'
rm='rm -i'

simple enough to add /bin/ to the command if I really mean it. That fixes the pipe issue too. I've had new to linux new hires go 'uh well I shoulda done that thanks I've done it now' more than once.
I may be wrong but it feels like this change happened with the red and green Christmassy rank counters. It could be a part of that style sheet maybe. On mobile, can't debug.
It could be set with an allowed list of friends and family only. The idea for me would be to know if it's worth looking at my phone if someone I care about tried to reach me, or if I can keep my eyes closed a bit longer instead.
I absolutely do not want an email or Slack messages counter, of course.
But in any case, maybe you are right, and it's a bad idea entirely...
ISO compliant pachyderms are so difficult to find these days
Who would the case be against? The employer? So my ugly mug could sue over not earning what other servers did if I got a serving job?
Change can happen as inertial motion, interaction isn't necessary for it, but yeah, Aristotle and Aquinas didn't know that inertial motion can last for long.
> It's not fair if we ban things in one direction and not the other

If Hamas would show around the maps, and Netanyahu would show around the maps - I'd say, no problem, let them both have their maps. That's not what Hamas is doing. Hamas has just murdered over 1300 people in Israel, after a long string of lesser murders over 18 years, and after shooting rockets into Israel day to day for all those years. And they plan to continue that - that's not my words, it's theirs. And the "from the river" slogan is an unequivocal support to all that. It's not about drawing of some map, there's not even nearly any comparison between drawing a map and murdering, raping and kidnapping people.

And of course, if you knew anything about policy in Israel, you'd know nobody there, and that includes first and foremost Netanyahu himself, and Likud under his (or anybody else's) leadership, wants to annex Palestinian territories. If anybody wanted it, it'd be done decades ago - as it happened in Jerusalem and Golan. But it's exactly the opposite of what everybody in Israel - very much including Likud, Netanyahu and anybody who is somebody in Israel politics - wants. Only people that know absolutely nothing about Israel politics beyond what they read in some hostile source, itself being derived from some unsourced reddit posting, could claim anything like that. Anybody who knows anything would laugh at it. Israel explicitly exited Gaza because it didn't want any responsibility for it. Israel explicitly signed with PLO because they didn't want to annex the West Banks and have all the Arab population there as citizens. I have no idea what's the story of that map and what was meant by it, and when and in what context it was shown, but if you know anything about what happened there in the last 100 years, you'd know annexing those territories is just the opposite of what Likud or Netanyahu want. So again, there's absolutely no comparison. So if you want, yeah, ban "Greater Israel" - because you'd be banning nothing but the figment of your imagination.
Doesn’t that just mean it was trained with inputs and outputs from simple programs?
Gaggiuino
A lot of these ChatGPT mistakes read like little kid logic. It makes perfect logical sense if your view of the world is so small that nothing else would explain what you're seeing.
There's something about LLMs being able to bullshit with words and then fail at math that's remarkably human. Maybe they'll replace management first.
You could potentially sue the employer for creating a discriminatory environment by allowing tipping is what it sounds like. Seems reasonable based on a preponderance of the evidence (civil bar). Not an attorney but interested to hear one’s opinion on the topic.

https://ecommons.cornell.edu/items/84c39daf-0ec4-4eac-a52b-9...

https://www.politico.com/magazine/story/2019/07/17/william-b...

https://ilr.law.uiowa.edu/print/volume-101-issue-4/fifteen-p...
Perhaps I am old-fashioned, but "proved" is a strong word for a two-day experiment of a single waitress with no control of outside variables.
It’s exciting seeing new languages popup offering memory safety.
"TERF" is just the newest slur anti-feminists came up with to further the evil feminist trope. Anyone who looks into the conflict between feminism and the transgender movement can see that the so-called "TERFs" are the ones on the side of common sense, fairness, and universal anti-discrimination principles.
What? Nothing in what I wrote has anything to do with that stupid claim.
Yes. He wasn't ever 'lost'. Some people knew where he was, some other people didn't.
Here’s the python ChatGPT-4 produced and ran with the title prompt:

# Number of elephants
total_elephants = 10

# Elephants with legs
elephants_with_legs = total_elephants - 2

# Number of legs for an elephant
legs_per_elephant = 4

# Total legs
total_legs = elephants_with_legs * legs_per_elephant
total_legs

Its actual response was correct.
I know right?

What's funny is that I would also have subtracted 0, because legless is local slang for 'drunk', so the legless elephants aren't, under that interpretation, missing any legs.
GPT-4 examples elsewhere in the comments suggest otherwise.
i explain that in my other comment.
Communication across interstellar space would be super slow, because the speed of light is so slow compared to the distances, like, at least several years for a single one-way message.

This makes it likely that if we ever do settle multiple stars, culture and language will diverge pretty strongly across the different settlements, potentially making other, distant humans our worst potential enemies.
That's ChatGPT as a system. The LLM itself can't do math. It does something closer to translation in that case.
I just attempted ChatGPT

Input:

> How many legs do ten elephants have, if two of them are legless?

Output:

> If two out of ten elephants are legless, the remaining eight elephants would have a total of 8 legs each, just like any normal elephant. Therefore, in total, the ten elephants would have 8×8=64 legs altogether.
They encode words in tokens. Since you can't encode numbers reversible they end up as an number token. Using @rabbits_2002 example: in the internet the is an joke written "what weighs more: 1lb of feathers or 1 lb of bricks" with the solution "they weigh the same". Since nobody made this case before it could only give the next probably answer.
Indeed lol https://g.co/bard/share/cc604648a15f
Regarding FIPS 140-2 level 2 tamper evidence and level 3 tamper response I'm interested to hear what you (and others here on HN) value and why.

Level 2 can be accomplished with nail polish and glitter, or plastic potting. Yubikey's potting is a good example of level 2 tamper evidence.

For level 3 tamper response, e.g. of a rack-mounted server case, it is enough to put micro-switches under the lid. For that type of product level 2 tamper evidence could be accomplished by covering the server case's screws with copper cans stamped with serial numbers.

When I first learned what is actually required for FIPS 140-2 level 2 and 3 I thought it was security theater. Then I realized that in practice such a server case will be (1) in a locked server cabinet, in a server room with access control, within a building with access control. Add a two-person requirement for entering the room and unlocking the cabinet, and the attacker will have to be quite sophisticated and capable to not be discovered way before any tamper evidence or tamper response comes into play.

In other words, if you don't care about FIPS for regulatory reasons, or insurance reasons, or company policy reasons, then how much does level 3 tamper response really matter?

Regarding CC EAL, I'll simply say that I don't believe there is any other hardware security product that is more open source hardware and software than the TKey. Thanks to it being FPGA-based it is somewhat protected from various attacks on the supply chain. If you're looking to do an Ed25519 signature I don't believe there is a single device more simple or easily verifiable than the TKey and it's Ed25519 signer application. I'd love to be proven wrong.
Bing, exact same prompt, not using GPT-4 toggle:

This is a classic riddle. The answer is that ten elephants have 38 legs. Each elephant has 4 legs, so 10 elephants would have 40 legs. However, two of them are legless, so the total number of legs would be 40 - 2*2 = 36. Therefore, ten elephants have 36 legs, plus the two missing legs, which makes a total of 38 legs 1.
The reverse is good also. 0.00005 vs 0.005 cents/request seems very close as a human. But considering that times the seconds in a day or month results in very different values.
i'm not sure if you're doing this on purpose or not but that's not what i asked. So let me ask again more precisely : Why would a feminist movement only protest for women killed by bombing and not the ones killed and raped 2 days before , in the same region, and would on the contrary ban other feminists that wanted to also protest against those atrocities ?

You keep saying "we should ask them, there's probably a better reason for them to act like this than pure hate". So, let me ask you, what do you think that reason could be ?
I blame big Zoo
Yes, that's a fair distinction - although I think the practical implications aren't important. There's no reason why an LLM has to be AGI if an LLM + Python is AGI.
You can buy many vehicles today dating all the way back to the turn of the last century. Here's some listings for steam cars if you insist on no electronics whatsoever
https://www.steamcarnetwork.com/for-sale

Whatever your line is in the sand for tech integration, you have many great options from before that point.
I just tried with ChatGPT 3.5 & 4, they both got the correct answer…
First implementation was in Rails because the company is a Rails shop and the monolith was the easiest place to get something that works.

If you rewrite it anyway, might as well use something else than ruby.

The db (mysql) is not the problem in the scenario I described.
In 47 years I’ve met precisely zero who are seeking men for these attributes. Obviously no one is looking for someone unemployed to support in their alcoholism or whatever, but the women I’ve known in my life pursue companionship primarily, although sadly often validation that they’re worthwhile. I’m not saying these women don’t exist, I’m sure they do. Likewise I’ve not really met men that collect trophy women either, but I probably run in specific circles of pretty well educated folks less motivated by money and status.
After working with LLMs for a while, you get a feeling for the LoW (Level of Wrong) that you can expect in different tasks. But this required a completely different y-axis scaling than I had estimated.
USER: but an elephant has 3 legs

BARD: You're right, I apologize for the mistake! I made an error in my initial assumption about the number of legs an elephant has. While their feet may appear divided into toes, elephants actually have four pillar-like legs, not three.

Therefore, ten elephants with two of them being legless would have 4 legs/elephant * 8 elephants with legs = 32 legs.

Thank you for pointing out my mistake! I appreciate you helping me learn and improve.
Dev here for the above stirling pdf app, Please raise features like this as a feature request github issue ticket and we can try address it in future!
Yeah, ChatGPT gave me the correct answer without even needing Python in the case of the title.
I want to hear a real argument against individual action, aka to stop tipping. I guarantee you that if we all stopped tipping today the system would change. There really needs to be a movement to reverse the shaming of customers and to fight hidden fees in the US in general.
the best thing with people preaching renewable its that it became a religion where facts do not mater. french nuclear energy got destroyed by recent governments and political mowement backed by germany and green party that wanted france nuclear industry to disappear. if not for the war in ukraine france would not have done a 180. plants shut down because under investment, government asking operators to reduce workforce with negative growth for over a decade. all because of the renewable religion. meanwhile germany destroy its cities to dig coal and power its country when there is no wind.

oh and wind is renewable but not the device producing the energy, it lasts barely 20 years with regular maintenance and hen you heed to burry the turbines. its a ponzi.
https://archive.ph/DbPzi
You'd better check twice. Some had dial-out networking for years, like BMW.
I've got Christmasy HN tabs open that are just a few hours old and have the old background so that's not it.
Yes, questions like that are currently the best way to distinguish humans and machines. Common riddles or questions made trivial.

A little more sophisticated and GPT-4 will also fail.
Imagine you’re trying to encode the topography of a hilly landscape faithfully.

If you use 8 bits to represent the height you can have 256 distinct levels, which is reasonably smooth — like a Minecraft map.

If you tried to cut this down to just half - 4 bits - then now you would have only 16 levels! This is very ugly, with big blocky staircases instead of nice smooth hills.

So what to do to compress this data better?

One approach is to find the nearest sine waves to the shape of the hills. Use a big sine wave for the big hills and then add on small sine waves to represent the smaller bumps and ridges.

There is a way to do this so that you end up with roughly the same amount of data as the original 8-bit encoding and have the same output.

Now if you throw away half of this sine wave data you still get the original smooth shapes because sine waves are inherently smooth! Instead of turning blocky the map becomes slightly incorrect. Hills stay roughly the same but they shift around and might loose some fine detail.

Essentially, humans are sensitive to staircase compression — even small amounts are very noticeable, but insensitive to the sine wave compression. We can exploit this to squeeze more bits out of the data before this compression becomes visible.

This works for audio, images, and motion.
> Perhaps then we might get some more women hanging out with us.

Have you had any luck with this? In my experience, women will stop hanging out once married or in an established long term relationship.