JohnStrange

35 ms·

1. 241.▲
   by JohnStrange 10y ago

   Not really, I know people who work on Mizar but I'm not myself involved. Anyway it's also subjective what you call AI-driven and what not. I can comment on another thing, though. Even very simple concepts like well-foundedness con
2. 242.▲
   by JohnStrange 10y ago

   It's a pretty cool idea but nothing groundbreaking. There is plenty of AI-driven mathematics already, e.g. the Mizar theorem prover. Pollock used to advocate the idea of continuously trying to prove theorems that might be useful late
3. 243.▲
   by JohnStrange 10y ago

   Answer to first question: Every single one. The answer to your second question is manyfold. First, it makes a false presupposition, web development is not faster and easier. Second, most devs probably chose the browser as a platform because
4. 244.▲
   by JohnStrange 10y ago

   Makes you wonder whether it's possible to infer the characteristics of a programming language from the name of its main inventor, doesn't it?
5. 245.▲
   by JohnStrange 10y ago

   While we're talking about obscure speed differences, I recently needed to traverse large directories and collect files with a certain suffix and found out that using "find" as a subprocess and parsing its output line-by-line
6. 246.▲
   by JohnStrange 10y ago

   Not indiscriminately. In terms of sex, they go for the looks. Just like men. Regarding long-term partnership and raising children, that's a whole different story -- just like with men.
7. 247.▲
   by JohnStrange 10y ago

   I'm in the humanities, where my last sentence was completely true. The publication fee for Nature you mention is for open access, not for publishing. Open access fees are very expensive everywhere. And no, my definition of grey literat
8. 248.▲
   by JohnStrange 10y ago

   I agree, it wasn't meant to be generalized and is only a relative thing. If the horror stories I've heard are right, Portugal is a shining beacon of diligence in comparison to Angola. My point was just that if your boss is an assh
9. 249.▲
   by JohnStrange 10y ago

   I have something to say about that. I live in Portugal as a foreigner and the working hours mean nothing. People are making coffee breaks all day long and the amount of sloppiness and incompetence can often be mind-boggling. As an example,
10. 250.▲
    by JohnStrange 10y ago

    Sorry, perhaps this differs from field to field but at least in mine what you say is patently false. Journals have no linguistic editing, no proofreading, and the typesetting is outsourced to India - at least Springer does so, as I know fro
11. 251.▲
    by JohnStrange 10y ago

    And who protects the researchers? The same people who demand this open access also advocate research evaluation criteria that mostly count the number of publications in top journals owned by Springer, Elsevier, etc.
12. 252.▲
    by JohnStrange 10y ago

    Because the journals held by a few global players (Elsevier, Springer, Oxford Journals) are the most prestigious ones, and a researcher's career and funding hinges almost solely on the number of his publications/year in prestigiou
13. 253.▲
    by JohnStrange 10y ago

    I'm not sure about that. Where I currently live we now have a regulation that we need to put every article open access on some server, while at the same time providing us with no guarantee or assistance that journals won't sue us.
14. 254.▲
    by JohnStrange 10y ago

    I think that inventions are similar to bars; nobody can really tell you which ones become popular and which won't. Neither the barkeeper nor the inventor can really control their fate. I'm still waiting for the ridiculously cheap,
15. 255.▲
    by JohnStrange 10y ago

    I would hire someone who hates design and frontend anytime. Then again, I have no money, no company, and never hired anyone in my life.
16. 256.▲
    by JohnStrange 10y ago

    I'd rather like to see a movement against websites that force users to vertically scroll down page after page to read three paragraphs of text.
17. 257.▲
    by JohnStrange 10y ago

    I'm kind of skeptical about this alleged fallacy, where I have to admit that I'm not an economist. The usual formulations of it seem to be something crucial missing. I've heard that many producers of goods deliberately introd
18. 258.▲
    by JohnStrange 10y ago

    >You know a language has arrived when its toolchain ships as a standard component with operating systems. Like Ada, right? ducksforcover
19. 259.▲
    by JohnStrange 10y ago

    The dl link is dead. :(
20. 260.▲
    by JohnStrange 10y ago

    You can, but it's not generally advisable.
21. 261.▲
    by JohnStrange 10y ago

    There is also UDT as a reliable UDP-based alternative to TCP. Some day I'd like to hear from someone who used it whether it's worth it and when it makes sense.
22. 262.▲
    by JohnStrange 10y ago

    It's amazing that this scheme is even legal. In fact, I'm pretty sure it wouldn't be legal if Kim Dotcom did it.
23. 263.▲
    by JohnStrange 10y ago

    Perhaps it's more like punishing a student for cheating in an exam with a cheat sheet that some teacher wrote.
24. 264.▲
    by JohnStrange 10y ago

    You and the original author must also not forget that most startups do suck and will invariably fail, and the critiques are aware of that. I still remember fondly when I got my first life-long free email address from USA.net ...
25. 265.▲
    by JohnStrange 10y ago

    Ada is fairly easy to use once you know it. It has a few quirks and many nice features. It just takes a bit more time to learn, because its way more strongly typed than most other languages. IMHO, its main advantage is not safety, though, b
26. 266.▲
    by JohnStrange 10y ago

    Sure, but that sounds like bad design out of the box. I'm still trying to find a reasonable use case for these "public keys" (quote from the very first line, too) One would assume that public keys are always easy to guess, be
27. 267.▲
    by JohnStrange 10y ago

    I also don't get it. The article seems to be about IDs or serial numbers, and to make these unique I'd assign them consecutively like so: 1, 2, 3, 4, 5, 6, 7, ... For GUIDs, on the other hand, I'd probably just use a good sta
28. 268.▲
    by JohnStrange 10y ago

    Having programmed many substantial projects in both worlds, I have to admit that I much prefer S-expressions over any other syntax -- without complicated macros that introduce some sort of keywords or other tricks. With S-expressions, there
29. 269.▲
    by JohnStrange 10y ago

    There is nothing complicated about drone strikes. They are conducted without judicial oversight and without any process, let alone due process, and provably kill more non-combatant civilians than enemy combatants. They are well-documented a
30. 270.▲
    by JohnStrange 10y ago

    Uhm, first of all, I don't have anything in particular against fighting piracy, at least not commercial piracy. Unfortunately, the US has used the domain name system to fight piracy without due process in other countries rather than ac