Hacker News: Koshkin

New comment by Koshkin in "Category Theory Illustrated – Types"

Koshkin — Tue, 07 Apr 2026 20:53:18 +0000

> in the way you are linking them

This is what the text says, not me.

New comment by Koshkin in "Category Theory Illustrated – Types"

Koshkin — Tue, 07 Apr 2026 20:51:09 +0000

> In one system, a set can contain itself

But doesn't this lead to a contradiction (or to making the system of little use)?

New comment by Koshkin in "Category Theory Illustrated – Types"

Koshkin — Tue, 07 Apr 2026 20:49:17 +0000

> category theory can use set theory, but does not depend on it

But aren't, say, the morphisms between two objects necessarily a set (termed "hom-set")?

New comment by Koshkin in "Category Theory Illustrated – Types"

Koshkin — Fri, 03 Apr 2026 21:30:03 +0000

Except such set is empty and thus does not contain itself.

New comment by Koshkin in "Category Theory Illustrated – Types"

Koshkin — Fri, 03 Apr 2026 21:21:49 +0000

> a set can contain itself

Can it?

> a term can have only one type... Due to this law, types cannot contain themselves

Doesn't look like one follows from the other...

New comment by Koshkin in "Category Theory Illustrated – Types"

Koshkin — Fri, 03 Apr 2026 21:20:53 +0000

... and, as such, it doesn't contain itself!

New comment by Koshkin in "Sweden goes back to basics, swapping screens for books in the classroom"

Koshkin — Thu, 02 Apr 2026 12:41:55 +0000

Parents do not have to be "experts in chilhood development" to know what is best for their children. Especially experts in their fields like the manufacturing of alcohol, guns or other products universallly considered dangerous.

New comment by Koshkin in "15 years, one server, 8GB RAM and 500k users – how Webminal refuses to die"

Koshkin — Mon, 30 Mar 2026 21:23:35 +0000

Quite often clients were more powerful than servers. Hell, at one point a CPU embedded into a printer could be faster than, say, 8088. An X server (running on the client side) often required a more powerful machine than one running X clients (i.e. a server). A web browser is not an exception.

New comment by Koshkin in "15 years, one server, 8GB RAM and 500k users – how Webminal refuses to die"

Koshkin — Mon, 30 Mar 2026 21:17:24 +0000

Well, graphics acceleration is still considered optional on servers :)

New comment by Koshkin in "French e, è, é, ê, ë – what's the difference?"

Koshkin — Fri, 27 Mar 2026 00:16:19 +0000

Not exactly. Pronunciation varies between dialects and accents; it is the subject of a linguistic discipline called "phonology"; writing systems or difficulties arising from their "irregularities" with respect to spoken word do not concern it. Put differently, speech and pronunciation, while related, are not the same.

New comment by Koshkin in "Cloud gaming is kinda amazing"

Koshkin — Thu, 26 Mar 2026 19:05:34 +0000

Tried Amazon Luna once on a TV, it was indeed a good experience.

New comment by Koshkin in "French e, è, é, ê, ë – what's the difference?"

Koshkin — Thu, 26 Mar 2026 18:36:07 +0000

Yes. Linguists do that all the time. People do learn Latin, etc.

New comment by Koshkin in "French e, è, é, ê, ë – what's the difference?"

Koshkin — Thu, 26 Mar 2026 18:32:00 +0000

> French person here :

I could guess that solely from the space before ':'

New comment by Koshkin in "French e, è, é, ê, ë – what's the difference?"

Koshkin — Thu, 26 Mar 2026 18:29:17 +0000

You do not guess, you learn.

New comment by Koshkin in "French e, è, é, ê, ë – what's the difference?"

Koshkin — Thu, 26 Mar 2026 18:28:01 +0000

> a single way to pronounce it

Within a particular dialect, that is.

New comment by Koshkin in "French e, è, é, ê, ë – what's the difference?"

Koshkin — Thu, 26 Mar 2026 18:26:46 +0000

Sure; this has nothing to do with the way written words are spoken, though.

New comment by Koshkin in "French e, è, é, ê, ë – what's the difference?"

Koshkin — Thu, 26 Mar 2026 18:25:05 +0000

Finnish is not unique in that it has quite a few dialects like most other languages.

New comment by Koshkin in "French e, è, é, ê, ë – what's the difference?"

Koshkin — Thu, 26 Mar 2026 17:59:39 +0000

To be fair, the "ghoti" joke is not about pronunciation but rather about the perceived mismatch between the way a word is written and the way it is spoken.

New comment by Koshkin in "The ancient reason there are 60 minutes in an hour"

Koshkin — Mon, 23 Mar 2026 21:17:31 +0000

60 is the smallest of the five numbers below 100 (the other being 72, 84, 90, 96) that have most divisors (12, to be exact).

New comment by Koshkin in "The future of version control"

Koshkin — Mon, 23 Mar 2026 20:52:05 +0000

What's currently missing from the automatic conflict resolution is intelligence. The AI doing merges is the future.