Pratap Singh | @[email protected] @vdash_pratap
@[email protected] PhD student at @CSDatCMU, prev RA at @MIT_CSAIL, undergrad at @Harvard. Interested in security, formal verification, PL. he/him/his pratap.dev Joined March 2015-
Tweets3
-
Followers57
-
Following186
-
Likes37
Pratap Singh | @[email protected] retweeted
Some harmful algorithms shouldn't exist. But what does it mean to "abandon" an algorithm that has already been built or deployed? Our #FAccT2024 paper analyzes 40 real-world cases to understand how calls for abandonment can be better supported.🧵 arxiv.org/abs/2404.13802 (1/n)
5
42
198
44K
80
Download Image
Pratap Singh | @[email protected] retweeted
Welcome to my Twitter account, 5 years too late! I always thought my twitter bio would be: "public opinions, private idleness" but I'd prefer to be the inverse…
Pratap Singh | @[email protected] retweeted
Cosmic cliffs & a sea of stars. @NASAWebb reveals baby stars in the Carina Nebula, where ultraviolet radiation and stellar winds shape colossal walls of dust and gas. nasa.gov/webbfirstimages #UnfoldTheUniverse
CMU Free Speech @CMUFreeSpeech
36 Followers 179 Following Holding Carnegie Mellon University accountable to its commitment to free speech
Michael McLoughlin @mbmcloughlin
806 Followers 2K Following Mathematical Software Engineer. Mastodon @[email protected] Bluesky @mmcloughlin.com
Dhilan R. @DhilanR
103 Followers 148 Following Education & hydration advocate | Taco Bell enthusiast & employee | Mango & smiley-fries connoisseur | C++ loyalist | Tennessean
Sam Arch 🇦🇺 @SamArchDB
533 Followers 173 Following PhD Student in Databases @CMUDB with @andy_pavlo, Previously a Compiler Engineer @apple
Dylan Li @dylanli73
15 Followers 61 Following Computer vision @Meta. Outside of work, reading/writing about developmental econ, learning philosophy. Lover of dogs, grateful son. @Harvard CS/Physics
Rose Bohrer @rose_bohrer
452 Followers 609 Following Asst CS Prof at WPI. Interdisciplinary from PL/FM/CPS to HCI and games. 🏳️⚧️(she/her) EN/中文
Bernardo Subercaseaux... @b_subercaseaux
805 Followers 1K Following Chilean PhD student @CarnegieMellon. Passionate about Theoretical Computer Science, writing, monkeys, beer, lemon pie and old Shakira's songs. He/Him/Monke.
Abhiram Kothapalli @abhiramko
391 Followers 198 Following Postdoctoral Research Fellow at UC Berkeley. Working on zero-knowledge proofs.
Mabel Center for Immi... @Imm_Justice
147 Followers 128 Following Mabel Center is justice in action. We believe that every human- regardless of status or place of origin- deserves the dignity & respect of legal representation
Tamara Shamir @Tamara_Shamir
17 Followers 35 Following Law student; paralegal @Imm_Justice; writer at The F(Law). Struggling to figure out how to dismantle the master's house w/ the master's tools
Guilherme Espada @GuiEspada
205 Followers 190 Following PhD Student @lasige @FC_UL | Working on Static Resource Analysis with @alcides | Mastadon: @[email protected] | BlueSky: https://t.co/FZYUHMHHVd
Konstantinos Kallas @KonsKallas
1K Followers 534 Following Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they https://t.co/461Ntl9CBc
Margarida @marghrid
38 Followers 71 Following
Andrew Park @andyp223
182 Followers 395 Following Cryptography @MongoDB | Food + Sleep + Poker. Previous @Brown | andyp223
brogician @sivawashere
434 Followers 271 Following you're wrong about programming languages and i'm right
Henry Dowling @Henry_Dowling__
22 Followers 80 Following AI PM @ https://t.co/FaGilffeRL // Harvard ‘22
Samvid Dharanikota @samvid25
57 Followers 201 Following MS @CarnegieMellon | Ex-Research Fellow @MSFTResearch | Formal Verification | Blockchain | Security | Chess
Sam Westrick @shwestrick
1K Followers 595 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
. @1729trenchcoats
194 Followers 52 Following
Noah Singer @singerng_
312 Followers 286 Following I do math about computers! || phd student @CSDatCMU: complexity, algorithms, crypto, combinatorics || @harvard '22 || he/him || #BlackLivesMatter
Harrison Grodin @HarrisonGrodin
175 Followers 222 Following PhD student @SCSatCMU @pop_cmu, excited about type theory, programming languages, and category theory
Sophia Roshal @RoshalSophia
310 Followers 159 Following BA in CS/Math from Cornell. PhD student @CSDatCMU Types are cool Opinions my own
Mohammadreza Mousaei @mmousaei77
646 Followers 556 Following PhD Candidate @CMU_Robotics | Robotics/Flight Enthusiast
Lef @elefthei
1K Followers 1K Following Research Engineer @Rise_MSR, @MSFTResearch. Compilers, Formal Verification, Cryptography. Previous: @Penn, @Bridgewater, @MIT.
Shrutarshi Basu 🇺�... @basus
1K Followers 2K Following Programmer, currently looking new opportunities.Former faculty @middlebury CS, PhD @CornellCIS. Exploring the intersection of computing & law.He/him.
Wyatt Hurt @wyattwhurt
419 Followers 2K Following Curriculum and Pedagogy Manager @HarvardCCB and First-Year Proctor @Harvard. he/him. #STEMforAll
dhruv @mohnottaken
190 Followers 173 Following semi-colon enthusiast; FiveThirtyEight stan; Holden Caulfield sympathizer; jalapeño popper connoisseur; amateur adult; Trust The Process; DE native; SF resident
Justine Frank @justineeefrank
305 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
Jean-Alexandre Barszc... @jabarszcz
67 Followers 552 Following FP polyglot, PhD student at @umontrealDIRO, interested in programming languages, dependent types, metaprogramming. He/him. λ🚶♂️→🛴 🚶♂️
Quang Dao @QuangVDao
838 Followers 2K Following PhD student @SCSatCMU. Working on formal verification of cryptography
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
Talia Ringer 💚 @TaliaRinger
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
rajath @rajathx
470 Followers 772 Following point particle currently exploring phase space @normalcomputing.
Jay Bosamiya @jay_f0xtr0t
2K Followers 2K Following 🦊 Software security researcher. PhD from CMU. CTFer (PPP). | @[email protected] | https://t.co/l4yhLdJfp0
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Nari Johnson @narijohnson
709 Followers 661 Following PhD student @mldCMU @scsatcmu. AI + HCI. she/her. currently 💭 AI evaluation & accountability
Alex @Alexkchin
107 Followers 280 Following love solving problems, especially in education and ML • CS & math @harvard • investing @8vc • prev ML research @nurobots & @harvard, VC @reachfund • 🇰🇷🇺🇸
TechInColor Podcast @techincolorcast
49 Followers 145 Following We spotlight leaders shaping tech & business, whose diverse backgrounds and stories you should know about.💡Hosted by @manasi_ma + @michelewang99
Patrick Bevan @PatrickBevan4
2 Followers 297 Following
Meena Venkataramanan @mvenk82
3K Followers 3K Following writing about books, identity, and culture @washingtonpost @latimes @bostonglobe @lareviewofbooks @publicbooks @newlinesmag & more. she/her.
higgsinocat @higgsinocat
3K Followers 4K Following New #darkmatter research from @arXiv, relevance predicted by regr model. Kid sib of @biophotonicat #ML bot by @kliang933 #physics and explainers by @hongwan_liu
Michael McLoughlin @mbmcloughlin
806 Followers 2K Following Mathematical Software Engineer. Mastodon @[email protected] Bluesky @mmcloughlin.com
Bernardo Subercaseaux... @b_subercaseaux
805 Followers 1K Following Chilean PhD student @CarnegieMellon. Passionate about Theoretical Computer Science, writing, monkeys, beer, lemon pie and old Shakira's songs. He/Him/Monke.
Tamara Shamir @Tamara_Shamir
17 Followers 35 Following Law student; paralegal @Imm_Justice; writer at The F(Law). Struggling to figure out how to dismantle the master's house w/ the master's tools
NWS Pittsburgh @NWSPittsburgh
57K Followers 283 Following Official X Account for National Weather Service Pittsburgh. Details: https://t.co/8d1sNmsovg
Andrew Park @andyp223
182 Followers 395 Following Cryptography @MongoDB | Food + Sleep + Poker. Previous @Brown | andyp223
Test Match Special @bbctms
531K Followers 1K Following Home of Test Match Special, providing iconic cricket commentary since 1957. Also follow @tmsproducer @ejrainfordbrent @philtufnell @isaguha @alexhartley93
Margarida @marghrid
38 Followers 71 Following
Samuel Gruetter @samuelgruetter
112 Followers 479 Following
Henry Dowling @Henry_Dowling__
22 Followers 80 Following AI PM @ https://t.co/FaGilffeRL // Harvard ‘22
Nikhil Swamy @lambdaNik
748 Followers 204 Following
Abhiram Kothapalli @abhiramko
391 Followers 198 Following Postdoctoral Research Fellow at UC Berkeley. Working on zero-knowledge proofs.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
José Manuel Calderó... @josecalderon
2K Followers 856 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
J @EremondiJoey
634 Followers 488 Following This account is deprecated. Find me as @[email protected]
brogician @sivawashere
434 Followers 271 Following you're wrong about programming languages and i'm right
Samvid Dharanikota @samvid25
57 Followers 201 Following MS @CarnegieMellon | Ex-Research Fellow @MSFTResearch | Formal Verification | Blockchain | Security | Chess
. @1729trenchcoats
194 Followers 52 Following
Quite Interesting @qikipedia
1.2M Followers 928 Following A Quite Interesting Twitter feed from the team behind the BBC TV show QI. https://t.co/1JWvBwO1PN
Sam Westrick @shwestrick
1K Followers 595 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Ningning Xie @xnningxie
4K Followers 309 Following Having fun with types! @UofTCompSci @GoogleDeepMind
DougJBalloon @DougJBalloon
243K Followers 4K Following Parody. @nytpitchbot.bsky.social More on Blue Sky than here these days. merch: https://t.co/NWNqmg5LC2
PL Papers Minus Conte... @PLMinusContext
2K Followers 0 Following All tweets verbatim from PL or PL-adjacent research papers • main: @lindsey • eldritch aesthetic
Noah Singer @singerng_
312 Followers 286 Following I do math about computers! || phd student @CSDatCMU: complexity, algorithms, crypto, combinatorics || @harvard '22 || he/him || #BlackLivesMatter
POP at CMU @pop_cmu
560 Followers 81 Following Principles of Programming Group at Carnegie Mellon University.
Harrison Grodin @HarrisonGrodin
175 Followers 222 Following PhD student @SCSatCMU @pop_cmu, excited about type theory, programming languages, and category theory
Sophia Roshal @RoshalSophia
310 Followers 159 Following BA in CS/Math from Cornell. PhD student @CSDatCMU Types are cool Opinions my own
Mohammadreza Mousaei @mmousaei77
646 Followers 556 Following PhD Candidate @CMU_Robotics | Robotics/Flight Enthusiast
lyric cards that look... @lyricshitposts
421K Followers 128 Following lyrics you’d never believe are real. but they all are
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Anna Stansbury @annastansbury
20K Followers 3K Following Economist: Labo(u)r, Macro, Inequality || 🇬🇧 in 🇺🇸 || Ass't Prof @MITSloan @MIT_IWER || Nonres fellow @piie || Research affiliate @izabonn
Arpit Gupta @arpitrage
40K Followers 4K Following Associate Professor of Finance, @NYUStern. Finance/Real Estate/Urban newsletter: https://t.co/lWVJvq6vKg.
Gabriel Zucman @gabriel_zucman
114K Followers 941 Following Chasing wealth and income, present and past, onshore and offshore.
Lef @elefthei
1K Followers 1K Following Research Engineer @Rise_MSR, @MSFTResearch. Compilers, Formal Verification, Cryptography. Previous: @Penn, @Bridgewater, @MIT.
Pravesh K. Kothari @praveshkkothari
4K Followers 355 Following Assistant Professor @PrincetonCS, @the_ias Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
NASA @NASA
88.1M Followers 158 Following Official NASA account. Exploring the universe, advancing science, and inspiring the next generation of explorers. Verification: https://t.co/8nok3NP4PW
🥢 Jon 🍲 @ionathanch
952 Followers 432 Following Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @ionchy.ca on bsky | coädmin on https://t.co/kUlV1hNtrR
Justine Frank @justineeefrank
305 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
Quang Dao @QuangVDao
838 Followers 2K Following PhD student @SCSatCMU. Working on formal verification of cryptography
Jean-Alexandre Barszc... @jabarszcz
67 Followers 552 Following FP polyglot, PhD student at @umontrealDIRO, interested in programming languages, dependent types, metaprogramming. He/him. λ🚶♂️→🛴 🚶♂️
D @dbp__
297 Followers 0 Following
wintensional equality @plt_dril
1K Followers 0 Following 'flawless agda noscope'. the crowd goes wild...Trends for United States
8.440 posts
24,1 B posts
35,1 B posts
22,9 B posts
156 B posts
134 B posts
39,2 B posts
17,2 B posts
17,3 B posts
54,7 B posts
327 B posts
328 B posts
26,7 B posts
65 B posts
18,7 B posts
10,8 B posts
73,8 B posts
2.187 posts
20,3 B posts
You might like
Noah Singer
@singerng_
312 Followers
Aaron Eline
@aaroneline
214 Followers
Timothy Im
@TimothyIm5
180 Followers
Michele Wang
@michelelwang
3K Followers
Olivia Graham
@OliviaSerenaG
67 Followers
Nikki
@NikstedLoop
54 Followers
Maytus Piriya
@maytusp
83 Followers
Caspar
@ghost_rights
31 Followers