-
Tweets758
-
Followers147
-
Following512
-
Likes601
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
17K Followers 1K Following Professor Computer Engineering @UniBogazici, @Bogazici_CmpE, @nrgBoun, @maarif1955 💚💛 ➡️ https://t.co/YaaInjDTil ➡️@tugcu.bsky.social ➡️ @tugcu.mas.to
Sortoez @SortoezROtZw
62 Followers 3K Following
Glauirfie @Glauirfie69726
45 Followers 2K Following
Allalkarq @Allalkarq287
76 Followers 3K Following
Loma Powlowski @powlowski83670
46 Followers 1K Following
Siseart @SiseartX8X_jV
40 Followers 751 Following
Doris @doris_fischer82
211 Followers 3K Following
ざんぬ @yukky_saito
2K Followers 886 Following 自律移動ロボット/Autowareの開発し始めて12年。自動運転システムのアーキテクト(最近はE2E)。 Sony R&D➝TIER IV #ROS #Autoware https://t.co/gqUs1xGlno 組織を代表するものではなく個人の発言です
us_Athena_ @us_athena45182
66 Followers 3K Following
QuirkyQueenie @queenie_qu52660
63 Followers 5K Following
Steste @Steste733155
71 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
18 Followers 1K Following
Birkan Yilmaz @fermat4214
1K Followers 1K Following Assistant Professor @ Dept. of Computer Engineering @ Bogazici Univ. / Istanbul
Can Özturan @canozturan
95 Followers 311 Following
Pheesoez @pheesoez42878
15 Followers 839 Following Follow me, maybe it's the beginning of our fate, we can talk
Thasat @Thasat379370
4 Followers 123 Following
Burcu Kulahcioglu Ozk... @burcu_at_world
250 Followers 230 Following Assistant Professor in Software Engineering at @serg_delft at TU Delft.
Bilal Sönmez @bilal_sonmez
9 Followers 288 Following
Dr. Hüma @HmaKl8
55 Followers 250 Following
ERAY ÖZKOYUNCU @Errabi19
51 Followers 576 Following Eğlence ve Mizah Mizah Kültür Sanat Sanat Teknoloji
Ilkin Balta @ilkinbalta
289 Followers 930 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
87 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 46 Following
ninjalp @ninjalp1084912
1 Followers 73 Following
Dominick Romano @dromanocpm
5K Followers 4K 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
16 Followers 153 Following Machine Learning Lead @VNGRS Ph.D (c) @Bogazici_CmpE
Mehmet Ali OZCAN @ozcanmehmet
77 Followers 219 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 91 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
43 Followers 449 Following Car axle design lovers, innovative, independent thinker
joe @joevorage
462 Followers 2K Following
keremdotpy.bsky.socia... @keremdotpy
582 Followers 754 Following bogazici - ee & cmpe & soc - ml enthusiast - zındık ve sosyal demokrat - tüm siyasi tutsaklara özgürlük
ali kenan @haxprocessss
218 Followers 2K Following
hepbitkin @hepbitkin
26 Followers 757 Following
Sadık Kuzu, MBA, MSc @sadikkuzu_mba
332 Followers 2K Following METU-MATH'06 (BS) BILGI-MBA'09 BOUN-SWE'24 (MSc)
Miryam Naddaf @MiryamNaddaf
444 Followers 431 Following Science reporter @nature | cover neuroscience, academic publishing, UK/EU sci policy, news in Africa & the Middle East | email: [email protected]
Innovate UK @innovateuk
130K Followers 28K Following We are the UK’s innovation agency. We fund business & research collaborations to accelerate innovation. YouTube:https://t.co/CYNpeWgVsA Part of @UKRI_News
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
17K 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 923 Following @eurosport_tr, @socratesdergi, @ssporttr | fish&chips enthusiast
glTF 3D @glTF3D
9K Followers 89 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 40 Following Galatasaray Spor Kulübü Voleybol Şubesi Resmi X Hesabı (Official X Account of Galatasaray Volleyball Department)
Khronos Group @thekhronosgroup
16K Followers 273 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 18 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
189 Followers 1K Following A scholar interested in Tolkien Studies, Ecocriticism, Eco-mythology and Cosmology | Pamukkale University/English Language and Literature | PhD
Cumhurbaşkanlığı ... @CBAdayOfisi
325K Followers 49 Following Ekrem İmamoğlu Cumhurbaşkanlığı Aday Ofisi resmi hesabı. https://t.co/AdUNSyPceu
Can Yayınları @canyayinlari
340K 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 61 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 305 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
77K 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
282K Followers 4K Following The Universal Operating System; follow our news via https://t.co/zD9A4YClrc and https://t.co/wHPftZFODt
The Linux Foundation @linuxfoundation
576K 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
6K Followers 825 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 188 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
13K 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
479K Followers 448 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
95 Followers 311 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 575 Following İktisatçı akademisyen, Bilkent Üniversitesi öğretim üyesi, TCMB eski başekonomistiTrends for United States
You might like
