"This week we announced a business model transition that will align pricing with usage and value."

Weapons grade business babble right here, ya'll. It's called a token price hike. Just say it. Say it plain and simple, you could use one of the LLMs to help you even.

Prompt "please make this more simple and direct."
🤣

the reason i fell into this trap in the first place because i wanted to understand what "C formalized in HOL" was on about https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-453.pdf

C also combines a number of interesting features on the theoretical front, making it additionally interesting as a subject of study.

this is not something i wanna hear from someone claiming to have formalized it

For example, C’s expressions both are side-effecting and have very under-specified evaluation orders. If these semantic features were the main area of interest in studying a language, then it would clearly be easier to construct a simple calculus that included these features and little else.

this is ridiculous. obviously these semantic features are not ideal when attempting to write code that runs e.g. in ring 0. yet people do it (and this is meaningfully outside the C standard). the UB becomes defined thanks to our friends who write the compiler. is it worth attempting to standardize ring 0 properties?

However, we prefer to attack as much of C as possible all at once. As Milner and Tofte point out in the commentary on the definition of SML [MT90], this study of languages in their entirety has its own grounds for interest, and we further feel that our study of C gives us a possible
application in the area of software verification.

they didn't even mention a single concrete implementation until the appendices

RE: https://mstdn.social/@Free_Press/116596679010571639

Sitting in a hospital reading about starving babies in the little-reported famine in #Afghanistan, made immeasurably worse by #USAid suddenly cutting $1.7bn in aid last year to zero, only to read about $1.7bn in US taxpayer cash to compensate Trump’s circle for tax investigations.

You couldn’t make it up, and if it wasn’t so unbearably tragic -millions watching their children starve before them, I can’t imagine anything more painful- it would be like a comic book villain’s ridiculous evil plan.

Working in that environment, seeing as Google rolled out the idea of "cloud computing" meaning "you have no involvement or agency in your computing because we do it for you" radicalized me for much of the work of my career.

It was one thing to run a datacenter to index the world's public web information. I understood that, it made sense.

But watching as Google and Apple co-developed the idea that computers, which I cared about, got abstracted into toys and jewelry that had all your key computing done in a way you had no agency over... where I saw firsthand the kinds of churn of resources necessary to keep these things going, it made me want to fight for a different computing future.

RE: https://mastodon.online/@mastodonmigration/116597735999289806

Time to pull out my essay again about how I used to love rocket launches: https://theconversation.com/an-astronomers-lament-satellite-megaconstellations-are-ruining-space-exploration-215653

And maybe also our article about turning the atmosphere into a satellite crematorium: https://theconversation.com/a-new-space-race-could-turn-our-atmosphere-into-a-crematorium-for-satellites-276366

While you're at it, you should also read "More Everything Forever" by Adam Becker, "A City on Mars" by the Weinersmiths, and "Astrotopia" by MJ Rubenstein.

And then go outside and enjoy our beautiful planet, because we are stuck here on Earth, together, and we need to make that work.

@PeterLudemann It's not a problem at all. They keep referring to themselves as "I" -- treat them as you would a person. In this case, that person is going to be the CEO. Lock them up.

RE: https://mastodon.online/@mastodonmigration/116597735999289806

Time to pull out my essay again about how I used to love rocket launches: https://theconversation.com/an-astronomers-lament-satellite-megaconstellations-are-ruining-space-exploration-215653

And maybe also our article about turning the atmosphere into a satellite crematorium: https://theconversation.com/a-new-space-race-could-turn-our-atmosphere-into-a-crematorium-for-satellites-276366

While you're at it, you should also read "More Everything Forever" by Adam Becker, "A City on Mars" by the Weinersmiths, and "Astrotopia" by MJ Rubenstein.

And then go outside and enjoy our beautiful planet, because we are stuck here on Earth, together, and we need to make that work.

I recently imagined a clip in a film I'll never make of a couple snuggling on the couch at a cafe listening to bots on their two phones give 'their' hot takes on the film the couple had just seen.

This real life implementation is about as empty:

https://techhub.social/@Techmeme/116596312742431654

@JulianOliver holy hell. That's too close for such late notice.

RE: https://mastodon.gamedev.place/@imp3tuz/115887968957979800

i know there’s almost no point in trying in this current job market, but i’m still deeply in need of work to help me move out of my family home and regain some autonomy.

so if you ever need anyone looking for a junior game dev, visual designer, or hell even consultancy/proofreading on diversity in your project (from the perspective of a blank trans woman on The Continent) a girl is here <3

also an OK video editor :)

(feel free to boost and even share with peeps outside the fedi)

#FediHire

@yogthos only in America

New, by me: CISA Admin Leaked AWS GovCloud Keys on GitHub

Until this past weekend, a contractor for the Cybersecurity & Infrastructure Security Agency (CISA) maintained a public GitHub repository that exposed credentials to several highly privileged AWS GovCloud accounts and a large number of internal CISA systems. Security experts said the public archive included files detailing how CISA builds, tests and deploys software internally, and that it represents one of the most egregious government data leaks in recent history.

https://krebsonsecurity.com/2026/05/cisa-admin-leaked-aws-govcloud-keys-on-github/

@theruran @50htz You both have not realized the far reaching consequences of this work I have finished. You definitively don't. All the answers, all the goals I was targeting when I met James, that were just dreams by that time, are now real. The work conceptual & architectural work is finished. Now it's the easy part of implementation details. And you don't seem to understand what it means to me. It's like when I found my solution against stack over+ROP X 1000.

@magnusmanske That is very short!

@JessMahler Awesome, added it to the reader that is apparently built into Vivaldi!

@cwebber The appliance-ization of computing really depresses and infuriates me.

Growing up with early personal computers in the 80s, the magic and the promise was you could use these machines to do *anything*, including things nobody else thought or cared to do!

A big part of what I fought to build in Android was a mobile platform that'd also deliver on the "you can run anything you want" promise of the machines I grew up with... sadly over the past decade that has been seriously eroded.

Click

https://clickclickclick.click/

#HackerNews #Click #tech #news #innovation #webdevelopment

how is this not The Onion 😆

#usa #china #cope #comedy

@thomasfuchs @foone burn baby burn