Search results for #compsci
#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
#MULCIA: Curriculum Development Teaching Fellow Formalisation at Imperial College. tinyurl.com/2bgdvxvy #Job #Math #CompSci
sn-news: #ww #compsci #comms Computations in living organisms modeled by marked graphs doi.org/10.1007/s11538…
Adamson CompSci @adamsoncompsci
166 Followers 9 Following The Computer Science Department of Adamson University
kira @kira_compsci
8K Followers 510 Following Free Palestine 🇵🇸 bsky: https://t.co/ThDTClgMQQ programmer / gamedev she/they
Computer Science @CompSciFact
251K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.
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
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
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.
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 🇺🇸👨💻🏳️🌈🛩
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.
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.
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
رِناد @re_compsci
317 Followers 3 Following Data Scientist | BI Developer | NoSQL | AI Engineer | LLM | ML/DL | AiE™ Certified
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.
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
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!)😀
Duncanrig Computing S... @CompsciDunc
438 Followers 117 Following Computing Science department at Duncanrig Secondary School, East Kilbride.
compsci @compsci
12 Followers 0 Following
Daniel Nunez, MS @daniel_compsci
131 Followers 331 Following C# & Pine Script Programmer @labaletheia
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.
CompSci Woman @compsciwoman
44 Followers 0 Following
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.
Jacob Smith @compsci76
12 Followers 37 Following
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.
Sophia - #NoS386 - UC... @lebronadam22ha
99 Followers 118 Following New Yorker, American, Girl in Tech. Machine learning enthusiast. #NoS386
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
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)
GCC CompSci Dept @GccCompSci
31 Followers 3 Following
Adelphi Math and Comp... @AdelphiMathCS
23 Followers 9 Following Adelphi University's Department of Mathematics and Computer Science.
CompSci Geeks @CompSci_Geeks
25 Followers 580 Following Master Computer Science with Expert Help! On Demand Computer Science Help!
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.
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
chaintuts - Open Comp... @chaintuts
1K Followers 4K Following Explaining computer science for everyone! Run by Josh McIntyre - Full timer @Microsoft, tech educator @chaintuts 👨🏫💻 Active adventurer / jiu jitsu nerd.
Computer Science Week... @CompsciDiscu
373 Followers 57 Following Articles, projects and tutorials about #CompSci. Weekly newsletter: https://t.co/JOiEArf7fH
Miss M @missm_compsci
88 Followers 196 Following 🌸✨Training to be a Computer Science and Mathematics teacher✨🌸
TSC Computer Science @tsc_compsci
25 Followers 19 Following
CompSci_Testing @CompsciTesting
1 Followers 0 Following This account is run by a computer. Code has executed 12 times in total
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
Taylor CompSci @THSCompSci
46 Followers 39 Following
CompSci Resources @CompSciResource
158 Followers 269 Following With our team of industry experts, we assist both public companies and mutual funds in the preparation of SEC filings #SEC #EDGAR #XBRL #Transform
CompSci Loughborough @LufbraCompSci
96 Followers 32 Following The Official Loughborough Computer Science Committee!
y = a sin(x) | ヤシ... @yasin_compsci
351 Followers 213 Following Laid-Back Computer Scientist | CSUI 23 | Celeste & Undertale Enjoyer | Somehow I love Yuru Camp△ | よろしくお願いします
Bobcat Computing @wvwc_compsci
54 Followers 76 Following West Virginia Wesleyan Computer Science Department. We won't tell you what to think, just recommend what you should think about - be an informed citizen!
dani @compsci_dani
25 Followers 18 Following
Veritas_CompSci @VeritasCompSci
126 Followers 231 Following Computer Science dept of St Michael's Catholic High School Gartson WD25 0SS @MichaelsVeritas
ComputerScience@bls @compsci_bls
134 Followers 49 Following
PeakoQuant @PeakoQuant
396 Followers 42 Following Mid-Freq Stock/Futures Stat Arb Capable. HFT Cross-DEX Arb Pessimist. Past lives: Ph.D. (CompSci), Founder (CyberSec), Big Tech (SWE), Physics Lab, Gov't (DoJ)