kolmogorov gnostic
@javaid89.bsky.social did:plc:7wvc2nxflgb4ldibedesqd32
Rust belt dude working in the legacy auto sector. Unfit AND degenerate.
Bluesky’a katılma tarihi:
- Takipçi
- 83
- Takip edilen
- 156
- Post
- 978
- Sıralamaya girdiği gün
- 0
Özet
kolmogorov gnostic (@javaid89.bsky.social), 3 Şubat 2025 tarihinde katılan bir Bluesky kullanıcısı. 83 takipçisi var, 156 hesabı takip ediyor ve 978 post paylaştı.
Sıralama geçmişi
Bu hesabın postlarının Debya günlük listesine girdiği en iyi günler.
Bu hesap henüz günlük sıralamaya girmedi.
Son beğendiği postlar
Bluesky ağındaki herkese açık beğeniler.
(a lotta contexts can hence get away w/a bit less of each, but, frankly, ur probs gonna still need all three at some level!)
Postu göstera lil report on how *actually fucking regulated industries* are doin quality the tl;dr is what i would guess roughly u can still use a tool to augment but formal methods *and* code review *and* real accountability tied to that are gonna be the way when stakes get that high
Postu gösterInteresting thread. One thing I'd say is that "hard for humans, easy for machines" still has truth to it, and computers solving famous math problems is: (a) very impressive (and real); and (b) shouldn't be mapped onto human distinctions about what's hard and what's easy.
Postu gösterI think the idea that LLMs have gone from "elementary school-level to PhD-level" has done some damage to how we think about their improvements.
Postu gösterTechnically Windsor…. Sandwich is the historical hamlet name (predating Windsor).
Postu göster
Blokladığı hesaplar
Bluesky’da bloklar herkese açık kayıtlardır.
