Shrutarshi Basu 🇺🇳 @basus
Programmer, currently looking new opportunities.Former faculty @middlebury CS, PhD @CornellCIS. Exploring the intersection of computing & law.He/him. basus.me Cambridge, MA Joined October 2007-
Tweets26K
-
Followers1K
-
Following2K
-
Likes1K
Caught a stomach bug and now I have a craving for toast with Nutella.
0
0
0
92
0
What the hell happened to the iOS control panel? Looks like someone shotgunned icons across a bunch of screens at random.
As I've been diving into compilers, I (re-)discovered C--. But it looks like it died out in the mid-2000s (except maybe for GHC). Can anyone provide a reason or context around this?
All this election nonsense reminds me that one of my "someday" projects is to do a comparative study of national constitutions, starting with India & the USA. And yes, seeing if/how much they can be formalized using modern tools like Lean.
This is the first time in my life that I'm making a big change, but no direction so far has felt 100% right. Not sure if that's just a side effect of getting older, or something more fundamental.
So, is "cooked" good or bad? Asking for me and my fellow confused millennials.
So is anyone not back-tracking on remote work? Asking for a friend. (It's me, the friend is me)
Ok, funemployment was fun, but now I’m bored, so I’d like a job and to come back to Boston ASAP please.
Womp womp passed final round interviews for a research position at a certain big tech company, but doesn't look like they can find me a matching team, so guess I'm still looking for gainful employment.
This entire thread is 🔥🔥🔥
This entire thread is 🔥🔥🔥
TypeScript question: What's the idiomatic way to share configuration between different parts of a program? I want to load the config from a TOML file in one file and have it easily be used in multiple other files.
Today's Selection summarizes some discussions that have been going on recently about what the IndieWeb is and who it's for: v4.basus.me/journal/2024/0…
It's funny how sometimes when you actually stand up and look your problems in the eye, they melt away and the solutions become immediately obvious.
TIL that Factor is still alive and well. It was one of the projects that started my love of programming languages 15-20 years ago. Seems like these days, I'm often reminded of how much I love working on languages & computing infrastructure in general. re.factorcode.org/2024/09/factor…
Great summary of cool things happening in the OCaml ecosystem (and the people making them happen).
Great summary of cool things happening in the OCaml ecosystem (and the people making them happen).
I think I need to do a better job of separating my personal and hobbyist interests in computing and programming from my professional ones.
They're baaaaack! I cannot express in words how much hope this gives. And I'm pretty damn good with my words. Linkin Park was a big part of my teenage part. I definitely ugly cried a couple times watching this. youtube.com/watch?v=IL1nlW…
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Michael Coblenz @mcoblenz
1K Followers 654 Following Asst. Prof. of CS at @ucsd_cse. Creating safer, more usable programming languages. Formerly at @Apple, @SCSatCMU, & @umdcs. Moved to bsky: @mcoblenz.bsky.social
Joe Gibbs Politz @JoePolitz
1K Followers 1K Following When not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as 🟦 https://t.co/k4HOSHhpwb these days. https://t.co/4skMx005C5 | https://t.co/v4f2VUk4D2
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]
Andrew Miller @socrates1024
23K Followers 5K Following junior product @ teleport studio https://t.co/GW5aptHrL7 🛡️ dstack integrations 🛡️ https://t.co/uT4qFVdtvl
SIGPLAN-M @SigplanM
1K Followers 409 Following We form long-term cross-institutional mentoring connections in the programming languages community.
Ian Arawjo @IanArawjo
2K Followers 1K Following Asst Prof @UMontreal, PhD @CornellInfoSci. Creator of @chainforge_ai. Programming and culture, intercultural CS, LLM evaluation. Prev: Postdoc @HarvardHci
Hila Peleg is not her... @HilaCodes
2K Followers 377 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)
Swarat Chaudhuri @swarat
3K Followers 625 Following Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
Sorgaut @Sorgaut4680896
53 Followers 2K Following
ktz1070 @ttz002
1 Followers 111 Following
Nouda @Nouda413
103 Followers 4K Following
StephaniePeter @X55OzJuL5k1Sd4
65 Followers 2K Following
LAYearn @YearnLa79253
55 Followers 4K Following
Torwheana @Torwheanay152R
96 Followers 6K Following
Gaurav Sengupta @GauravSeng2905
1 Followers 5 Following
rkecojoncb @rkecojoncb
6 Followers 7K Following
Smeknursh @SmeknurshyH75
44 Followers 5K Following
Ramneet Singh @Ramneet_Singhh
848 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Adithya Murali @adithyamuralism
224 Followers 263 Following PhD student @plfmse @illinoisCS. Incoming faculty member at @WisconsinCS | Previously @ProseMSFT @Meta @HyderabadBits
Rarkees @rarkees85581
70 Followers 7K Following
Abhinav Upadhyay @abhi9u
18K Followers 2K Following NetBSD Dev | Python Internals, AI, compilers, databases, & performance engineering | Join 14k+ other readers at https://t.co/OQfxW0443i
Tyler Sorensen @Tyler_UCSC
1K Followers 879 Following Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
Luke Hedger @level_out
1K Followers 281 Following Software engineer. Co-author of Serverless Development on AWS (O’Reilly, 2024) Here instead https://t.co/svw3iMoioT
spero @emendationem
62 Followers 889 Following
Matt - Cardano Univer... @cardano_matt
137 Followers 2K Following
john @johnW13609468
157 Followers 5K Following
Teng Jiang @TengSJiang
158 Followers 463 Following CS@Columbia. OS | Systems in general. Wannabe chill guy but busy-spinning. Trying to focus but preempted too often. Meant to be nice but sass write protected.
name cannot be blank @nihil2501
175 Followers 3K Following
roadside_picnic @poadside_ricnic
12 Followers 2K Following
Miguel Pousa 🇺🇦 @MiguelPousa
153 Followers 1K Following Software Engineer @FactorialEs| Ex-Co-founder @WideEyesTech | Passionate about AI & Software & Physics | Father & Lifelong Learner 🌟
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Ernest Ng @ngernest2
506 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
CommonAccord @CommonAccord
1K Followers 557 Following Bringing the World to Agreement. Unified, open source forms, clauses and contracting. Repos at https://t.co/EOAoi4rZ0L.
SusieWalkley @JgVXUa717PmYxa
14 Followers 1K Following
Medhat @Medhat11950
19 Followers 509 Following
James Landay @landay
13K Followers 7K Following Professor of Computer Science, Stanford - HCI & Design. Co-founder & Co-Director @StanfordHAI. Personal opinions, not Stanford's, https://t.co/hiUxtqJDPg
AlmaMeulemans @AlmaMeulem74345
27 Followers 1K Following
Yiqin Fu @yiqinfu
14K Followers 9K Following
Alexander Obenauer @alexobenauer
7K Followers 4K Following I explore the interfaces with which we think & the future of personal computing. I also make books.
Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Nintendo .DS_Store @sliminality
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Michael Coblenz @mcoblenz
1K Followers 654 Following Asst. Prof. of CS at @ucsd_cse. Creating safer, more usable programming languages. Formerly at @Apple, @SCSatCMU, & @umdcs. Moved to bsky: @mcoblenz.bsky.social
Heather Miller @heathercmiller
14K Followers 987 Following Science-ing at Two Sigma, Professing computery things at CMU. Co-founder & former Exec Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Amelia Wattenberger �... @Wattenberger
33K Followers 5K Following ☁️☀️ please come visit on the other app ☀️☁️ design, LLMs, web dev, data viz, tools for thought ✨ @shv, previously R&D @GitHubNext, design @AdeptAILabs
Jonathan DiLorenzo @dilorenzo_j
81 Followers 135 Following PhD from @CornellCIS, OCaml programmer, and lurker extraordinaire.
Lucía Lobosvilla @LuciaLobosvilla
5K Followers 2K Following Writer, voice actor, director, scientist. Yes I wrote that thing for ATLA that one time. Carrie Fisher impersonator. LuciaLobosvilla on 🦋
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
anu @anuatluru
45K Followers 1K Following writer, founder, investor. doctor. 📬// https://t.co/P6vv74gYPB
Ana Mostarac @anammostarac
80K Followers 779 Following
Abhinav Upadhyay @abhi9u
18K Followers 2K Following NetBSD Dev | Python Internals, AI, compilers, databases, & performance engineering | Join 14k+ other readers at https://t.co/OQfxW0443i
Dmitrii Kovanikov @ChShersh
42K Followers 204 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Sibin @sibinmohan
5K Followers 2K Following Systems+Security faculty @GWTweets CS. Resiliency, OS, Networks, CPS, Real-Time. Photography. #AnnotatedEquations. He/him. Tweets/RTs are my personal opinions.
Tyler Sorensen @Tyler_UCSC
1K Followers 879 Following Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
Tarides @tarides_
2K Followers 226 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Leandro @leostera
4K Followers 375 Following staff eng / pm working on the #ocaml ecosystem moved to https://t.co/pRZ9HuXb7H 🦋
Vega Shah @dr_alphalyrae
18K Followers 4K Following AI for Life Sciences & Healthcare @NVIDIA | trained as a scientist from @JGI, @UW, @UCBerkeley | building global community @TechBi0 | views are all mine
Prof. Anima Anandkuma... @AnimaAnandkumar
34K Followers 2K Following Bren Professor @caltech, Time100, Fmr Sr Director of #AI research @nvidia Fmr Principal Scientist @awscloud
elliot (deprecated) @elliotokay
1K Followers 246 Following ✍️ mastodon: @[email protected] ✍️ bluesky: @elliot.website
Shobhit Shrivastava @shri_shobhit
4K Followers 481 Following Engineering Manager @Google | An everyday person's (hopefully humorous) musings | I don't do 1:1 career coaching etc | Failed at many, many things
Patrick Dubroy DONE H... @dubroy
3K Followers 317 Following GONE HERE: https://t.co/jkazdv30Qw Programmer & researcher, co-creator of @_ohmjs. 🇨🇦 🇩🇪 🇪🇺 Wrote @wasmgroundup.
Sara Hooker @sarahookr
49K Followers 9K Following I lead @Cohere_Labs. Formerly Research @Google Brain @GoogleDeepmind. ML Efficiency at scale, LLMs, ML reliability. Changing spaces where breakthroughs happen.
CommonAccord @CommonAccord
1K Followers 557 Following Bringing the World to Agreement. Unified, open source forms, clauses and contracting. Repos at https://t.co/EOAoi4rZ0L.
Chandrakana Nandi @ChandrakanaNaN
615 Followers 212 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, Seattle
Pauline P. Narvas @paulienuh
15K Followers 1K Following ▲ Customer Community @Vercel 🫧 Existing loudly 💜 Sharing thoughts in pixels since '08 🏋🏻♀️ Powered by endorphins
Samira Khan @samiramanabi
4K Followers 654 Following On a secret ML mission! Gemini Long Context, SystemsResearch@Google, prof @CS_UVA, ex-@CarnegieMellon. Vanity is not my fav sin, self-deprecation is.
Tim Kraska @tim_kraska
3K Followers 274 Following Professor at MIT. Research director at AWS. Co-founder of https://t.co/0p4BiiYWYN and Instancio. Systems for ML / ML for Systems Research Blog: https://t.co/WUnjudXKHn
Andrej Karpathy @karpathy
1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
Gavin King ⍼⍼⍼ @1ovthafew
5K Followers 1K Following Distinguished Engineer at IBM / Red Hat Middleware. Creator of @Hibernate ORM, @CDIspec, and @CeylonLang. Working on @JakartaEE Persistence, Query, and Data.
IFP @IFP
20K Followers 39 Following A think tank for accelerating scientific, technological, and industrial progress. Follow our team: https://t.co/CC0MxWfh3X
Yao Li @lastland0
1K Followers 670 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
Ian Sweet @completelysound
441 Followers 344 Following Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.
Kritika Prakash @kritipraks
10K Followers 1K Following Researcher and artist. 2nd year Computer Science PhD student @UChicago. Machine Learning and Causality for Healthcare.
Michelle Strout @ProfMStrout
845 Followers 922 Following Distinguished Technologist at HPE and Affiliate Computer Science Professor at the University of Arizona, @[email protected]
James Landay @landay
13K Followers 7K Following Professor of Computer Science, Stanford - HCI & Design. Co-founder & Co-Director @StanfordHAI. Personal opinions, not Stanford's, https://t.co/hiUxtqJDPg
Amber Horvath @AmberHorvath1
504 Followers 264 Following post-doc @MIT_CSAIL, prev. @cmuhcii, @google, @intel, @oregonstate. Studying developer sensemaking and information management
Katie Link @katieelink
6K Followers 931 Following Machine learning for health @NVIDIA. Previously @huggingface, @nyulangone, @Google @theteamatx. Views my own.
Christian Humer @grashalm_
2K Followers 414 Following Working on Truffle/GraalVM at Oracle Labs. ME/CFS Caretaker and Activist (https://t.co/gWxW16A5Op). Austrian expat in Zurich. https://t.co/piKOfYIYCL
Alexandre Abreu @AlexAbreuDev
249 Followers 1K Following R&D at @NVidia, Ex-@Unity, previously FOSS/WebEngine Dev Lead @Canonical @Ubuntu also into ML/AI, Math, Physics simulation & all things CS. Ex-Demoscene !.
Justine Frank @justineeefrank
304 Followers 229 Following Real PL person. Like translating symbols into different symbols (semantics may or may not be preserved). PhD student at @plumlab. Previously at @ubc_spl
Abhinav Jangda @abhijangda
230 Followers 467 Following Sr. Researcher @RiSE_MSR. Computer Science PhD from UMass Amherst.
Patrick Blumenthal @PatrickJBlum
19K Followers 974 Following investing in anomalies — prev @VillageGlobal — fellow @joinFAI
Maggie Appleton @Mappletons
38K Followers 1K Following I've mostly abandoned this trashfire 🔥 for Bluesky 🦋 @maggieappleton.com Design engineer. Writes about design, code, & anthropology.
Aditi🐬 @AdiTEAnahiME
490 Followers 2K Following Compiling My Systems Journey with Compiler Team @IBM! ex @AMD Thinking about Innovating Music Visualization! ART, TECHNOLOGY and curated THOUGHTs💭 excite me :)
Vinod Grover @vinodg
3K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
CodeX Stanford @CodeXStanford
9K Followers 127 Following CodeX - The Stanford Center for Legal Informatics is a multidisciplinary laboratory operated by Stanford Law School and the Stanford CS Department.
Laura Edelson @LauraEdelson2
11K Followers 453 Following Assistant Professor, Northeastern University Co-Director, C4D Formerly: Chief Technologist, DoJ Antitrust Division, DOJ Civil Rights Division
Elisabeth Paar @elisabeth_paar
773 Followers 434 Following Austrian Legal Scholar | Post Doc @rewiunigraz | LL.M. @yalelawsch | AI and Law | Constitutional Law | Administrative Law | Legal TheoryTrends for United States
24,4 B posts
6.902 posts
21,5 B posts
215 B posts
23,7 B posts
3.624 posts
6.873 posts
3.198 posts
50,4 B posts
1.915 posts
7.456 posts
2.648 posts
1.221 posts
2.421 posts
1.191 posts
1.005 posts
2.572 posts
You might like
Nate Foster
@natefoster
6K Followers
Arjun Guha
@ArjunGuha
1K Followers
Zachary Tatlock
@ztatlock
1K Followers
Andrew K. Hirsch
@andrewkhirsch
575 Followers
Ranjit Jhala
@RanjitJhala
3K Followers
Chandrakana Nandi
@ChandrakanaNaN
615 Followers
Alexandra Silva
@alexandra8silva
2K Followers
Joe Gibbs Politz
@JoePolitz
1K Followers
José Manuel Calderó...
@josecalderon
2K Followers