Search results for #compsci
Ada ga laptop lipat yg bisa seukuran tab. Pengen nyoba pake totebag tapi laptopku ga muattt. Gabisa klo ga bawa laptop, I can't live without my lepii 🤚🤚 #informatikastudent #compsci #ifhargamati #manusiakomputer
#Tetris is NP-hard even with O(1) rows or columns arxiv.org/abs/2009.14336 #compsci #paper📄
✨ AI-Assisted Resource-Optimized Scheduling for VLSI/FPGA High-Level Synthesis: A Novel #MachineLearning and Evolutionary Meta-Heuristic Approach 🔗 Read the full #OpenAccess preprint on #TechRxiv! ⬇️ #IEEE #Preprint #Research #CompSci #AI #Automation techrxiv.org/doi/full/10.36…
#MULCIA: PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam. tinyurl.com/2acxzrzz #PhD #Logic #CompSci
#MULCIA: Postdoc positions on foundations of type classes and type families at the University of Iowa. tinyurl.com/233wddkj #PostDoc #CompSci
In an RCT comparing anonymous vs non-anonymous #PeerReview discussions of #UAI22 conference abstracts, there were modestly more discussion posts and reviewers felt safer expressing their opinions w anonymous review journals.plos.org/plosone/articl… #AI #CompSci #metaresearch
In an RCT comparing anonymous vs non-anonymous #peerreview discussions of #UAI2022 conference abstracts, there were modestly more discussion posts and reviewers felt safer expressing their opinions w anonymous review journals.plos.org/plosone/articl… #AI #CompSci @SCSatCMU
Readings shared September 3, 2025. jaalonso.github.io/vestigium/post… #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Rocq
Thinking programs (Logical modeling and reasoning about languages, data, computations, and executions). ~ Wolfgang Schreiner. books.google.com/books?id=MEqCE… #ITP #IsabelleHOL #Logic #CompSci
#MULCIA: Post-Doctoral Research Visit F/M Formal proofs for Machine Learning. Inria centre at the University of Lille. tinyurl.com/29sqjjx2 #PostDoc #CompSci #ITP #LeanProver #AI #MachineLearning
sn-news: #ai #ml #compsci New algorithms enable efficient machine learning with symmetric data news.mit.edu/2025/new-algor…
sn-news: #maths #compsci #education A Game to Teach Combinatorics at University joshhumphriss.com/files/combinop…
#MULCIA: Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. tinyurl.com/2bddsgf7 #PhD #PostDoc #CompSci
Only 30 days left to nominate for the Kaivalya Dixit Distinguished Dissertation Award. Recognize a PhD dissertation in benchmarking or performance analysis. Winner gets $1,000 & recognition at #ICPE 2026. Nominations close 9/30. ow.ly/Rliz50WBA2E #PhD #Research #CompSci
Have started a youtube series on algorithmic design and thinking for interviews and engineering. youtube.com/playlist?list=… #compsci #algorithms #dsa #interviews #faang #Engineering
sn-news: #education #compsci The Montana Mini-Computer / MTMC-16 Homepage mtmc.cs.montana.edu
Adamson CompSci @adamsoncompsci
166 Followers 9 Following The Computer Science Department of Adamson University
Santiago Gonzalez, Ph... @Hicaduda
5K Followers 383 Following Senior ML Research Engineer at Apple. Computer Science from UT Austin. Fitness enthusiast. Private pilot. IG: santiago_compsci 🇺🇸👨💻🏳️🌈🛩
Cary Huang @realCarykh
57K Followers 459 Following exist-er, BFDI do-er, BS in CompSci/AI at Stanford, etc Living in California! he/him https://t.co/9RAwRBvWVF https://t.co/M2tifR0TNr
Mandela Uni CompSci @MandelaCS
423 Followers 99 Following Department of Computing Sciences, Nelson Mandela University. Also on https://t.co/Sk7C8WqLjL and https://t.co/REDrN0sxid
Computer Science @CompSciFact
251K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.
EverythingComputing @CompsciJones
207 Followers 215 Following STEM Subject Matter Expert, Senior Professional Development Leader, passionate about digital technologies and the delivery of Computing in Education.
Matt Timmons-Brown (R... @RaspberryPiGuy1
15K Followers 2K Following SWE @jumptrading | CompSci @Penn @ThouronAward | @Raspberry_Pi YouTuber | Ex-@amazon, @EdinburghUni | Author: Learn Robotics https://t.co/7f1A9VgCjI
Sophia - #NoS386 - UC... @lebronadam22ha
99 Followers 118 Following New Yorker, American, Girl in Tech. Machine learning enthusiast. #NoS386
Women in CompSci @WiCS_NCSU
203 Followers 81 Following Women in CS supports, promotes and retains women in CS by providing opportunities for personal & professional development, social interaction, & outreach @ NCSU
Mike Capps @solidfog
8K Followers 118 Following Practical futurist helping where I can. CEO (ret) @HowsoAI. President (ret) Epic Games. CompSci PhD. Designer, author, dad to four astounding kids.
Computer Science Week... @CompsciDiscu
373 Followers 57 Following Articles, projects and tutorials about #CompSci. Weekly newsletter: https://t.co/JOiEArf7fH
Cambridge CompSci @cambtweetcompsc
862 Followers 241 Following Camb SU #CambTweet - Cambridge students' daily lives! 3rd year CompSci at Fitzwilliam - she/her - ask me anything! https://t.co/t4lG8iq11r
Suranga Chandratillak... @surangac
6K Followers 772 Following VC @balderton. Previously: Founder/CEO blinkx (now TRMR.L) and US CTO Autonomy. Yet more previously: CompSci @Cambridge_Uni
Robyn Peterson @robynpeterson
4K Followers 458 Following A dad, long-time original @themisfits fan, former CTO at @CNN, working on streaming at Warner now, teach at NYU compsci & mediocre snowboarder.
PGCE/SD CompSci NTU @PGCE_ICT_NTU
355 Followers 98 Following PGCE and School Direct Computer Science Strand at Nottingham Trent University
رِناد @re_compsci
317 Followers 3 Following Data Scientist | BI Developer | NoSQL | AI Engineer | LLM | ML/DL | AiE™ Certified
Deb Singer @debsinger2
7K Followers 4K Following Retired administrator, educator - CompSci. Independent (former Democrat). RT’s ≠ endorsements, just news. No DMs. Peace to all.
KnoxSchools CompSci @KCSCompSci
141 Followers 98 Following Working in KCS to create a PK-12 mindset for Computer Science
kira @kira_compsci
8K Followers 510 Following Free Palestine 🇵🇸 bsky: https://t.co/ThDTClgMQQ programmer / gamedev she/they
NCL CompSci AMBER @Ncl_CS_AMBER
82 Followers 0 Following We are the Advanced Model-Based Engineering & Reasoning research group, Computer Scientists at Newcastle University.
Terrence de Kat @raphidae
4K Followers 329 Following Retired entrepreneur, international investor, NOC monkey & BOFH. Founder of Monks & the Open Internet Foundation. CompSci PhD, MTh & BPsy (psychopathologist).
Duncanrig Computing S... @CompsciDunc
438 Followers 117 Following Computing Science department at Duncanrig Secondary School, East Kilbride.
compsci @compsci
12 Followers 0 Following
MrT.CompSci.TwitBot @MTwitbot
9 Followers 0 Following This is an automated TwitBot powered by a Raspberry Pi, a webcam, some string an old pop bottle, sellotape and code- lots of code (and hatching eggs!)😀
CompSci Woman @compsciwoman
44 Followers 0 Following
Computer sci /Econs @CompsciEcons
6 Followers 3 Following Exploring the world of digital computer technology , Linking computer science /Economics students, Learn amazing computer tips from our website
KMS Computer Science ... @kms_compsci
16 Followers 16 Following Coding and growing at KMS! TN STEM designated school in Clarksville. Mr. Ward facilitator.
Daniel Nunez, MS @daniel_compsci
136 Followers 331 Following C# & Pine Script Programmer @labaletheia
DCHS_CompSci @DCHS_CompSci
45 Followers 10 Following Computing Science Department @ Deans Community High School. Also the secret base for Crime Fighting Digital Superheros: Binary Squad.
Yale Computer Science @YaleCompsci
468 Followers 8 Following Events and words from the @Yale Department of Computer Science
bardOZ (Giovanni Laer... @bardozVAL
9K Followers 676 Following Forbes 30u30 2024 @aimlab Principal Dev. Gamer, gamedev, engineer. MSc in CompSci, Voltaic former Ascended (better than an MSc) @voltaicaim @yukiaim
Dr. Angelica Lim @pet... @petitegeek
14K Followers 2K Following Computer science prof and robot geek @SFU_CompSci 🇨🇦🇵🇭 AI, Robotics, Emotions. Prev: SoftBank Robotics, Kyoto U. she/her. TEDx talks https://t.co/C03HJMs4sB
Mr Lovell CompSci Tea... @MrLovellComp
2K Followers 965 Following Educating Tomorrow’s Digital Creators | Dreaming Up Games to Inspire and Engage | 20+ Yrs in Tech | Levelling Up Kids for a Creative Future
LUL CompSci and Math @lucsmath
65 Followers 16 Following Welcome to the official twitter page for the Department of Mathematics and Computer Science at Laurentian University.
GCC CompSci Dept @GccCompSci
31 Followers 3 Following
Casper Gwost @CGwostCompsci
6 Followers 2 Following Blackwall University 2025- Cyber Security They/He For any Tech Inquiries, please contact the IT department on campus. Thank you! (Icon by @amphypop)
MBHS CompSci Assoc @mbhscs
23 Followers 21 Following Official account of the McKinney Boyd Computer Science Association, dedicated to all things programming for the McKinney Boyd Broncos. #mckboyd
Jacob Smith @compsci76
12 Followers 37 Following
Yifan @YifanBTH
2K Followers 368 Following tech founder cooking in AI - dev deep dives: https://t.co/lw7GowLxsS - ex: founding team @improbableio - @cambridgeuni compsci
Adelphi Math and Comp... @AdelphiMathCS
23 Followers 9 Following Adelphi University's Department of Mathematics and Computer Science.
Hebron CompSci @Hebron_CS
134 Followers 54 Following The one and only Hebron High School computer science
Liberty Engineering &... @lhs_eng_compsci
9 Followers 43 Following This handle is devoted to student work and opportunities of the Engineering and CompSci Program at Liberty High School in Lake St. Louis, MO.
TSC Computer Science @tsc_compsci
25 Followers 19 Following
CompSci Geeks @CompSci_Geeks
24 Followers 580 Following Master Computer Science with Expert Help! On Demand Computer Science Help!
Taylor CompSci @THSCompSci
46 Followers 39 Following
dani @compsci_dani
25 Followers 18 Following