HN user

taejo

2,431 karma
Posts0
Comments1,256
View on HN
No posts found.

Well done! I had a somewhat similar experience twenty years ago in the informatics olympiads. I had no idea about the whole world of algorithms, complexity, etc. until a friend recommended to do the first round of our national informatics olympiad. The first round was pretty simple programming, the second round was a whole new world.

By the way "Ng" is Andrew Ng's surname, it's not NG with a capital G.

The point GP is making, is that everyday mathematics is not done in Lean, but in a language that's more like JavaScript, where equals doesn't always mean equals, + and • mean whatever seems convenient at the time, and objects sometimes change type without notice.

Emojis, however, are a Japanese invention (related but different from emoticons).

BTW, even the word emoji (from Japanese e = picture, moji = character) is unrelated to the word emoticon.

NetHack does have ghost files (where you find the levels previous characters died on, including their ghost and their possibly-cursed loot). It's definitely not the same kind of progression as in modern rogue-lites, but it can be a boost to pick up the equipment you found on a previous run.

Mercaptan is a group of compounds, more than one of which are used as gas odorants, so in some places, gas smells of rotten eggs, similar to H2S, while in others gas doesn't smell like that at all, but a quite distinct smell that's reminiscent garlic and durian.

Learn Arabic 1 year ago

If the reason someone wanted to learn Arabic was because they thought they could learn one language to do all of those things, it's clear why they might just drop the idea when they learn they can't.

Excellent comment!

As a historical tidbit I'll add that Romans did develop two ways to write larger numbers.

1. Writing a line (vinculum) over a numeral to multiply its value by 1,000. This was in fact extended to writing a line to the left and above a numeral to multiply its value by 1,000,000, and could in principle be extended to lines below and to the right to multiply by 10^9 and 10^12, and even nested boxes for larger powers.

2. The use |), |)), |))), ... for 500, 5,000, 50,000, ... and (|), ((|)), (((|))), ... for 1,000, 10,000, 100,000, ... These can be continued indefinitely.

https://en.wikipedia.org/wiki/Roman_numerals#Large_numbers

Both require an ever increasing number of marks just to write the increasing powers, as well as an ever increasing number of powers being summed, but both increase only logarithmically, so we end up using O((log n)²) marks to write n. This is quadratically worse than positional notation, but exponentially better than just writing M over and over.

Just a technical nitpick: Hitler was appointed by President Hindenburg, not directly elected. However Hindenburg was directly elected and Hitler was leader of the party that received the most votes (though still a minority).

The OP seems to be at the end of a long chain of broken telephone. The 19 February 2020 press release from the institute doing the dig doesn't say anything about cars [1]. The 21 February 2020 article in Metro [2] correctly states that glyptodonts could grow to the size of a VW Beetle, but leaves out that it's not this species of glyptodont and certainly not these specimens (it also incorrectly calls glyptodonts a genus; the specimens here are in the genus Glyptodon but the largest in the subfamily Glyptodontinae are Doedicurus clavicaudatus). The mixing up of these specimens with the largest ones makes it into the headline.

1. https://www.conicet.gov.ar/hallan-cuatro-gliptodontes-en-la-...

2. https://metro.co.uk/2020/02/21/ancient-armadillo-size-car-di...

Passport Photos 2 years ago

Why go to the office when you can take a selfie with your phone and order your passport online?

Passport Photos 2 years ago

Don't know about Britain but the US also allows passport renewals by mail, so they can't check the photo against your face but they presumably can check it against your previous passport photo.

It's G as in "forge" and J as in "yo".

In Esperanto Ĝ represents that soft G sound and the word is spelled "forĝejo", which breaks into "forĝi" (to forge) plus "ejo" (a place), i.e. a place where one forges.

I don't think anybody's disagreeing that you get better audio reproduction and less fragility from CDs. Just that they aren't learnable or hackable, and learners and hackers lose something (something separate, and maybe even less valuable, than audio reproduction but still something of value)

Lady tasting tea 2 years ago

There are more teas in heaven and earth, Horatio, than are dreamt of in your philosophy.

For example Kashmiri noon chai is tea boiled in milk for about an hour with baking soda before adding ice. It is then aerated by pouring between cups to make it slightly foamy.

Part of the problem is a poor (or insufficiently DWIM) implementation of rich text copy-paste. If I copy text that has some parts bolded or italicised, that is indeed "the damn text I copied". But the fact that the source website happens to be 12pt blue Verdana should not override the fact that I'm writing an email in 11pt black Arial.

In many cases I do not particularly care whether an email is in 12pt blue Verdana or 11pt black Arial, I absolutely care about there suddenly being a big blue word in the middle of my otherwise-consistent paragraph.

So neither "rich text" nor "plain text" are really correct: often plain text is good enough, but sometimes it's easier to correct the rich text.