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
Sometimes when the hype gets too much for me, I daydream about having a stable income to build my own weird computer. To bring my hypotheticals to life!
I wonder: Who would join me?
You'd be free to chase your own weird computing ideas.
Does Samuel Alito really want to live in the world his theology implies? Of course he doesn't.
He just wants you to live in that world.
@fatsam A former evangelical explained it once thus:
"I get to tell you what to do, you don't get to tell ME what to do."
Ultimately, every issue gets reduced to that.
Immigration: "YOU don't get to come here!"
Gay Marriage: "Don't tell ME what to do!"
Policing: "YOU ARE IN TROUBLE! You violated the law! You don't get to do that!"
Laws Enforced against them: "Don't tell ME what to do!"
People speaking Spanish: "You can't do that, also don't tell me to learn Spanish!"
Abortion: "You can't do that!"
Pronouns: "Don't tell me what to do!"
Voting: "You can't vote like that!"
Separation of Church and State: "Don't tell my church what to do!"
So this idea that we're really sizzling them by calling out their hypocrisies is old hat.
That the rules and laws apply to us and not them is a power flex. Being a hypocrite is a power flex, too.
Or as Frank Wilhoit said it:
"Conservatism consists of exactly one proposition, to wit: There must be in-groups whom the law protects but does not bind, alongside out-groups whom the law binds but does not protect."
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.
This interview which you can listen to is a podcast is Nate Hagens interviewing two old friends at this point who understand just how difficult doing stuff in space.
Colonies are not a thing really. They go to point out that planet Earth is actually really the best planet to colonize.
Mind the glitched, gun-toting ATMs or you'll disappear like tears in rain! In my #cyberpunk adventure - wishlist it now! https://store.steampowered.com/app/4611140/Neofeud_2/
Itch: https://silverspook.itch.io/neofeud2 #indie #gamedev #indiedev #scifi #visualnovel #SteamDeck #Steam #indiegame #noAI #artist #wishlistmonday
"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
So much of computing boils down to data modelling! As much as we software developers might want to kid ourselves otherwise, writing algorithms is only a tiny part of our jobs.
Most of our datamodelling involves figuring out what data interests us & defining that rigorously enough for computers to deal with it, but sometimes when we know what we want to do with our data we can figure out the right perspective to make that fast.
1/2!