jin. 𓆝

⋆ hypercurious.
• ai/ml researcher. | • algebraic topology, number theory, etc. | • thinking @nervitaai. | panta rhei. | • not in forbes 30u30.

[jin. 𓆝 @itsneuron]

“the best way to predict the future is to invent it.”
― alan kay

[Tobias Rothmann @tobiasrth]

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

[jin. 𓆝 @itsneuron]

@WarnerTeddy @gonca_ozkutlu 👀

[jin. 𓆝 @itsneuron]

@avukatidegilim hepi börtdeeeeeeyyy 🎂

[İlke Demir @ilkedemir]

Proud moment to see that our #WACV2026 paper is the training-free version of a #CVPR2026 paper. Earlier, faster, better, and they didn’t compare 😝😝😝

[Ezgi. @veokadar]

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.

[F. Güney @ftm_guney]

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.

[jin. 𓆝 @itsneuron]

Hayat, sen planlar yaparken üzerine düşen kyk kredisi borcudur.

[jin. 𓆝 @itsneuron]

“i love struggling, actually. it makes me feel alive.”
― alysa liu

[jin. 𓆝 @itsneuron]

“kaygı, özgürlüğün baş dönmesidir”

[Şevîn @svncgc00]

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.”

[Şevîn @svncgc00]

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.”

[İçim Özdemir @icimozdemir]

Kabaktan yemek yaratan kişiyle roller coaster'ı yaratan kişi aynı kişidir.

[jin. 𓆝 @itsneuron]

iyi günümüz de olmuş, çok kötü günümüz de olmuş. kim bilir kaç kişilik hayat yaşamışızdır.

[jin. 𓆝 @itsneuron]

paul klee - "limits of reason" (1927).

[Dan Roy @roydanroy]

Warning: once you learn category theory, you'll never be able or willing to talk with people who don't know category theory.

[kâtibe bartleby @katibebartleby]

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.

[Metis Yayınları @Metiskitap]

#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

[jin. 𓆝 @itsneuron]

@naghmehfarzi congrats ✨️

[Şeyda Aybar @seydaybar]

Kendimle yeterince vakit geçiremeyince sinir ve tahammülsüzlük ibresinin kırmızıya dayanması…

[jin. 𓆝 @itsneuron]

“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.”

[Nitya @nityasnotes]

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

[esra @caydakiporsuk]

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 :)