New blog entry: The Enshittification of History: https://www.antipope.org/charlie/blog-static/2026/05/the-enshittification-of-histor.html
4. This is the cutest trash can to keep next to your printer for trimmings, etc., and I will hear no arguments on the topic
https://makerworld.com/en/models/1589132-dinosaur-trash-can#profileId-1673360
in Sunflower Yellow
https://us.store.bambulab.com/products/pla-basic-filament?id=43045596233864
@marcoarment Thanks!
it's only a proton if it comes from the steam deck region of valve corporation, otherwise it's just a sparkling wine
#shortenthestory
Alien is a movie where nobody listens to the smart woman - and then they all die - except for the smart woman and her cat.
#HashtagGames
Just popped outside to the yard on this somewhat dim but fairly mild autumn day in Ōtautahi. Saw a wee (grass) skink in the lizardarium, and in the greenhouse the monarch chrysalis has come of age - the butterfly is out and drying its wings (quite a few caterpillars were on the swan plant in the greenhouse - the monarch(s) who laid the eggs was threading the needle to get in to it! But it's a happy day! I just hope it's not too late in the season for for the monarch to fly north...
Photos of monarch and skink!
Not So Still Life # 10 ( 300 Minutes)
by tENTATIVELY, a cONVENIENCE
https://archive.org/details/797.-not-so-still-life-10-300-minutes-1
It’s amazing to see these awesome benefits from AI, stuff getting so much cheaper and everything gets done faster and better!
Wait, I’m getting something on my earpiece…
Lol, Youtube is now feeding me obscure bands that published 24 minutes ago.
I think I finally defeated the algo.
Everybody Bakes the Same Cake is on for May 23-24!
The February event was a surprise success. So by popular request, a quarterly event is the plan, with a cake bake for each season.
Your mission, should you choose to accept it, is the retro, mid-century favourite: Pineapple Upside-down Cake.
Here's a reference recipe for your consideration:
https://www.seriouseats.com/pineapple-upside-down-cake-recipe-8686941
Get your ingredients, bake your #cake, cut corners and mess around at will.
Share your result with the tag #EBTSC
After Supreme Court losses on tariffs, Trump is pivoting to Section 301 authority, which sets no limit on tariff amounts and gives him country-by-country discretion. A trade economist says it's an unprecedented move likely to face court challenges.
https://theconversation.com/how-trump-plans-to-keep-tariffs-at-the-center-of-his-economic-policy-despite-stinging-court-losses-282093
It will be really interesting to see how these 33 Raptor 3s hold up. They increased the thrust and dramatically decreased the weight (weight = strength) because the whole spaceship is way too heavy for the lift they had promised.
The thing sitting on the launchpad is a juiced up monster pushing all engineering margins to the limit.
@mastodonmigration @W6KME @urwumpe
Every time they redesigned the thing, the payload goes down and the size goes up
While specifications may mention some state that is affected by the intended behaviour of a program, it is hard to capture the state that is not changed.
literally a nonsense sentence
In the above example, a client verification that also dereferences a pointer
r, not mentioned in the specification, has no information on its value after execution of the code fragment.
meaningless
This limits reusability and hence scalability of verifications.
the C compiler is a better proof framework than isabelle/HOL
#tdc5229 Last minute food panic
What is your last minute food go-to?
I make turkey picadillo and freeze it. It’s traditionally served with rice and beans. I added blanched broccoli this time. Sometimes I add leftover rice or rice noodles.
#WildDS106 #ds106 #DailyCreate
It will be interesting.
They are deliberately minimizing the difficulty of this mission as much as possible so as to be able to claim a success. The flight will only be 65 minutes, assuming all goes well. It will not complete an orbit. It is just attempting to do what previous launches have done, albeit with a significantly redesigned spaceship.
Still 33 brand new Raptor 3 engines creates an awful lot of opportunity for something to go wrong.
Yeah, every time they put something up in the air for as long as that really lasts they seem to have a completely new engine design. Generally, that means he would have to go through all the baby steps again.
@catsalad
嘘は良くないと思いますし、元の投稿者にたまには敬意を払いましょう。普通の男性がおしゃれとして着る日本の着物です。https://store.gofukuyasan.com/blog/coordinate/
@inumay I love these!
Any thru hikers out there have recommendations for lightweight solar panels? Ideally with USB-C ports, not USB-A ports, and ideally able to charge a phone directly, not requiring a power bank intermediary?
#thruhiking #backpacking #ultralight
@stshank look into "Goal Zero" they make a wide array of lightweight solar apparatus.
Fair warning: if you are thru hiking, you didn't need any of this and you're going to send it all home one shipment later then you should have.
Started my thru with a lot of things I thought were essential. 30 days in, I was carrying less than 20lbs. No frills. No cook system. No extra socks. Half a toothbrush... And I was MUCH happier.
Ounces = pounds. Pounds = pain.
Cut that pack before you even leave
@catsalad
嘘は良くないと思いますし、元の投稿者にたまには敬意を払いましょう。普通の男性がおしゃれとして着る日本の着物です。https://store.gofukuyasan.com/blog/coordinate/
oh yeah the other guy was telling me how much it sucks to verify stuff
and in a single person year, we may be limited to verifying no more than something in the order of 1000 lines-of-code (LoC). Little data exists for how proof-based projects scale, but it is unlikely to be linear.
still just ridiculous that this guy is still talking "verification" without doing the work in the c compiler. i know people do that
The economics of verification have two significant consequences.
so bleak to talk about your research focus like this
First, the range of systems we can hope to verify is limited, but is still large enough to be practically interesting.
that's literally not a "consequence" why would you invoke proof jargon incorrectly lmao
Modern microkernels, with implementations around 10,000 LoC are hopefully within the realm of possibility.
you were just a moment ago saying int * p; int * q; was beyond your abilities
Verification of such systems can bring significant improvements to the reliability of the entire software stack, as above the microkernel layer hardware protection domains limit the impact any incorrectly behaving software has on the trusted computing base [83].
- microkernels don't consider it their problem to provide any sort of correctness guarantees except for their own behavior, so this is just a lie.
- the MMU isolation is from the CPU, not the microkernel
9 months later, here's some sound. The system works!
The unit generator system was pretty painless to use. Things that require big chunks of memory like reverbs, delay lines, and table-lookup oscillators are still TBD, but I have a few ideas.
This patch was built using an emerging C API specifically designed to build initial patches like these. The next phase, however, will be to have some kind of command language to build the patches up instead.
"After working my way through this game, I realize this game is unbelievably amazing. 10/10" Thanks for playing through Neofeud! https://store.steampowered.com/app/673850/Neofeud/#indiegame #IndieGamesFestival #SteamDeck #steamdeals #adventuregamefriday #RetroGaming #cyberpunk