Jaxan

19 ms·

1. 241.▲
   by Jaxan 3y ago

   I get the pop up constantly. But you can just close it and watch the video.
2. 242.▲
   by Jaxan 3y ago

   That’s a cool page! Thanks!
3. 243.▲
   by Jaxan 3y ago

   It seems to only work for a fixed size. Wouldn’t that be called a sorting network?
4. 244.▲
   by Jaxan 3y ago

   > It's approaching 3 years old which is a pretty standard age for people to start looking at a replacement Is this really true? Three years sounds very new to me, and no one in their right minds would replace it.
5. 245.▲
   by Jaxan 3y ago

   I use OneNote for writing notes (and keep it in handwritten form). Surprisingly, it is searchable! Doesn’t work for equations though.
6. 246.▲
   by Jaxan 3y ago

   My feeling is that proof assistants are much closer to general purpose programming than logic programming such as prolog.
7. 247.▲
   by Jaxan 3y ago

   I noticed this too. Also, for a so-called “high-contrast” colour scheme, this palette has little contrast, imo
8. 248.▲
   by Jaxan 3y ago

   What about (reverse . toList) mySet Or: let fun = reverse . toList in fun mySet
9. 249.▲
   by Jaxan 3y ago

   I run Nextcloud on it, to backup and sync documents at home. I just bought a 128GB sd card instead of using external storage via usb.
10. 250.▲
    by Jaxan 3y ago

    There is a whole field of “weighted automata” which combine linear algebra and automata theory.
11. 251.▲
    by Jaxan 3y ago

    I get the same…
12. 252.▲
    by Jaxan 3y ago

    I don’t think it’s actually case sensitive. And there is autocomplete anyways.
13. 253.▲
    by Jaxan 3y ago

    In the Netherlands we have Rijksoverheid sans https://www.rijkshuisstijl.nl/publiek/modules/product/Digita...
14. 254.▲
    by Jaxan 3y ago

    That would be an constant function (instead of linear)
15. 255.▲
    by Jaxan 3y ago

    It seems they kept the colouring the same. Coloured icons remain coloured and monochrome ones stay monochrome.
16. 256.▲
    by Jaxan 3y ago

    On iOS too. I have to scroll sideways to read it all, although there is a lot of white space.
17. 257.▲
    by Jaxan 3y ago

    What about a static image?
18. 258.▲
    by Jaxan 3y ago

    Oh this is amazing! Even works on iOS 15! Thanks for the recommendation.
19. 259.▲
    by Jaxan 3y ago

    It’s not about a single circle, but about the growth rate.
20. 260.▲
    by Jaxan 3y ago

    A simulation of what?
21. 261.▲
    by Jaxan 3y ago

    This is pretty neat. I tried the "Digital Colour Meter" app on MacOS, but both whites shows exactly the same values and it is also impossible to take a screenshot of. So I wonder how this works in the OS.
22. 262.▲
    by Jaxan 3y ago

    I’ve always loved how the capital letter extend below the baseline.
23. 263.▲
    by Jaxan 3y ago

    Thanks! I appreciate this attitude as I’m stuck on iOS 15, but still like my phone as it is.
24. 264.▲
    by Jaxan 3y ago

    For jpg2000 other wavelets are used not the square ones. Regular jpg is cosines.
25. 265.▲
    by Jaxan 3y ago

    The target audience is members of the acm. So that mostly includes computer science researchers, I guess.
26. 266.▲
    by Jaxan 3y ago

    Yes those exist. It is called a Haar wavelet. https://en.m.wikipedia.org/wiki/Haar_wavelet
27. 267.▲
    by Jaxan 3y ago

    Why put this in ai.txt? It sounds useful to humans too! Maybe just put “what the site is about” on the homepage, so that everyone benefits.
28. 268.▲
    by Jaxan 4y ago

    I am not sure reading 25 papers per day is a good way of staying up to date.
29. 269.▲
    by Jaxan 4y ago

    > Apps increasingly don't bother testing for the 4" screen dimensions Yes that is actually an issue. Websites also seem to think people with small screens don't exist. I don't recognise the other problems. But you mig
30. 270.▲
    by Jaxan 4y ago

    What’s wrong with the old SE? I still use mine daily. (Indeed I had to replace the battery too.)