Ersagun ⬢ @JimmyTheXploder
Frictionless system, massless pulley, ideal gas Joined November 2009-
Tweets4K
-
Followers358
-
Following5K
-
Likes23K
Let's say e, pi and √2 are "just functions", and let's put every number-generating function in a set, this set captures exactly 0% of real numbers.(It's a countable subset of an uncountable set.) Uncomputable numbers can't be represented as programs, yet they cover 100% of reals
Let's say e, pi and √2 are "just functions", and let's put every number-generating function in a set, this set captures exactly 0% of real numbers.(It's a countable subset of an uncountable set.) Uncomputable numbers can't be represented as programs, yet they cover 100% of reals
"I can't fit this mathematical concept into my arbitrarily constrained mental model, so it must be wrong, it must be something else" is a weird stance. It's like people claiming 0.99999... != 1, but a little more advanced.
"I can't fit this mathematical concept into my arbitrarily constrained mental model, so it must be wrong, it must be something else" is a weird stance. It's like people claiming 0.99999... != 1, but a little more advanced.
enlightened minds think about tradeoffs
I tried this, it was almost all "race based" stereotypes from a western POV. Income range, religion, politics... All were just "you're Turkish so you are most likely this". And I am almost none of those things. AI is still dumb.
I tried this, it was almost all "race based" stereotypes from a western POV. Income range, religion, politics... All were just "you're Turkish so you are most likely this". And I am almost none of those things. AI is still dumb.
Doğuş - "bunlar babadan oğula nesil herhalde"
Doğuş - "bunlar babadan oğula nesil herhalde"
We also got Shor 2 before Shor was ever meaningfully implemented.
We also got Shor 2 before Shor was ever meaningfully implemented.
@dorsa_rohani We got Djikstra 2 before GTA 6 wtf
Many voices, not enough listening. So people think: theo is rich, he's trying to make it go away, he's a glue coder, ffmpeg is great, also it should handle criticism better, talk is cheap just code a codec. What did I miss?
Mülakatlarında "Taylor Swift'in Türkiye'deki karşılığı kimdir?" sorusunu soran büyük bir şirket var Türkiye'de. Beklenen cevabı bilmiyorum ama doğru cevap sg
Mülakatlarında "Taylor Swift'in Türkiye'deki karşılığı kimdir?" sorusunu soran büyük bir şirket var Türkiye'de. Beklenen cevabı bilmiyorum ama doğru cevap sg
STOP SAYIN FIBONACCI WHENEVER YOU SEE A SPIRAL
STOP SAYIN FIBONACCI WHENEVER YOU SEE A SPIRAL
We ran a randomized controlled trial to see how much AI coding tools speed up experienced open-source developers. The results surprised us: Developers thought they were 20% faster with AI tools, but they were actually 19% slower when they had access to AI than when they didn't.
Bu trendi ilk Amerikalılar yaparken gördüm. Onlarda gerçekten gülünecek acayip nesneler geliyordu. Bizde ütü, yelpaze falan getirmişler. Ya bizimkilerin yaratıcılığı bu kadar, ya da öyle içimize işlemiş ki fakirlik yelpaze acayip bir şey gibi geliyor artık.
Bu trendi ilk Amerikalılar yaparken gördüm. Onlarda gerçekten gülünecek acayip nesneler geliyordu. Bizde ütü, yelpaze falan getirmişler. Ya bizimkilerin yaratıcılığı bu kadar, ya da öyle içimize işlemiş ki fakirlik yelpaze acayip bir şey gibi geliyor artık.

fatih kadir akın @fkadev
94K Followers 2K Following happy dad of two • devrel @teknasyontech • @github star • @windsurf ambassador • wrote books • entrepreneμr (2 exits) • https://t.co/Le9eGTUGkE • https://t.co/XH7MQYlxt8 • en/tr
Max Born, FRS 🥇�... @Max_Born_FRS
566 Followers 3K Following 🔁 Hard work • Achieve goals • Good things 🔁
Orhan Ozalp @ocozalp
540 Followers 307 Following
Mehmet Hakan Satman @mhsatman
5K Followers 1K Following Professor of Numerical Methods @ Istanbul University | Associate Editor @ Journal of Open Source Software (JOSS)
joomy @joomy
2K Followers 956 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
merve @mervenoyann
80K Followers 5K Following open-sourceress at @huggingface 🧙🏻♀️proud Aegean, I work on computer vision, VLMs & agents | gençleri serbest bırakın
Mengu Kagan @mengukagan
979 Followers 565 Following and his eyes have all the seeming of a demon’s that is dreaming.
云创兽Ai @Fakiec558744
2 Followers 105 Following 😊 analyzing candlestick charts lover, wealth goddess! open to insights. DM me about economic trends! 🚀 #OptionsTrading
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Ikirpxe @Ikirpxe5694549
41 Followers 2K Following
Ezroofu @Ezroofu3027069
75 Followers 1K Following
Roger Larkin @LarkinRoge23708
94 Followers 2K Following
Artemis @gross99641
1 Followers 50 Following Sarcastic romantic. Hoping to find someone who’ll roll their eyes at my jokes but still hold my hand.
Verner Stamm @StammVerne15324
77 Followers 4K Following
Thegrawn @ThegrawnKdCs_A
106 Followers 1K Following
Peyluecho @Peyluechok8EGS
37 Followers 709 Following
Shstoos @ShstoosBw1x
95 Followers 3K Following
joomy 🇹🇷 @vowelharmony
60 Followers 121 Following
Daniel Firth (Inspect... @locallycompact
1K Followers 773 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
RandomGuy @yusufthesailor
110 Followers 545 Following
Feateartau @FeateartauJVSQ
78 Followers 2K Following
Pınar Tomaş @nar_tomas60370
2 Followers 24 Following
Seslough @Seslough158744
123 Followers 7K Following
mustafa agdere @mustafa_agdere
213 Followers 597 Following
Alperen Keleş @Keleesssss
8K Followers 2K Following METU CENG 21' | PhD Candidate at @umdcs | Writing at https://t.co/O7d6OIVbg4 | Currently random testing compilers, type systems, databases...
Engin çetin @EnginCetinbest
3 Followers 3 Following
murat kara @mkara_1971
27 Followers 71 Following
Talip 🍊🍋 @otaliptus
1K Followers 2K Following DevRel @citrea_xyz | @bogazici_cmpe | Opinions my own, I'm sometimes a bit angry at things
McCeyte @CeyteMc5948
125 Followers 5K Following
Pırıl Kuruca @PKuruca
1 Followers 13 Following
Can @cann_1132
720 Followers 583 Following Technical Lead / MSc. Computer Scientist / Software Engineer / Working on @salesforce Tech.
Gabriel Naves @GrievousFlame
51 Followers 342 Following Game developer, co-founder at @lvlcapstudios.
Sam Kenyon @MetaDevo
3K Followers 3K Following Freelance software engineer (C++, Qt). Worked for iRobot, Qt, MIT, Boston U., Bio-Rad and many others.
M Can Ozkan @MustafaCOzkan
123 Followers 752 Following PhD S. @UCL, MSc @imperialcollege @ucl, interested in #ReinforcementLearning,#GraphNeuralNetworks,#MachineLearning,#Networks,#DataScience,#IntelligentTransport
Berkant ÇALIKUŞU @NeGRoMaNz
30 Followers 353 Following
Ali Cem Kalsen @CemKalsen
68 Followers 540 Following Graphics programmer wannabe | Student @ Istanbul Technical University
Eren Asena @erenasena3
19 Followers 1K Following
şükran * . * .🪐 ... @HttpsSukrann
1K Followers 859 Following
V. Buğra Yeşilkayna... @VYesilkaynak
54 Followers 74 Following ITU Vision Lab | TUM Informatik MSc Student
- @afiyetosekero
160 Followers 216 Following
Ashley Woodard @ashley_woodard
386 Followers 3K Following Hacker, Musician, Bartender | Computer Science & Mathematics (not a tech bro) | University of Southern Mississippi
Halil İbrahim ER - S... @halil_ibrahimer
24K Followers 51K Following Halil ibrahim Er - SEO & Dijital Pazarlama Uzmanı Dijital pazarlama stratejileriyle markaları büyütüp işletmenizin kârlılığını artırıyorum.
Damla Ehican @damlaehican
617 Followers 390 Following
Larkin @Larkin
2K Followers 1K Following Digital artist continuously exploring, discovering, & creating patterns
fatih kadir akın @fkadev
94K Followers 2K Following happy dad of two • devrel @teknasyontech • @github star • @windsurf ambassador • wrote books • entrepreneμr (2 exits) • https://t.co/Le9eGTUGkE • https://t.co/XH7MQYlxt8 • en/tr
Fatih Arslan @fatih
44K Followers 427 Following Software Engineer at @planetscale. Creator of vim-go. Design addict. Photographer. Previously at @github, @digitalocean
Orhan Ozalp @ocozalp
540 Followers 307 Following
Mehmet Hakan Satman @mhsatman
5K Followers 1K Following Professor of Numerical Methods @ Istanbul University | Associate Editor @ Journal of Open Source Software (JOSS)
Cem Say @say_cem
371K Followers 1K Following Bilgisayar mühendisliği hocası. Kitaplar: 'Yapay Zekâya Giriş', 'En Hakiki Mürşit', 'Yeni Dünya, Yeni Ağ', '50 Soruda Yapay Zekâ'. Ve 'Geometri' (Atatürk)
Utku Şen @utkusen
40K Followers 962 Following computer security, songwriter (https://t.co/VukQfR6y9r) | https://t.co/NIjgegsGw5 | https://t.co/0MVtbdwONf | 🇬🇧english = @utkusen_en
joomy @joomy
2K Followers 956 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Görkem Çetin @gorkemcetin
22K Followers 10K Following CEO @ BlueWave Labs, an open source/B2B SaaS incubator. Founder @ VerifyWise, an open source AI governance platform. 🇹🇷🇨🇦
Fularsız Entellik @imTolstoyevski
171K Followers 544 Following Halk için halka rağmen entellik. Kitap: https://t.co/78FpUIVFZk | Podcast: https://t.co/lLov9atKxV | Bonus: https://t.co/56INXbqv2q |
Mehmet INCE @mdisec
32K Followers 2K Following Sr Vulnerability Researcher. Co-founder of @PRODAFT. Muay Thai addict.
merve @mervenoyann
80K Followers 5K Following open-sourceress at @huggingface 🧙🏻♀️proud Aegean, I work on computer vision, VLMs & agents | gençleri serbest bırakın
Addy Osmani @addyosmani
353K Followers 2K Following Engineering leader, @GoogleChrome • Author • Great user, developer & AI experiences • @ChromiumDev @ChromeDevTools • @GoogleDeepMind
Dan Luu @danluu
45K Followers 44 Following Active on https://t.co/WG71Nrs60M; also trying out https://t.co/fGOzbSxVHi. No longer read replies or notifications here now that tweetdeck is gated.
Selman Kahya @SelmanKahyaX
33K Followers 49 Following startup. previously director of eng @kajabi, CTO @joinvibely (acq'd), @uber, @yahoo. also a YouTuber?? https://t.co/sk4LcWXT9I
✨Irmak Kavasoğlu �... @theTytoAlba
4K Followers 367 Following matcha. piano. running at my own pace. enjoyer of arts. iafl, boun cmpe. senior swe @google. 🦋: https://t.co/FSldR9bxKp
Tevfik Uyar @tevfik_uyar
120K Followers 3K Following Bilim(+kurgu) Yazarı & Bilimsel Şüpheci, PhD. & Uçak Müh. @HBT_Dergi @Yalansavar / @AcikBilim.
Sebastian Aaltonen @SebAaltonen
43K Followers 263 Following Building a new renderer at HypeHype. Former principal engineer at Unity and Ubisoft. Opinions are my own.
Irem Komurcu 🐣 @iremkomurcu
31K Followers 623 Following Google Developer Expert on ML 🧡 | @ulukayagirisimi '19 Fellow 🇺🇲 | @GDGIstanbul Organizer 💙 | https://t.co/4LboajNZ25 | Tweets in EN/TR
Emre Sevinç @EmreSevinc
6K Followers 3K Following Data | Business | AI | Python | Science | Math | Linux | Music | Philosophy | Books 📚 https://t.co/sDhjGt1zOB
The Institute for Typ... @typememetics
698 Followers 106 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.
Peter Schmidt-Nielsen @ptrschmdtnlsn
8K Followers 731 Following Please tweet at me with CUDA performance tips.
One Happy Fellow @onehappyfellow
2K Followers 686 Following calmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics
tlark @tlark8
1K Followers 1K Following came here for tech twitter, now just watching it burn down I guess - culture wars are dumb - woke v anti woke is dumb - Show me your painted minis
Orhun Parmaksız 👾 @orhundev
5K Followers 1K Following Open source, Rust & terminals! 🦀 GitHub: https://t.co/m4rE2hAIB7 YouTube: https://t.co/8xYXby6uFe Maintainer @ratatui_rs | @git_cliff | @archlinux
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming, dependent types. lean4 newbie. love thinking about type systems. jewish. not a p-zombie i promise.
Daniel Kuntz @dankuntz
17K Followers 1K Following The compiler is unable to type-check this expression in reasonable time
Kaden Bilyeu @bikatr7
2K Followers 170 Following CS/日本語 Senior @UCCS | Jr Full-Stack Eng @ NGi | Working on @NegationGame | views are my own
Sage @oranahhX
846 Followers 229 Following 🎯 Building Apps ↳ to fund a global animal rescue movement.
vx-underground @vxunderground
368K Followers 290 Following The largest collection of malware source code, samples, and papers on the internet. Password: infected
giyu_codes @giyu_codes
6K Followers 1K Following Applied AI/ML & Full Stack dev. Optimizing Small Medium Enterprises with AI tooling and fundamental software. destroyer of b2b SaaS integrations
eigen moomin @eigen_moomin
3K Followers 892 Following silly moomin | previously intern @ bigtech, mom's chinese restaurant
'(Robert Smith) @stylewarning
5K Followers 275 Following Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
chrinovicマーク @mu_chrinovic
11K Followers 516 Following computer programmer, systems & HPC, driven by first principles. opinions are totally not my own.
Phil Eaton @eatonphil
25K Followers 612 Following cheerleader, organizer, staff software engineer, databases
Mirza Beig @TheMirzaBeig
25K Followers 24 Following ✨ Interested in changing the world for the better. Exploring ~realtime simulations, sci-tech, education, etc. #Unity3D, After Effects, and Technical Art/#VFX.
Mitch Leeuwe @MitchLeeuwe
122K Followers 107 Following Artist who loves to teach. See link for all my Ebook & video tutorials about how to draw! And use the code: welcome for 30% off!
Justin Solomon @JustinMSolomon
8K Followers 701 Following Associate prof, MIT EECS/CSAIL 💻🔬🦥🧀🏋️♀️🎼🐈🎻🏳️🌈 he/him/his — justinmsolomon@🟦🌤️🦋📲
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Gabriel Dechichi @gdechichi
8K Followers 426 Following Solo game programmer. Prev Head of Engineering at Proxima and Senior Engineer at @Unity. Built @playsuckup ($1M+), now building a next gen engine for the web
Tim Pote @potetm
1K Followers 379 Following Consultant. Pragmatic, Idiot-Driven Solutions. It's a neighborly day in this beauty wood. Creator of Fusebox: https://t.co/jhwpvOxr0T ꙮ
christina 死神 @chhopsky
14K Followers 2K Following making Ambrosia Sky @softrainsgames 💕 writer New Astoria, sapphic cyberpunk 🦾 ex-lolesports, CoD, twitch, dauntless etc 🎸🥁📸🇦🇺 right click enemy champions
Lelouch 👾 @lelouchdaily
11K Followers 436 Following Documenting my SWE & ML grind | https://t.co/NMr3mpuRDd | Posting progress reports & resharing quality memes.
nolen royalty @itseieio
24K Followers 568 Following the internet can still be fun! https://t.co/mjpr5uCSdY • https://t.co/PAOcAATGnX • https://t.co/rXQU7beqam • https://t.co/e4X1aTyU9N alum recurse, jane street
Erik Schluntz @ErikSchluntz
5K Followers 277 Following Member of Technical Staff at Anthropic Co-founder at @CobaltRobotics Co-founder at Posmetrics (acquired) GoogleX, @SpaceX, @Harvard EE '15, Forbes 30u30 '18
keepee⚫ @keepeetron
4K Followers 849 Following code, art, gamedev. suggestions/crits welcome. https://t.co/83AOZtslaq
Walaber @walaber
25K Followers 1K Following Making games like JellyCar, Parking Garage Rally Circuit and Replicube | ゲームを作っています!日本語だいたいワカル | He/him
John Shedletsky @Shedletsky
247K Followers 1K Following idiot savant choose one follow to read bangers https://t.co/MeJcB4AS9J
Daniel Lemire @lemire
29K Followers 2K Following Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2024) and among GitHub's top 1000 developers.
Jebrim @AgileJebrim
4K Followers 2K Following Rendering Engineer creating hard real-time graphics & compute GPU technologies for mission/safety-critical systems. Opinions are my own.
Vjekoslav Krajačić @vkrajacic
8K Followers 115 Following Building a fast, modern file explorer → https://t.co/DLg0ClqK1O Croat 🇭🇷, catholic, husband, father of 5.
Lente ⛵ dev on a bo... @LenteGameDev
28K Followers 782 Following I live on a boat and I love to make games :) 🇳🇱🏳️🌈 - I made Spilled!: https://t.co/mPoQkneSKw - Come hang in the Discord: https://t.co/R867VgWuWS
Jack Morris @jxmnop
45K Followers 975 Following research @cornell @meta // language models, information theory, science of AI
tito. @titolovesyou
17K Followers 892 Following developing PIGFACE, a game about doing wet work for a mysterious blackmailer. wishlist now!
Sandy Petersen 🪔 @SandyofCthulhu
43K Followers 632 Following Game Designer, Horror fan, Grandpa. Founded Lovecraftian gaming. CEO of Petersen Games. Also Doom, Age of Empires, etc. Subscribe for game insights & history!
Falco Girgis @falco_girgis
9K Followers 1K Following Sega Dreamcast developer on a quest to correct the timeline of video gaming history. Working on the modern, open-source indie DC SDK and library OS, KallistiOS.
wangbin579 @wangbin579
17K Followers 129 Following Specializing in solving complex software challenges, with deep expertise in TCP and MySQL kernels, and a strong passion for AI, history, math, and physics.