Cem Say (@saycem) Bsky

7 Nisan'da Artemis II seferi sırasında kırılan ilginç bir rekor: İki insan arasında kaydedilmiş en uzun mesafe, Integrity mürettebatından o sırada hangisi kapsülün uzak ucunda bulunuyorsa onunla Çin Uzay İstasyonu'nun öbür köşesine en yakın astronot arasındaki 419643 km imiş🙂

6 days ago 9 1 0 0

Bölüm 33 - Cem Say | Dil Bariyeri Yıkıldı, Yapay Zeka Artık Bizi 'Anlıyor' YouTube video by Google Türkiye

youtube.com/watch?v=2311...

2 months ago 5 0 0 0

$\rm P$ has polynomial-time finite-state verifiers Interactive proof systems whose verifiers are constant-space machines have interesting features that do not have counterparts in the better studied case where the verifiers operate under reasonably large space bounds. The language verification power of finite-state verifiers is known to be sensitive to the difference between private and public randomization. These machines also lack the capability of imposing worst-case superlinear bounds on their own runtime, and long interactions with untrustable provers can involve the risk of being fooled to loop forever. We analyze such verifiers under different bounds on the numbers of private and public random bits that they are allowed to use. This separate accounting for the private and public coin budgets as resource functions of the input length provides interesting characterizations of the collections of the associated languages. When the randomness bound is constant, the verifiable class is $\rm NL$ for private-coin machines, but equals just the regular languages when one uses public coins. Increasing the public coin budget while keeping the number of private coins constant augments the power: We show that the set of languages that are verifiable by such machines in expected polynomial time (with an arbitrarily small positive probability of looping) equals the complexity class $\rm P$. This hints that allowing a minuscule probability of looping may add significant power to polynomial-time finite-state automata, since it is still not known whether those machines can verify all of $\rm P$ when required to halt with probability 1, even with no bound on their private coin usage. We also show that logarithmic-space machines which hide a constant number of their coins are limited to verifying the languages in $\rm P$.

New paper alert! We (Utkan Gezer & me) prove that interactive proof systems whose verifiers are polynomial-time constant-space machines that are allowed to hide a constant number of their random bits correspond precisely to the complexity class P.
DMTCS link: dmtcs.episciences.org/paper/view/i...

4 months ago 4 0 0 0

Boğaziçi Üniversitesi Mühendislik Fakültesi profesörlerinin Fakülte Kurulunda boş olan profesör temsilciliği için seçim yapmalarının engellenmesi yargıdan döndü. Mahkeme, dekanın seçimi yaptırmasının zorunlu olduğuna karar verdi. Kararın bir ay içinde uygulanması gerekiyor.

4 months ago 17 5 0 2

New paper alert! I prove the existence of two infinite hierarchies of time complexity classes of problems solvable by small-space quantum computers, and provide an improved polynomial-time quantum advantage result. Gift link (until Jan. 15):
kwnsfk27.r.eu-west-1.awstrack.me/L0/https:%2F...

4 months ago 7 1 0 0

Barış Terkoğlu yazdı : Boğaziçi’ni nasıl çökerttiler | Cumhuriyet Kime söylendiği belirsizse en ağır sözler bile havada kalır. En son Yargıtay başkanı konuştu. AYM kararlarının uygulanmamasını eleştirdi. Başkan haklı

www.cumhuriyet.com.tr/yazarlar/bar...

5 months ago 4 0 0 0

21 Ekim 2025 Boğaziçi Üniversitesi Akademisyenleri Nöbeti no. 1179. Direnişin 5. yılı/1752. günü Boğaziçi Üniversitesi'nde #KabulEtmiyoruzVazgeçmiyoruz
October 21, 2025 Boğaziçi University Faculty Vigil #1179/5th year/1752nd day of the resistance. At Boğaziçi Univ. #WeDoNotAcceptWeDoNotGiveUp!

5 months ago 12 4 1 2

9 months ago 25 3 0 0

Bu topraklarda ne sökmez biliyor musunuz? Namertlik sökmez namertlik…

9 months ago 628 131 6 8

Rektör Senato'yu, Mühendislik Fakültesi Dekanı da Fakülte Kurulu'nu yasada emredilen toplantı zamanlarında toplamıyor; topladığında da (istedikleri kişiler hocalarca seçilmediği için herhalde:) eksik üyeyle topluyor. Fakülte Kurulu temsilci seçimimiz de engellendi; dava açtım.

9 months ago 10 2 0 0

Ünal Hoca'nın girmesinin engellendiği Senato toplantısında alındığı için boşa düşen kararlar arasında Boğaziçi Üniversitesi Batı Dilleri ve Edebiyatları Bölümünün 27 yıldır yürüttüğü, birçok sinemacımızı yetiştirmiş Film Çalışmaları Sertifika Programının kapatılması da var. 😃 🎬

9 months ago 10 2 1 0

Boğaziçi Üniversitesi’nde senato üyesi Prof. Dr. Zenginobuz’un alınmadığı toplantının yürütmesi durduruldu; "Küçüğünden büyüğüne birçok karar boşa düştü" Boğaziçi Üniversitesi’nde senato üyesi Prof. Dr. Zenginobuz’un alınmadığı toplantının yürütmesi durduruldu; "Küçüğünden büyüğüne birçok karar boşa düştü"

Boğaziçi Ü. yönetiminin bir hukuksuzluğu daha mahkemeden döndü: Seçilmiş üyesi olduğu Senato toplantısına girmesi güvenlik görevlilerine engelletilen Prof. Dr. Ünal Zenginobuz'un açtığı davada yürütmeyi durdurma kararı çıktı; o Senato toplantısında alınan tüm kararlar iptal oldu. 🇹🇷🏆💝⚖️

9 months ago 23 5 1 0

Babam Cemil Say, 13 Kasım 1937'de Atatürk'ün kendi türettiği Türkçe terimlerle geometri dersi verdiği Sivas Lisesi 9-A sınıfı öğrencilerindendi. Büyük bir mutlulukla anlatırdı. Onların izinden gidiyoruz.
#BabalarGünü

10 months ago 28 2 0 0

Sizce pes eder miyim?
Bu hukuksuz işlemin de yürütmesinin durdurulması ve iptali talebiyle bugün dava açtım.

10 months ago 40 6 0 1

Bu sefer kanunda olmayan bir yöntem icat ederek "tweet atma suçu"ndan disiplin cezası vermişler. Cezanın kapsamında "anabilim dalı başkanı ve REKTÖR olamamak" da var. (Rektörün görev süresi Ağustos'ta bitiyor. Yeniden başvururken ortalıkta başka aday olmaması mı isteniyor acaba?)

10 months ago 30 5 1 0

Hani Boğaziçi Üniversitesi Bilgisayar Mühendisliği Bölümü Bilgisayar Bilimleri Anabilim Dalı Başkanlığından hukuksuzca alınmış, mahkeme kararıyla geri gelmiş, ertesi gün yine görevden alınmış, yine dava açmış, sonunda tekrar seçilip görevime dönmüştüm ya?
Bilin bakalım ne oldu 😃

10 months ago 39 8 1 0

Kanuna göre Türkiye'de bütün üniversitelerde profesörler Fakülte Kuruluna katılacak temsilcilerini seçimle belirler.

Bilin bakalım Boğaziçi Üniversitesi Mühendislik Fakültesinde kim aday oldu diye yasa çiğnenerek 6 aydır seçim yaptırılmıyor?

10 months ago 21 4 0 0

Short and useful quantum proofs for sublogarithmic-space verifiers Quantum Merlin-Arthur proof systems are believed to be stronger than both their classical counterparts and ``stand-alone'' quantum computers when Arthur is assumed to operate in $Ω(\log n)$ space. No ...

New paper on sublogarithmic-space quantum Merlin-Arthur:
arxiv.org/abs/2505.084...

11 months ago 9 0 4 0

Özledim Anne

11 months ago 2413 428 53 48

Unconditional Proofs of Quantumness Between Small-Space... A proof of quantumness is a protocol through which a classical machine can test whether a purportedly quantum device, with comparable time and...

Our paper "Unconditional Proofs of Quantumness Between Small-Space Machines" (with Utkan Gezer) has just been published in Quantum Information & Computation.
Comments welcome.
Here is the link:
sciendo.com/article/10.2...

1 year ago 11 1 5 0

istanbul 6. asliye ceza mahkemesinden örnek karar.
tutuklu olan 5 genç hakkında 2911 sayılı yasanın alt ve üst sınırı da göz önünde bulundurularak tahliye kararı verildi.

1 year ago 80 9 1 0

Bugün Ekrem İmamoğlu'na destek vermek için Türk öğrenciler değerli bir etkinlik düzenlemişler. Eyleme Bologna Belediye Başkanı da katılmış ve konuşma yapmış. Ayrıca Bologna Belediye binasına da İmamoğlu için destek sözleri içeren pankartlar asılmış. Tüm dünya demokratları bizimle.

1 year ago 205 23 3 2

AK Parti ve MHP’ye oy veren vicdanlı kardeşlerime sesleniyorum.

Herkes için, her zaman adalet.

1 year ago 7527 1686 133 89

Burada toplu block uygulaması var. Dünyanın en iyi uygulamasi. Mesela şu listeye girip sağ üstte tıklarsanız bir sürü zebaniyi tek seferde bloklayabilirsiniz. Önce isimlere bakın tabii, belki bloklamak istemedikleriniz vardır bsky.app/profile/did:...

1 year ago 95 36 9 6

New paper; comments welcome.

1 year ago 8 0 1 0