Vedant Pimpley @vedant_pimpley

micro-blogs on CS, with the hope that it connects the dots for someone else github.com/VedantPimpley/ Arizona Joined November 2022

Tweets

16
Followers

8
Following

42
Likes

359

Vedant Pimpley @vedant_pimpley

11 months ago

I can't wait for dependent types to become ubiquitously used in all programming. It's one of the easiest ways to shave off errors and make a program more expressive. While being so much more elegant than dotting the program with assert statements.

0 0 0 11 0

Oucouore @Oucouore727095

3 Followers 122 Following

McPorsee @McPorseeY5amxZ

45 Followers 4K Following

MarinaBeck @npQM4C8IWv8h0k

71 Followers 7K Following

Elena @kaew_cutha

176 Followers 492 Following She's not waiting for a knight; she's the hero of her own story.

Meeroo @Meeroo260852

72 Followers 7K Following

anishpimpley @anishpimpley

31 Followers 111 Following ML, Food, Architecture, Urban Planning

KalaJhadu @kalajhadu

30 Followers 133 Following 1% less schizo

Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue |
Interested in Programming Languages, Politics, and Philosophy.

ashish mishra @aegisAshish

147 Followers 388 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.

⚡️NEVERDOOMPRO⚡... @NEVERDOOMPRO

35K Followers 178 Following Brainwashing you to believe in yourself. NEVER DOOM.

Go from concept to production and beyond. Kiro is an AI IDE that works alongside you to turn ideas into production code with spec-driven development.

Kiro @kirodotdev

12K Followers 1 Following Go from concept to production and beyond. Kiro is an AI IDE that works alongside you to turn ideas into production code with spec-driven development.

Math, Inc. @mathematics_inc

6K Followers 0 Following A new company dedicated to autoformalization and the creation of verified superintelligence.

Building @astral_sh: Ruff, uv, and other high-performance Python tools. Prev: Staff engineer @SpringDiscovery, @KhanAcademy, BSE @PrincetonCS.

Charlie Marsh @charliermarsh

28K Followers 827 Following Building @astral_sh: Ruff, uv, and other high-performance Python tools. Prev: Staff engineer @SpringDiscovery, @KhanAcademy, BSE @PrincetonCS.

tldraw @tldraw

69K Followers 13 Following infinite canvas | https://t.co/oXL4NAc6P8 | https://t.co/dO6WPp6YOI | https://t.co/beo7WsKiVe | /tiː ɛl drɔː/

Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.

Dmitrii Kovanikov @ChShersh

48K Followers 232 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.

Anduril is shaping the future of defense, transforming U.S. & allied military capabilities with advanced technology.

Anduril Industries @anduriltech

157K Followers 283 Following Anduril is shaping the future of defense, transforming U.S. & allied military capabilities with advanced technology.

Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...

Jeff Dean @JeffDean

368K Followers 6K Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...

Ezra Klein @ezraklein

2.5M Followers 1K Following Columnist, @NYTOpinion Author, "Why We're Polarized" Host of "The Ezra Klein Show" podcast

Co-founder & CEO @Brave Software (https://t.co/NV4bmd6vxq) and @attentiontoken (https://t.co/XhGIrdBJWu). Co-founded Mozilla & Firefox. Created JavaScript.

BrendanEich @BrendanEich

190K Followers 2K Following Co-founder & CEO @Brave Software (https://t.co/NV4bmd6vxq) and @attentiontoken (https://t.co/XhGIrdBJWu). Co-founded Mozilla & Firefox. Created JavaScript.

We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.

Anthropic @AnthropicAI

648K Followers 35 Following We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.

Kevin Systrom @kevin

132K Followers 85 Following CEO, Artifact. Co-founder and Former CEO, Instagram

Paul Graham @paulg

2.1M Followers 778 Following

Santiago @svpino

426K Followers 513 Following Computer scientist. I teach hard-core AI/ML Engineering at https://t.co/THCAAZcBMu. YouTube: https://t.co/pROi08OZYJ

Creator @datasetteproj, co-creator Django. PSF board. Hangs out with @natbat. He/Him. Mastodon: https://t.co/t0MrmnJW0K Bsky: https://t.co/OnWIyhX4CH

Simon Willison @simonw

117K Followers 6K Following Creator @datasetteproj, co-creator Django. PSF board. Hangs out with @natbat. He/Him. Mastodon: https://t.co/t0MrmnJW0K Bsky: https://t.co/OnWIyhX4CH

Co-founder of The Long Now Foundation--which takes no sides. In this forum, as a private person, I do take sides occasionally.

Stewart Brand @stewartbrand

51K Followers 493 Following Co-founder of The Long Now Foundation--which takes no sides. In this forum, as a private person, I do take sides occasionally.

“All is built on sand, but we must build as if the sand were stone.”
Working on books @InfiniteB88ks. Working on writing @Essayful. Bylines @TheSpectator, etc.

Dylan O'Sullivan @DylanoA4

119K Followers 549 Following “All is built on sand, but we must build as if the sand were stone.” Working on books @InfiniteB88ks. Working on writing @Essayful. Bylines @TheSpectator, etc.

Works in Progress @WorksInProgMag

20K Followers 27 Following Works in Progress is a magazine of new and underrated ideas to improve the world. Subscribe to our new print edition now. We are proud to be part of @Stripe.

Wrath Of Gnon @wrathofgnon

163K Followers 553 Following Traditionalist. #GoodUrbanism

Internal Tech Emails @TechEmails

583K Followers 880 Following Internal tech industry emails that surface in public records. 🔍

Active on https://t.co/WG71Nrs60M; also trying out https://t.co/fGOzbSxVHi. No longer read replies or notifications here now that tweetdeck is gated.

Dan Luu @danluu

45K Followers 44 Following Active on https://t.co/WG71Nrs60M; also trying out https://t.co/fGOzbSxVHi. No longer read replies or notifications here now that tweetdeck is gated.

MongoDB Research: Distributed {Systems, Databases, Consensus} + Formal Methods
ex-AWS, ex-Prof @SUNY Buffalo.
https://t.co/IqZPhhtcCC
Opinions my own

Murat Demirbas (Distr... @muratdemirbas

11K Followers 256 Following MongoDB Research: Distributed {Systems, Databases, Consensus} + Formal Methods ex-AWS, ex-Prof @SUNY Buffalo. https://t.co/IqZPhhtcCC Opinions my own

High-performance developer tools for the Python ecosystem, starting with Ruff, an extremely fast Python linter, written in Rust.

Astral @astral_sh

8K Followers 0 Following High-performance developer tools for the Python ecosystem, starting with Ruff, an extremely fast Python linter, written in Rust.

Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.

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.

OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6Lg202

OpenAI @OpenAI

4.4M Followers 3 Following OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6Lg202

Greg Brockman @gdb

857K Followers 32 Following President & Co-Founder @OpenAI

KalaJhadu @kalajhadu

30 Followers 133 Following 1% less schizo

Y Combinator @ycombinator

1.5M Followers 347 Following We help founders make something people want. Subscribe to our newsletter: https://t.co/sjqjxxBeLc

Sam Altman @sama

4.0M Followers 972 Following AI is cool i guess

John Carmack @ID_AA_Carmack

1.1M Followers 275 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace

Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠

Chris Lattner @clattner_llvm

87K Followers 194 Following Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠

A productive parallel programming language designed to scale from laptops to supercomputers whose development is being led by @HPE (formerly @cray_inc).

Chapel Language @ChapelLanguage

817 Followers 251 Following A productive parallel programming language designed to scale from laptops to supercomputers whose development is being led by @HPE (formerly @cray_inc).

Krishna Nandivada @nvkrishna77

53 Followers 42 Following Faculty at IIT Madras

Vimala Soundarapandia... @vimala_sp

58 Followers 37 Following PhD student (PMRF) @iitmadras. Programming Languages & Verification, Distributed Systems.

Nikhil Swamy @lambdaNik

748 Followers 204 Following

ISRO @isro

8.0M Followers 41 Following Indian Space Research Organisation https://t.co/UolRyaZlZi. https://t.co/Q3K7buUqAI

KC Sivaramakrishnan @kc_srk

4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.

Srinivas Narayana @ngsrinivas

409 Followers 198 Following Computer Science academic at Rutgers University, NJ, USA. Interested in networking, operating systems, and formal methods.

ashish mishra @aegisAshish

147 Followers 388 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.

PACE Lab, IIT Madras @pace_iit

44 Followers 45 Following "We are a research lab at IIT Madras, working in the area of programming languages, compilers, and architectures." Managed by @wp_all