garbthetill

4 ms·

1. 31.▲
   by garbthetill 1y ago

   I still think US military tech is king, especially their fighter jets. eu countries cancelling or regrets is just geopolitics pandering fighter jets are unicorns on the same level as chips you cant just procure 3nm chips tomorrow because yo
2. 32.▲
   by garbthetill 1y ago

   What a brilliant article, it really puts to rest for me, the whole “why not use F#?” argument. In almost every OCaml thread, someone suggests F# as a way to sidestep OCaml’s tooling. I’ve always been curious about OCaml, especially since so
3. 33.▲
   by garbthetill 1y ago

   doesnt rust still have the advantage of having no gc? I dont like writing rust, but the selling point of being able to write performative code with memory safety guarantees has always stuck with me
4. 34.▲
   by garbthetill 1y ago

   I think its possible, but i just need some clarification, does outsourcing some of the work still count as a one person company? mobile games, High end fashion have good profit margin, so one person could generation 100s of million of reven
5. 35.▲
   by garbthetill 1y ago

   thanks for the clarification, I also dont have the ability to evaluate who is better kacyznski v cairo. hence why i assumed the original commenter meant kaczynski vs grothendieck because for one kacyznski has a phd in maths, cairo does not
6. 36.▲
   by garbthetill 1y ago

   just to clarify, do you mean Kaczynski is not on the level of Grothendieck? In which I can agree
7. 37.▲
   by garbthetill 1y ago

   yeah the website says a whole bunch of nothing imo & doesnt really define a problem needing to be solved, perhaps they've struck a deal with phone carrier's to get unsold phones that are destined for the landfill as they have
8. 38.▲
   by garbthetill 1y ago

   Im assuming the JS refers to Janes street
9. 39.▲
   by garbthetill 1y ago

   I’m actually kind of a fan, I’ve read your past comments on BEAM and Elixir while digging through HN to get a sense of how people view it. I appreciate your takes, but I’m honestly confused by this one and wanted to push back a bit, I'
10. 40.▲
    by garbthetill 2y ago

    i never read the change logs, so just found out the concept of daily notes it looks pretty cool and might be what i need. Do you use any other templates?
11. 41.▲
    by garbthetill 2y ago

    may i ask why isabelle over agda or lean?
12. 42.▲
    by garbthetill 2y ago

    the issue is how would you define consciousness? if you killed a program and ran it again, it would still be the same program with the same bugs, i/o etc the only changes would be the memory addresses the program runs on & it'
13. 43.▲
    by garbthetill 2y ago

    I dont like sam, but he moves way smarter than ppl like sbf or Elizabeth holmes. He actual has a product close to the reported specs, albeit still far away from the ultimate goal of AGI i dont see why he should be in jail
14. 44.▲
    by garbthetill 2y ago

    interesting, i was thinking of sharping my maths skill by programming. Have you tried something like lean, agda etc if so how do they fair against apl or j for doing maths I honestly thought apl was extinct
15. 45.▲
    by garbthetill 3y ago

    i have to disagree, there was a point between like 2013-2021 where every jordan 1 ,4 and certain 11 & 3's would resale for an arm & a leg. Attempting to get a pair for retail was a nightmare from long queues to sneaker bots mak
16. 46.▲
    by garbthetill 3y ago

    yeah felt like a really weird move
17. 47.▲
    by garbthetill 3y ago

    i think this: https://youtu.be/9iqn1HhFJ6c?si=0nBNl1R1Aw37oVUH