Koshkin

34 ms·

1. 601.▲
   by Koshkin 4y ago

   Much of the progress in mathematics over the past 500 years can be attributed to the development of a good, concise notation.
2. 602.▲
   by Koshkin 4y ago

   I suspect that the complexity of C++ is mostly a reflection of complexity of software engineering in general.
3. 603.▲
   by Koshkin 4y ago

   DURA LEX SED LEX (Of course, sometimes it takes breaking the law to change the law. Revolutions, for example, have never been lawful. Governments may even praise a revolution - especially the ones that brought them to power, - yet they woul
4. 604.▲
   by Koshkin 4y ago

   > "terrorist" is an opinion or a judgment More importantly, "terrorists" is often used by some governments in reference to protesters or any group that they see as unfriendly to them.
5. 605.▲
   by Koshkin 4y ago

   I guess, "seaweed" is not the same as "sea weed" to them
6. 606.▲
   by Koshkin 4y ago

   Sure. All I mean is, since the time immemorial the zero, on computer peripherals, has been visually distinct from the letter O (which was done by crossing the zero or putting a dot inside it).
7. 607.▲
   by Koshkin 4y ago

   I hate when people do that (in C++).
8. 608.▲
   by Koshkin 4y ago

   I don’t know how one cannot see the difference between the letter O and the digit 0
9. 609.▲
   by Koshkin 4y ago

   Or, with proper formatting: C THE CALLEE SUBROUTINE X(I) GO TO I END C THE CALLER ASSIGN 10 TO J CALL X(J) C THIS IS NEVER REACHED STOP 10 WRITE(3,100) 100 FORMAT(8H THI
10. 610.▲
    by Koshkin 4y ago

    Fortran 66 was the pinnacle as a no-nonsense practical programming language. No semicolon cancer, no fancy brackets, just code that looks like code. Beautiful (in a nerdy kind of way, by today’s standards).
11. 611.▲
    by Koshkin 4y ago

    Indeed, Arabic is the most beautiful script in existence. (Imagine if the Spanish had adopted it in place of the Latin script.)
12. 612.▲
    by Koshkin 4y ago

    I love Consolas, it is way better looking than other fixed fonts, including Courier.
13. 613.▲
    by Koshkin 4y ago

    > I've learned You’ve got all you need. You can learn programming now.
14. 614.▲
    by Koshkin 4y ago

    > you should be scared off... the fewer langauges you use, the better As an engineer, I see this differently. A "language" is not simply (or always) syntax. Generally speaking, any API is already a language, and it's nor
15. 615.▲
    by Koshkin 4y ago

    This is a narrow view on types; for example, types also help the compiler to produce optimized code. In general, they assist reasoning about and understanding the program.
16. 616.▲
    by Koshkin 4y ago

    Isn’t that why some other languages explicitly draw a distinction between a function and a procedure? I think ‘void’ was introduced in C to do the same thing, implicitly (because omitting the return type does not achieve that).
17. 617.▲
    by Koshkin 4y ago

    > Algorithms are programs. This is patently incorrect. An algorithm is an idea, whereas a program contains a concrete representation (implementation) of one or more algorithms executable on a computer.
18. 618.▲
    by Koshkin 4y ago

    Sure. Just like making cars is applied classical mechanics.
19. 619.▲
    by Koshkin 4y ago

    > questions about its long-term viability I guess people have been having them for the last 47 years now.
20. 620.▲
    by Koshkin 4y ago

    Often, I enjoy running emacs (and vim) in a terminal. (And, by the way, as we all know, “VSCode” stands for “Eight Gigabytes And Constantly Swapping.”)
21. 621.▲
    by Koshkin 4y ago

    Have lived with MacOS on a “late 2014” Mac Mini until it became so slow as to be virtually unusable (amongst other things). Now happily run Linux on it.
22. 622.▲
    by Koshkin 4y ago

    I’ve had great fun playing with (an excellent implementation of) Basic on a Colour Maximite. Highly recommended to those who would like to run Basic on the bare metal. https://micromite.org/product-category/maximites&#x
23. 623.▲
    by Koshkin 4y ago

    > relatively little utility I wouldn’t call being used in virtually all microchips “little utility,” even relatively.
24. 624.▲
    by Koshkin 4y ago

    The Pico is powerful enough to run Doom. https://www.raspberrypi.com/news/doom-comes-to-raspberry-pi-...
25. 625.▲
    by Koshkin 4y ago

    Speaking of those - they are not even mentioned in the text (yet), but without them any presentation of CT will seem necessarily dry : natural transformations and equivalence; adjunctions; and, of course, monads (them being monoids in the
26. 626.▲
    by Koshkin 4y ago

    > Illustrated Isn’t what diagrams were for?
27. 627.▲
    by Koshkin 4y ago

    Vs. 54 comments on Slashdot.
28. 628.▲
    by Koshkin 4y ago

    > natural consequences Also see Mother Nature Is Trying to Kill You by Dan Riskin.
29. 629.▲
    by Koshkin 4y ago

    Just to chime in here: Intel's Fortran compiler (part of their oneAPI ecosystem) "provides CPU and GPU offload support." https://www.intel.com/content/www/us/en/developer/tools/on
30. 630.▲
    by Koshkin 4y ago

    Sigh. I wish people would teach compilers using Oberon as an example. One can write a small yet complete compiler for (what turns out to be not-so-tiny) a language.