HackerTrans
TopNewTrendsCommentsPastAskShowJobs

Koshkin

no profile record

Submissions

Time may be an illusion derived from quantum entanglement

thebrighterside.news
4 points·by Koshkin·há 11 dias·0 comments

Tiny C Compiler

github.com
4 points·by Koshkin·há 2 meses·0 comments

Static Linux

sta.li
2 points·by Koshkin·há 7 meses·1 comments

comments

Koshkin
·há 10 dias·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
·mês passado·discuss
> Healthy lifestyles: 21 or less units of alcohol per week

Looks Good
Koshkin
·mês passado·discuss
[flagged]
Koshkin
·há 2 meses·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
·há 2 meses·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
·há 2 meses·discuss
For some reason it took a while for Copilot to write an executable machine code for Hello World.
Koshkin
·há 2 meses·discuss
> once someone attains a postdoc-level...

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

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