Divyanshu Ranjan
@rdivyanshu.bsky.social
Reposted by Divyanshu Ranjan
I havent read such a banger of an essay in a very long time. This is so well-written!
Maybe Don’t Talk to the New York Times About Zohran Mamdani
It’s remarkable, the people you’ll hear from. Teach for even a little while at an expensive institution—the term they tend to prefer is “elite”—and odds are that eventually someone who was a studen…
lithub.com
November 8, 2025 at 5:37 PM
I havent read such a banger of an essay in a very long time. This is so well-written!
Reposted by Divyanshu Ranjan
New blog post published, on generating error messages and visualization for LTL-based testing.
wickstrom.tech/2025-11-01-e...
wickstrom.tech/2025-11-01-e...
November 1, 2025 at 9:06 AM
New blog post published, on generating error messages and visualization for LTL-based testing.
wickstrom.tech/2025-11-01-e...
wickstrom.tech/2025-11-01-e...
Reposted by Divyanshu Ranjan
A lot of people with these qualities left academia because you didn't reward us or understand when we were blocked by others but y'all aren't ready to have that conversation I guess
The Nobel Prize is the wrong way to think about science.
My heroes aren't the people with the endowed chairs at the Ivies. They are the people who do the hard work, day in and day out, and who would take a bullet rather than inflate research findings or block others' competing research.
My heroes aren't the people with the endowed chairs at the Ivies. They are the people who do the hard work, day in and day out, and who would take a bullet rather than inflate research findings or block others' competing research.
October 7, 2025 at 10:30 AM
A lot of people with these qualities left academia because you didn't reward us or understand when we were blocked by others but y'all aren't ready to have that conversation I guess
Reposted by Divyanshu Ranjan
mathematicians: This is the Schlüsman-Katsuhira transform. It took researchers over 250 years to discover. Only 30 people in the world know how it works.
tech artists: This is the Schlüsman-Katsuhira transform, or as we call it in the biz, "ol' Schlussy". We use it for realistic cheese textures :)
tech artists: This is the Schlüsman-Katsuhira transform, or as we call it in the biz, "ol' Schlussy". We use it for realistic cheese textures :)
September 26, 2025 at 5:16 PM
mathematicians: This is the Schlüsman-Katsuhira transform. It took researchers over 250 years to discover. Only 30 people in the world know how it works.
tech artists: This is the Schlüsman-Katsuhira transform, or as we call it in the biz, "ol' Schlussy". We use it for realistic cheese textures :)
tech artists: This is the Schlüsman-Katsuhira transform, or as we call it in the biz, "ol' Schlussy". We use it for realistic cheese textures :)
Reposted by Divyanshu Ranjan
New CoL! I actually explain the proof of the tree theorem in painstaking detail. It can't be formalized in PA (and more)!
I love it because it forces me to understand. Will you love it? Let's find out.
open.spotify.com/episode/05Xo...
rss: t.co/7jcP39omIc
I love it because it forces me to understand. Will you love it? Let's find out.
open.spotify.com/episode/05Xo...
rss: t.co/7jcP39omIc
TREE(3) and the Kruskal theorem, Part II
Spotify video
open.spotify.com
September 16, 2025 at 5:54 PM
New CoL! I actually explain the proof of the tree theorem in painstaking detail. It can't be formalized in PA (and more)!
I love it because it forces me to understand. Will you love it? Let's find out.
open.spotify.com/episode/05Xo...
rss: t.co/7jcP39omIc
I love it because it forces me to understand. Will you love it? Let's find out.
open.spotify.com/episode/05Xo...
rss: t.co/7jcP39omIc
Reposted by Divyanshu Ranjan
Hot take: real numbers are countable
Uncountable reals are a lie by big maths to oppress computer scientists
Don't agree? Construct an uncountable real for me. Oh wait. You can't.
Uncountable reals are a lie by big maths to oppress computer scientists
Don't agree? Construct an uncountable real for me. Oh wait. You can't.
August 4, 2025 at 3:58 PM
Hot take: real numbers are countable
Uncountable reals are a lie by big maths to oppress computer scientists
Don't agree? Construct an uncountable real for me. Oh wait. You can't.
Uncountable reals are a lie by big maths to oppress computer scientists
Don't agree? Construct an uncountable real for me. Oh wait. You can't.
Reposted by Divyanshu Ranjan
Discovered today that not everyone considers this nine year old viral tweet a seminal text in the field of social media studies but I do
August 2, 2025 at 8:15 AM
Discovered today that not everyone considers this nine year old viral tweet a seminal text in the field of social media studies but I do
Reposted by Divyanshu Ranjan
Reposted by Divyanshu Ranjan
You actually don't have to understand separation logic if you sign a contract agreeing to never allocate on the heap. Not enough people are taking advantage of this imo
July 3, 2025 at 9:12 PM
You actually don't have to understand separation logic if you sign a contract agreeing to never allocate on the heap. Not enough people are taking advantage of this imo
Reposted by Divyanshu Ranjan
If anyone has any slow or brittle Dafny/Boogie/Viper proofs, consider hiring me *hint* *hint* *nudge* *nudge* *wink* *wink*
(I would normally be asking in person while presenting this work at CAV but again... I can't leave the country right now.)
(I would normally be asking in person while presenting this work at CAV but again... I can't leave the country right now.)
New blog post! The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Towards Solving It)
kirancodes.me/posts/log-pr...
#ProgrammingLanguages #Dafny #SMT #Z3 #Verification
kirancodes.me/posts/log-pr...
#ProgrammingLanguages #Dafny #SMT #Z3 #Verification
June 17, 2025 at 4:18 PM
If anyone has any slow or brittle Dafny/Boogie/Viper proofs, consider hiring me *hint* *hint* *nudge* *nudge* *wink* *wink*
(I would normally be asking in person while presenting this work at CAV but again... I can't leave the country right now.)
(I would normally be asking in person while presenting this work at CAV but again... I can't leave the country right now.)
Reposted by Divyanshu Ranjan
Zeno: okay team, we're half way through the sprint
sisyphus at daily standup: i had to roll back some changes
June 10, 2025 at 6:39 PM
Zeno: okay team, we're half way through the sprint
Reposted by Divyanshu Ranjan
Building a Debugger is now officially released!
It guides you through building a whole native x64 debugger from scratch, dispelling all the magic and teaching you a ton about operating systems as it goes.
Even if you don't care about building a debugger, you can read it to your cat.
It guides you through building a whole native x64 debugger from scratch, dispelling all the magic and teaching you a ton about operating systems as it goes.
Even if you don't care about building a debugger, you can read it to your cat.
June 10, 2025 at 3:59 PM
Building a Debugger is now officially released!
It guides you through building a whole native x64 debugger from scratch, dispelling all the magic and teaching you a ton about operating systems as it goes.
Even if you don't care about building a debugger, you can read it to your cat.
It guides you through building a whole native x64 debugger from scratch, dispelling all the magic and teaching you a ton about operating systems as it goes.
Even if you don't care about building a debugger, you can read it to your cat.
Reposted by Divyanshu Ranjan
New blog post! The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Towards Solving It)
kirancodes.me/posts/log-pr...
#ProgrammingLanguages #Dafny #SMT #Z3 #Verification
kirancodes.me/posts/log-pr...
#ProgrammingLanguages #Dafny #SMT #Z3 #Verification
June 8, 2025 at 9:53 PM
New blog post! The Looming Problem of Slow & Brittle Proofs in SMT Verification (and a Step Towards Solving It)
kirancodes.me/posts/log-pr...
#ProgrammingLanguages #Dafny #SMT #Z3 #Verification
kirancodes.me/posts/log-pr...
#ProgrammingLanguages #Dafny #SMT #Z3 #Verification
Reposted by Divyanshu Ranjan
where are the thinkpieces about AI from undervalued entry-to-mid-level workers who are NOT engineers and also not visual artists or writers? people with the most mundane underpaid $50k a year jobs that are a catchall for several types of work?
those are the takes i want to hear at this point
those are the takes i want to hear at this point
June 4, 2025 at 5:35 PM
where are the thinkpieces about AI from undervalued entry-to-mid-level workers who are NOT engineers and also not visual artists or writers? people with the most mundane underpaid $50k a year jobs that are a catchall for several types of work?
those are the takes i want to hear at this point
those are the takes i want to hear at this point
Reposted by Divyanshu Ranjan
Reposted by Divyanshu Ranjan
Late to the party, but... "embrace exponentials"? "Forget the code even exists"? My dude, ahead of you by decades, you're describing theoretical CS.
June 1, 2025 at 1:19 AM
Late to the party, but... "embrace exponentials"? "Forget the code even exists"? My dude, ahead of you by decades, you're describing theoretical CS.
Reposted by Divyanshu Ranjan
PL Academics in the US; I'm looking around for postdoc positions for the coming year!
With the NSF pause, I'm assuming a lot of US faculty are reluctant to hire postdocs right now
Is it worthwhile to continue searching for positions in the US? or should I look elsewhere~
Reposts welcomed!
With the NSF pause, I'm assuming a lot of US faculty are reluctant to hire postdocs right now
Is it worthwhile to continue searching for positions in the US? or should I look elsewhere~
Reposts welcomed!
May 12, 2025 at 4:42 PM
PL Academics in the US; I'm looking around for postdoc positions for the coming year!
With the NSF pause, I'm assuming a lot of US faculty are reluctant to hire postdocs right now
Is it worthwhile to continue searching for positions in the US? or should I look elsewhere~
Reposts welcomed!
With the NSF pause, I'm assuming a lot of US faculty are reluctant to hire postdocs right now
Is it worthwhile to continue searching for positions in the US? or should I look elsewhere~
Reposts welcomed!
Reposted by Divyanshu Ranjan
Just want to say I’m so incredibly grateful for all the academics writing cool papers, and giving interesting talks and contributing to our shared body of knowledge. Thanks so much, I’ve learned a huge amount from you!
May 31, 2025 at 2:07 AM
Just want to say I’m so incredibly grateful for all the academics writing cool papers, and giving interesting talks and contributing to our shared body of knowledge. Thanks so much, I’ve learned a huge amount from you!
Reposted by Divyanshu Ranjan
Mac Lane's first-hand account of how an absolutely amazing mathematical department at Göttingen was destroyed by Nazi politics, irrevocably, practically overnight.
Absolutely fascinating—and depressing—slice of history I had not read about before.
sites.tufts.edu/histmath/fil...
Absolutely fascinating—and depressing—slice of history I had not read about before.
sites.tufts.edu/histmath/fil...
sites.tufts.edu
May 24, 2025 at 11:59 PM
Mac Lane's first-hand account of how an absolutely amazing mathematical department at Göttingen was destroyed by Nazi politics, irrevocably, practically overnight.
Absolutely fascinating—and depressing—slice of history I had not read about before.
sites.tufts.edu/histmath/fil...
Absolutely fascinating—and depressing—slice of history I had not read about before.
sites.tufts.edu/histmath/fil...
Reposted by Divyanshu Ranjan
Reposted by Divyanshu Ranjan
YOU GET NOTHING!
YOU LOSE!
GOOD DAY, SIR!
YOU LOSE!
GOOD DAY, SIR!
March 11, 2025 at 3:16 PM
YOU GET NOTHING!
YOU LOSE!
GOOD DAY, SIR!
YOU LOSE!
GOOD DAY, SIR!
Reposted by Divyanshu Ranjan
萬歲萬歲萬萬歲
Time for environments as functions? @racketlang
Time for environments as functions? @racketlang
March 4, 2025 at 5:33 PM
萬歲萬歲萬萬歲
Time for environments as functions? @racketlang
Time for environments as functions? @racketlang
Reposted by Divyanshu Ranjan
Relevant:
“If your service can’t be run on a laptop, your service doesn’t deserve to be ran in a cluster” - Marilyn Monroe
hazelweakly.me/blog/scale-d...
“If your service can’t be run on a laptop, your service doesn’t deserve to be ran in a cluster” - Marilyn Monroe
hazelweakly.me/blog/scale-d...
March 6, 2025 at 1:51 AM
Relevant:
“If your service can’t be run on a laptop, your service doesn’t deserve to be ran in a cluster” - Marilyn Monroe
hazelweakly.me/blog/scale-d...
“If your service can’t be run on a laptop, your service doesn’t deserve to be ran in a cluster” - Marilyn Monroe
hazelweakly.me/blog/scale-d...
Reposted by Divyanshu Ranjan
Happy Twin Peaks Day, nerds
February 24, 2025 at 3:30 PM
Happy Twin Peaks Day, nerds
Concentration inequalities is blowing my mind.
February 22, 2025 at 7:14 AM
Concentration inequalities is blowing my mind.