vatsachak

15 ms·

1. 421.▲
   by vatsachak 1y ago

   Data centers are good because they are resource hogs that are designed by the some of the most technically gifted people in the US. This will hasten gains in water and energy availability
2. 422.▲
   by vatsachak 1y ago

   Glad that your lyme was temporary
3. 423.▲
   by vatsachak 1y ago

   https://andraskovacs.github.io/pdfs/2ltt_icfp24.pdf I think that something like this is the endgame practical programming language
4. 424.▲
   by vatsachak 1y ago

   Yeah, I use Rust at work and it's a boon. It's so easy to bake in proofs/invariants into types, yet you still retain control of the memory model. One of the main features of Rust is the community, there are so many great pack
5. 425.▲
   by vatsachak 1y ago

   I have math papers in top journals and that's exactly how I did math; Just get a proof of the open problem no matter how sketchy. Then iterate and refine. But people love to reinvent the wheel without caring about abstractions, resulti
6. 426.▲
   by vatsachak 1y ago

   K being fixed here seems like it will eventually be done away with When I'm thinking about math proofs, sometimes I can have a single idea which can be unfolded into a hundred lines of proof Maybe I'm getting the wrong analogy her
7. 427.▲
   by vatsachak 1y ago

   I guess that's why he's raising capital
8. 428.▲
   by vatsachak 1y ago

   I leafed through your thesis and now will see aside some time in the future to learn more about succint data structures. I hope you get your pay day, your blog is great!
9. 429.▲
   by vatsachak 1y ago

   Okay, besides being of Latvian descent, why would one want to move from the US to Latvia?
10. 430.▲
    by vatsachak 1y ago

    Okay bacteria now do nuclear waste
11. 431.▲
    by vatsachak 1y ago

    Have you travelled Europe? Other than in some countries like Germany or Ireland the job situation is quite bleak. For example, look at average wages vs living costs in Madrid
12. 432.▲
    by vatsachak 1y ago

    Even then, living costs in the US are quite bloated due to over-regulation Labor in the US is extremely pricey because you have to keep the landlords happy
13. 433.▲
    by vatsachak 1y ago

    "As other countries expanded their output, adopted modern production methods, and built new, efficient shipyards, British shipbuilders found themselves increasingly uncompetitive." This feels like the US with longshoremen and coal
14. 434.▲
    by vatsachak 1y ago

    Yeah with ChatGPT anyone with enough agency and programming chops can design tailored solutions for local businesses. I don't think that ChatGPT coding is valuable but rather it's ability to tutor people and guide them towards idi
15. 435.▲
    by vatsachak 1y ago

    Rad trad Catholics makes sense because Catholic theology involves a lot of logic
16. 436.▲
    by vatsachak 1y ago

    The decomposition they use "averages out the points of high curvature" therefore those components of the decomposition which correspond to "higher curvature" are those components which are used across multiple data poin
17. 437.▲
    by vatsachak 1y ago

    Why would I use emacs instead of Helix editor for any language other than Lean or Agda?
18. 438.▲
    by vatsachak 1y ago

    As Daniel Litt pointed out on Twitter, this was the first time a lot of those problems were hit with a lot of compute. Some of AlphaEvolve's inequalities were beaten rather easily by humans and Moore's law https://arxiv