Shriram Krishnamurthi 🟀 πŸ΄β€β˜ οΈ πŸ‘¨πŸ½β€πŸ« πŸš΄β€β™‚οΈ 🏏(@ShriramKMurthi) 's Twitter Profileg
Shriram Krishnamurthi 🟀 πŸ΄β€β˜ οΈ πŸ‘¨πŸ½β€πŸ« πŸš΄β€β™‚οΈ 🏏

@ShriramKMurthi

🦣: @[email protected] β€’β€’β€’
@BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricket

ID:951637830

linkhttps://parentheticallyspeaking.org/ calendar_today16-11-2012 12:59:51

72,1K Tweets

19,1K Followers

3,8K Following

ellen c liberman(@ellencliberman) 's Twitter Profile Photo

Shriram Krishnamurthi 🟀 πŸ΄β€β˜ οΈ πŸ‘¨πŸ½β€πŸ« πŸš΄β€β™‚οΈ 🏏 Gilad Bracha I am currently working on a history of my family's own escape from the Holocaust - there were many more Sugiharas --Aristides de Sousa Mendes from Portugal, Hiram Bingham from the US, Iranian diplomat Abdol Hossein Sardari, Consul General of Mexico, Gilberto Bosques, among others

account_circle
Edward Z. Yang(@ezyang) 's Twitter Profile Photo

Thanks Python.

>>> 9007199254740992 == 9007199254740992.
True
>>> 9007199254740993 == 9007199254740993.
False
>>> 9007199254740994 == 9007199254740994.
True

account_circle
George Porter(@georgemporter) 's Twitter Profile Photo

The purpose of programming assignments is not to 'get them done'. I have no need for 300 different implements of a RAFT-based storage system or whatever. The purpose is to learn things, which using ChatGPT circumvents

account_circle
Brown CS(@BrownCSDept) 's Twitter Profile Photo

Brown CS is happy to announce that pending the approval of Brown’s Corporation and effective as of July 1, 2024, faculty members Vasileios Kemerlis and Ellie Pavlick have been promoted to the rank of Associate Professor with tenure: cs.brown.edu/news/2024/05/2…

@BrownCSDept is happy to announce that pending the approval of Brown’s Corporation and effective as of July 1, 2024, faculty members @vkemerlis and Ellie Pavlick have been promoted to the rank of Associate Professor with tenure: cs.brown.edu/news/2024/05/2…
account_circle
Bootstrap(@Bootstrapworld) 's Twitter Profile Photo

'Data Science, or Algebra 2?' How about a completely-free workshop that shows how both can work together in the same class, combining the strengths of each? Spots are limited, so reserve your seat now! Data Science 4 Everyone (DS4E) CMC - CA MathCouncil airtable.com/embed/appOUY7e…

account_circle
Ross McLendon(@rossmclendon) 's Twitter Profile Photo

The engineering that goes into consumer package goods is incredible. Abaqus, the product I manage, can simulate extrusion blow molding, injection blow molding, and (along with 3DS SIMULIA plastics products) plastic injection molding to help optimize these everyday products.

account_circle
Will Crichton(@tonofcrates) 's Twitter Profile Photo

Giving several talks, most virtually. Come watch!

5/23: LangSec - 'Towards Language-Theoretic Security for Dynamic Documents'
5/28: JetBrains TV - 'Teaching Rust'
8/22: Topos Institute - 'The Human Factors of Type Systems'
10/23: P99 Conf - 'The Performance Engineer's Toolkit'

account_circle
Shriram Krishnamurthi 🟀 πŸ΄β€β˜ οΈ πŸ‘¨πŸ½β€πŸ« πŸš΄β€β™‚οΈ 🏏(@ShriramKMurthi) 's Twitter Profile Photo

GERMANS: Hope to catch you at one of these places in JUNE! Visiting (& speaking about 'Human Factors of Formal Methods'):

5: LMU/TU MΓΌnchen
6: Uni Bundeswehr
11: Uni TΓΌbingen
13: Karlsruhe KIT
+ Dagstuhl

(Personal days: likely MΓΌnchen, Regensburg, Augsburg, Strasbourg, Mainz.)

account_circle