227 Followers
997 Following
685 Posts

“My brother would still be here if he just had a #water break.”

Workers, labor #unions, and elected officials staged a day-long ‘thirst #strike’ Tuesday on the steps of the U.S. Capitol, demanding that #OSHA implement new standards requiring protections from the #heat. From McHam Investigative Reporting Fellow @josephinelee: https://www.texasobserver.org/texas-workers-congress-thirst-strike/

#ClimateChange #WorkersRights #labor #Congress #politics #USpol #news #Texas #GregAbbott #activism #HumanRights #workers

Texas Workers, Congressman Launch ‘Thirst Strike’ for Heat Protections

“My brother would still be here if he just had a water break,” said Jasmine Granillo, who’s joining the call for OSHA to save workers from the Texas Legislature.

The Texas Observer
Mass repression in Russia: cosplay of Stalin?

Alexei Navalny was again sent to the punishment cell. He will be kept in isolation until he is sentenced in the 'extremism' case. According to the lawyer, th...

YouTube
TRANSLATION :
‼️По Ukraine alarms are gradually being sounded

Don't ignore!

🇺🇦 Ukraine Now / Subscribe
ORIGINAL :
‼️По Украине постепенно объявляются тревоги

Не игнорируйте!

🇺🇦 Украина Сейчас / Подписаться
SOURCE :
https://t.me/u_now/106451
Украина Сейчас: новости, война, Россия
Media : https://ukraine.osintukraine.com/media/2023-07-26/505451.jpg
Archive : https://ukraine.osintukraine.com/2023-07_40.html#505451
Украина Сейчас: новости, война, Россия

‼️По Украине постепенно объявляются тревоги Не игнорируйте! 🇺🇦 Украина Сейчас / Подписаться

Telegram
I am physically medically dependent on taking sex hormones. My body doesn’t produce its own. HRT isn’t optional care. Without it I’ll get osteoporosis and a whole host of other symptoms. I’ll need to flee the country to get medical care. This is where we’re at. What the fuck

Fediverse, I need your help! My dog with ideopathic epilepsy and liver problems now has fleas and I’ve gotten conflicting advice from his #veterinarians.

Last week he got a bath and a Seresto collar. We also cleaned and treated our whole home. But we’re still noticing flea dirt on him and I don’t know what else to try with the least risk of triggering a seizure 😭

#dogsofmastodon #advice #fleas

Every day of every year of our lives provides golden, unimpeachable, irrefutable evidence that billionaires are categorical sociopathic dumbfucks who got a good roll of the dice, likely at birth, but sure, please tell us more about the true meritocracy of capitalism and how its lordly masters efficiently distribute goods, services and resources in a non-completely-fucked way.
When you've gotta squeeze the circus gig in between the fanfest and the Caledonian Games
#OldMemesNeverDie

This is one of my favorite papers ever about formal proof in practice for software verification. Every so often I forget it exists, and then I remember, and I'm like "oh wow this one's a banger"

https://ieeexplore.ieee.org/document/8543381

BP: Formal Proofs, the Fine Print and Side Effects

Given recent high-profile successes in formal verification of security-related properties (e.g., for seL4), and the rising popularity of applying formal methods to cryptographic libraries and security protocols like TLS, we revisit the meaning of security-related proofs about software. We re-examine old issues, and identify new questions that have escaped scrutiny in the formal methods literature. We consider what value proofs about software systems deliver to end-users (e.g., in terms of net assurance benefits), and at what cost in terms of side effects (such as changes made to software to facilitate the proofs, and assumption-related deployment restrictions imposed on software if these proofs are to remain valid in operation). We consider in detail, for the first time to our knowledge, possible relationships between proofs and side effects. To make our discussion concrete, we draw on tangible examples, experience, and the literature.

#introduction

Hello, world! I am a mathematical physicist, working at the crossroads of #Poisson geometry and #stringtheory (area sometimes called #generalizedgeometry ). I am currently playing a lot with #algebroids but am also interested in wide aspects of mathematical physics and #higherstructures in particular.

I like travelling, hiking, reading, and playing with language :)

In Cartesian coordinates on Euclidean space, the coordinates are essentially distances. If we move from the point (x,y) to (x+s,y), or to (x,y+s), we travel a distance s.

For coordinates on curved spaces, this is hardly ever true! Using latitude and longitude on a sphere a given change in latitude always carries you the same distance along a meridian, but a change in longitude takes you a *different* distance around different circles of latitude.

What about the hyperbolic plane? There are many ways of drawing the hyperbolic plane and choosing coordinates for it, but none of the usual ones measure distances.

The first image here shows the disk model of the hyperbolic plane, and a grid of coordinates, (u,v), with

(x,y) =
(2(u-v), cosh(u+v)^2 + (u-v)^2 - 1) /
[(1+cosh(u+v))^2 + (u-v)^2]

The grid doesn’t fill the whole plane, but in the region covered, changing either u or v by s will carry you precisely a distance s along a grid line.

I found these coords by mapping the “asymptotic curves” on the pseudosphere [second image] onto the disk model.

https://en.wikipedia.org/wiki/Asymptotic_curve

These are curves with the property that every plane spanned by their tangent at a point, and the normal to the surface, slices the surface along a line with zero curvature at that point.

But it’s still a bit mysterious to me why these curves can form a distance-based grid.

Asymptotic curve - Wikipedia