John Clements boosted
Electronic Frontier Foundation

This is not a joke: San Francisco Police want to arm robots for use against the public. You can help stop them. eff.org/deeplinks/2022/11/red-

1+
John Clements boosted
Paris Marx

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

1+
John Clements boosted
Ginny Hogan

“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

0
John Clements boosted
brett
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
1+
John Clements boosted
David Zipper

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

doi.org/10.1016/j.aap.2022.106

#cycling #bike #bicycle #urbanism #urbanplanning

1+
John Clements boosted
Greg Hendershott

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.

0
John Clements boosted
Jon E. Froehlich

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: jonfroehlich.github.io for more!

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

0
John Clements boosted
Geoff Winkless

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

1
John Clements boosted
Oscar Cunningham

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

1+
John Clements boosted
John Regehr

CryptOpt: Verified Compilation with Random Program Search for Cryptographic Primitives

cs.adelaide.edu.au/~yval/pdfs/

1
John Clements boosted
Kategorienpest :verified:

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

1
John Clements boosted
Norman Wilson

RT @rahaeli@twitter.com

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*. copyright.gov/dmca-directory/

🐦🔗: twitter.com/rahaeli/status/159

0
John Clements boosted
Justin Frank :maybe_verified:​

Probably the best way I've had an advisor tell me I should do something
types.pl/@dvanhorn/10936556257

0
John Clements boosted
Matti Palli :verified:

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 😅

1+
John Clements boosted
Shriram Krishnamurthi

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

0
John Clements boosted
Shriram Krishnamurthi

I'm in. I've started paying monthly for Mastodon.

1+
John Clements boosted
Todd Campbell

washingtonpost.com/news/wonk/w

0
John Clements boosted
Khoa Vu

This is such a succinct piece that explains exactly why some people really like mastodon and some really don't.

uxdesign.cc/mastodon-is-antivi

1+
John Clements boosted
NanoRaptor

Remember when these fell out of every magazine, postbox, mail drop and catalogue?

1+
John Clements boosted
Kategorienpest :verified:

The usual syntax for regular expressions is not a regular language because it requires parentheses. The usual syntax for context free grammars/expressions is not context-free because it uses recursion using variable names.

Is there any fundamental reason for this, i.e., some kind of diagonalization/fixed point argument or is it just a coincidence? I think the Goedelian argument doesn't apply because they are weaker than Peano arithmetic?

1+
Show older
types.pl

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

Resources

Developers

What is Mastodon?

types.pl

More…

v3.5.5+types · Privacy policy