Jonathan Schuster

Just blogged about my career mission: "to give software developers knowledge and tools to help them reason about their programs" (jschuster.org/blog/2021/09/2…). A summary thread: (1/N)

Hi all, this will likely be my last tweet. I don't want to even tacitly support Elon Musk and the kind of company and community he's trying to create. Thank you to those who made this site what it was until now. I'll be on Mastodon at @jschuster@types.pl; hope to see you there!

@ShriramKMurthi The It Will Never Work in Theory mini-conferences are arguably more SE than PL, but may still be of interest: neverworkintheory.org. Note that the talks are bite-sized: just about 8 minutes each

What are good tech conferences that have PL-ish content and publish talks for free? I'm thinking of venues like StrangeLoop. I have undergrads who would be very interested in hearing about them. Please reply below w/ links — I'm just going to share this post w/ class. Thanks!

As an academic writing coach, here are the 7 mistakes I see supervisors and PIs make in the process of co-writing a paper with their PhD students or mentees. A thread. 🧵 #AcademicChatter #newPI #PhDchat

@TheOfficialACM @benzorn @jschuster@types.pl

Are you on #Mastodon or considering opening an account on the #Fediverse? If the answer is yes, comment your handles below & we'll follow you!😉 #socialmedia #followback

I've seen a lot of people asking "why does everyone think Twitter is doomed?" As an SRE and sysadmin with 10+ years of industry experience, I wanted to write up a few scenarios that are real threats to the integrity of the bird site over the coming weeks.

@tomaspetricek I think types.pl and systems.discuss are both good fits for you. But from what I've learned so far, the choice of server doesn't matter all that much and it's reasonably easy to switch later.

I guess it's time for a backup plan...💙I've used twitter for bad jokes, but it's been a valuable place for discussions about my research ideas & speading word about what I do. What now? What Mastodon server are you using? Anything else? Anyone interested in an email newsletter?

I mean, it's a microservice, Michael, how much work could it do? One RPC?

@hillelogram The evidence for code review

Now that I have free time to Blog Again, I want to start turning some of my twitter threads into permanent essays. Are there any I've done that you've really liked? Plan to start with the "boilerplate code" and "tag system" tweetstorms

Good thread on the power of a single engineer to push back against unethical work.

@TaliaRinger Big +1 to all of this. I don't want this community to break apart and fracture across N different services, many of which are less accessible than Twitter. But my dislike of Elon is making me want to join Mastodon as soon as I have the time to do so.

I think I really just want him to get fired and replaced with someone who treats their employees better

I really don't want Twitter to keep collapsing. Even not considering the awful impacts on all of the people who work or worked there, I also really genuinely love this space. I've made a lot of friends here, and it has also been really useful for my research

Twitter employees, DO NOT SIGN ANYTHING when you're laid off. Consult with an attorney first. Buried in the fine print may be a waiver of your rights under CA and federal law. Those rights are important and valuable! #TwitterLayoffs

@S_Hanenberg @Felienne And that seems true here. I'm not fluent in Fortran, but I can at least recognize an if statement, a do-while loop, and other common constructs.

@S_Hanenberg @Felienne I'm confused by this comment. I've never taken that statement to mean that by knowing one language you can instantly understand all others. I've always understood it to mean something more like "It takes less time to learn Fortran if you already know another language".

It is amazing how often one hears the story "knowing one PL makes it easy to get into another PL". Ok, so here is a Fortran procedure (taken from Love's dissertation): What does it do?

@jhemann The system evolved a lot since then. At the time we programmed it in NQC ("not quite C").

@jhemann The task was to make a little robot car that would stay inside a drawn perimeter and stop when it found an obstacle. But we also found the sound API and got it to play an approximation of "A pirate's life for me" when it succeeded.

Do I know anyone who used Lego Mindstorms as a first entrée into computer science? What did you think of the experience? Is this a loss I should mourn? arstechnica.com/gadgets/2022/1…

@dimvar He's not on Twitter, but I bet Justin Slepak's dissertation has some good pointers in the related work. Particularly stuff about J and APL.

Compiler Twitter, what are your favorite papers/books on compilers for array languages, regardless of architecture? CPU with parallel instructions, GPU, ASICs, all are fine. I've learned on the job for TPU compiler, but I'd like to read some of the classics.

@TitusWinters According to research cited by @hillelogram, code review is is one of the few SWE practices that has a consistently measurable positive effect. See twitter.com/hillelogram/st… and twitter.com/hillelogram/st….

Hey, DevOps and Software engineering research folks: what're your favorite research results? (I almost said "Favorite under-cited results" but I think it's all under-cited.) RTs appreciated. 👍

@TaliaRinger Nope, one of my favorite people to follow on Twitter!

I am fully convinced that everyone hates me and I'm a bad person, even though this is probably unreasonable to believe

Having a depression week for some reason