Jaxan

19 ms·

1. 331.▲
   by Jaxan 6y ago

   I have used Mail.app and the default mail app on windows 10 a lot. Can you believe that the default windows mail app is even worse? Very basic features are still missing after many years...
2. 332.▲
   by Jaxan 6y ago

   I learned with turtle graphics and similar things. For me the visual aspect was really important and fun!
3. 333.▲
   by Jaxan 6y ago

   Many bridges have collapsed in Italy recently. So, yeah, they do not always last hundred years...
4. 334.▲
   by Jaxan 6y ago

   You can use Dijkstra as a traversal, since you don’t need and endpoint. I still agree that comparing a DFS and an A* is a bit strange, they have different use cases.
5. 335.▲
   by Jaxan 6y ago

   The battery typically lasts for weeks. This is something we cannot say at all for phones...
6. 336.▲
   by Jaxan 6y ago

   I don’t think Musescore falls in the “move fast” category at all. They were simply naive (and underestimating how much pop music would be transcribed and uploaded). In any case, I found their communication very clear.
7. 337.▲
   by Jaxan 6y ago

   Sure. But rust was not possible without all the research and little prototype languages. I think it’s good that many people are trying many things (as long as they clearly report their findings).
8. 338.▲
   by Jaxan 6y ago

   Or you use suitcase to make a GUI for this tool ;-)
9. 339.▲
   by Jaxan 6y ago

   I think it should not be Turing complete. It should never loop and tooling should be able to decide that a configuration file never loops!
10. 340.▲
    by Jaxan 7y ago

    Depends on which gates you allow in your design. But the SMT encoding is really flexible, so you can adjust it for your needs.
11. 341.▲
    by Jaxan 7y ago

    So basically just a shortest path algorithm starting from the player to all other tiles?
12. 342.▲
    by Jaxan 7y ago

    Ah this explains so much! We were having a lot of trouble having meetings with more than 5 people. Nobody here uses chrome (for good reasons.)
13. 343.▲
    by Jaxan 7y ago

    I understand the hate for Zoom. But... We have tried Jitsi a few weeks ago. And we couldn’t scale to meetings with more than 5 people. We tried our own server and theirs. Then there is Skype and Hangouts. With both I can only meet for two h
14. 344.▲
    by Jaxan 7y ago

    Skype, Jitsi and MS teams also have this feature for some time now.
15. 345.▲
    by Jaxan 7y ago

    I’ve listened to an interview with a virologist (is that the word?) She said that there have been many studies in how droplets move when people sneeze and cough. These studies have been done with different sized droplets. She said that 1m i
16. 346.▲
    by Jaxan 7y ago

    I feel like this bug should be solved by using a proper parsing, instead of greedily looking for a field...
17. 347.▲
    by Jaxan 7y ago

    Two points. 1) Currently, the code could be written with normal overloading (one for int and one for unsigned). No traits required. 2) The current code relies on an implicit cast to int or unsigned int. I’m not sure that’s good.
18. 348.▲
    by Jaxan 7y ago

    Ah I didn’t know you could draw yourself. That explains the difference.
19. 349.▲
    by Jaxan 7y ago

    I have used ConTeXt for a bit. And it made me like TeX again. The typesetting is actually great. It does ligatures, kerning, right to left scripts, Arabic, and more. I think LaTeX is where it went wrong, with all the incompatible packages w
20. 350.▲
    by Jaxan 7y ago

    I just started to look into Rust. And while reading the book, I kept thinking: “this is much easier than c++”, exactly for the reasons you mention. In C++ there is quite some things you need to keep in mind while programming (like whether s
21. 351.▲
    by Jaxan 7y ago

    I recently moved to Germany. And I really miss the Dutch trains. They are so much more in time than here in Germany.
22. 352.▲
    by Jaxan 7y ago

    You had bad luck I guess. I just did 15 tries and it only got one wrong. Not really sure what this says though.
23. 353.▲
    by Jaxan 7y ago

    I have written quite some Haskell in my life, but never a line of python. For me this tutorial makes sense, it shows the underlying maths. So I don’t really understand your negative attitude.
24. 354.▲
    by Jaxan 7y ago

    I agree that this would look more readable if they used a library for the vector math, instead of doing everything by hand.
25. 355.▲
    by Jaxan 7y ago

    Edward Kmett has a talk about parsing with monoids [0]. Somehow that seems an elegant way of doing layout based syntax. I have never done it myself, though. [0] https://www.youtube.com/watch?v=Txf7swrcLYs
26. 356.▲
    by Jaxan 7y ago

    The blog post is not about code. It’s about solving a puzzle, which they do!
27. 357.▲
    by Jaxan 7y ago

    FORTRAN got a new version in 2018! Is that it new enough for you :-)?
28. 358.▲
    by Jaxan 7y ago

    It’s the second website where I see this strange behaviour. Very annoying indeed.
29. 359.▲
    by Jaxan 7y ago

    I am using Jekyll with KaTeX and am reasonably content. The only thing I’m missing is a hyperlink checker. Since the whole site is static, Jekyll could check all the links to all the pages (even the ones to images or external sites). But it
30. 360.▲
    by Jaxan 7y ago

    You don’t need JavaScript for KaTeX. So I suppose the two options are equally fast.