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.

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.

“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

When given opportunity to write some D&D poetry, you say "Hell yeah" and do it.

Many thanks to the Editors and fellow authors on this anthology.

https://playstorypress.org/books/roll-with-advantage/

Roll with Advantage – Play Story Press

Discussing boundary objects this Fri with the Dynamic Abstractions group. I'll introduce Susan Leigh Star's work through David Ribes' ethnography of domain expertise; why it's hard to translate across silos, and how to make intelligent interfaces that help. Join us over Zoom on Sep 19th at 9am PT / 12noon ET: https://dynamicabstractions.github.io/
dynamic abstractions