a.refactored.live @refactormyself
refactoring compute was refactored Joined August 2016-
Tweets65
-
Followers43
-
Following1K
-
Likes231
Wow, finally! Thank you @dendibakh, for making it free.
Wow, finally! Thank you @dendibakh, for making it free.
“But it takes a qualitative change in perspective to invent a higher level construct like the arch, and more effort to make them. The reward is being able to create structures that are not possible with simple organizations of stones. I think…” — Alan Kay link.medium.com/MdzIWoolL2
In the spirit of 2020 predictions, here's one from 1949: "computers in the future may weigh no more than 1.5 tons." bit.ly/1JIRDzM
You may have never seen DNA imaged with an electron microscope, so here it is bit.ly/2yd7EB8
It came from outer space? Maybe! ☄️ In the newest “Inside the Lab,” find out how glycine-laden comets may have contributed to the beginnings of life on Earth. Learn more about this impactful research → llnl.gov/news/did-comet… #astronomy #astrobiology
.@Vimeo being sued under IL Biometric Privacy Act #BIPA for performing #facialrecognition without consent on videos uploaded to its #Magisto video editing platform. arstechnica.com/tech-policy/20…
This is lovely. Wish I had this when first starting FP. github.com/sandrolovnicki…
I currently employ over 10 remote technologists in Nigeria. Some I have never met in person. They are amazing and I plan to continue growing with their help. Nigeria is full of amazing people with incredible talent. Those that know, know. The rest can miss out at their own peril
I currently employ over 10 remote technologists in Nigeria. Some I have never met in person. They are amazing and I plan to continue growing with their help. Nigeria is full of amazing people with incredible talent. Those that know, know. The rest can miss out at their own peril
Seriously! @auth0 I believe this is too much to pay for auth0.com/resources/eboo…. Kind of feels paradoxical
SHUTDOWN ABORT the last Oracle database running Amazon Fulfillment!
It might come as a surprise to know that data centers account for a significant fraction of global energy consumption & represent a growing business cost. Learn more in “Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs.” computer.org/csdl/journal/ts
Thanks @JoBoccara and for this too youtube.com/watch?v=tOOK-V…
Thanks @JoBoccara and for this too youtube.com/watch?v=tOOK-V…
Have you ever had to deal with an undocumented system where your only saviour was git? @juankybiri had and he's sharing with you some git tricks for this situations! blog.novoda.com/git-code-detec…
@MIT_CSAIL Not to be hyperbolic or spiritualize the moment narrowly but this is akin to seeing the face of God, something so rare & momentus it is beyond human comprehension. I celebrate your wonder at seeing an event mezmerizely distant in the past that came into focus in your present.
As China looks to fight air pollution, it eyes banning Bitcoin crypto-mining, as it deems it "seriously wasted resources", generating 10m tons of CO2/year. engadget.com/2019/04/10/chi…
#NobelLaureate J Michael Bishop and #LINO18 Lindau Alumna Nataly Naser Al Deen discuss two important elements in the fight against #cancer: prevention and prediction.
First-ever image of a black hole! What you see glowing below is scorching hot gas in a death swirl before getting gobbled up. This monster weighing 5 billion times as much as the Sun is 55 million light-years away, so no need to panic about falling in... theguardian.com/science/2019/a…
How to get higher performance of Enterprise Java applications with lower memory requirements #Java jaxenter.com/the-fight-for-…
"We should adopt the attitude of Donna Strickland, the 3rd woman in history to win the @NobelPrize in Physics: ‘I see myself as a scientist, not a woman in science’.” Read the @Women_Research interview of Lindau Alumna @MarleneHeckl on our blog #LINO18 ow.ly/tgmJ30nCOuU
DarkPoolScans🇺🇸 @Eedruicaw330
55 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Srubouw @Srubouw7846
76 Followers 3K Following
Juana Ledner @JLedner15351
33 Followers 2K Following
Floyd Goyette @FloydGoyet47148
34 Followers 2K Following
Dusty Watsica @DustyW8781
120 Followers 4K Following
Myoungjun Lee @MyoungjunLee
281 Followers 539 Following Software engineer at Samsung. Ph.D. Tweets are on my own. Love to learn.
Thirthou @Thirthou6Cv
48 Followers 4K Following
Smearsh @SmearshAHkGMDC
80 Followers 7K Following
Thotouez @Thotouezw9s
42 Followers 4K Following
Shautoy @ShautoyJLrgC8Y
62 Followers 7K Following
FaySmith @1H41g3Xgv7z1U9h
60 Followers 7K Following
HPCguy @HPCZorf
151 Followers 1K Following #HPC enabler #linux #GeoScience coddler #top500 orca survivor
Barbara @motoyayosh95834
80 Followers 7K Following
Igor Zhirkov (∎, �... @rub_duck_type
281 Followers 363 Following Programmer, researcher, writer. Author of 'Low-Level Programming: C, assembly and program execution' Compiler team, @the_matter_labs
CGO @CGOconf
431 Followers 114 Following IEEE/ACM International Symposium on Code Generation and Optimization, 2026, Sydney, Australia.
Shibo Chen @ShiboChenTech
1K Followers 1K Following I build chips. CSE PhD, UMich '25. Opinions are of my own
Aakil Khan Emon @aakilkhanemon
579 Followers 3K Following Erasmus Mundus Scholar🧬🇪🇺 #Biotechnology🎓🇧🇩🌍#Biotech🧬🔬#Bioinformatics👩💻#Chemoinformatics🧪#Immunology💉#Genomics🧬#Microbiology🦠#CADD💊#Proteomic
Mimi @Mimi32558586
75 Followers 3K Following 💓🐴 I'm Mimi!💘 Here is mу album аnd mу naked рiсs!)) Vote fог mе, рlеаse:❤️ https://t.co/xED9KZkBy8
Todd Austin @ToddMAustin
2K Followers 2K Following Computer Science professor @UMich, security researcher, computer architect, entrepreneur, dad, friend, gamer, one who loves loving things!
Name can be blank. @DavidFischak
545 Followers 3K Following
yinyang-project @testsmtsolvers
410 Followers 413 Following Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@cvc5_solver) Tool: https://t.co/yg7OJwFw7y
Edsquare @edsquareco
289 Followers 2K Following 🤖 A fun intro to AI for elementary kids (7-12 yrs). Explore machine learning through video lessons, games, puzzles & craft activities.
Aart Bik @AartBik
1K Followers 859 Following 🇳🇱🇺🇲 Dutch-American computer scientist Utrecht (MSc), Leiden (PhD) @Nvidia @Google @Intel #astrophotography #chess #compilers #sparse #vectorization
HPC@hu @HPC_hu
249 Followers 581 Following Mi vagyunk a magyar HPC Kompetencia Központ. We are the Hungarian National HPC Competence Centre.
Meteca @meteca_sa
1K Followers 5K Following Meteca is a swiss company that provides unique electronic tools and support for the development of tangible Internet of Things solutions.
Hugo Shi @hhhuuugggooo
664 Followers 2K Following @Saturn_Cloud Web: https://t.co/6IOqEetHM3 AWS: https://t.co/H3QhsDKskh
Saturn Cloud @saturn_cloud
3K Followers 2K Following Saturn Cloud is an award-winning ML platform for any cloud. Learn more here: https://t.co/KZCZ2D8lHm
Celeste @cahollenbeck
1K Followers 914 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
GPGPU @kkputtur
94 Followers 368 Following NVIDIA Engineer interested in Machine Learning, DNN, CuDNN, OpenCL, Vulkan, OpenGL, OpenCV GoogLENET, Keras,Tensor Flow everything in between
Jorge Rodríguez @ZoiyoTravez
71 Followers 401 Following Ingeniero de telecomunicación. Desarrollador de aplicaciones C++.
Maryam Dabaghchian @MDabaghchian
129 Followers 355 Following Formal Verification Engineer @ :: Personal account
IISTEM @IISTEM1
174 Followers 1K Following International Institution for Science Technology Engineering and Management (IISTEM) is a non-profit association.
Helmholtz Information... @HIDAdigital
4K Followers 3K Following #HIDA offers #Information & #DataScience education to doctoral researchers & postdocs @helmholtz_de & connects Helmholtz Information & Data Science Schools
ntnu-hpc @ntnuhpc
471 Followers 643 Following At NTNU HPC, the computer says «Yes». https://t.co/9Ja1nXBAuB https://t.co/rtDKCKwXnA
Dirk Beyer @beyer_dirk
765 Followers 537 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Spack @spackpm
2K Followers 3K Following A flexible package manager designed to support multiple versions, configurations, platforms, and compilers. Join us at https://t.co/aT6zWYxXKz!
Data Science In Produ... @DSInProduction
337 Followers 644 Following The #podcast that investigates how #DataScientists are building, testing and deploying their models in to #production. #MachineLearning #DataOps
Dave Godlove @davegodlove
1K Followers 2K Following HPC-er @nih_hpc, ex-Software engineer @SylabsIO, Neurophysiologist @VanderbiltU, and very serious person.😂 Opinions are informed, well-reasoned, and all mine.
myself? @saheedmyself
41 Followers 327 Following
Xamarin News @xamarinnews
171 Followers 417 Following Unofficial community collated and voted news and stories about Xamarin, Xamarin Forms, and .net based mobile development.
Akinwumi A. Adesina @akin_adesina
717K Followers 265 Following President, African Development Bank Group. Former Honourable Minister of Agriculture, Nigeria. World Food Prize Winner, 2017. Sunhak Peace Prize Laureate,2019.
Myoungjun Lee @MyoungjunLee
281 Followers 539 Following Software engineer at Samsung. Ph.D. Tweets are on my own. Love to learn.
Clean Energy 🇪🇺... @cleanenergy_eu
22K Followers 2K Following This account is no longer updated. Follow us at @cinea_eu for information on EU funding programmes for Europe's green transition.
Wieland Holfelder @holfelder
1K Followers 429 Following Vice President Engineering & Site Lead for Google's Engineering Center in Munich (Disclaimer: retweets are not endorsements, all opinions are my own)
Mate Soos @SoosMate
1K Followers 479 Following Hacker, security architect, and researcher. Hobbies: SAT solving/counting, accident investigations, symbolic execution, rc modeling, art.
Peter O'Hearn @PeterOHearn12
1K Followers 117 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Bernd Finkbeiner @FinkbeinerBernd
563 Followers 380 Following Computer scientist at @CISPA and @Saar_Uni. Formal methods, security, cyber-physical systems, and theory of computation.
prof-g @robertghrist
23K Followers 2K Following @Penn mathematician; engineer; educator; assoc. dean of undergraduate education @PennEngineers; illustrator; animator; e/acta non verba
Horace He @cHHillee
39K Followers 534 Following @thinkymachines Formerly @PyTorch "My learning style is Horace twitter threads" - @typedfemale
Cardiac Electro-Mecha... @CEMRG_
643 Followers 249 Following @imperialcollege / @KingsCollegeLon. Our research focuses on multiscale and translational cardiac modelling. PIs: Prof. Steven Niederer & Dr @MartinBishopKCL
Axel Loewe (axel-loew... @axel_loewe
737 Followers 469 Following Research enthusiast dedicated to computational models of the 🧡. Head @CaMo_KIT @KITKarlsruhe. #OpenScience advocate.
Nicholas Malaya @nicholasmalaya
1K Followers 961 Following Computational Scientist, AMD. To Exascale, and beyond!
Arghya “Ronnie” C... @ArghyaC007
295 Followers 674 Following Director, Product Management @AMD | @AMDInstinct. Former : Staff @NERSC, @BerkeleyLab || @OLCFGov || @energy. 🏫: @RiceUniversity.He/His. 🌈. 👨🏼🤝👨🏽
Eliot Eshelman @hpc_twit
646 Followers 2K Following I enable researchers & educators with leading HPC/AI technologies @NVIDIA. From muons to bacteriophages to astrophysics. Opinions my own. he/him #Inclusion
Ram @ramakrishnan13s
687 Followers 1K Following Assistant Professor in CSE @ucsc. @UMich PhD. Previously @Citizenlab @Cloudflare. He/Him. Opinions my own.
Kevin Loughlin @kevbob_loughlin
507 Followers 362 Following Hardware-software co-design. Kevin + Robert = Kevbob.
ACM SIGGRAPH @siggraph
43K Followers 2K Following Official Twitter for @TheOfficialACM's Special Interest Group on Computer Graphics & Interactive Techniques + its conferences. #SIGGRAPH2025 #SIGGRAPHAsia2025
Advait Vinayak Soman @advait_soman
146 Followers 1K Following Compilers and Programming language enthusiast. Working in Nvidia Pune Compiler team tweets are personal
Die Junge Akademie @Junge_Akademie
5K Followers 628 Following Weltweit erste Akademie für junge Wissenschaftler*innen. Interdisziplinär, an der Schnittstelle von Wissenschaft, Kunst & Gesellschaft. Profil ist nicht aktiv.
Sangeeta Chowdhary @schowdhary02
630 Followers 706 Following Researcher @AMD. Ph.D. @Rutgers. Compilers and Runtimes for accelerators.
LUMI supercomputer @LUMIhpc
2K Followers 142 Following EuroHPC world-class supercomputer at CSC's data center in collaboration with the LUMI consortium 🇫🇮🇧🇪🇨🇭🇨🇿🇩🇰🇪🇪🇮🇸🇳🇱🇳🇴🇵🇱🇸🇪 #lumisupercomputer
Helmholtz Munich | @H... @HelmholtzMunich
10K Followers 2K Following German Research Center for Environmental Health We discover breakthrough solutions for better health in a changing world! https://t.co/DEY3BbGXvu
Jiacheng Ma @mjc0608
797 Followers 685 Following Systems & Arch. Maintaining https://t.co/JEoswbgSFe and https://t.co/2lxMLYKZsz.
Martin Nyx Brain @ciphernyx
838 Followers 481 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Formal Methods 2026 @FMsymp
661 Followers 243 Following The 27th International Symposium on Formal Methods. #FM2026
HPCQS @HPCQS_EU
467 Followers 451 Following High Performance Computer and Quantum Simulator hybrid – moving towards a Pan-European Hybrid HPC/Quantum Infrastructure
Munich Center for Mac... @MunichCenterML
933 Followers 176 Following The MCML is a joint research initiative of @LMU_Muenchen and @TU_Muenchen to strengthen competence in the field of AI and to make potential accessible.
Colette Heald @coletteheald
2K Followers 415 Following Canadian, former Bostonian, new Zürcherin, professor @ETH_en, atmospheric chemist, researcher, educator, wanderer, and wonderer. (Now @coletteheald.bsky.social)
Kuldeep S. Meel @ksmeel
2K Followers 320 Following Associate Professor at Georgia Tech and University of Toronto (On Leave). https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AI
CAV @confCAV
796 Followers 0 Following 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
Mikolas Janota 🇵�... @JanotaMikolas
143 Followers 421 Following Computer Science researcher, automated reasoning enthusiast.
Communications of the... @CACMmag
9K Followers 1K Following Communications of the ACM, flagship of the Association for Computing Machinery, is a leading publication for the computer science and IT fields.
SAT Conference @thesatconf
243 Followers 4 Following 21-24 August 2024, Pune, India International Conference on Theory and Practice of Satisfiability
Armin Biere @ArminBiere
946 Followers 217 Following
Indian SAT+SMT School @satsmtschool
156 Followers 7 Following The 5th Indian SAT+SMT School will be held online this year and the registration is completely free for everyone. Register at https://t.co/fB4EoyDYTm
Universität München @LMU_Muenchen
45K Followers 161 Following Offizieller Account der Ludwig-Maximilians-Universität (LMU) München Impressum: https://t.co/1iuI0GnpJI Datenschutz & Netiquette: https://t.co/UMm4JPQSBA
Munich Postdoc Networ... @MunichPostdoc
938 Followers 748 Following We connect postdoctoral researchers working in the Munich area, facilitate communication among them and improve their experience. Join us!
CAS_LMU @cas_lmu
2K Followers 470 Following Center for Advanced Studies (CAS) at Ludwig-Maximilians-Universität (LMU) München
Dmitrii Ustiugov @DmitriiUstiugov
752 Followers 259 Following Assistant Prof at NTU Singapore. Cloud and serverless research with vHive. All opinions are mine. Follow us at @studentssystems
José Cano @jcanore
1K Followers 749 Following Reader (Associate Professor) in @GlasgowCS at @UofGlasgow | Leads @gic_lab | #ComputerArchitecture #Compilers #AI #MachineLearning #Security
David Bader @Prof_DavidBader
6K Followers 458 Following Distinguished Professor @NJIT, @adapter co-founder. Expert in Data Science, AI/ML, & HPC. IEEE, ACM, AAAS & SIAM Fellow.
Circuits and Systems @imperialcas
371 Followers 50 Following We are a research group in the @ImperialEEE department. Background: a visualisation used by @A_Picciau to solve energy management problems in green buildings.
Tyler Sorensen @Tyler_UCSC
1K Followers 879 Following Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
Rajeev Alur @RajeevAlur
2K Followers 232 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Gus Smith @gushfsmith
334 Followers 130 Following computer architecture/programming languages at @uwcse @uwplse, advised by @luisceze/@ztatlock. old account @other_gus.
Tiny Tapeout @tinytapeout
2K Followers 1 Following Tiny Tapeout makes it easier and cheaper than ever to get your designs manufactured on a real chip! https://t.co/O7TT9LqTOz
Semiconductor Enginee... @SemiEngineering
16K Followers 4K Following Deep Insights For The Tech Industry #semiconductor #semiEDA #AI #embedded #verification #lowpower #test #DataAnalytics #automotive #chipdesign #ICmanufacturingTrends for United States
You might like
