KolmogorovComp

4 ms·

1. 31.▲
   by KolmogorovComp 2mo ago

   But AI do benefit a lot from a strict compiler, and having a simple language improve a lot on type-safety, so I don't think it is to throw, even today.
2. 32.▲
   Bonsai: Janestreet's UI Library(github.com)

   390 points by KolmogorovComp 2mo ago|154 comments
3. 33.▲
   by KolmogorovComp 2mo ago

   Instead of having each language bring progress in a different and/or novel, we get this, old java features that comes 20 years-in after the making. They're probably useful, but clearly not sexy (as golang in general).
4. 34.▲
   by KolmogorovComp 2mo ago

   Same, my need for tailwind got completely ridden when I started using Svelte, thanks to the CSS-scoping it entailed.
5. 35.▲
   by KolmogorovComp 2mo ago

   Teams, Zulip, WhatsApp, they all suck so much... Discord is decent in my experience.
6. 36.▲
   by KolmogorovComp 2mo ago

   Thanks for sharing, very clear and impressive overview.
7. 37.▲
   Yann LeCun's $1B Bet Against LLMs [Part 1] [video](youtube.com)

   16 points by KolmogorovComp 2mo ago|3 comments
8. 38.▲
   by KolmogorovComp 2mo ago

   To scan them, they usually have to resort breaking them into individual pages.
9. 39.▲
   by KolmogorovComp 2mo ago

   thank you for the link, great and well-explained talk.
10. 40.▲
    by KolmogorovComp 2mo ago

    Ah it's from 2023, Miguel de Icaza : Swift Godot: Fixing the Multi-million dollar mistake: https://www.youtube.com/watch?v=tzt36EGKEZo Highly recommend.
11. 41.▲
    by KolmogorovComp 2mo ago

    Tangential but this makes me think of a video about C# GC, and the developer switching to Swift to avoid it, in which the dev says they estimate the development of a pause-less GC to be 5B$ R&D away, does that ring the bell to anyone?
12. 42.▲
    by KolmogorovComp 3mo ago

    Thanks for the insights, are the skills available anywhere?
13. 43.▲
    by KolmogorovComp 3mo ago

    Tangential, but does anyone know if an app exists that that the video feed of your phone with the GPS loc and reads the signs from the road and compare it to OSM to update it if necessary? Let’s be clear, in the end I use Waze for routing d
14. 44.▲
    by KolmogorovComp 3mo ago

    Very good for trails
15. 45.▲
    by KolmogorovComp 3mo ago

    I just wished Organic Map had a better way to download many countries/regions at once. I frequently use it in the airplane without WiFi and wish to have high definition, but downloading country by country is too cumbersome.
16. 46.▲
    by KolmogorovComp 3mo ago

    What's the credit cost compared to Gemini, Claude and GPT? As others have said, the last month price update killed copilot for good.
17. 47.▲
    by KolmogorovComp 3mo ago

    It's a shame (in practice, although I get the philosophical idea). I think the lawsuit chances are very low because FAANG right now depend way too much on LLM being legal, so they would not want to shoot themselves in the foot.
18. 48.▲
    by KolmogorovComp 3mo ago

    I wonder how much LLMs have been leveraged to help Asahi lately, there’s extremely powerful for reverse-engineering. Have they written about it?
19. 49.▲
    by KolmogorovComp 3mo ago

    No, the highest risk for dual engine failure is bird strike.
20. 50.▲
    by KolmogorovComp 3mo ago

    The reality is that the extremely large majority of people (especially in developed countries), have not experienced anything close to Robin William's character, nor do they have the slightest portion of Damon's character knowledg
21. 51.▲
    by KolmogorovComp 4mo ago

    So you’re wasting both your time and theirs, for no reasons. Instead, try politely signaling you’re not interested. That being said, fortunately it’s easy to see people who like to talk.
22. 52.▲
    by KolmogorovComp 4mo ago

    Thank you, don’t worry you are not alone.
23. 53.▲
    by KolmogorovComp 4mo ago

    Why is this downvoted? This is correct.
24. 54.▲
    by KolmogorovComp 4mo ago

    Have you read the article? > that’s not a developer contributing to open source. that’s someone manufacturing the appearance of activity. > the attacker’s own profile? no bio, no avatar, 499 contributions crammed into january–february
25. 55.▲
    by KolmogorovComp 4mo ago

    I’m reasonably skilled talking to strangers (can last about 3-4 hours in planes/trains/buses if the other party is up to it, after that I usually dry out of conversation), and do that frequently. However after several years of hea
26. 56.▲
    by KolmogorovComp 4mo ago

    I actually think that with LLM we may very well hit a plateau in innovation here, because now the ugly syntax is not a hurdle anymore, since you don’t write it anymore by hand.
27. 57.▲
    by KolmogorovComp 4mo ago

    Thanks for the writing, which would have been even better had it been written by a human.
28. 58.▲
    by KolmogorovComp 4mo ago

    OK, I don't think it would be the case if it was one of many algorithms offered by Anubis, especially if it's enabled by the webmaster. That being said I don't know any crypto that would technically fit as a lightweight PoW.
29. 59.▲
    by KolmogorovComp 4mo ago

    it does not answer if it's a conscious design choice or just a technical limitation of the PoW, or just a "patch welcome" issue.
30. 60.▲
    by KolmogorovComp 4mo ago

    what about something (crypto being the only idea I have) that could be leveraged to reward the website owner?