__rito__

11 ms·

1. 151.▲
   by __rito__ 1y ago

   Wow, thanks for sharing. Now I will finally scratch my software proofs itch. ___ Typo in GP: "fun" instead of "fund"
2. 152.▲
   by __rito__ 1y ago

   I highly recommend this resource- OCaml Programming: Correct + Efficient + Beautiful [0]. It is very friendly, fund, and informative. It is one of the proverbial 'mind expanding' stuff. [0]: https://cs3110.github.io&#x2
3. 153.▲
   by __rito__ 1y ago

   Wow, wonderful stuff. Thanks for posting!
4. 154.▲
   by __rito__ 1y ago

   Only things I use SMS for are purely utility: OTP, CC spend notice, bill payment, insurance premium, etc. Only time I need SMS, i.e. when a family member or a friend travels to a remote area, internet, and hence, RCS don't work anywa
5. 155.▲
   by __rito__ 1y ago

   Messages. The ads come as messages. Like in this video: https://www.youtube.com/watch?v=1YGZwlZqrpU They sometimes look like this, too [JPG]: https://static1.anpoimages.com/wordpress/wp-content/upl
6. 156.▲
   by __rito__ 1y ago

   After my smartphone vendor's SMS app, and Google Messages both started serving me non-stop loans ads and gambling ads (never gambled ever in my life), I switched to Fossify Messages, and it has been going great for me. Never looked bac
7. 157.▲
   by __rito__ 1y ago

   - I was most influenced by HN threads on books. I read dozens of books based on HN recommendations. This tangibly, concretely changed my life in a small way. I found authors like Neal Stephenson, Greg Egan, Hofstadter, etc. from HN. I am
8. 158.▲
   by __rito__ 1y ago

   Can I now completely get rid of the physical keyboard? I will go full in on AR(/VR) when I can comfortably type into thin air, lying down, kinda like this: https://ibb.co/nv8Qj72
9. 159.▲
   by __rito__ 1y ago

   By reading the article, you will know for sure which country had the edge. So the headline's attempt to club them together is also weird.
10. 160.▲
    India and Pakistan Talked Big, but Satellite Imagery Shows Limited Damage(nytimes.com)

    4 points by __rito__ 1y ago|2 comments
11. 161.▲
    by __rito__ 1y ago

    > "[...] never do all that when it comes to rapid infrastructure development." India is now building 100 km highway per day. It created 24,000+ km in the last 5 years. [0] It has the second-largest road network in the world, se
12. 162.▲
    by __rito__ 1y ago

    Thank you for the list!
13. 163.▲
    by __rito__ 1y ago

    May I get the list of your favorite programming books?
14. 164.▲
    Mathematical Reading List – University of Cambridge [pdf](maths.cam.ac.uk)

    7 points by __rito__ 2y ago|3 comments
15. 165.▲
    by __rito__ 2y ago

    From the file: "This list of interesting mathematics books and internet sites is mainly intended for sixth-formers planning to take a degree in mathematics. However, everyone who likes mathematics should take a look: some of the items
16. 166.▲
    by __rito__ 2y ago

    Here is the full list [pdf]: https://www.mensaforkids.org/achieve/excellence-in-reading/e...
17. 167.▲
    Kerala producers' body deploys ethical hackers to track down film pirates(thehindu.com)

    1 points by __rito__ 2y ago|0 comments
18. 168.▲
    by __rito__ 2y ago

    When I say empty, I mean, houses are there, and they are unoccupied. Schools are there, but there aren't students. Etc. Did you even read what I linked? And it was not the only reason I wrote the comment. There are other points in the
19. 169.▲
    by __rito__ 2y ago

    Many Keralian small towns and villages seemed empty to me. That's what I meant. I am sure what you are saying is true.
20. 170.▲
    by __rito__ 2y ago

    Kerala is a very empty place. People emigrate parmanently or stay outside for decades. Elderlies live on their own. Schools and home remain empty. It is just intuitively sad. One should read this interesting piece- "Kerala: A ghost to
21. 171.▲
    Physics-Based Deep Learning v4(arxiv.org)

    5 points by __rito__ 2y ago|1 comments
22. 172.▲
    by __rito__ 2y ago

    Abstract: This document is a hands-on, comprehensive guide to deep learning in the realm of physical simulations. Rather than just theory, we emphasize practical application: every concept is paired with interactive Jupyter notebooks to get
23. 173.▲
    by __rito__ 2y ago

    This might be relevant: The Charisma Myth by Cabane [0]. I haven't read the book, but I listened to a talk. IIRC, it was this: https://youtu.be/LMu_md_5PQ4 . I am not sure. She proposes that charisma is something that c
24. 174.▲
    by __rito__ 2y ago

    Quick question: do people who do production design for movies use something like this for coder/hacker screen? Should they?
25. 175.▲
    by __rito__ 2y ago

    Oh, I made a mistake unfortunately. I meant hardmaru (David Ha). I am very sorry.
26. 176.▲
    by __rito__ 2y ago

    Sligtly related: Energy Based Models (EBMs) are better in theory and yet too resource intensive. I tried to sell using EBMs to my org, but the price for even a small use case was prohibitive. I learned it from: https://youtube.co
27. 177.▲
    by __rito__ 2y ago

    When it comes to mathematical concepts- to understand everything broadly, connected to its context, and to understant "what's the point?", nothing tops this book- Mathematics: Its Content, Methods and Meaning (3 Volumes in
28. 178.▲
    by __rito__ 2y ago

    I really wish that somebody told me this when I was in High School. In HS, DEs were just solving integrals with a simple step away around as far as the student is concerned. I learned about them much more deeply when in college, and later i
29. 179.▲
    by __rito__ 2y ago

    Is Bluesky good enough and dense enough if I block all political keywords? X is good enough for me after muting all political keywords. There was a link recently to a site that lists all top links on Bluesky and overwhelmingly all were abou
30. 180.▲
    by __rito__ 2y ago

    I have two thumb rules about social media scrolling: 1. Use social media at only one particular time of the day. Inside a strict time window. That's it. Even if you are sitting idly on a car, traveling, or even standing in a queue for