glitzersachen

@glitzersachen@hachyderm.io

#SoftwareEngineer, privately interested in #commonlisp currently, also #python and #emacs.

Views presented here are my own and not of my employer.

I have a degree in physics, too (and not the new fangled bachelor shit ;-), BTW).

This profile is from a federated server and may be incomplete. Browse more on the original instance.

rbreich, to random
@rbreich@masto.ai avatar

Effective tax rates before and after the Trump tax law:

Verizon
Before: 21%
After: 8%

Walmart
Before: 31%
After: 17%

AT&T
Before: 13%
After: 3%

Walt Disney
Before: 26%
After: 8%

FedEx
Before: 18%
After: 1%

This is what a corporate giveaway looks like.

glitzersachen,

@huntingdon @rbreich

Calvinism in action.

glitzersachen, to random German

PSA: Some more people need to back this

https://www.kickstarter.com/projects/mwlucas/run-your-own-mail-server/posts/4105772?ref=ksr_email_mktg_auto_backer_project_update_registered_users

so we all get the reward for the second stretch goal.

Also: Don't you want to stick it to the E-Mail oligopoly? This book is your chance: Now you can do it. Instant revenge on Web.de, gmx mail, Apple mail, gmail. They'll all cry out their cursed eyes, because you can ride into sunset -- without them.

futurebird, to random
@futurebird@sauropods.win avatar

What is the best explanation you’ve heard for 1 not being a prime number? For me it’s “because it breaks everything in my programs since the loops won’t terminate” but that’s obtuse. “Because the God of math decrees it so!” is compelling, but shallow.

“it can only be divided by 1 distinct number” is contrived.

1 “feels” prime— it has the fewest factors. (Primeness being about NOT having factors) ruling it out for having too few? eh.

“it’s the zero of multiplication” is better… thoughts?

glitzersachen,

@winter @futurebird

Problem: What are the prime factors of 4?

2^2?
2^2 * 1?
2^2 * 1^3?

inthehands, to random
@inthehands@hachyderm.io avatar

This. This headline. This action. This framing.

Blunt. Accurate. Just.

This.

https://www.theguardian.com/law/article/2024/may/20/icc-prosecutor-seeks-arrest-warrants-israeli-pm-netanyahu-hamas-officials-war-crimes

glitzersachen,

@inthehands

It must burn so for the perps: "Hurray, they're giving out arrest warrants for our $ENEMY. Wait ... what?"

jwildeboer, (edited ) to random
@jwildeboer@social.wildeboer.net avatar

The ICC prosecutor showed diplomatic strategy by announcing his request for arrest warrants against Hamas leaders and Israeli politicians at the same time. The reactions are predictable. But by combining it this way, the message is clear. One injustice, no matter how evil, does not justify to commit another.

glitzersachen,

@jwildeboer

We know this will not have consequences and nothing will come from it (see, amongst others, the warrant against Putin). But regardless it is entertaining.

You do not happen to know how long those warrants stay valid? Because this would all engender a new portion of Schadenfreude in my black heart if some people would have to pay attention where they are going for vacation, for, let's say, the next 20 years.

glitzersachen,

@jwildeboer

There is that. A bit of Schadenfreude, though Russia is big and there are many non-member states.

> Arrest warrants from the ICC have no expiry date.

Hehe. Gonna cherish that.

gamingonlinux, to random
@gamingonlinux@mastodon.social avatar

Google AI just telling people to drink piss. Perfect, no notes.

https://x.com/dril/status/1787041991391584549

glitzersachen,

@gamingonlinux

Muhahaha.

glitzersachen,

@gamingonlinux

So, to fair, these days the only appropriate way to reflect on the world is shit-posting and parody. Though parody is at a distinct disadvantage since we live in one.

asmartbear, to random
@asmartbear@noc.social avatar

If you have 1000 servers, each experiencing a fatal error randomly once every 3 years… you will get random, unpredictable, unstoppable failures every single day.

Scale is hard because it makes rare things common.

https://longform.asmartbear.com/scale-rare?utm_source=mastodon&utm_campaign=asmartbear_mastodon&utm_medium=social

glitzersachen,

@asmartbear

Not alone, I admit. The alternatives are labor-intensive, though (reviews) and aren't guaranteed results either.

My approach (for embedded) would be to (a) use a unikernel or a linked-to-application RTOS and (b) decide on a language that has good tools for static checking, and (c) define a unproblematic subset of the language and enforce this by a parser for that subset.
...

glitzersachen,

@asmartbear

...
Now that I am writing this, Ada comes to my mind.

But the important point is actually (b): Decide for a language (and OS and execution environment) that minimizes the "untestable" problems later, not for a solution (as it is done so often) that gets the project from ground fast in the wild-west phase without any consideration how one wants to scale up development (and deployment) later.

glitzersachen,

@asmartbear

But yes, historically I know that static checking has never delivered the big promise. Let's not confuse it with formally correct software, though. Modern compilers have a lot of static checking built in. Modern languages, too.

glitzersachen,

@asmartbear

Mind you, I was talking still about the fanout in embedded devices (and the test gap) not servers.

Secondly I only brought formally correct software into discussion because the promise it brought to the table was that you can root out all bugs and then deploy (sell) and forget. Which is still a necessity for a segement of embedded devices.

Formally proofing software did not deliver, and static are not the silver bullet, but I think static checking improved embedded software a lot

glitzersachen,

@asmartbear

I have perhaps left the topic you originally touched upon. Regardless the testability gap opening up when deploying devices to 1000s of customers was the foot note I wanted to make.

Which is based very much on the same effect as your original topic.

Sorry if I have not been clear (or still are ;-).

cstross, to random
@cstross@wandering.shop avatar

"Visionaries at NASA identified a futuristic new energy source (space billionaire egos) and found a way to tap it on a fixed-cost basis"— ouch!

The Lunacy of Artemis (Idle Words), or why the Artemis moon program is incoherent, badly designed bollocks that will probably kill astronauts.
https://idlewords.com/2024/5/the_lunacy_of_artemis.htm

glitzersachen,

@bsdphk @hittitezombie @ovid @cstross

What we see with Artemis is totally different. Engineering excellency still covers mistakes, but has a process to fix them and the root causes. Artemis on the other side is, if I might say that, a complete failure of engineering politics: At least a large scale lying to oneself. It's the scaling up of the self-delusion that is so concerning. Not that mistakes are made. The Hubble mistek, e.g. didn't include any self-delusion that I know of.

glitzersachen,

@bsdphk @hittitezombie @ovid @cstross

Challenger did, but only on the institutional level. On could argue it was a misunderstanding between engineers and management.

Artemis in turn is either incompetence personified (the people calling the shots are not aware of the consequences) or a wholly different order conscious mendacity.

glitzersachen,

@cstross @meltedcheese @ovid

Maybe it was conventiently always at the bottom of the pile of briefing he couldn't be bothered to read completely ...

glitzersachen, (edited )

@hittitezombie @bsdphk @ovid @cstross

My mistake: I labelled that as Apollo 8, but actually meant exactly this fire. That incident was a genuine oversight that was mended. Not: Oh, see, this might kill astronauts, let's continue regardless (admin decision).

glitzersachen,

@cstross @meltedcheese @ovid

Well, he will be in line next year or the year after that...

glitzersachen,

@ovid @cstross

That's right. Though, there is the aspect of ethics. I bet the appointees did not want to see there career damaged by refusing to direct bad/unsafe engineering and just stepping back. Which would have set a sign.

glitzersachen,

@ovid @cstross

I don't know. Also having skimmed over https://idlewords.com/2005/08/a_rocket_to_nowhere.htm one thing stands out for me: NASA has been good solving for short term goals during the moon program. It always has been bad sustaining long term "strategic" programs, where a program is supposed to deliver technology (not a single act, like "landing on the moon).

And that dovetails nicely with an org beholden to a political institution that is reelected every 4 years.

glitzersachen,

@bsdphk @hittitezombie @ovid @cstross

Correction: This should have been the Apollo 1 fire.

glitzersachen,

@davecl42 @hittitezombie @cstross @ovid

With regards to the latter I suggest we start the search at the third planet from this sun, because that is conveniently located (in the same gravity well as us).

glitzersachen,

@davecl42 @bsdphk @hittitezombie @ovid @cstross

They didn't calculate the risk along the complete paths of (chained) actions...

That's a classic.

glitzersachen,

@davecl42 @hittitezombie @cstross @ovid

But have got sufficient citations in magazines with a high impact factor? Nooooo. So, there, it didn't happen.

We need SI (SETI without ET) but w/o the radio dishes. Just use a clip board an some questionnaires.

My first question FWIW would be "have you been vaccinated against, ahem, Covid-19?". If the answer is "no", we can pass over the candidate in question. This is going do save us up to 30% of the budget without actually risking impact in yield

glitzersachen,

@davecl42 @hittitezombie @cstross @ovid

See, there, I am going to propose this to the US congress. I am, I see, totally qualified to head such a program. 30% saving from the get-go. Who else can say that about their plans?

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • InstantRegret
  • rosin
  • modclub
  • Youngstown
  • khanakhh
  • Durango
  • slotface
  • mdbf
  • cubers
  • GTA5RPClips
  • kavyap
  • DreamBathrooms
  • ngwrru68w68
  • megavids
  • magazineikmin
  • osvaldo12
  • tester
  • tacticalgear
  • ethstaker
  • Leos
  • thenastyranch
  • everett
  • normalnudes
  • anitta
  • provamag3
  • cisconetworking
  • lostlight
  • All magazines
    •