ceoln @ceoln@social.cleverlibre.org

Politics/Social Justice
#healthcareisahumanright #universalhealthcare #Medicare4All #M4A #MedicareForAll #prochoice #bansoffourbodies #blacklivesmatter #reparationsnow #antiwar #nowar #nojusticenopeace #translivesmatter #housingisahumanright #greennewdeal #climatechangeisreal #climatechange #smashtheduopoly

Economics/Labor
#MMT #ModernMonetaryTheory #UBI #UniversalBasicIncome #taxtherich #solidarity #unionstrong #workersunited #yeswecan #democraticsocialist

Art/Style
#signgeek #signjunkie #vintagesigns #neonsigns #savethesigns #midcentury #divebars #midcenturymodern #photography #blackandwhite #35mm #negativescanner

Music
#punkrock #goth #darkwave #coldwave #industrial #postpunk #metal #heavymetal #doommetal #garagerock #gonerrecords #gonerfest #DEVO #DEVOwasrightabouteverything

If someone calls claiming to be from your financial institution - even if they sound very much like what you'd expect from a bank and say that it's an urgent matter - ask them for a case reference number and tell them you'll call them back at the 1-800 number on the bank's website.

The fraudsters are really out in force at the moment.

#fraud #financialcrimes #bankfraud #personalsecurity #finance #selfprotection

Oh that was FAST fast.

GPT-2 output detectors work for GPT-3 and GPTChat, which means people who do stuff like turnitin plagiarism checks have a tool for this fast-moving new frontier.

Personally, I do a choose-your-own adventure/create-your-own-assignment model for most of my non-intro classes, at this point, and frankly i'd be inclined to make this into an assignment, in its own right. It could look something like:

"Generate a GPTChat output on [topic(s)], then expand on and correct the output with specific references and citations from class readings and lectures. Turn in the prompt, the original, and your corrections as your full submission."

Reframe it like that and it helps them think about what the GPT platforms are and do, and then you can integrate that into the whole of the semester's work, rather than making it an arms race of plagiarism and "Gotcha" tools.

https://wandering.shop/@janellecshane/109464780848248093

BIG RED APPLE
US 36 Highway
Wathena, Kansas

Lots of great photos here.With the advantage of stepping back into early web design circa 1996...
http://www.stjosephmemorylane.com/nearby/nearby.html

Can you spot the circles?

It took me a long time. Once you see them, they'll seem obvious.

This is the Coffer Illusion, by Anthony Norcia

That's how they get you...

#BlackMagic #ItsATrap #occultism

Thought this afternoon's birding expedition was going to be a bit of a bust after various public transport mishaps and was plodding grumpily along the trail on Kingman Island when I saw my first DC Bald Eagle and my mood instantly went from 😠 to ☺️.

#UrbanBirding #BirdsOfDC

HourlyWolves presents: https://nitter.net/hourlywolvesbot/status/1601019074229805058/photo/1

🐦🔗: https://nitter.net/hourlywolvesbot/status/1601019074229805058

I think I've found my new favorite Japanese word...

#Kuchisabishii

On Twitter it took us almost 5 years to reach to 50,000 followers.

Here at Mastodon we may be able to do it within one month.

Support our mission & amplify our voice.

#follow #Auschwitz #memory #museums #memory #history #fediverse #mastodon

Do whatever you can to tell the author that you liked their book, if you indeed did. For those of us who aren't ever going to make a living at this, good reviews are the best thing we can reasonably expect to happen when it comes to our writing. I had a coworker tell me today she read Girl on the Moon and was "enthralled" and she's on book 2 now. It really made my day. #writing #WritingCommunity

you better believe i tried the nightmare popcorn

Thread about #UnivalentCombinatorics, in the sense of @egbertrijke.

Usually people think of #ConstructiveMathematics as being more restrictive than #ClassicalMathematics.

In this thread, I want to give a concrete example illustrating that constructive mathematics is more general than classical mathematics.
1/

#introduction I'm a Lecturer in #ComputerScience at Australian National University #ANU in #Canberra , researching #logic and #typetheory with occasional #categorytheory , and teaching a big course on introductory #programming via #Haskell , plus a little course on #lambdacalculus . I write about old and new(ish) key papers in my fields at my #blog https://updatedscholar.blogspot.com/ . Not a tweeter, but wanted to see if Mastodon worked for me instead!

Why cubical type theory, and why cubical Agda?

The discussion in this thread is going to be a bit technical in several fronts. Sorry.

I was meaning to write this for a while, but this discussion motivated me to write this now:
https://mathstodon.xyz/@agdakx@types.pl/109479087194839726

1/

Just spitballing here, but I think it might be time for lunch.

#CatsOfMastodon #lunch

RCR Episode #260: Recommended Standard 232 and Programmed Data Processor-1. 1960 brought us RS-232 and the PDP-1. Join us as we talk more about COBOL, floppy disk manufacturing, programmable rulers, Microchannel architectures, Happy Computers, and more!

http://rcrpodcast.com/episodes/2022/12/8/rcr-episode-260-recommended-standard-232-and-programmed-data.html

#rcrpodcast #retrocomputing #cobol #pdp #rs232

“Nothing will be what you expected.”

Advice from your 80-year-old self https://www.themarginalian.org/2016/01/18/advice-from-my-80-year-old-self-susan-omalley/