Srivatsa Chakravarthy
@srivatsamath
Math researcher working in Random Walks on Groups
I like how he's saying that this dialect is emerging in elite tech companies and universities. Like you have to be an IMO gold medalist to use the phrase "There exists" correctly
….linguistic self awareness moment
Dude I speak like this and have made 40k a year living in California for the past six years. Surely I'm doing it to make the next Palantir
as a linguist, the speaker should know better: it’s not about “speaking more efficiently” (using mathematical terms for prosaic things isn’t more efficient!) but rather to signal ingroup membership in an emerging elite technocrat class defined by it’s relation to math and code
We're using Rust at work and I can see why fast code is written in rust; it's easy because you design your model around borrowing and cloning. I do miss monads and equational reasoning though
Chinese open source devs are killing it on Typst. Love to see it
Trying to get Gemini Pro to write parser combinators. It wrote a parser for the empty string which consumes a character. 💀💀💀
I unironically wonder if this can solve easy games like Tic Tac Toe. If only I could play with it
Very excited to share that an advanced version of Gemini Deep Think is the first to have achieved gold-medal level in the International Mathematical Olympiad! 🏆, solving five out of six problems perfectly, as verified by the IMO organizers! It’s been a wild run to lead this…
Since everyone is doing N-queens I thought I'd throw some shitty performance into the ring
I think we are starting to enter the under hype cycle for LLMs
Functional programming has went from a curiosity to almost something like a weird religion to me I'm starting to read the functional pearls every night
Future Language??? andraskovacs.github.io/pdfs/2ltt_icfp…