HackerLangs
TopNewTrendsCommentsPastAskShowJobs

Koshkin

no profile record

Submissions

Time may be an illusion derived from quantum entanglement

thebrighterside.news
4 points·by Koshkin·11 giorni fa·0 comments

Tiny C Compiler

github.com
4 points·by Koshkin·2 mesi fa·0 comments

Static Linux

sta.li
2 points·by Koshkin·7 mesi fa·1 comments

comments

Koshkin
·10 giorni fa·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
·mese scorso·discuss
> Healthy lifestyles: 21 or less units of alcohol per week

Looks Good
Koshkin
·mese scorso·discuss
[flagged]
Koshkin
·2 mesi fa·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 mesi fa·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 mesi fa·discuss
For some reason it took a while for Copilot to write an executable machine code for Hello World.
Koshkin
·2 mesi fa·discuss
> once someone attains a postdoc-level...

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

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