Hacker News: taejo

New comment by taejo in "German implementation of eIDAS will require an Apple/Google account to function"

taejo — Sun, 05 Apr 2026 15:39:58 +0000

Btw a visa is a document allowing entry into a country, while VISA is a word mark used by Visa, inc. for their payment cards and network. I think you're referring to the travel document, but since the context also includes payment networks, I'm not 100% sure.

New comment by taejo in "What is f(x) ≤ g(x) + O(1)? Inequalities With Asymptotics"

taejo — Tue, 24 Feb 2026 07:00:33 +0000

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.

New comment by taejo in "Tomorrow's emoji today: Unicode 17.0"

taejo — Wed, 10 Sep 2025 09:38:32 +0000

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.

New comment by taejo in "Technical analysis of the Signal clone used by Trump officials"

taejo — Tue, 06 May 2025 20:27:45 +0000

It seems TM SGNL also works when you're messaging with somebody using the genuine Signal app. They aren't gonna make a group chat with your archive bot to message you, and they might not be pleased when you add them to such a group chat.

New comment by taejo in "Blue Prince Is a Roguelike Puzzle Masterpiece"

taejo — Fri, 11 Apr 2025 21:06:12 +0000

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.

New comment by taejo in "Zlib-rs is faster than C"

taejo — Mon, 17 Mar 2025 10:55:32 +0000

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.

New comment by taejo in "Learn Arabic"

taejo — Sun, 09 Mar 2025 17:06:40 +0000

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.

New comment by taejo in "Why can't we remember our lives as babies or toddlers?"

taejo — Tue, 18 Feb 2025 09:04:25 +0000

Rust itself cannot cause tetanus but it can include unsafe blocks which can activate tetanus spores by FFI.

New comment by taejo in "Why Does Integer Addition Approximate Float Multiplication?"

taejo — Thu, 13 Feb 2025 15:48:57 +0000

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.

New comment by taejo in "I tasted Honda’s spicy rodent-repelling tape and I will do it again (2021)"

taejo — Wed, 12 Feb 2025 20:27:05 +0000

The berries (but not the seeds!) are apparently edible, and I have myself eaten one without noticing any ill effect. IIRC it was indeed the berries that were used in the Agatha Christie novel, so apparently a mistake.

New comment by taejo in "Surnames from nicknames nobody has any more"

taejo — Mon, 10 Feb 2025 19:18:04 +0000

Moreover, in a later picture on the page you can see an example showing a -dóttir name in that field (I had wondered if perhaps it was only used for people who happened to have a "real" surname as opposed to a patronymic, e.g. foreign-born citizens) https://en.m.wikipedia.org/wiki/Icelandic_passport#/media/Fi...

New comment by taejo in "South Korea's Democracy Saved Itself (2024)"

taejo — Fri, 24 Jan 2025 12:43:16 +0000

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).

New comment by taejo in "DHS removes all members of cyber security advisory boards, halts investigations"

taejo — Wed, 22 Jan 2025 21:09:18 +0000

AFAIK it's typical for whitehouse.gov to be completely replaced with every new president

New comment by taejo in "Lies I was told about collab editing, Part 1: Algorithms for offline editing"

taejo — Sat, 07 Dec 2024 17:37:33 +0000

> Do you think that a LLM/"AI" can reliably

No. LLMs definitely have uses where reliability is not a requirement, but that's one requirement which LLMs clearly never meet

New comment by taejo in "Air traffic failure caused by two locations 3600nm apart sharing 3-letter code"

taejo — Tue, 19 Nov 2024 08:35:37 +0000

The rule is non-free parking. The exception is Sundays.

New comment by taejo in "Argentinian farmer finds family of 20k-year-old armadillos"

taejo — Sat, 09 Nov 2024 09:29:32 +0000

In a few minutes of searching I couldn't find any report in English that doesn't have this error.

New comment by taejo in "Argentinian farmer finds family of 20k-year-old armadillos"

taejo — Sat, 09 Nov 2024 09:25:54 +0000

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...

New comment by taejo in "Passport Photos"

taejo — Thu, 07 Nov 2024 21:03:22 +0000

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

New comment by taejo in "Passport Photos"

taejo — Thu, 07 Nov 2024 20:51:46 +0000

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.

New comment by taejo in "Do AI detectors work? Students face false cheating accusations"

taejo — Mon, 21 Oct 2024 15:09:10 +0000

> This is an absolute disgrace. And then these are the people who lecture you on "inclusion".

Are they? Is there any evidence of correlation between these two groups of people?