Joseph C. Osborn @JoeOsborn@mastodon.social
Assistant Professor of Computer Science at Pomona College. PhD in applying AI to the software development process (particularly game development).
Finished a bit of service today (a journal article review, sadly one I had to reject) and did a survey for another researcher, so feeling pretty positive! Now the question is whether to do some class prep or to work on a shiny new research project…
For the second part, http://www.cs.utsa.edu/~wagner/pubs/plagiarism0.html is an interesting article!
Does anybody have a good workflow for doing peer code review in the classroom? I’m thinking something like a Git(Lab|Hub) fork per student making PRs to my protected master repo?
And how do you talk to your students about code copying/Q&A sites/academic integrity? Or what do you think professors should say?
Lessons from Building Static Analysis Tools at Google: https://cacm.acm.org/magazines/2018/4/226371-lessons-from-building-static-analysis-tools-at-google/fulltext
An excellent 'view from the trenches' of static analysis at Google's scale. Thread.
Finalized and submitted my finished dissertation. I’m a PhD now! 🎓🎉🎉🎉🎓
It was a wild six years. If anyone has questions about the process or wonders whether it’s right for them, I’m happy to chat.
.@Framasoft's crowdfunding for #PeerTube has just passed 100%, so it will definitely get funding 🎉 👏 🍾
There's still 12 days to go, so the appeal is going for a stretch goal to add even more features 😎
Well done everyone! 👍
Dissertation is one revision cycle away from being Done, I completed my onboarding paperwork for Pomona, we move in two weeks… everything is getting pretty real!
About to go into my lab for the last time and remove the last box of my stuff 💔 It’s been a long six years and I’ll miss Santa Cruz and my colleagues here.
I did it! Passed with just a few revisions. PhD basically in hand!
Oh yeah. And the topic is applying game studies and game design theories to AI work in games like automated game playing, extracting design knowledge like maps automatically, and verifying that action or adventure games e.g. can be beaten
Here’s the stream URL, live at 10:00 PST:
My dissertation defense is tomorrow and then the PhD is basically over. Without my family and my labmates and my accepting and understanding faculty I would surely not have made it through. I’ll post a stream link tomorrow.
Also, https://matklad.github.io/2018/06/06/modern-parser-generator.html is worth a read even if you're only kind of interested in parsers. There's epiphanies in it. Like:
Regular languages (regex's) are state machines with a fixed memory space.
Full Turing machine languages are state machines with two stacks of memory space (moving the Tape is popping an item from one stack and pushing it to the other).
Context-free languages are exactly in the middle: they're state machines with one stack.
I don't know what it means but it's deep.
Noëlle the 8-Bit🏳️🌈🎄
Gitlab's Ultimate and Gold plans are free for open-source projects and educational institutions: https://techcrunch.com/2018/06/05/gitlabs-high-end-plans-are-now-free-for-open-source-projects-and-schools/ h/t @Sir_Boops
Just learned about https://codeocean.com. It seems super cool—upload code and data and run it in some type of container for archiving (with a DOI!) and reproducible research. IEEE will even show it with paper metadata like figures!
Has anyone tried applying concepts like spaced repetition in CS courses, especially AI? I think AI’s subject matter is a good fit but I’m looking for prior art as I build my course… too often CS classes are a forced march through either unrelated or strictly sequential topics.
The parallelization of logic languages: https://cliplab.org/papers/partut-toplas.pdf
Are there any foss/decentralized alternatives to twitch or YouTube for live streaming and maybe archiving videos? I’d like to stream my class preparation process (a discrete math/functional programming course and an AI course) and I hope to avoid closed platforms.
Matrix room plus RTMP URL? Is that where we’re at right now?
So I uh just made the most embarrassing search query I’ve ever made: “cool hats for dads”
Because I want to be cool, but also in a boring and dad kind of way?
... any suggestions?
