HackerLangs
TopNewTrendsCommentsPastAskShowJobs

Koshkin

no profile record

Submissions

Time may be an illusion derived from quantum entanglement

thebrighterside.news
4 points·by Koshkin·11 วันที่ผ่านมา·0 comments

Tiny C Compiler

github.com
4 points·by Koshkin·2 เดือนที่ผ่านมา·0 comments

Static Linux

sta.li
2 points·by Koshkin·7 เดือนที่ผ่านมา·1 comments

comments

Koshkin
·10 วันที่ผ่านมา·discuss
> 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
·เดือนที่แล้ว·discuss
> Healthy lifestyles: 21 or less units of alcohol per week

Looks Good
Koshkin
·เดือนที่แล้ว·discuss
[flagged]
Koshkin
·2 เดือนที่ผ่านมา·discuss
> 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 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
For some reason it took a while for Copilot to write an executable machine code for Hello World.
Koshkin
·2 เดือนที่ผ่านมา·discuss
> once someone attains a postdoc-level...

... they will discover that level is already crowded by LLMs
Koshkin
·2 เดือนที่ผ่านมา·discuss
Also: https://lew98.github.io/Mathematics/LADR_Solutions/LADR_Solu...
Koshkin
·2 เดือนที่ผ่านมา·discuss
> 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 เดือนที่ผ่านมา·discuss
> in the way you are linking them

This is what the text says, not me.
Koshkin
·3 เดือนที่ผ่านมา·discuss
> 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 เดือนที่ผ่านมา·discuss
> 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 เดือนที่ผ่านมา·discuss
Except such set is empty and thus does not contain itself.
Koshkin
·3 เดือนที่ผ่านมา·discuss
> 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 เดือนที่ผ่านมา·discuss
... and, as such, it doesn't contain itself!
Koshkin
·3 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
Well, graphics acceleration is still considered optional on servers :)
Koshkin
·4 เดือนที่ผ่านมา·discuss
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 เดือนที่ผ่านมา·discuss
Tried Amazon Luna once on a TV, it was indeed a good experience.