Profile cover photo
Profile photo
Shriram Krishnamurthi
2,112 followers
2,112 followers
About
Shriram Krishnamurthi's posts

Post has attachment
While I was out of town, the kid made me a wax doll to welcome me back home. "I was going to make an Asterix, but then I remembered you like Obelix better", she correctly noted.

#parenting
Photo

Post has attachment
A dream coming true: the first public release and teacher training for the +Bootstrap Data Science curriculum as part of #CSPdWeek. Thanks to Sam Dooman and +Emmanuel Schanzer for making it happen. Pyret is hard at work, and teachers are loving the tables support.
Photo

Post has attachment
There are several traditions in the design of everyday objects, on an authoritarian to participatory spectrum (amongst others). What about programming languages? Most of them sit squarely in the authoritarian tradition excluding a few small pockets (typically in specialized domains). What happens if we apply the participatory model to designing the semantics of mainstream constructs? We've been studying this question for a while, and have some interesting initial findings.

Post has attachment
A project with the kid about two years in the making. When we returned from Zürich in 2015, she asked why Zürich could have a Planetenweg — a walking trail lined with a scale model of the solar system — and not us. (The gorgeous one in Zürich is just over 5k, perfect for my afternoon run.) I explained it just needed someone to do it, and we decided to try.

Our first few attempts didn't go anywhere for complex reasons, and I too dropped the ball on it. After our May visit to Zürich, though, we came back fired up anew; I went back to our local conservancy with a new idea, and they bit. So since then the kid and I have been walking up and down trails with a surveyor's measuring wheel, coming home, running code to figure out which combination of trails will give us good positions for the planets, etc. I also supplied her with the ratios of sizes and she drew and painted the planets.

Today we went out and got wooden stakes and planted the planets into the ground, to give the conservancy an idea of how this might end up. We still don't have agreement that it will be a permanent display, but I have ideas of what the permanent version should look like, thoughts on how to execute it, and hope that the conservancy will be persuaded by the prototype. And even if it doesn't last until tomorrow night, just for this one day, Providence will have had its own Planetenweg. (-:

#parenting


PhotoPhotoPhotoPhotoPhoto
7/6/17
5 Photos - View album

I'm delighted to announce that +Bootstrap has just hired Eddie Campos Jr., joining +Emmanuel Schanzer and +Emma Youndtsmith as our third full-time employee (through Brown). Ed has a fabulous reputation in CS training circles, in addition to over 15 years as a teacher. Emma already hits trainings out of the park, so she can't be improved on, but Ed brings his own magical touch that will complement her. We're incredibly fortunate to have him (and I'm still not quite sure how we got so lucky — basically, Emmanuel, Emma, +Joe Gibbs Politz, +Benjamin Lerner, +Dorai Sitaram, +Kathi Fisler, and others make this an organization worth joining). Welcome aboard, Ed!

Post has attachment
Second part of our user studies for formal methods. How do you get them to scale? In principle crowdsourcing offers an avenue, but it's not trivial to crowdsource such a task. We've been making progress on that, too.

Post has attachment
It's high time we started paying attention to the usability aspects of formal methods tools. Ideally, we can even close the loop, using what we learn from usability to drive the next generation of formal work. We've begun to do serious work in this direction; the linked paper is about our first set of findings.

Post has attachment
New office decor. I call the piece “Bangalore Traffic on an Orderly Day”.
Photo

Post has shared content
"It is fun and yet you learn so much. The training is structured so well that you don't even notice how much you are learning until you sit back and amaze yourself."

We're in Rhode Island with +Brown University's Department of Computer Science! #BootstrapCS #CS4RI
Photo

TFW an NSF program manager COMPLIMENTS you by saying "Shriram, your problem is you had both a blunder and a blunderbuss." And they say the US Government doesn't have a sense of humor…
Wait while more posts are being loaded