Cem Say saycem - Bluesky Statics

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

20.02.2026 17:52 — 👍 4 🔁 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...

15.12.2025 21:48 — 👍 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.

10.12.2025 06:50 — 👍 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...

26.11.2025 18:33 — 👍 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...

23.10.2025 11:02 — 👍 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!

22.10.2025 10:49 — 👍 12 🔁 4 💬 1 📌 2

17.07.2025 16:48 — 👍 25 🔁 3 💬 0 📌 0

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

29.06.2025 06:26 — 👍 624 🔁 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.

29.06.2025 13:54 — 👍 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. 😃 🎬

29.06.2025 13:54 — 👍 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. 🇹🇷🏆💝⚖️

29.06.2025 13:54 — 👍 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ü

15.06.2025 09:06 — 👍 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.

12.06.2025 18:17 — 👍 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?)

12.06.2025 18:17 — 👍 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 😃

12.06.2025 18:17 — 👍 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?

22.05.2025 11:20 — 👍 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...

14.05.2025 14:40 — 👍 9 🔁 0 💬 4 📌 0

Özledim Anne

10.05.2025 19:27 — 👍 2416 🔁 429 💬 53 📌 49

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

14.04.2025 10:18 — 👍 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.

09.04.2025 19:51 — 👍 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.

05.04.2025 17:06 — 👍 205 🔁 23 💬 3 📌 2

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

Herkes için, her zaman adalet.

04.04.2025 07:54 — 👍 7537 🔁 1690 💬 134 📌 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:...

03.04.2025 20:01 — 👍 95 🔁 36 💬 9 📌 6

New paper; comments welcome.

28.03.2025 14:00 — 👍 8 🔁 0 💬 1 📌 0

Bugün.
1024. kez.

20.02.2025 10:58 — 👍 151 🔁 30 💬 6 📌 1

15.02.2025 08:22 — 👍 39 🔁 1 💬 0 📌 0

Bu ülkenin en çalışkan gençlerinin torpilsiz hocalardan nitelikli eğitim alabildikleri gerçek, özgür, özerk bir üniversiteleri olabilsin diye.

12.02.2025 20:23 — 👍 95 🔁 16 💬 2 📌 0

07.02.2025 17:53 — 👍 41 🔁 2 💬 1 📌 1

20 Ocak 2025.
1001. kez.

21.01.2025 08:29 — 👍 42 🔁 7 💬 0 📌 0

Posts by Cem Say (@saycem.bsky.social)