pron

1028 ms·

1. 2821.▲
   TLA+ for Startups (Part 1)(medium.com)

   2 points by pron 7y ago|0 comments
2. 2822.▲
   by pron 7y ago

   > but you might need to do some JNI wrappers to call stuff like system tray I don't do much desktop programming, but I think that the system tray has had support in Java for many years now: https://docs.oracle.com/ja
3. 2823.▲
   by pron 7y ago

   It's all a matter of personal preference, and Rust is just not what I'm looking for in a C++ replacement, I guess. My biggest issue with C++ is the complexity of the language. C++ is a language that fetishizes accidental comple
4. 2824.▲
   by pron 7y ago

   Yep. Zig is shaping up to be the low-level programming language I've been waiting for to replace C++ for me. It just needs to mature and stabilize a bit before it's production-quality.
5. 2825.▲
   by pron 7y ago

   Finalizers were deprecated two years ago, and might be removed altogether in the not-too-distant-future.
6. 2826.▲
   by pron 7y ago

   Just a clarification: when used as a JIT, Graal does not compile languages defined with the Truffle framework into Java bytecode. Rather it compiles both Java bytecode and Truffle languages directly into machine code (in this case, the
7. 2827.▲
   by pron 7y ago

   Your original point was something about how you don't like Java's erased generics (and general language evolution). I explained how they fit in with, and, indeed, the best choice for Java's design philosophy that, despite bei
8. 2828.▲
   by pron 7y ago

   Java is the name of a language as well as the name of a platform that contains it, in addition to a VM, core libraries and a wide selection of tools, all as integrated but distinct components (those living in Britain will find such dual
9. 2829.▲
   by pron 7y ago

   Well then, I guess I'm going to have to learn to live with your disbelief as well. Java is the name of both a software platform as well as a programming language for that platform. Languages that target that platform are often called &
10. 2830.▲
    by pron 7y ago

    I believe you re .NET Core, but I think that Microsoft shifting their focus to a backward-incompatible development platform (not Windows, on which they have a very good compatibility record) every five years or so is more than just opinion.
11. 2831.▲
    by pron 7y ago

    As I said, I work on OpenJDK, and the JVM constitutes less than 25% of the Java platform software (JDK). The Java language constitutes about 2% of the codebase, and Kotlin and Clojure make use of over 95% of it. They use the JVM, the Java c
12. 2832.▲
    by pron 7y ago

    I'm sure it has, but in the meantime Java is making great strides as well on multiple important fronts -- low-latency GCs, a next-gen JIT, AOT compilation, native ffi, low-overhead in-production profiling and lightweight concurrency, a
13. 2833.▲
    by pron 7y ago

    Because Java is both the name of a platform and the name of a language for that platform, and from its original design, the platform has been the main focus. Clojure, Kotlin and the Java language are all Java platform languages. And you&#x2
14. 2834.▲
    by pron 7y ago

    Putting aside which platform has better developer ergonomics -- something that's obviously very subjective -- you think that linguistic features that have not been found to make any significant impact are "more meaningful"
15. 2835.▲
    by pron 7y ago

    Those under-10% Java market-share languages would make up about half of .NET's. Everything looks small in comparison when you're as incredibly successful as Java (some of those languages you find so insignificant are about as big
16. 2836.▲
    by pron 7y ago

    > To me the moment you're trying to defend Java generics and type erasure, vs C# which paid the price early and has reaped the rewards for years, you should already you're on the wrong side of things... Those erased generics th
17. 2837.▲
    by pron 7y ago

    Whether that's "wrong" or "right" is a matter of opinion. But it's hard to argue with the fact that many more people seem to prefer Java's approach to Microsoft's. As to .NET's "insane under
18. 2838.▲
    by pron 7y ago

    There are very few languages (two at most) used to write more new software now than Java.
19. 2839.▲
    by pron 7y ago

    Well, some companies still write many of their new projects in the Java language (not to mention use the Java platform), like Apple, Amazon, Alibaba, Google, Netflix, and, of course, banks, governments, airports, militaries, hospitals, util
20. 2840.▲
    by pron 7y ago

    I won't argue over particular features because clearly it's a matter of personal preference and, working on OpenJDK, I'm biased, but a couple of points: Since Java was introduced in 1995 until today, Microsoft's software
21. 2841.▲
    by pron 7y ago

    See records, coming to Java next year: https://openjdk.java.net/jeps/359
22. 2842.▲
    by pron 7y ago

    That's fine, but you should know that VPN implementors often particularly seek out former intelligence agency people to design their security, and that's pretty much where VPNs started. Feel free to trust whomever you like, but th
23. 2843.▲
    by pron 7y ago

    > The NSA, Israeli Intelligence, BKA, FSB, etc are all not much better than the StaSi I guess it depends on your definition of "much better", but for roughly the same definition you'd need to use to make that statement, yo
24. 2844.▲
    by pron 7y ago

    Thing is, Akamai and Cisco employ a lot of those people. Quite many of them in security research. People who were in the NSA or Israeli intelligence are the people companies seek when they want security. Israel's military intellige
25. 2845.▲
    by pron 7y ago

    Israel does allow it in some cases, but the security conditions in Israel and Germany are very different, as is the size of their population. But I have some bad news for you: you are most likely using technology made by people who'v
26. 2846.▲
    by pron 7y ago

    P.S. For those interested in a direct response by a scholar to another, perhaps less extreme and more sophisticated, charlatan of Yarvin's general milieu, see: https://thebaffler.com/latest/peterson-ganz-klein
27. 2847.▲
    by pron 7y ago

    Next level: https://en.wikipedia.org/wiki/Synthetic-aperture_radar
28. 2848.▲
    by pron 7y ago

    Whoa, I don't know if I would start by teaching you history or the basic mathematics of natural selection. I'm always impressed by how the ability to form coherent explanatory narratives is inversely proportional to the amount of
29. 2849.▲
    by pron 7y ago

    > You'd just work with them differently to get to the same ends, but with the added benefit of you can actually directly use the output of your efforts. With TLA+ you can also directly use the output of your efforts. But if you&#x2
30. 2850.▲
    by pron 7y ago

    What? Non-sequitur much? While the so-called European Miracle of the past 500 years is a fascinating and complex area of research that will undoubtedly be studied for generations and centuries to come, I wasn't aware that anyone consid