Koshkin

9 ms·

121.
by Koshkin 2y ago
Indeed - whatever the axioms, the natural numbers will forever remain a mystery.
122.
by Koshkin 2y ago
Sure, one can, but does it help with anything? Just curious.
123.
by Koshkin 2y ago
In absolute terms, sure. At the practical level, you can find a partial answer in the section 7.2 of the paper.
124.
by Koshkin 2y ago
At first, sure. But then, with all the service packs it became all but unusable on the computers on which it came preinstalled and used to run fine.
125.
by Koshkin 2y ago
Reading the numerous lecture notes on mathematical methods used in physics that are available online is like reading stories about love: it never gets old, and each time you learn something new!
126.
by Koshkin 2y ago
https://archive.org/details/Mathematical_Methods_for_Physici...
127.
by Koshkin 2y ago
https://en.wikipedia.org/wiki/IM-2
128.
by Koshkin 2y ago
-280F = -173.33333C +280F = +137.77777C
129.
by Koshkin 2y ago
Need wine (or something stronger) to run it on Linux.
130.
by Koshkin 2y ago
Yes, too many times I have seen coders solve problems in O(n) instead of O(1)… But that’s nothing compared to not having any sensible, provable theoretical foundation for the design of a piece of software, most of which look like being cobb
131.
by Koshkin 2y ago
Did Rust make pointers complicated?
132.
by Koshkin 2y ago
Wouldn't a USB hub and, say, BTRFS do the job?
133.
by Koshkin 2y ago
> about "civilization ending" events this kind of compute Realistically though, we'd be extremely lucky to need the abacus, even.
134.
by Koshkin 2y ago
I recommend SciTE. Is seems like a perfect middle ground between Notepad and more feature-rich text editors like Notepad++.
135.
IBM 2314 Direct Access Storage Facility [pdf](s3.computerhistory.org)
2 points by Koshkin 2y ago|0 comments
136.
by Koshkin 2y ago
Dusa McDuff rocks!
137.
by Koshkin 2y ago
64kB was huge. The first version of UNIX needed 24kB (half of which was taken by the kernel).
138.
by Koshkin 2y ago
Off-topic, but just wanted to note that using floating-point numbers as keys may be generally a bad idea (unless you use a custom comparator that takes into account the error that can accumulate during calculations).
139.
by Koshkin 2y ago
‘auto’ (in C++) and ‘var’ (in C# and Java) is a blessing, makes code much less verbose. Also good for refactoring - less code to change.
140.
by Koshkin 2y ago
Oh well... At least, in 1980 we got Xenix.
141.
by Koshkin 2y ago
Unironically, true.
142.
by Koshkin 2y ago
The option -U lets you build in the unprivileged mode.
143.
by Koshkin 2y ago
Indeed it does! It all starts with a hexadecimal code which is converted by a tool into the machine code for some simple VM; there seem to be a few more steps, where one thing is used to build another, etc. It is in this sense that this par
144.
by Koshkin 2y ago
They do go into some detail of the steps involved. Basically, it seems as though the system unravels itself, going from simple things to more complex.
145.
by Koshkin 2y ago
Forget the page, look at the slides, they are amazing.
146.
by Koshkin 2y ago
Mathematics has, and has always had, applications within itself.
147.
by Koshkin 2y ago
How is it that Linux is ready for huge swaths of industrial applications and yet it somehow isn’t ready for the desktop? Personally, I have been enjoying “Linux on the desktop” for years now, and I find the distribution that I use exceeding
148.
by Koshkin 2y ago
Heh, I wouldn’t call companies that use mainframes “too cheap.”
149.
by Koshkin 2y ago
>> every other OS on the planet calls files and directories I think it is a useful distinction, the one between a file and a data set. In one case the OS is kept unaware of the logical structure of a file, while the user does not n
150.
by Koshkin 2y ago
A license agreement is, well, an agreement between the manufacturer and the consumer which may include a requirement to acknowledge certain aspects of how the software operates (e.g. the user may be required to agree to “share” some data)

More ›