Show more
Nick boosted

has anyone ever seen a unix terminal (?) that lets you use the “normal” text editing keyboard shortcuts (ctrl a for select all, ctrl c to copy, etc)?

please don’t reply telling me why this is a bad idea/impossible (i can think of lots of objections myself), only curious to know if it’s been tried

Nick boosted

Why #mastodon? Even when it's maddening that so many who I miss and wish well of are still posting content on #twitter, in a way that helps #elon to harm the entire internet?

I'm here because I believe what we do matters. So does where we choose to do it.

I don't need to monetize content, but what I create is mine. It's meaningful to me, and useful to others.

#mastodon respects that, helps me create it, and delivers it to you, without laying claim to it.

#mastodon is worthy of my words.

Nick boosted

For 6 weeks our team met in Maxwell's childhood home in Edinburgh, working on software for agent-based models.

We developed a category-theoretic framework that lets you model discrete structures that change randomly at discrete moments in time, coupled to continuous variables that evolve according to ordinary differential equations. It's incredibly flexible! We've written code for a lot of it, but there's more to do. And I need to write explanations - illustrating the math and software with a bunch of well-known COVID models. So we'll keep meeting on Zoom.

But still, I have more free time now! I want to finish a bunch of papers.... and books. It's a bit intimidating, but one at a time:

• "Tweets on Entropy", the course on entropy I taught on Twitter. I started with the basic idea of entropy as "missing information", and the principle of maximum entropy, and eventually used this to derive a formula for the entropy of an ideal gas.

• "Coxeter and Dynkin Diagrams", notes from my Leverhulme Lectures. It's almost done; I mainly need to fix an embarrassing mistake.

• "The Mathematics of Tuning Systems," from my blog posts. I'm not even done with the posts, and then I want to turn them into a paper. I've lost a lot of momentum on this compared to when I was absolutely obsessed and knew all the numbers by heart. But it may be good to see this with fresh eyes.

• "Lectures on Classical Mechanics", with Derek Wise, focusing on the Lagrangian approach. This has a bunch of encapsulated postscript figures, and now I can no longer get those to work, so I have to start by solving this annoying technical problem.

Nick boosted

stop referring to vulnerabilities stemming from software using publicly-available package repositories cataloguing what amounts to a vast effort of free labor as “supply chain attacks”

providing free labor does not make one a supplier — a “supply chain” implies some form of economics where EVERY OTHER MODEL of a supply chain involves money changing hands

these attacks are against a communal resource, not a supply chain

Nick boosted

This is the abstract for my LICS/FSCD talk next week.

"Topology provides a bridge between the finite nature of computers and the infinite nature of mathematical objects we want to compute with. The first part of the talk will review the history and main contributions of various protagonists, building on the pioneering insights of Brouwer, Kleene, Kreisel, Myhill & Shepherdson, Scott, Smyth, Voevodsky, among others. The second part of the talk will discuss my own work, old and recent, including the development of topological ideas in type theory, which serves both as a programming language and as a foundation of constructive mathematics. The talk will be addressed to a general audience, and will not assume familiarity with topology or type theory."

Now I am having a hard time implementing this abstract to please both the LICS and the FSCD audiences.

My intention is to address the students in the audience, and motivate them to learn topology and think topologically.

Quiz. Who said "Always topologize"?

Nick boosted

Working remote? want a trick? And it supports artists. @internetarchive went remote-first...

One thing we have done is have 10 minute concerts to start our staff meetings. (I think this is why our staff attends :) ).

All performers are paid and we post venmo/paypal, Some performers gave permission to post them.

an example:
archive.org/details/emerald-ra

300 of them-- try picking a few:

archive.org/details/essential-

(do other org's do this?)

Nick boosted

Google’s emissions climb nearly 50% in five years due to AI energy demand

theguardian.com/technology/art

> Tech giant’s goal of reducing climate footprint at risk as it grows increasingly reliant on energy-hungry data centres

Nick boosted

Have you ever wanted to learn #Rstats, but you were too busy to dive into it?

If so, you can attend one of the upcoming sessions of my acclaimed online 2-days workshop “Getting started with R for busy people”.

Learn more here: o.simardcasanova.net/workshops

Nick boosted

holy moly: this could be a gamechanger- far far far too many international science collaborations that I am part of rely on google docs (or dropbox, or onedrive).

Maybe, just maybe, this will help scientists and scholars to chose #privacy focused options instead.

mastodon.social/@protonprivacy

Nick boosted

@vicgrinberg I feel ya. It seems like the community has scattered. I like the astro/planetary community here, but it's very small. Blue sky is different though it seems more astronomers/planetary scientists went there. Hopefully over time we can keep building a community here.

Nick boosted

Mississippi is the poorest state in the US.

Even though the state gets federal welfare funds, it is difficult to get welfare.

The money was all getting stolen, and they got away with it.

Now the journalists who exposed the story are facing a lawsuit and jail.

nbcnews.com/investigations/ann

Nick boosted
Nick boosted

This is a smart move by @Mastodon. #Twitter / #X journalism is struggling, and #Threads doesn’t want journalism. Mastodon is leaning into it though, “To reinforce and encourage Mastodon as the go-to place for journalism, we’re launching a new feature today.” I think this is a lever for differentiation; making Mastodon more valuable to journalists and users.
mastodon.social/@Mastodon/1127

Nick boosted

Appreciation post for how #mastodon has never tried to sell me anything.

Thank you :emoji_wink:

Nick boosted

The projectionist's booth at the long abandoned Coyle Theatre

See the new photo gallery on Abandoned America: abandonedamerica.us/coyle-thea

Nick boosted

"Saved

MTV News Is Back (Kind Of) Thanks to the Internet Archive

After Paramount Global yanked over 20 years of music journalism, the non-profit Internet Archive created a searchable index of MTV News via its Wayback Machine"

rolling stone.

rollingstone.com/music/music-n

Nick boosted
Nick boosted
Nick boosted

Today we're launching a new #Mastodon feature that will highlight writers and journalists that are active on the fediverse when their their articles are being shared.

blog.joinmastodon.org/2024/07/

Nick boosted
Show more
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.