Sandro Stucki (@stuckintheory) 's Twitter Profile
Sandro Stucki

@stuckintheory

Computer scientist, programmer, theorist, science geek (he/him).

ID: 3315105618

linkhttp://sstucki.github.io/ calendar_today14-08-2015 15:08:53

657 Tweet

258 Followers

421 Following

Sandro Stucki (@stuckintheory) 's Twitter Profile Photo

Just listened to this episode of #ScienceDiction and loved it! (Though the voice memo did get my blood boiling...) wnycstudios.org/story/vocal-fr… Great show, great content, GREAT VOICE, keep it up! ❤️ #ScienceDiction @yohannamayer

Amat (@aekwonthechef) 's Twitter Profile Photo

Idag sänds mitt sommarprat! Om varför svart historia har varit undertryckt, varför det bör ändras på och vad historia kan lära oss om idag. Var svårt att få ett så stort ämne till ett koncist program som går att hänga med i. Förhoppningsvis har jag lyckats sverigesradio.se/avsnitt/amat-l…

Sandro Stucki (@stuckintheory) 's Twitter Profile Photo

Maybe less of a problem in CS, but developing and maintaining software research infrastructure is challenging even in our field. Ironically, it becomes harder as the user community grows. Reminds me of the Agda team and their amazing work. Ulf Norell, Andreas A, @agdakx, & co 🙏

Musard Balliu (@musardballiu) 's Twitter Profile Photo

Join us online on Monday December 12th for the 17th Workshop on Programming Languages and Analysis for Security plas2022.github.io. Many exciting research papers and a keynote by the amazing Elaine Shi. Sunjay Cauligi #PLAS2022

Dr Adam Rutherford (@adamrutherford) 's Twitter Profile Photo

<self promo> My book, A Brief History of Everyone Who Ever Lived just passed its 1000th rating on Amazon, and makes a nice Christmas present. If you don't believe me, check out these two One Star reviews. amzn.to/3WcFWuZ

&lt;self promo&gt; My book, A Brief History of Everyone Who Ever Lived just passed its 1000th rating on Amazon, and makes a nice Christmas present. If you don't believe me, check out these two One Star reviews. 
amzn.to/3WcFWuZ
Boel Nelson (@boelnelson) 's Twitter Profile Photo

Another reason I love my workplace. Want to join us? Both PhD and postdoc openings available, application deadline 10th January: rasmuspagh.net/providentia/

Staffan Landin (@staffanlandin) 's Twitter Profile Photo

From Sweden: Hello again world. Just a quick heads up about our upcoming, brand new PR-campaign, designed by the far-right Sweden Democrats that runs our government. Apparently, according to the government we have run out of land, so we will soon inform you that we are full.>

Anton Frisk Kockum (@antonfkockum) 's Twitter Profile Photo

Available Chalmers University of Technology in a collaboration between Simon Olsson, Martin Rahm, and me, bringing together WASP Research and Wallenberg Centre for Quantum Technology - WACQT: a postdoc position in AI-driven optimization of variational algorithms for near-term quantum computers. Deadline 10 March. chalmers.se/en/about-chalm…

Wallenberg Centre for Quantum Technology - WACQT (@wacqt_sweden) 's Twitter Profile Photo

A new, interdisciplinary project combines expertise in machine learning, quantum algorithms, and chemistry to advance the abilities to calculate properties of molecules. In the long run, it could lead to speed-up of materials and drug design. chalmers.se/en/current/new…

A new, interdisciplinary project combines expertise in machine learning, quantum algorithms, and chemistry to advance the abilities to calculate properties of molecules. In the long run, it could lead to speed-up of materials and drug design. chalmers.se/en/current/new…
Prathyush (@prathyvsh) 's Twitter Profile Photo

This looks like a cool paper connecting Dana Scott’s and Shannon’s conception of using lattices to represent computation and information respectively by Sebastian Hunt, Dave Sands, and Sandro Stucki: dl.acm.org/doi/pdf/10.114…

This looks like a cool paper connecting Dana Scott’s and Shannon’s conception of using lattices to represent computation and information respectively by Sebastian Hunt, <a href="/davsands/">Dave Sands</a>, and <a href="/stuckintheory/">Sandro Stucki</a>: dl.acm.org/doi/pdf/10.114…