Jasmine Otto

191 Followers
316 Following
226 Posts
Critical visualization researcher. On the job market!
Building software instruments to enable collaboration in space science and narrative design. Computational Media PhD, UC Santa Cruz. she/they
portfoliohttps://jazztap.github.io
notebookshttps://observablehq.com/@jazztap

A lot of what Bill Thurston says here resonates with my personal experience:

https://arxiv.org/abs/math/9404236

I don't understand his mathematical work, and, if he were alive, he probably wouldn't understand mine.

But this is precisely the kind of things he discusses! Among many other interesting things.

I am sure his experience will resonate with yours too!

On proof and progress in mathematics

In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of foliations and geometrization of 3-manifolds and dynamical systems.

arXiv.org

I really enjoyed this conversation with FAFO -- not every day you get to bounce from the nitty gritty of software metrics to big questions about fighting to defend and build for the human needs of developers! 🔥

https://www.fafo.fm/developing-measurements-with-cat-hicks/

Developing Measurements with Cat Hicks

SoCal Linux Expo - discount "FAFOF" -https://www.socallinuxexpo.org/ Kubecon EU Amsterdam - https://events.linuxfoundation.org/kubecon-cloudnativecon-europe/ Linuxf…

Fork Around And Find Out

is there a good paper/citation for the relationship between "coprogramming" (programming with coinductive data) and object-oriented programming?

my go-to paper for coprogramming is Atkey & McBride's "Productive Coprogramming with Guarded Recursion"

and for OO's relationship to existentials, Cook's "On Understanding Data Abstraction, Revisited"

I want a third paper that links them up. or maybe just a blog post or something.

@samgoree
main readings from her syllabus, applicable to research through design:
> The required texts for the course are three representative texts that help to
contextualize emotional and social approaches to HCI:
> Norman, D.A. 2007. Emotional Design: Why We Love (or Hate) Everyday Things. Basic Books
> Dourish, P. 2001. Where the Action Is: The Foundations of Embodied Interaction. MIT Press
> Picard, R. 1997, Affective Computing, MIT Press
@samgoree Ah, that makes sense. My best lead would be Katherine's syllabus for CMPM 290K "Social and Emotional Approaches to HCI". Lemme send you an email.

Have any of you ever taught game design (broadly construed) as part of a first course in human-computer interaction?

I'm exploring an idea for a project assignment and looking for examples.

@samgoree If you mean HCI as in creative coding, Gillian Smith's paper on ungrading CS1at WPI is fantastic for this. It's p5.js based, intended for students who haven't coded.
https://dl.acm.org/doi/pdf/10.1145/3626252.3630903

If you mean HCI as in experiment design, I'd give Sai's paper with Elin and Eddy a look. Don't mind the AI support gloss; imo the core here is that writing games (IDN) in Twine is analogous to storyboarding. Except the students who are scared of drawing won't be spooked.
https://dl.acm.org/doi/pdf/10.1145/3605098.3636131

“complementary/competitive cognitive artifact” (david krakauer) names the distinction between tools for thought that build new cognitive skills vs those that replace them. i hate these terms yet the thing they name is something I want to talk about all the time. anyone got a different set of words?
Omg he's me

> This is part of the reason why I never liked moving by line number or by reductive and “automatic” systems that generate places for you to jump to or edit. If I cannot predict ahead of time what I need to type to maintain the tempo of editing and movement, then I find tools that do this to hinder more than they help.

https://www.masteringemacs.org/article/combobulate-structured-movement-editing-treesitter
Combobulate: Structured Movement and Editing with Tree-Sitter

Combobulate is a package that adds advanced structured editing and movement to many programming modes in Emacs. Here's how it works, and how it can enrich your editing experience in Emacs.

Mastering Emacs
UBC Computer Science invites applications for up to two full-time tenure-track positions with the following priority areas: visualization, robotics, reinforcement learning, data management, and data mining. Applications are due Wed Dec 10, 2025.
https://www.cs.ubc.ca/our-department/employment/two-faculty-positions-computer-science