Bruno Gavranović

Bruno Gavranović

bgavran.bsky.social

I'm building neural networks that generate provably correct code, and the software infrastructure for training them. Recently experimenting with TensorType: https://github.com/bgavran/TensorType www.brunogavranovic.com

👤 Joined on 11 August 2023

992

Followers

66

Following

148

Total Posts

📜 Kullanıcı Geçmişi

  • 11 Ağu 2023, 23:13
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @bgavran.bsky.social
  • 08 Kas 2023, 23:42
    🔄 Profil bilgileri güncellendi

🚫 Blokladığı Kullanıcılar

❤️ Beğendiği Gönderiler

GPT-4 was the undisputed best model in the world for a full year and we all debated whether anyone could catch up or if OpenAI had some secret formula that nobody else knew about. Now there are are 19 AI models that can run on a modern smartphone that are better than GPT-4!

Show Post

every 6 months the Trump administration realizes lowering tariffs will lower prices, applies this insight to one specific good, and then proceeds to never introspect beyond that. It’s honestly beautiful in its stupidity.

Show Post

OpenAI announces 10 discoveries from their next model. Observations:: 1) AI is getting very good at math 2) Two years ago LLMs failed at basic math 3) This cost less than $2000 in current API fees 4) OpenAI is focusing on announcing benefits, not just risks, of new models openai.com/index/ten-ad...

Show Post

christ if that’s not a metaphor for our times

Show Post

Buckle up, kids — we're taking the factorial of a G-set! For a natural number n, n! = n(n-1)(n-2)⋯1 counts two subtly different structures on the set [n] = {1,2,...,n}: ① the bijections [n]→[n], ② linear orderings of [n]. For a group G acting on a finite set X, we'll try to understand ②. 🧮 1/

Show Post

Select language

Install App

Install App