Koshkin

26 ms·

451.
by Koshkin 3y ago
It seems that the fundamental problem with the functional paradigm (in its pure form) is that the real world - including the architecture of the computer that is used to run the programs on - is full of side effects, i.e. is essentially &qu
452.
by Koshkin 3y ago
Thank God no one can say “mibidollars”
453.
by Koshkin 3y ago
This is one of the rare examples when the word "literally" means what it says.
454.
Vuélvete a Windows(linuxadictos.com)
3 points by Koshkin 3y ago|0 comments
455.
by Koshkin 3y ago
> nobody needs a proof of how differentiation or integration work This "nobody" includes a lot of industry workers, e.g. those in finance and economics, not only "pure" mathematicians.
456.
by Koshkin 3y ago
I would not call this "destructive." Solving problems is fun in its own right, and things would start making sense in their interconnection, regardless of whether they can be applied to sciences or not.
457.
by Koshkin 3y ago
Why not? What does Ubuntu bring to the table (for home users, anyway)?
458.
by Koshkin 3y ago
Just think for a moment of a machine with 24KB of RAM which ran the first version of UNIX.
459.
by Koshkin 3y ago
Feynman put this to good use in his lectures: https://www.feynmanlectures.caltech.edu/III_05.html
460.
by Koshkin 3y ago
> worse people doing worse things Do not judge lest you be judged. (Matthew 7:1)
461.
by Koshkin 3y ago
The nice thing about having assembler code on punch cards was that you could reuse them to “write” new programs!
462.
by Koshkin 3y ago
More from Gonzalo Santile https://www.designswan.com/archives/stunning-photography-of-...
463.
Photos of the Milky Way(petapixel.com)
4 points by Koshkin 3y ago|1 comments
464.
by Koshkin 3y ago
Curiously, we also anglicize, to a large degree, the pronunciation of words even when the intent is to approximate the native pronunciation as closely as possible, such as in popular phrase books for travelers - to the point that I often as
465.
by Koshkin 3y ago
The variability in pronunciation is a blessing in disguise. How else would one distinguish between 'a row' and 'a row', or tell 'a sow' from 'to sow'? The American English is an infinite source of pri
466.
by Koshkin 3y ago
Right, if it can be asserted based on some independent assumptions that a positive X must be at least 30, then from those assumptions and X > 10 it would follow that X > 20.
467.
by Koshkin 3y ago
We come out from the stars, and into the stars we shall return.
468.
by Koshkin 3y ago
> > "If X is greater than 10, X is greater than 20" theorems I think I have seen theorems of that sort. (Can't think of a specific example right now.)
469.
by Koshkin 3y ago
In the abstract setting, morphisms do not "preserve structure" - they are just arrows, and there is no structure to preserve to begin with.
470.
by Koshkin 3y ago
“A pretty good one.” Right. The amount of generalization and insight is incomparable.
471.
by Koshkin 3y ago
> The objects in category theory are equipped with structure I am sure everything else in the article is correct.
472.
A Guided Journey into the World of Abstract Mathematics [pdf](mathematicaster.org)
2 points by Koshkin 3y ago|0 comments
473.
by Koshkin 3y ago
I used to believe that we eat in order to live. Now I think that we live in order to eat!
474.
by Koshkin 3y ago
The author seems to "define" GPU as "what can run A.I. workload". Well: despite the fact that modern GPUs have indeed become more CPU-like, in that they are now suitable for GP (general-purpose) computing, it does not ma
475.
by Koshkin 3y ago
Renesas
476.
by Koshkin 3y ago
Interesting. It would have been nice if it could be used on "80286 (and newer)" :)
477.
by Koshkin 3y ago
A very cool series, well presented. Incidentally, a search for 8088 on eBay also turns up curious new laptops with this CPU inside.
478.
by Koshkin 3y ago
> Recursion The thing is, in simple cases recursion can easily be replaced with iteration, and in complex cases it is hard to reason about. Fortran didn’t (use to) have support for it, which made it a perfect tool for writing high-perf
479.
by Koshkin 3y ago
I just can’t get over how high-quality the information on this website is. See, for another example, https://cryptomuseum.com/crypto/usa/kl7/index.htm .
480.
History of the Enigma(cryptomuseum.com)
18 points by Koshkin 3y ago|3 comments

More ›