Anda mungkin suka
First time a blog post of mine is #1 at HN!
I don't think AI-assisted verification solves the fundamental challenges of formal verification, and I don't think it completely solves the problem of verification of the AI outputs. So I wrote a few words about it: Test, don't (just) verify alperenkeles.com/posts/test-don…
Suçluluk Karinesi: Masum olduğu ispatlanana kadar herkes suçludur.
Böcek ailesi soruşturmasında tahliye edilen kokoreççi: "Bugüne kadar kokoreç ve midyemden zehirlenen hiç kimse olmamıştır. 15 gün içinde 40 senem yok oldu. Herkesin özür dilemesini istiyorum. Ortaköy'de bütün esnaf kan ağlıyor."
slack’de 4-5 threade hayvan gibi yazdım. arada girdim insta dm’de yazdım. arada site grubuna pasladım bir kaç tespit. yetmedi twitter analizleri. eee çocuk uyudu mu bam bam bam zaman kaybına yer yok.
Dücane başka bir Türkiye ikliminde yaşasaydı aynı şekilde devam edip ölecekti. Kırk senede bir sürü şey okumuşsun, bir sürü kanıya varmışsın, bir sürü şeye inanmışsın. Sonra bir öznel deneyim hepsinin üstüne çıkıyor. İşte insan biraz da böyledir dostlarım.
toplumumuz yine ikiye bölünmüş 1) cumhuriyet bayramını sadece bayrakla kutlayanlar 2) cumhuriyet bayramını atatürk fotoğrafı ile kutlayanlar
Hala niye SMA hastası bebekler var ya? Testlerin güvenirliği mi düşük yoksa millet test mi yaptırmıyor? Aile hekimi bedavaya yapıyordu ben yaptırdığımda.
bakıyorsun adamın tivitlerine. okuduğunu anlayamama var. sebep sonuç ilişkisini düzgün kuramama var. kendi fikrine aşırı bağlılık ve şovmenlik var. yani allah sabır versin iş arkadaşlarına. twitter’da engeli basar geçersin de işte başetmesi zor.
bu arada niye fiyat/performans diye dile yerleşti bu ya? performans/fiyat olması daha iyi değil mi? büyük olanın daha iyi olması daha intuitive
bebek bakmak çok ama çok zor ama başka hiçbir şeyde olmayan da bir neşe bir huzur bir tat var. yani fiyatı ekstrem yüksek bir şey alıyorsun ve yine de fiyat/performansta zirveyi görüyorsun. garip bir doğa olayı. başka bir şeyle kıyaslanacak bir şey değil gezme tozma zart zurt.
United States Tren
- 1. Spurs 47.1K posts
- 2. Merry Christmas Eve 42.7K posts
- 3. Rockets 24.3K posts
- 4. #Pluribus 19.1K posts
- 5. Cooper Flagg 11.8K posts
- 6. UNLV 2,540 posts
- 7. Chet 9,849 posts
- 8. Ime Udoka N/A
- 9. SKOL 1,701 posts
- 10. #PorVida 1,714 posts
- 11. Mavs 6,246 posts
- 12. Randle 2,661 posts
- 13. Kawhi Leonard 1,007 posts
- 14. #VegasBorn N/A
- 15. Rosetta Stone N/A
- 16. #WWENXT 12K posts
- 17. Yellow 59.8K posts
- 18. connor 152K posts
- 19. #GoAvsGo N/A
- 20. Keldon Johnson 1,612 posts
Anda mungkin suka
-
Eser Özvataf | SW³
@eserozvataf -
Lemi Orhan Ergin
@lemiorhan -
Muhammed Hilmi Koca
@mhk_developer -
ismail baskin
@baskindev -
Onur Dayıbaşı
@odayibasi -
Seyfeddin Bassarac
@seyfoyun -
Oğuzhan Yılmaz
@c1982 -
Bilal Çınarlı
@bcinarli -
Selçuk Ermaya
@selcukermaya -
Gökhan Şengün
@gokhansengun -
Emir
@EmirKarsiyakali -
Hatice Edis
@edisdev -
Murat Çorlu
@muratcorlu -
Burak Yigit Kaya
@madbyk -
Istanbul Coders
@IstanbulCoders
Something went wrong.
Something went wrong.