Hacker News: Koshkin

New comment by Koshkin in "What five simple habits can do over 35 years"

Koshkin — Mon, 01 Jun 2026 20:33:13 +0000

> Healthy lifestyles: 21 or less units of alcohol per week

Looks Good

New comment by Koshkin in "An OpenAI model has disproved a central conjecture in discrete geometry"

Koshkin — Wed, 20 May 2026 23:17:07 +0000

> we have created operations

It seems that addition (for instance) was "created" long before us.

On the other hand, it seems highly unlikely that a civilization similar to ours could "invent" an essentially different kind of mathematics (or physics, etc.)

New comment by Koshkin in "Googlebook"

Koshkin — Tue, 12 May 2026 19:16:45 +0000

A fun name... (I wonder how many non-native English speakers realize that the two occurrences of 'oo' in 'googlebook' are not pronounced the same.)

New comment by Koshkin in "If AI writes your code, why use Python?"

Koshkin — Tue, 12 May 2026 18:05:09 +0000

For some reason it took a while for Copilot to write an executable machine code for Hello World.

New comment by Koshkin in "What's a mathematician to do? (2010)"

Koshkin — Mon, 11 May 2026 20:49:19 +0000

> once someone attains a postdoc-level...

... they will discover that level is already crowded by LLMs

New comment by Koshkin in "Think Linear Algebra (2023)"

Koshkin — Mon, 11 May 2026 17:16:54 +0000

Also: https://lew98.github.io/Mathematics/LADR_Solutions/LADR_Solu...

Tiny C Compiler

Koshkin — Mon, 11 May 2026 14:11:42 +0000

Article URL: https://github.com/TinyCC/tinycc

Comments URL: https://news.ycombinator.com/item?id=48095270

Points: 4

# Comments: 0

New comment by Koshkin in "245TB Micron 6600 ION Data Center SSD Now Shipping"

Koshkin — Wed, 06 May 2026 17:53:24 +0000

> buying a single large capacity drive

Now that's a terrible idea. You shouldn't trust any single device with terabytes of your data, regardless of whether it is low-cost or Chinese.

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.