Just proved Function Binding for the KZG in Lean (in the Standard Model)!
The proof is based on ARSDH following the eprint 2025/902 (Fiat-Shamir security … from Functional Commitments).
Even better it’s part of Ethereum’s SNARK formal verification library ArkLib!
🧵/ n
Başkasının izinden gitmeyi falan bilmem de insanın kendisini "daha önce yapmıştım yine yaparım" diye cesaretlendirmesi harika bir şey. Hayatta tecrübelere yer açalım, onlar bir şekilde yardımcı olacak bize.
I think this is my favorite paper this CVPR: Magician.
before they explore in active view selection, they imagine how gaussians and occupancy map would look like and then compute a coverage metric based on that.
during planning, they try 10 views like that in 10 steps in a tree search with pruning and get planning for free.
they even have real-world experiments with a drone and a toy car.
how are they not an award candidate, it blows my mind.
Bu sabah yaptığım okuma pazar gününe denk gelince, pazar sendromuna biraz farklı bir yerden bakmaya başladım.
Kierkegaard’ın dediği gibi:
“Kaygı, özgürlüğün baş dönmesidir.”
Bu sabah yaptığım okuma pazar gününe denk gelince, pazar sendromuna biraz farklı bir yerden bakmaya başladım.
Kierkegaard’ın dediği gibi:
“Kaygı, özgürlüğün baş dönmesidir.”
ispermeçet balinalarını, kızılgerdanları, portakal çiçeklerini bilirim, hayatı aşkla severim. bunun için her gün şükrederim. hayal bile edemezdim böyle sakinleşeceğimi. yarından umudu kesmeyin. umudunuz kırıldıysa durun, bekleyin. gelecek, umudun ilgası yoktur hayatta.
#MetisBilim dizimizin en yeni üyesi raflarda!
Duygu Dölek’in çevirisiyle #KahvaltıdaKimya, bilimi laboratuvardan çıkarıp mutfak masamıza konuk ediyor.
🔗 https://t.co/04sj22zCGN
“the main path to doing interesting work in new fields is that you have to take personal time to learn the fundamentals, there is no shortcut around it.”
I've worked in biotech to AI and the main path to doing interesting work in new fields is that you have to take personal time to learn the fundamentals, there is no shortcut around it
this should feel difficult
Bu tweet aklıma Takotsubo (たこ壺🏺) Kardiyomiyopatisini getirdi.
Japonların ahtapot yakalamak için özel olarak kullandığı küpler var, bunlara takotsubo (ahtapot küpü) deniliyor. Tako (たこ🐙) ahtapot, tsubo (壺🏺) çömlek/küp/testi demek. Bu küpleri iple denizin dibine salıyorlar ve ahtapotlar karanlık, kuytu köşeleri sevdikleri için bu çömleklerin içine giriyor (1). Sonrasında ahtapot güvende hissettiği için bu küpler iple yukarı çekilse bile küpten dışarı çıkmıyor ve böylece yakalanmış oluyor.
Takotsubo Kardiyomiyopatisi de “Kırık kalp sendromu”nun tıptaki karşılığı. Japon kardiyologlar çok derin üzüntü yaşayan, kalbi kırılan, yas sürecindeki vs. insanların kalbinin sol karıncığının üst kasının daha fazla kasıldığını fark etmiş. Bunun sonucunda ortaya çıkan görüntüye de (2) “aaa bu ahtapot tuzağına benziyor” demişler ve kırık kalp sendromunu literatüre takotsubo sendromu olarak geçirmişler :)