Show newer

And if any of my students are reading this, there is NO CONNECTION between this query and the upcoming final.

Show thread

Oh gee whiz... how do we create diagrams for inclusion in LaTex exams these days? Before I dive into GraphViz (or just draw the thing on the board for the class), am I missing something obvious?

Some historical precedents for denser ground-oriented housing choices (what I coined #GentleDensity) just make you melt. This is Schnoor Quarter in #Bremen, Germany —“life before the car” via @heuristics. It’s too low density for places that really need & can support well designed higher densities, but it’s an excellent alternative to low density sprawl. Nothing stops us from building something like this today, except our rules, biases and lack of political will. #missingmiddle #cities #urbanism

This is not a joke: San Francisco Police want to arm robots for use against the public. You can help stop them.

i might have my criticisms of mastodon, but the founder of post is out here pretending “net worth” is a protected category to signal you can’t make fun of billionaires on his a16z-funded twitter alternative

“Oh my god” is my favorite expression because if you remove any of the three words, it has the exact same meaning, but in a very different tone

This is an old project, but by some miracle it's still working and I woke up this morning wanting to celebrate the things I love more.

This Inkplate e-ink screen shows Conway's Game of Life, seeded from tarpits I have on the Internet. The tarpits are programs on my computer that superficially look like insecure Telnet and Remote Desktop services, but actually exist to respond super slowly and make bots scanning the Internet 'get stuck'.

When a bot connects to the tarpit, the data it sends gets squished into a 5x5 grid and 'stamped' onto a Game of Life board. Data from a bot at the IP address 1.1.x.x will get stamped on the top left corner, data from a bot at 254.254.x.x will get stamped on the bottom right corner.

Conway's Game of Life, a set of simple rules that govern whether cells should turn on or off, updates the display once per second. The result is that bot attacks end up appearing as distinct 'creatures', that get bigger and more angry looking over time (as their centre is updated with new data). After the attack finishes, the 'creature' eventually burns itself out.

Despite that description, it's a really chill piece of art that doesn't draw too much attention but I can happily watch for a long time.

Credit for the idea goes to @_mattata, I had been wanting to make a real-life version of XKCD #350 for years before seeing his Botnet Fishbowl project.

#projects #inkplate #esp32 #eink #infosec #tarpit

New study of 508 one-way London streets with a bike lane:

"Crash rates are identical whether the cyclist is traveling with flow or contraflow."

#cycling #bike #bicycle #urbanism #urbanplanning

Racket Mode is now available from NonGNU ELPA (which Emacs 28.1+ comes configured to use automatically) as well as still being available from the still-amazing MELPA archive.

Please retoot 🤣!

📢 My group is actively recruiting new PhD students interested in building interactive tools to study and improve urban accessibility. We're particularly interested in candidates who have background in data science, GIS, and/or computer vision. See: for more!

Together, let's transform the future of urban access! 🏙👩‍🦯👩‍🦽👩‍🦼🛴🚴‍♂️

@tao every person who historically confused correlation with causation has since ended up dead. I think we all know what that means.

@j2kun Cliff Stoll's handmade Klein bottles! The whole site and the notes he sends with the bottles are the funniest and loveliest things.

Closures in Rust are uh much more complicated than in a functional langauge lol


Hey, US folks newly running Mastodon instances: do Future You a *huge* favor, mitigate your potential liability, and register with the copyright office and designate an agent to receive DMCA reports *right now*.


Ok so, I’m running an Icelandic Mastodon instance, and it’s grown to 400 users, including big TV personalities and politicians (MPs!!). It’s also 100% Icelandic that this is all happening on some students Raspberry Pi in his living room in Sweden 😅

If you're looking for Kathi Fisler, please go over and say hi to « @kfisler »!

Show older

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.