Ismail Kuru

All opinions are my own.
NBA, Food, and Cinema.
Expert on Tea & Pilav/Pilaf/Pilau.

[Ismail Kuru @isokuru]

“Be like the sun for grace and mercy. Be like the night to cover others' faults. Be like running water for generosity. Be like death for rage and anger. Be like the Earth for modesty. Appear as you are. Be as you appear.”
—Rumi

[Ismail Kuru @isokuru]

@Keleesssss Cok guzel haber, tebrik ederim

[SİYAH SANCAK @siyahsancakx]

🔵 #ARŞİV | Işık Ökte:

▪️"Sadece hisse senedi ile milyonlarca dolar servete ulaşmış, bugün yazlıklarında, yatlarında, teknelerinde olan çok insan tanıyorum."

▪️"Bazıları Florida’da, bazıları New York’ta, bazıları İstanbul’da."

▪️"Ama hayatımda, altın alarak rahata ulaşmış ve tüm birikimini altında tutarak benzer bir servet oluşturmuş tek bir insan tanımıyorum."

[Anında @anindanet]

Tekir kedisine British kedinin edebini öğretmeye çalışan babanın videosu izleyenleri güldürdü.

[Chris Henson @_chenson__]

Lots of interesting topics this year! I'll be giving a talk "Proof Automation and Metaprogramming in CSLib: Locally Nameless Lambda Calculi". There will be both a livestream next week and recordings afterwards on YouTube.

[Ismail Kuru @isokuru]

@HerrDreyer @BenardDreyer I am so sorry, Derek. Please accept my deepest condolences.

[Ismail Kuru @isokuru]

@joomy 🥳🎉

[Valeriy M., PhD, MBA, CQF @predict_addict]

There is not math without mastering proofs, and there is no mastering of proofs without mastering induction.

#math

[Valeriy M., PhD, MBA, CQF @predict_addict]

Feeling math expert? Try to crack these ones.

#math

[Ismail Kuru @isokuru]

@sarah_zrf @notypes I am sorry, I guess I answered under the wrong thread. Likewise, I haven't heard about scheduling langs.

[Ismail Kuru @isokuru]

@sarah_zrf @notypes I think program logics and substructural types. Designing assertions in the form of types and defining a denotation from these assertions to the ones in a relevant logic (e.g. separation logic) effectively amounts to an effect system.

[Lawrence Paulson @LawrPaulson]

New in the AFP: A simple proof that π is irrational, by Manuel Eberl.

A formalisation of Niven's famous one-page proof that π is irrational. The proof uses only elementary algebra and analysis.
https://t.co/PtEuKGj6KJ

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

One of the more irritating things about tech, academia, and tech academia is that people automatically assume you are willing to use, and even *like*, Slack. Not me.

(One word: threads. And no, not that kind.)

I just wish @zulip were less visually unappealing relative to Slack.

[joomy @joomy]

Boston / New England friends: come hear me talk about our work on a verified foreign function interface between Coq and C at NEPLS on Friday next week! (I think the registration is still open for another day or two) https://t.co/oeheu27Sax

[Ismail Kuru @isokuru]

@ocozalp Okurken aynisini yasadim😂

[Ismail Kuru @isokuru]

@AlexP_DownUnder Similar stories from U.K. I know Uni. Leicester did something similar.

[Houston Rockets @HoustonRockets]

Starting 🖐️ in Philly!

@ReliantEnergy | #Rockets

[Will Crichton @tonofcrates]

This Google PM really gets me. The thing I hate the most about conferences is meeting new people, and the solution I'm looking for is to replace myself with an AI.