agnishom

81 ms·

1. 211.▲
   by agnishom 1y ago

   Reminds me of the novel "The Circle"
2. 212.▲
   by agnishom 1y ago

   I assume people at OpenAI take inspiration from dystopian SciFi (like 'Her')
3. 213.▲
   by agnishom 1y ago

   You can absolutely use pattern matching in Lean instead of tactics, if you prefer to write the proof that is closer to "what is going on under the hood"
4. 214.▲
   by agnishom 1y ago

   Isn't this how floating point already works?
5. 215.▲
   by agnishom 1y ago

   I don't have a good answer to this question at all, since I know barely anything about this. However, something to keep in mind is the following: signed languages are not a signed transliteration of the local language. For example, Ame
6. 216.▲
   by agnishom 1y ago

   Here are my two paise (cents) (1) The use of "only" for emphasis. https://english.stackexchange.com/questions/107454/indian-en... (2) In an academic setting, people often use "doubt" to mean qu
7. 217.▲
   by agnishom 1y ago

   By state, you mean US state, right?
8. 218.▲
   by agnishom 1y ago

   > write little proofs in your head This should be obvious, right? This is how you are supposed to write code. You are supposed to have a simple proposition about what each chunk of your code does.
9. 219.▲
   20 Games Challenge(20_games_challenge.gitlab.io)

   2 points by agnishom 1y ago|0 comments
10. 220.▲
    by agnishom 1y ago

    Can you do the same thing with tailscale funnel?
11. 221.▲
    by agnishom 1y ago

    Haha makes sense
12. 222.▲
    by agnishom 1y ago

    How can you have "its too crowded" and "no one goes there" at the same time?
13. 223.▲
    by agnishom 1y ago

    That may be true, but I don't think that's what they were talking about. They were talking about fairly normal izakayas
14. 224.▲
    by agnishom 1y ago

    > going to go through a difficult period of cultural erosion I am not sure what cultural erosion you speak of. I am sure Japanese culture won't be replaced by a cultural vacuum. Japanese culture has evolved for centuries, both under
15. 225.▲
    by agnishom 1y ago

    Thanks. Perhaps you have a point
16. 226.▲
    by agnishom 1y ago

    I am not sure I understand the argument the author is making. Is this what they are saying? [Overtourism is bad for small businesses because it encourages them to cater to tourists, and therefore to chase global trends rather than to serve
17. 227.▲
    by agnishom 1y ago

    My bad. But I think my point still stands? What is the 'normal' way to write ^. for example?
18. 228.▲
    by agnishom 1y ago

    I understand where you are coming from, but in a large number of cases this advice does not really make sense. Sure, a Haskell programmer does write toList when relevant. The lens library also has operators named each or over or _Left. But
19. 229.▲
    by agnishom 1y ago

    "They're winning because they're the best." They are also actively preventing other marketplaces from being better. For example, for exclusive audiobooks on audible, the producers are paid 40% but only 25% for non-exclus
20. 230.▲
    by agnishom 1y ago

    When I lived in the US, I tried to order stuff from Amazon as less as possible. The problem was the lack of decent urban areas and public transport. Going to a shop in my city where they had the same thing which I wanted would take the bett
21. 231.▲
    by agnishom 1y ago

    How was it obvious?
22. 232.▲
    by agnishom 1y ago

    I use aeson-typescript but it is broken in subtle ways https://hackage.haskell.org/package/aeson-typescript
23. 233.▲
    by agnishom 1y ago

    > It isn’t even a “real” racism, it’s more of a flamebait I think the harm done by circulating racist media is "real" racism regardless of whether someone is doing it because they have hateful ideology, are profiting for it, or
24. 234.▲
    by agnishom 1y ago

    Somebody is keeping a giant list of Monad tutorials, right?
25. 235.▲
    by agnishom 1y ago

    Like KaraKeep?
26. 236.▲
    by agnishom 1y ago

    The sarcasm here is off the charts. My First Reaction: Given that the game can be read as a deconstruction of the concept of Nation States and Citizenship, why would the UK government run such a thing? After a few minutes: Oh wait a minute.
27. 237.▲
    by agnishom 1y ago

    Thanks. Yes, there are comparisons with Z3 towards the end of the post. I don't think expressiveness applies here.
28. 238.▲
    by agnishom 1y ago

    What makes you think it is done often?
29. 239.▲
    by agnishom 1y ago

    That's going to be much harder for sure
30. 240.▲
    by agnishom 1y ago

    At the risk of explaining away a perfectly good joke, that person is writing programs at the type level. The joke is that the type system is turing complete if you enable the right extensions.