Mark Mounts @markmounts@social.cleverlibre.org

In current GenAI controversies, both sides tend to anthropomorphize the technology: Machines aren't »inspired« by human creativity; they interpolate statistical patterns. But to call this simply »theft« trivializes it: It's automated exploitation and devaluation of human labor

How to prove it with Lean. ~ Daniel J. Velleman. https://djvelleman.github.io/HTPIwL/ #ITP #Lean4 #Logic #Math

"Mathematics is one of the essential emanations of the human spirit, a thing to be valued in and for itself, like art or poetry."
Bulletin of the American Mathematical Society

Oswald Veblen died #OTD in 1960. He was a mathematician, geometer and topologist, whose work found application in atomic physics and the theory of relativity. He proved the Camille Jordan curve theorem in 1905. via @wikipedia

Books by Oswald Veblen at PG:
https://www.gutenberg.org/ebooks/author/8217

#science #mathematics

In response to everyone who's said, "Gov. Abbott isn't going to care that you didn't go to SciPy," you're right, but my niece and my LGBT friends will. And to those saying, "But the venue was already booked—do you know how much work/how expensive it would be to move/cancel?" Yes: I've organized confs in the past, I know how hard it would be. But a principle is an idea you're willing to make sacrifices for. If you're not willing to make sacrifices, you don't have principles.

Articles on "History of Math" by The American Mathematical Monthly

https://maa.tandfonline.com/journals/uamm20/collections/History-of-Math

Via a Twitter post by Dave Richeson [ https://twitter.com/divbyzero/status/1649421703120842752 ]

@gregeganSF @johncarlosbaez

#Mathematics #Journals #History

Have you ever thought about visiting all of the national parks in the U.S. in one epic road trip?

In 2016, data scientist Randy Olson optimized the route of 14,498 miles (23,333 km) which would take 2+ months. He even designed the journey as a circle so you can begin at any point & direction.

All the details: https://randalolson.com/2016/07/30/the-optimal-u-s-national-parks-centennial-road-trip/ #science #data #nature #travel

tbh I've always felt the Internet Archive's digital lending case was a tough one but I'm absolutely appalled by the judge finding the lending program "commercial" because it allowed AI to "solicit donations" and "bolster its standing."

That would transform everything a non-profit does into "commercial" activity. It's a ridiculous reach by a judge who seemed determined to rule against IA in every way he could find.

https://storage.courtlistener.com/recap/gov.uscourts.nysd.537900/gov.uscourts.nysd.537900.188.0.pdf

Mechanical mathematicians (A new generation of automatic theorem provers eliminate bugs in software and mathematics). ~ Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirović, Uwe Waldmann. https://matryoshka-project.github.io/pubs/mechanical.pdf #ATP #ITP #Math

We think that the past is somewhere different. Somewhere we've left behind. A place we used to be. We think that the future is something far off and away. Someplace way out there, but it isn't.Nothing escapes the gravitational pull of the present and that includes both the future and the past. It's all still right here...

https://duanetoops.substack.com/p/the-density-of-the-present

#reading #writing #art #poetry #collage @bookstodon

Interested in learning the basics of webscraping?
Sarah King (https://www.sarahasking.com), PhD researcher
@ucdpolitics and a member of the Connected_Politics Lab, will deliver a free, virtual workshop on Thursday, 23 March (13:00–15:00 Irish time).

Details and free registration at: https://www.ucd.ie/connected_politics/events/anintroductiontowebscrapingusingr/
All welcome!
@politicalscience #rstats #webscraping #coding #polisci #polsci

To meditate with these #metta phrases, just repeat a phrase to yourself then pause to allow your inherent instinct for care & compassion to well up….

may all beings be well-loved.
may all beings be filled with love.

may all beings feel safe and secure.
may all beings be a place of safety and refuge for others.

may all beings be free of envy and emnity.
may all beings delight in the joy of others.

may all beings be free of suffering.
may all beings be at peace.

#buddhism #meditation

I can't believe I missed this podcast last year: Ta-Nehisi Coates on Tony Judt
cc @mucida
🎧 👇

https://www.publicbooks.org/primary-sources-ta-nehisi-coates-on-tony-judt/

Here is your must-read article for the day, a profile of @emilymbender, and her efforts to deflate the ridiculous hype around large language models such as ChatGPT.

https://nymag.com/intelligencer/article/ai-artificial-intelligence-chatbots-emily-m-bender.html

Reddit / math : Beautiful math with beautiful images, hyperbolic spaces, Coxeter groups, tilings, and circle packing meet together.
https://www.reddit.com/r/math/comments/113u41i/beautiful_math_with_beautiful_images_hyperbolic/
#mathematics #math #maths

A group of "Scared Scientists" created a website. Here is what one of them has to say...
________________________

SHAUNA MURRAY
Biological Scientist
University of Technology Sydney, University of Tokyo, University of New South Wales

STATEMENT:

We've recorded all sorts of climate change shifts in multiple areas. However, the scientific process is consistent. Every single individual study that has been done has gone through the same rigorous process, data collection, research analysis, and qualified peer review.

At the moment, we've at least 10,000 different papers completed over twenty years, each using different data sets, and they are all coming to the same climate change conclusions. We've a weight of evidence that the average person is simply not aware of — and this frightens me.

I'd like to think that we're not going to reach the projected four degrees of warming this century, because I can't even imagine what that would look like. Eighty years is not that long, and unless we act soon my seven-year-old daughter will probably have to live through that.

MORE HERE -- https://cargocollective.com/scared_scientists

#ClimateCatastrophe #Extinction

Apparently people don't just like emulated calculators in the browser - they love it, and want more.

So come enjoy the CALCULATOR DRAWER, a dozen plus emulated calculators and (where I could find them) the manuals. Get calculating!

https://archive.org/details/calculatordrawer

My latest for @thenation

While They “Have the Tools,” We Are Still Suffering and Dying in Our Thousands

In the Orwellian world of White House #Covid messaging, some Americans are more equal than others.

https://www.thenation.com/article/society/orwellian-white-house-covid-policy/

As I’ve studied #Buddhism in more detail I’ve realised yet again just how important words are and how using a particular word can colour your understanding of a concept (especially in translation.) I find myself looking up words in the dictionary constantly these days to try and get more a feel for where some of these words that we take for granted in the English language even came from, which is often edifying.

Tunnel of love. Ukraine. It is a botanical phenomenon - a green tunnel in a forest about 4 km long, created by thickets of trees and bushes that intertwined with each other and created a dense tunnel of an exact arched shape. An industrial train passes along this track three times a day.

Populism coupled with increasing assaults on scientific integrity have dramatically shifted the political landscape & contributed to geopolitical instability.

The policy ramifications are yet to be understood, but anti-intellectualism has threatened public health, stymied environmental progress, influenced funding priorities & sculpted the rhetoric of local, state & national politics.

New post: The Rise of Anti-intellectualism https://sheril.substack.com/p/the-rise-of-anti-intellectualism #science #politics