Sabitlenmiş Tweet
Kiran
2.3K posts
Kiran
@kirancodes
Research Scientist I work in Programming Languages research, on formal verification. British South Asian diaspora~
US Katılım Kasım 2011
174 Takip Edilen933 Takipçiler
Wake up babe, new slur for trans women just dropped
Jeremiah Johnson 🌐@JeremiahDJohns
Ok we're finally getting into serious contender season for Worst Tweets
English
Kiran retweetledi
Space era is back??? Never been so hyped. Millions must dream
The White House@WhiteHouse
The goal is not just to reach the Moon, but to stay. 🌘
English
Im british and ur wrong. Diversity is the most important thing. The future of britain is brown love
I Am British 🇬🇧@IAmBritishReal
Muslim mayor Sadiq Khan says the British people love diversity. Not at the expense of our own culture we don’t!
English
Kiran retweetledi
Los villanos siempre tienen doctorado.
Dr. Doom, el Dr. Octopus, el Dr. Doofenshmirtz, Hannibal Lecter o el Dr. No. Incluso el Dr. Frankenstein o el Dr. Evil.
En cambio, los buenos suelen quedarse en la maestría, como el maestro Yoda, el Maestro Roshi, el Maestro Splinter, el Maestro Miyagi, Shifu o el mismísimo Luke Skywalker.
Los estudios de posgrado corrompen el alma.
Español
the country is becoming hell on earth to reflect the pure evil of the racist fucks who live there
maxx@battleupsaber
western governments: climate change isn't real, don't worry about it average Singaporean living through March 2026:
English
Kiran retweetledi
@KleeneAlgebra but the proof went through but the proof but the proooffff
English
So the sphere packing thing was just scamming researchers lol
English
Rather interesting and stark contrast to the AI researchers at AI4maths events where the overarching sentiment was AI all the way, who were more than happy to boast about how AI generates the proofs for them, and then cleans them up for inclusion into mathlib. No humans necessary
Mario Krenn@MarioKrenn6240
After the apparently amazing announcement by @mathematics_inc on the formalization of a major recent Fields-medal winning theorem, i had no idea how pissed the math-formalization community is. Very worrying discussions by some of the leaders/founders of Lean's mathlib. cc @ChrSzegedy
English
@KleeneAlgebra > bro braincodes proofs by hand
Ngmi I dont see claude complaining
English
Have the lean shills of this webiste ever used mutually inductive indexed datatypes?
Induction Induction is straight up not supported
If you just do inductive types you need to write the same proof #of_types times
English
I didnt even have to check and I knew this was a PL person lol
Yoshiki Sato@phys_yoshiki
これを超える人は知らない。
English
you should probably check down there first considering that "she" writes rust
Enigma@nigmaQX
My type.
English
@KleeneAlgebra There are two kinds of people. Those who built the technology and those who write the tweet saying they built the technology
English
So they did not build the technology
Thomas Lin@7homaslin
“Axiom has built technology that can formally prove whether an answer is right or wrong. It does this using a computer programming language called Lean, which was created more than decade ago as a way of proving mathematical statements.” cc @KSHartnett nytimes.com/2026/03/12/tec…
English
@KleeneAlgebra Wait till that cat goes up for tenure. Won't be laughing then
English
Cats with higher H-index than you
luffy@0xluffy
there's a cat who has also published 3 physics paper
English
I watched a senior dev work.
She booted emacs and C-x C-f, then M-s for the edit.
The motion took 1s.
This is the crazy part. She used C-M-f to forward-sexp and jump over the function.
Thats right. 50 lines of code. Jumped over. Not line by line. With a single keybinding.
English
Which leadership principle was Kiro following? 13? Delete from prod?
Apoorva Govind@Appyg99
Slop debt is why many large companies are experiencing outages. I'd called it last year after seeing it impact even small startups like ours.
English