HackerTrans
トップ新着トレンドコメント過去質問紹介求人

Koshkin

no profile record

投稿

Time may be an illusion derived from quantum entanglement

thebrighterside.news
4 ポイント·投稿者 Koshkin·11 日前·0 コメント

Tiny C Compiler

github.com
4 ポイント·投稿者 Koshkin·2 か月前·0 コメント

Static Linux

sta.li
2 ポイント·投稿者 Koshkin·7 か月前·1 コメント

コメント

Koshkin
·10 日前·議論
> 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.
Koshkin
·先月·議論
> Healthy lifestyles: 21 or less units of alcohol per week

Looks Good
Koshkin
·先月·議論
[flagged]
Koshkin
·2 か月前·議論
> 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.)
Koshkin
·2 か月前·議論
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.)
Koshkin
·2 か月前·議論
For some reason it took a while for Copilot to write an executable machine code for Hello World.
Koshkin
·2 か月前·議論
> once someone attains a postdoc-level...

... they will discover that level is already crowded by LLMs
Koshkin
·2 か月前·議論
Also: https://lew98.github.io/Mathematics/LADR_Solutions/LADR_Solu...
Koshkin
·2 か月前·議論
> 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.
Koshkin
·3 か月前·議論
> in the way you are linking them

This is what the text says, not me.
Koshkin
·3 か月前·議論
> In one system, a set can contain itself

But doesn't this lead to a contradiction (or to making the system of little use)?
Koshkin
·3 か月前·議論
> 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")?
Koshkin
·3 か月前·議論
Except such set is empty and thus does not contain itself.
Koshkin
·3 か月前·議論
> 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...
Koshkin
·3 か月前·議論
... and, as such, it doesn't contain itself!
Koshkin
·3 か月前·議論
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.
Koshkin
·3 か月前·議論
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.
Koshkin
·3 か月前·議論
Well, graphics acceleration is still considered optional on servers :)
Koshkin
·4 か月前·議論
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.
Koshkin
·4 か月前·議論
Tried Amazon Luna once on a TV, it was indeed a good experience.