Jakub Bartczuk
@lambdaofgod
My opinions are not my own. They belong to the gnomes that live in my head
You might like
"I used AI to create Minecraft from scratch!" "It is just a few hundred lines!" pretty much sums the hype around AI replacing software devs.
That blogpost by @karpathy has 10 years. karpathy.github.io/2015/05/21/rnn…
You make good engines. Stop making half-baked cars. Make good engines.
Once again, our application for observer status at WIPO, the @UN agency for intellectual property, was blocked by China. Our presence at WIPO would help ensure that in the age of AI, copyright truly reflects the global and diverse needs of the internet ➡️ wikimediafoundation.org/news/2024/07/1…
people keep saying AI is moving so fast. some days I agree, but some days I'm not sure – so many papers published, but I don't feel like we're making that many fundamental breakthroughs. to cap off 2023, here's a list of things we still don't know about language models: - how…
Can LLMs generate mathematical proofs that can be rigorously checked? We release LeanDojo (leandojo.org): an open-source playground consisting of toolkits, benchmarks, and models for LLMs to prove formal theorems in the Lean proof assistant. Key features: - Tools for…
United States Trends
- 1. Black Friday 328K posts
- 2. #FanCashDropPromotion N/A
- 3. #SkylineSweeps N/A
- 4. Good Friday 53.5K posts
- 5. #releafcannabis N/A
- 6. Mainz Biomed N.V. N/A
- 7. CONGRATULATIONS JIN 37.1K posts
- 8. #ENHYPEN 267K posts
- 9. #CurrysPurpleFriday 9,091 posts
- 10. Clark Lea N/A
- 11. GreetEat Corp. N/A
- 12. 2025 MAMA Awards 630K posts
- 13. Cyber Monday 5,559 posts
- 14. Victory Friday N/A
- 15. TODAY ONLY 65.4K posts
- 16. Third World Countries 45.8K posts
- 17. Mr. President 21.6K posts
- 18. Who Dey 5,186 posts
- 19. Message Boards N/A
- 20. stormzy 2,470 posts
Something went wrong.
Something went wrong.