Yuhui Lin @YuhuiLin9

Edinburgh, Scotland Joined April 2021

Tweets

0
Followers

10
Following

53
Likes

4

No recent Tweets. New Tweets will appear here.

Esther Contraras @EstheContra

13 Followers 2K Following 24 , Join my free content👇🏩

Shantay Scullin @ShanScull

23 Followers 4K Following 22 | My free content👇🤤

Thomasina Barrow @BarrowThom30736

63 Followers 5K Following

Charlsie Fountain @CharlsieFo83220

98 Followers 5K Following

FMASWorkshop @FmasWorkshop

527 Followers 2K Following Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuck

Official account for Bevy Engine: a refreshingly simple game engine built in Rust. Follow for news and curated #bevyengine content.
@bevy@mastodon.social

Bevy Engine @BevyEngine

9K Followers 0 Following Official account for Bevy Engine: a refreshingly simple game engine built in Rust. Follow for news and curated #bevyengine content. @[email protected]

FAACS 2024 @faacs_ws

134 Followers 166 Following Workshop series on Formal Approaches for Advanced Computing Systems #FAACS24

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2024. Tweets by @andersmiltner or @lastland0.

PLDI @PLDI

5K Followers 1K Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2024. Tweets by @andersmiltner or @lastland0.

Formal Methods 2024 @FMsymp

598 Followers 256 Following The 26th International Symposium on Formal Methods. #FM2024

ETAPS is the primary forum for academic and industrial researchers working on topics relating to Software Science.

ETAPS 2025: May 3–8, Hamilton, Canada

ETAPS Conferences @ETAPSconf

322 Followers 58 Following ETAPS is the primary forum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2025: May 3–8, Hamilton, Canada

The SIGCSE Technical Symposium addresses problems common among educators developing, implementing or evaluating computing programs, curricula, and courses.

SIGCSE Technical Symp.. @SIGCSE_TS

2K Followers 99 Following The SIGCSE Technical Symposium addresses problems common among educators developing, implementing or evaluating computing programs, curricula, and courses.

IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Sponsored by IEEE TC and IFIP WG 10.4 on Dependable Computing and Fault Tolerance

IEEE/IFIP DSN Confere.. @DsnIeee

310 Followers 779 Following IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Sponsored by IEEE TC and IFIP WG 10.4 on Dependable Computing and Fault Tolerance

36th International Conference on Computer-Aided Verification. July 22-27, 2024 in Montréal 🇨🇦. Publicity Co-Chairs: @NorineCoenen & @frenkel_hadar. Use #cav24

CAV @confCAV

655 Followers 0 Following 36th International Conference on Computer-Aided Verification. July 22-27, 2024 in Montréal 🇨🇦. Publicity Co-Chairs: @NorineCoenen & @frenkel_hadar. Use #cav24

SC24 @Supercomputing

18K Followers 568 Following Official Twitter for the SC Conference Series • SC24 • Nov 17–21, 2024 • Georgia World Congress Center, Atlanta, GA

The top scientific event in Design, Automation, and Test of microelectronics and embedded systems for the academic and industrial research communities worldwide

DATE Conference @DateConference

292 Followers 15 Following The top scientific event in Design, Automation, and Test of microelectronics and embedded systems for the academic and industrial research communities worldwide

IEEE Big Data @ieeebigdata

3K Followers 236 Following The purpose of the IEEE Big Data Initiative is to create a community around big data technology.

HPCA @HpcaArchConf

2K Followers 22 Following IEEE International Symposium on High-Performance Computer Architecture

ISSTA Conference @issta_conf

2K Followers 14 Following The 33rd edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis

The IEEE Intelligent Vehicles Symposium (IEEE IV) is the premier annual forum organized by the IEEE Intelligent Transportation Systems Society (ITSS).

IEEE Intelligent Vehi.. @IV_IEEE

42 Followers 2 Following The IEEE Intelligent Vehicles Symposium (IEEE IV) is the premier annual forum organized by the IEEE Intelligent Transportation Systems Society (ITSS).

IEEE SANER @SANERconf

2K Followers 214 Following IEEE International Conference on Software Analysis, Evolution and Reengineering. #SANER2024

MICRO 2024 @MicroArchConf

3K Followers 301 Following 57th IEEE/ACM International Symposium on Microarchitecture® #MICRO #MICRO57 #MICRO2024 November 2 - November 6, 2024

Champions open access. Organizes vendor-neutral conferences in systems computing. Fosters collaborative & respectful communities of researchers & practitioners.

USENIX Association @usenix

14K Followers 888 Following Champions open access. Organizes vendor-neutral conferences in systems computing. Fosters collaborative & respectful communities of researchers & practitioners.

FSE 2024 @FSEconf

4K Followers 1K Following ACM International Conference on the Foundations of Software Engineering (FSE)

EuroSys is a premier international forum for presenting computer systems research. Join us in Rennes, France. 5-8 April, 2022. #EuroSys22

EuroSys 2023 @EuroSys_conf

2K Followers 36 Following EuroSys is a premier international forum for presenting computer systems research. Join us in Rennes, France. 5-8 April, 2022. #EuroSys22

The ACM/IEEE International Symposium on Computer Architecture (ISCA) is the premier forum for new ideas and experimental results in computer architecture.

ISCA @ISCAConfOrg

3K Followers 53 Following The ACM/IEEE International Symposium on Computer Architecture (ISCA) is the premier forum for new ideas and experimental results in computer architecture.

ASPLOS @ASPLOSConf

3K Followers 8 Following ACM conference on Architectural Support for Programming Languages and Operating Systems.

Official account for ACM SIGCHI Conference: CHI #CHI2024 is in Honolulu, Hawai'i, USA 🌴 May 11-16 Content managed by @tknearem @XiangHCI

ACM CHI Conference @acm_chi

17K Followers 105 Following Official account for ACM SIGCHI Conference: CHI #CHI2024 is in Honolulu, Hawai'i, USA 🌴 May 11-16 Content managed by @tknearem @XiangHCI

SIGKDD 2024 @kdd_news

10K Followers 530 Following The official feed for the ACM SIGKDD Community and #KDD2024 Conference

Gayle Brinkerhoff @GayleGow

39 Followers 142 Following Professional opera singer and expat American living in Edinburgh

FRSE, EU analyst, DHI trustee, Social Europe senior adviser, Sceptical Scot co-editor, ex-Guardian hack, NUJ exec mbr. Reposts don’t endorse

David Gow @gowdav

2K Followers 1K Following FRSE, EU analyst, DHI trustee, Social Europe senior adviser, Sceptical Scot co-editor, ex-Guardian hack, NUJ exec mbr. Reposts don’t endorse

Engineer and educator at MathWorks. Tweets are my own. Personal website at https://t.co/HsL4ZlJq9q

@brianbdouglas@threads.net

Brian Douglas @brianbdouglas

10K Followers 221 Following Engineer and educator at MathWorks. Tweets are my own. Personal website at https://t.co/HsL4ZlJq9q @[email protected]

Author of Topology Illustrated, Calculus Illustrated https://t.co/bI2t13LHQk A minimalist traveler. Rhymes with “leave”.

Peter Saveliev, enemy.. @PeterSaveliev

484 Followers 103 Following Author of Topology Illustrated, Calculus Illustrated https://t.co/bI2t13LHQk A minimalist traveler. Rhymes with “leave”.

Edinburgh Music Revie.. @edinburgh_music

977 Followers 2K Following A new review and blog website for those who love classical, opera and folk music in Scotland.

Contributing to the social, cultural, and economic wellbeing of Scotland through the advancement of learning and useful knowledge. 💡

Royal Society of Edin.. @RoyalSocEd

15K Followers 2K Following Contributing to the social, cultural, and economic wellbeing of Scotland through the advancement of learning and useful knowledge. 💡

Working on AI safety, past on robotics, applied research @OpenAI; Writing ML blogs to help myself & others to learn; Ideas my own.

Lilian Weng @lilianweng

95K Followers 148 Following Working on AI safety, past on robotics, applied research @OpenAI; Writing ML blogs to help myself & others to learn; Ideas my own.

AI Research Scientist @Intel AI Lab. Prev: Postdoc @Mila_Quebec & McGill. GraphML, Knowledge Graphs, GNNs, NLP.
Grandmaster of 80's music (according to Spotify)

Michael Galkin @michael_galkin

5K Followers 269 Following AI Research Scientist @Intel AI Lab. Prev: Postdoc @Mila_Quebec & McGill. GraphML, Knowledge Graphs, GNNs, NLP. Grandmaster of 80's music (according to Spotify)

Michael Bronstein @mmbronstein

43K Followers 4K Following #DeepMind Professor of #AI @UniofOxford / Fellow @ExeterCollegeOx / ML Lead @ProjectCETI / https://t.co/kZpGpDzYeV

Roland Kwitt @rkwitt1982

151 Followers 137 Following Professor for Machine Learning @ University of Salzburg

NeurIPS workshop and digital community | 🌐 geometry, algebra, topology + 🤖 deep learning + 🧠 neuroscience | Join us on slack! https://t.co/Run9wPnZt9

Symmetry and Geometry.. @neur_reps

3K Followers 1K Following NeurIPS workshop and digital community | 🌐 geometry, algebra, topology + 🤖 deep learning + 🧠 neuroscience | Join us on slack! https://t.co/Run9wPnZt9

Vidit Nanda @viditnanda

6K Followers 816 Following associate prof @oxunimaths & fellow @pembrokeoxford.

Bastian Grossenbacher.. @Pseudomanifold

5K Followers 979 Following Dad · Neutral good · Topology & Geometry + ML · PI @HelmholtzMunich · Faculty @TU_Muenchen Feedback? https://t.co/w8J3u9u5JS

Our mission is to support development, distribution, and adoption of open source software like #ROS and #Gazebo for use in the robotics industry. Formerly OSRF.

Open Robotics @OpenRoboticsOrg

32K Followers 2K Following Our mission is to support development, distribution, and adoption of open source software like #ROS and #Gazebo for use in the robotics industry. Formerly OSRF.

The Edinburgh Centre for Robotics aims to play its part in helping the UK realise its industrial potential in the robotics & autonomous systems revolution.

Edinburgh Robotics @EDINrobotics

5K Followers 595 Following The Edinburgh Centre for Robotics aims to play its part in helping the UK realise its industrial potential in the robotics & autonomous systems revolution.

Asim Munawar @asimunawar

869 Followers 73 Following Research Lead, Program Director, Manager @IBM Research | AI | Views are my own | RT≠ Endorsement

ISSREConf @ISSREConf

447 Followers 247 Following The IEEE International Symposium on Software Reliability Engineering (ISSRE)

A world-leading centre for Robotics and Artificial Intelligence.

To discuss research collaboration or business partnership, email NationalRobotarium@hw.ac.uk.

The National Robotari.. @NRobotarium

2K Followers 489 Following A world-leading centre for Robotics and Artificial Intelligence. To discuss research collaboration or business partnership, email [email protected].

IEEE International Conference on Robotics and Automation
Theme: CONNECT+ building relationships and collaborations
13-17 May, 2024

ICRA2024 @ieee_ras_icra

9K Followers 85 Following IEEE International Conference on Robotics and Automation Theme: CONNECT+ building relationships and collaborations 13-17 May, 2024

IJCAIconf is the official Twitter account of the premier international gathering of researchers in AI.🗓️ IJCAI 2024 | 3-9 August 2024 | ❗ Jeju #IJCAI2024

IJCAIconf @IJCAIconf

7K Followers 834 Following IJCAIconf is the official Twitter account of the premier international gathering of researchers in AI.🗓️ IJCAI 2024 | 3-9 August 2024 | ❗ Jeju #IJCAI2024

ICML Conference @icmlconf

70K Followers 17 Following Int'l Conf on ML • July 21-27, 2024 (Vienna, Austria) • #icml2024 • Contact: https://t.co/6saHKWV01y • https://t.co/sFwmcQNWkE

The premier International Conference on Software Engineering (50th anniversary). April 27-May 3, 2025. Official hashtag: #icse2025.

ICSE @ICSEconf

11K Followers 1K Following The premier International Conference on Software Engineering (50th anniversary). April 27-May 3, 2025. Official hashtag: #icse2025.

The 39th IEEE/ACM International Conference on Automated Software Engineering | #ASE2024 | CORE A* | #SoftwareEngineering

ASE 2024 @ASE_conf

2K Followers 259 Following The 39th IEEE/ACM International Conference on Automated Software Engineering | #ASE2024 | CORE A* | #SoftwareEngineering

Founded in 1979, AAAI is an international, nonprofit, scientific society devoted to promote research in, and responsible use of Artificial Intelligence.

AAAI @RealAAAI

27K Followers 91 Following Founded in 1979, AAAI is an international, nonprofit, scientific society devoted to promote research in, and responsible use of Artificial Intelligence.

New Orleans, Dec 10-16, 23. https://t.co/ga8aOw615g Tweets to this account are not monitored. Please send feedback to townhall@neurips.cc.

NeurIPS Conference @NeurIPSConf

112K Followers 35 Following New Orleans, Dec 10-16, 23. https://t.co/ga8aOw615g Tweets to this account are not monitored. Please send feedback to [email protected].

International Conference on Learning Representations #ICLR2024.
SPC is @yisongyue and GC is @_beenkim

OpenReview:https://t.co/OD1sg0r7F8

ICLR 2024 @iclr_conf

41K Followers 40 Following International Conference on Learning Representations #ICLR2024. SPC is @yisongyue and GC is @_beenkim OpenReview:https://t.co/OD1sg0r7F8

The UKRI Trustworthy Autonomous Systems Node in Trust with partners Heriot-Watt University, Imperial College London and University of Manchester

UKRI TAS Node in Trus.. @tas_trust

308 Followers 111 Following The UKRI Trustworthy Autonomous Systems Node in Trust with partners Heriot-Watt University, Imperial College London and University of Manchester

I've been asked to serve as a founding (co)editor-in-chief of a new mathematics journal. There is some freedom in setting journal policy, etc. What are some things that you want to see when it comes to dealing with journals? What do you hate about the process? Share widely!

12 9 42 11K 6

Vidit Nanda @viditnanda

3 weeks ago

Baby #2 is due any day now, and I am too wired to do the intelligent thing (i.e., sleep). So please join me, the wonderful @osumray, and @haharrington on a journey through some fun machine learning & representation theory. 1/11

3 26 120 27K 89

Download Image

Vidit Nanda @viditnanda

3 weeks ago

For all this and much more, please check out our preprint: arxiv.org/abs/2404.06993 Thank you for reading, I will now go back to wondering about when my baby will show up. ♥️ 11/11

0 6 35 1K 5

Brian Douglas @brianbdouglas

4 weeks ago

I've created a new map with some colleagues at @MathWorks. Download the hi-res map here: mathworks.com/solutions/cont…. It's fun to come up with different ways to organize this information. What do you think? Is there anything you'd change or add?