-
Tweets758
-
Followers147
-
Following511
-
Likes596
System is so broken: - researchers write papers no one reads - reviewers don't have time to review, shamed to coauthors, use LLMs instead of reading - authors try to fool said LLMs with prompt injection - evaling researchers based on # of papers (no time to read) Dystopic.
The application period for the Fall semester is ongoing for the Software Engineering SWE (Non-Thesis Master's Program) at Boğaziçi University. tinyurl.com/swe-candidates
FMAS is back for 2025! We are interested in work that applies Formal Methods to almost any kind of autonomous system Deadline: 22nd Aug 2025 (Anywhere on Earth) Notification: 6th Oct 2025 Workshop: 17th-19th of Nov 2025 (@iFMconf) Details: buff.ly/VZaDX0m #FMAS2025
I'm teaching databases this semester at Berkeley. My students all seem unusually brilliant. Not many go to office hours, and not too many folks post on the course forum asking project questions. Weirdly, the exam had the lowest recorded average in my 10 semesters teaching it.
If you are in AI/ML, transition to software engineering. Seriously. x.com/armankhon/stat…
📅 Oh be sonunda bitti!
The talk about hallucinations in LLMs has gotten it all wrong. The true hallucinations are by company execs who think it is OK to release to general users products that are based on LLMs that confabulate wildly, as all LLMs do. Time will show a high price paid by society.
Modal Logic and Science Fiction johndcook.com/blog/2022/01/2…
Formal methods people: we're introducing a new track for papers at FM: TUTORIAL PAPERS. Here is the CFP. Please share with anyone who you think would have useful things to say! I want to grow the quality of FM education. Do ask if you have questions!
Cumhuriyetimizin 100. yılında Atatürk’ün kızları AVRUPA ŞAMPİYONU!!! 🇹🇷❤️🤍🏆
Karşınızda Boğaziçi Üniversitesi Bilgisayar Mühendisliği Bölümü 2023 mezunları 👩🎓 👨🎓 🎉 🎈🩵💙 🎊
Bu kadar öğrenci bir tane 59RK'ya nasıl sığsın? Kilyos'ta 700'den fazla öğrenci yaşıyor ve hepimizin dersi Hisarüstü'nde. Seferlerin arttırılmasını talep ediyoruz.
Ben de ilk programlama derslerimi Tuna Hoca’dan aldım. Öğrencilerin ondan öğreneceği çok şeyler var, sınıfta ve sınıf dışında. Onu Boğaziçi’nden keyfi olarak uzak tutan bu yanlıştan elbet dönülecek ama yine en çok zarar öğrenciler ve bu ülkenin geleceği görüyor…
Odysseus'un bir türlü yurduna dönemeyişinin, Akdeniz'de bir yerden bir yere savruluşunun güzel bir haritasını buldum: . [Homer: The Odyssey, çev. Herbert Jordan, University of Oklahoma Press, Norman: 2014, s. xxxiv-xxxv]
'Within a computer, natural language is unnatural.' -- Alan Perlis
Future generation of ML engineers and everyone else, good tips inside for you! Watch the keynote speech by Prof. İlker Birbil (@sibirbil) at IEEE Turkey TUAC 2022 youtu.be/SZgBhg8TtTU
Exactly. If it’s human-like, then give it human-like responsibility and bear any consequences. Good or bad. Use it for interviews for example. Hire solely based on its decision. Then it’s human-like. Paper title: “Responsibility is all you need.”
Exactly. If it’s human-like, then give it human-like responsibility and bear any consequences. Good or bad. Use it for interviews for example. Hire solely based on its decision. Then it’s human-like. Paper title: “Responsibility is all you need.”
Boğaziçi Üniversitesi (@UniBogazici) akademisyenleri olarak öğrencilerimiz ve kamuoyuna cinsel taciz konusunda duyurumuzdur. #ÜniversitedeCinselTacizeHayır Açıklama metni👇🏽 ve videosu: vimeo.com/689214778
Yeni bir Yükseköğretim Kanununa doğru sarkac.org/2022/02/yeni-b… via @sarkac_org
Tuna Tugcu @tuna_tugcu
16K Followers 1K Following Professor Computer Engineering @UniBogazici, @Bogazici_CmpE, @nrgBoun, @maarif1955 💚💛 ➡️ https://t.co/YaaInjDTil ➡️@tugcu.bsky.social ➡️ @tugcu.mas.to
Sortoez @SortoezROtZw
59 Followers 3K Following
Glauirfie @Glauirfie69726
48 Followers 2K Following
Allalkarq @Allalkarq287
72 Followers 3K Following
Loma Powlowski @powlowski83670
49 Followers 1K Following
Siseart @SiseartX8X_jV
42 Followers 762 Following
Doris @doris_fischer82
208 Followers 3K Following
ざんぬ @yukky_saito
2K Followers 883 Following 自律移動ロボット/Autowareの開発し始めて12年。自動運転システムのアーキテクト(最近はE2E)。 Sony R&D➝TIER IV #ROS #Autoware https://t.co/gqUs1xGlno 組織を代表するものではなく個人の発言です
us_Athena_ @us_athena45182
63 Followers 3K Following
QuirkyQueenie @queenie_qu52660
64 Followers 5K Following
Steste @Steste733155
68 Followers 5K Following
Oğuz Yarlıgaş @yarligaso
17K Followers 1K Following klasik filoloji ve eskiçağ tarihi - classics & ancient history @IstMedeniyet, alma mater @istanbuledutr email: [email protected]
Toustoath @toustoath48577
16 Followers 1K Following
Birkan Yilmaz @fermat4214
1K Followers 1K Following Assistant Professor @ Dept. of Computer Engineering @ Bogazici Univ. / Istanbul
Can Özturan @canozturan
78 Followers 310 Following
Pheesoez @pheesoez42878
16 Followers 839 Following Follow me, maybe it's the beginning of our fate, we can talk
Thasat @Thasat379370
4 Followers 124 Following
Burcu Kulahcioglu Ozk... @burcu_at_world
252 Followers 231 Following Assistant Professor in Software Engineering at @serg_delft at TU Delft.
Bilal Sönmez @bilal_sonmez
8 Followers 288 Following
Dr. Hüma @HmaKl8
56 Followers 248 Following
ERAY ÖZKOYUNCU @Errabi19
53 Followers 575 Following Eğlence ve Mizah Mizah Kültür Sanat Sanat Teknoloji
Ilkin Balta @ilkinbalta
282 Followers 918 Following Doctor of Engineering (Civil), MSc in Transportation Engineering (Highways & Traffic Eng)
Donald Callahan @dcallahan2
1K Followers 2K Following IT analyst. I have extensive practical experience in Business Continuity. I discuss AI, cloud, Edge, CyberSecurity, regulation & privacy and climate change
Cevahir Koprulu @cevahirkoprulu
85 Followers 1K Following Ph.D. student @utexasece, studying reinforcement learning. Previously Honda Research Institute, Eatron Technologies, @BilkentUniv.
Super Dario @inductionheads
5K Followers 4K Following autoregression is the secret sauce. agentic learning is the endgame
Hüseyin Oral @HseyinO18363990
0 Followers 47 Following
ninjalp @ninjalp1084912
1 Followers 74 Following
Dominick Romano @dromanocpm
5K Followers 3K Following 🇺🇸 Engineer & Inventor Internationally Recognized Speaker 🇺🇳 UN/WHO/ITU AI for Radiology 🩻 💥 Top 50 AI CEO 2021 & 2023 🌎📡 #AI #ML #Startup #AIForGood
Melikşah Türker @meliksah_turker
14 Followers 285 Following Machine Learning Engineer @VNGRS Ph.D (c) @Bogazici_CmpE Developer of VNLP: https://t.co/JeO1micX7X Working on pre-training of LLMs.
Mehmet Ali OZCAN @ozcanmehmet
78 Followers 218 Following Engineer by nature, analyst by profession, manager by responsibility. Problem solving is at the center of everything I do and I am a lifetime learner.
. @sienevar
8 Followers 103 Following
Alper @VanerAlper
25K Followers 19K Following I only follow beautiful people. / Consultant in fashion biz, Tokyo / Translator Lexicograph / Eski tivitlerime de bakın, güncele aldırmıyorum. insta: vaneralper
DuoYuan Axle @Duoyuan15
44 Followers 450 Following Car axle design lovers, innovative, independent thinker
joe @joevorage
463 Followers 2K Following
keremdotpy.bsky.socia... @keremdotpy
586 Followers 752 Following bogazici - ee & cmpe & soc - ml enthusiast - zındık ve sosyal demokrat - tüm siyasi tutsaklara özgürlük
ali kenan @haxprocessss
215 Followers 2K Following
hepbitkin @hepbitkin
22 Followers 754 Following
Sadık Kuzu, MBA, MSc @sadikkuzu_mba
328 Followers 2K Following METU-MATH'06 (BS) BILGI-MBA'09 BOUN-SWE'24 (MSc)
Viam @viamrobotics
1K Followers 156 Following The engineering platform for data, AI, and automation in the physical world. Improve your systems. Build new products. Innovate faster.
Tuna Tugcu @tuna_tugcu
16K Followers 1K Following Professor Computer Engineering @UniBogazici, @Bogazici_CmpE, @nrgBoun, @maarif1955 💚💛 ➡️ https://t.co/YaaInjDTil ➡️@tugcu.bsky.social ➡️ @tugcu.mas.to
ömer şentürk @omersen147
3K Followers 925 Following @eurosport_tr, @socratesdergi, @ssporttr | fish&chips enthusiast
glTF 3D @glTF3D
9K Followers 88 Following GL Transmission Format is a royalty-free specification for the efficient transmission and loading of 3D scenes and models by applications.
TeX and Typography @TeXtip
51K Followers 19 Following Tweets on TeX, LaTeX, and typography. @JohnDCook.
Galatasaray Voleybol @GSVoleybol1905
181K Followers 39 Following Galatasaray Spor Kulübü Voleybol Şubesi Resmi X Hesabı (Official X Account of Galatasaray Volleyball Department)
Khronos Group @thekhronosgroup
16K Followers 272 Following An open industry consortium of leading hardware & software companies creating advanced acceleration standards for 3D graphics, AR/VR, vision & machine learning.
Sportivo Bella Italia @SpBellaItalia
1K Followers 36 Following 🇮🇹 Actualmente en Primera División Amateur de AUF. 🤜🤛 Deportivo Bella Italia de Mercedes. 𝗨𝗻 𝗲𝗾𝘂𝗶𝗽𝗼 𝗰𝗼𝗻 𝗲𝘀𝗽𝗶́𝗿𝗶𝘁𝘂 𝗶𝘁𝗮𝗹𝗶𝗮𝗻𝗼 ⚽️
1863 Boğaziçi @1863bogazicisk
3K Followers 91 Following Boğaziçi Üniversitesi Futbol Takımı Resmi Hesabı Bull Terriers @unibogazici @sportscommittee İletişim için: [email protected]
bogazici.swe @BogaziciSwe
14 Followers 19 Following Boğaziçi Üniversitesi Yazılım Mühendisliği Tezsiz Yüksek Lisans Programı
Hiroshi Lockheimer @lockheimer
49K Followers 251 Following Chief Product Officer, Other Bets and Exec Sponsor, Japan @google Left-handed 👍
Intrinsic @IntrinsicAI
2K Followers 44 Following We are building an intelligent robotics platform to unlock the creative and economic potential of millions more businesses, entrepreneurs and developers.
Elçin Parçaoğlu @Lothlorienin
190 Followers 1K Following A scholar interested in Tolkien Studies, Ecocriticism, Eco-mythology and Cosmology | Pamukkale University/English Language and Literature | PhD
Cumhurbaşkanlığı ... @CBAdayOfisi
319K Followers 6 Following Ekrem İmamoğlu Cumhurbaşkanlığı Aday Ofisi resmi hesabı. https://t.co/AdUNSyPceu
Can Yayınları @canyayinlari
341K Followers 7 Following 1981 yılında, yazar Erdal Öz tarafından kurulan Can Yayınları, edebiyatın nitelikli ve özgün yapıtlarını okurlarıyla buluşturmaya devam ediyor...
EU Research Results @CORDIS_EU
49K Followers 7K Following 🇪🇺 We bring you results from #EUfunded research projects @EU_Commission 👩🔬🔬👨🔬 | 🎧 Listen to our podcast #CORDIScovery 👉 https://t.co/U1KsbwEQQZ
Dr. Mahir Polat @mhrpolat
215K Followers 4K Following İBB Genel Sekreter Yardımcısı -İBB Miras - İBB Kültür - İBB Sosyal - Tarihi Kentler Birliği Genel Sekreteri - TAÇ Vakfı Y. Kur. Başkanı - Dava insanlık davası…
EIT Urban Mobility @EITUrbanMob
5K Followers 1K Following Leading network for transport innovation in European Cities 🇪🇺 to transition to a sustainable and liveable urban mobility 🌱 👉🏼 Part of @EITeu #TMWC25
Berliner Philharmonik... @BerlinPhil
179K Followers 627 Following The Berliner Philharmoniker’s official twitter feed
Reproducible Builds @ReproBuilds
2K Followers 62 Following A set of software development practices that create an independently-verifiable path from source code to the binary code used by computers.
çizgiseltarih @cizgiseltarih
17K Followers 307 Following 📜 tarihi çizim • karikatür • gereksiz bilgi • gündem
Isengard Sanayi Odala... @isengard_sanayi
27K Followers 11 Following Orta Dünya'nın ilk organize sanayi bölgesi
Eureka @EUREKA_NETWORK
16K Followers 4K Following We are the world’s biggest public network for international cooperation in #research #development and #innovation.
Hediye Levent @hediyelevent
76K Followers 1K Following Daima muhabir @evrenselgzt'de köşe yazar https://t.co/lVkcBmHhTI kanalında Orta Doğu labirentlerinde dolaşır
EuroProofNet @EuroProofNet
153 Followers 7 Following European Research Network on Formal Proofs (#COSTAction 20111), aimed at boosting the interoperability & usability of proof systems.
Troya Müzesi @troyamuzesi
12K Followers 15 Following Troya Müzesi Resmi Twitter Hesabı 🐴🐴 Troya Anadolu’dur. Efsane Devam Ediyor!
The Debian Project @debian
283K Followers 4K Following The Universal Operating System; follow our news via https://t.co/zD9A4YClrc and https://t.co/wHPftZFODt
The Linux Foundation @linuxfoundation
575K Followers 9K Following A nonprofit organization enabling mass innovation through open source. #linux #kubernetes #riscv #hyperledger #anuket #openssf #openjs #o3de and more!
Evrim Binbaş @EvrimBinbas
5K Followers 817 Following Historian | @UniBonn | Timurids, Turkmens, some Ottomans, occasionally modern historiography | proud Phrygian
Sarıyer Belediyesi @SariyerBelediye
59K Followers 294 Following Sarıyer Belediyesi Resmi Twitter Hesabı. Official Twitter account of Sarıyer Municipality ☎️ 444 1 722 Belediye Başkanı: @aksuoktay
Barış Önol @thepeacepanda
11K Followers 187 Following Atmosfer/İklim Bilimci -- Atmospheric/Climate Scientist ..... Basketbol meraklısı
Galatasaray EN @Galatasaray
1.1M Followers 71 Following Official home to 25x Turkish Champions 🟡🔴🇹🇷: @GalatasaraySK
Barçın Yinanç @barcinyinanc
12K Followers 2K Following Gazeteci/journalist ODTÜ IR91. Milliyet, TV8, CNNTürk, Hürriyet Daily News eski çalışanı Retweet onay anlamına gelmez/RT not endorsement.
Mehmet Simsek @memetsimsek
2.9M Followers 5 Following T.C. Hazine ve Maliye Bakanı | Minister of Finance, Republic of Türkiye
Forza Cimbom @forzacimbomtr
473K Followers 436 Following Galatasaray SK Taraftar Platformu | #ForzaCimbom #Galatasaray
Legendarium Türkiye @legendariumtur
12K Followers 119 Following Youtube'da her hafta J. R. R. Tolkien'in yarattığı Orta Dünya'ya dair videolar yayınlayan edebi muhabbet kanalı.
JSON Schema @jsonschema
2K Followers 39 Following JSON Schema is a vocabulary that allows you to annotate and validate JSON documents - 60+ million weekly installs. Used by webpack. Built into VSCode.
Can Özturan @canozturan
78 Followers 310 Following
Overleaf @overleaf
56K Followers 6K Following Create, edit & publish your research - all from your browser. Our real-time collaborative LaTeX editor automatically produces & displays your typeset document.
Hakan Kara @ali_hakan_kara
564K Followers 574 Following İktisatçı akademisyen, Bilkent Üniversitesi öğretim üyesi, TCMB eski başekonomisti
Phoronix @phoronix
61K Followers 119 Following Founded by @MichaelLarabel in 2004, Phoronix is the largest #opensource news, #Linux hardware reviews & Linux PC/server/HPC performance benchmark site.
CNCF @CloudNativeFdn
110K Followers 729 Following CNCF is the home of @kubernetesio, @prometheusio, @envoyproxy, and many more. Join us at #kubecon.io - Jun 10-11 in HK, Jun 16-17 in TokyoTrends for United States
You might like
