web a11y, inline-images Show more

bad a11y day Show more

New blog post "Connectivity and finiteness in modal graph logic", 11011110.github.io/blog/2019/0

Inspired by Joel David Hamkins’ recent blog post on modal model theory (jdh.hamkins.org/modal-model-th), I look at how one can express some basic graph properties in this kind of logic.

Not only does this unintentionally cover a bunch of WCAG SCs in human terms, the comments are also a good read. seriouseats.com/2019/07/cookin

Submitted blurha.sh/ to Hacker News, let's hope it gets upvoted Totally Organically.

webdev joy Show more

Modal model theory: jdh.hamkins.org/modal-model-th

For graphs, this extends first order logic (where the only quantification is over vertices and the only predicate is adjacency) with operators \(\Box\) and \(\Diamond\): \(\Box(F)\) is true when all supergraphs model \(F\) and \(\Diamond(F)\) is true when at least one supergraph models \(F\).

This can express nontrivial graph properties like \(k\)-colorability, and comes in two variants depending on whether you can quantify outside the operators.

“<output>: HTML’s native live region element” by Scott O’Hardcider

Maybe we do not need <[std-]toast>.

old web APIs can be weird Show more

print authors Show more

print authors Show more

“Is it [weird] how saying sentences backwards creates backwards sentences saying how [weird] it is?”

Hey! :) The Recurse Center is "funding Fellowships of up to $10,000 for women, trans, and non-binary people to work on programming projects, research, and art at RC this fall.

Apply by July 22nd and start August 12th or September 23rd."


This is an incredible opportunity – if you want to be part of a diverse, kind programming community, and spend three months focusing on projects close to your heart, this is your chance! Happy to answer any questions you might have! \o/

@christianp the latest mathsoff seems to lack a poll. Also, YouTube videos overflow on mobile.😇

Show more

A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.

Use \( and \) for inline LaTeX, and \[ and \] for display mode.