web a11y, inline-images Show more

bad a11y day Show more

This is an amazing project: STEM Role Models Posters — In 7 Additional Languages

https://medium.com/nevertheless-podcast/stem-role-models-posters-2404424b37dd

New blog post "Connectivity and finiteness in modal graph logic", https://11011110.github.io/blog/2019/07/13/connectivity-finiteness-modal.html

Inspired by Joel David Hamkins’ recent blog post on modal model theory (http://jdh.hamkins.org/modal-model-theory/), 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. https://www.seriouseats.com/2019/07/cooking-websites-and-accessibility-for-disabled-readers.html

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

webdev joy Show more

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

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

https://www.scottohara.me/blog/2019/07/10/the-output-element.html

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

old web APIs can be weird Show more

print authors Show more

print authors Show more

print authors Show more

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."

https://www.recurse.com/blog/149-10000-fellowships-for-women-trans-non-binary-programmers

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/

From games to infographics, 5 online typography exercises to improve your skills

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

All things math on the web.

Works at krautzource, IE on ARIAWG, used to work for MathJax, runs mathblogging.org & BoolesRings.org.

Joined Nov 2017