This is an amazing project: STEM Role Models Posters — In 7 Additional Languages
medium.com/nevertheless-podcas

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.

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
scottohara.me/blog/2019/07/10/

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

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

recurse.com/blog/149-10000-fel

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

dribbble.com/stories/2019/07/0

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

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.