Hacker News: Koshkin

New comment by Koshkin in "ReactOS 0.4.16"

Koshkin — Mon, 31 Aug 2026 21:46:04 +0000

Why, this could be a fun excrement for sure

New comment by Koshkin in "ReactOS 0.4.16"

Koshkin — Mon, 31 Aug 2026 21:44:27 +0000

Or maybe https://bellard.org/jslinux/

New comment by Koshkin in "ReactOS 0.4.16"

Koshkin — Mon, 31 Aug 2026 21:39:45 +0000

> lets you run macOS software

> must be running a 64-bit x86

New comment by Koshkin in "ReactOS 0.4.16"

Koshkin — Mon, 31 Aug 2026 21:27:08 +0000

> a new DC21X4 network adapter driver

Hasn't the point been for the OS to be compatible with the existing Windows drivers?

New comment by Koshkin in "So you want to learn physics (second edition, 2021)"

Koshkin — Mon, 13 Jul 2026 19:04:39 +0000

The Feynman Lectures and/or Berkeley Physics Course [1] would give one the basics one would ever need.

[1] https://en.wikipedia.org/wiki/Berkeley_Physics_Course

New comment by Koshkin in "Asahi Linux 7.1 Progress Report"

Koshkin — Wed, 01 Jul 2026 17:26:05 +0000

> If there was a Linux Apple App Store, I would buy stuff from it.

I believe you.

> I already buy from Steam.

I believe this even more.

Time may be an illusion derived from quantum entanglement

Koshkin — Tue, 30 Jun 2026 12:15:59 +0000

Article URL: https://www.thebrighterside.news/post/time-may-be-an-illusion-derived-from-quantum-entanglement/

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

Points: 4

# Comments: 0

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