Notices by Daniel Lakeland (dlakelan@mastodon.sdf.org), page 2

Ok guys congrats to me. In the last week I've managed to set up my son for his 10th grade project by:

1) Learn #guix shell and manifests enough to build a --emulate-fhs container where my son can run quarto and julia
2) Install quarto, run it to determine what was needed from texlive, add those to the shell
3) Add a spell checker to vscodium so he can check his spelling
4) Teach him enough about markdown to let him write up things and include tables and graphs and images with captions.

@cwebber
When youre negotiating with the pentagon you value performance in a memory safe language. Scheme, its so easy. Of course, you've gotta compile it to WASM, and then compile it to C, and then compile it to RISCV. It runs on anything... gorgeous fembots with a penchant for evil... gorgeous mascbots with a penchant for evil... pretty much anything... 😈
@spritely @wingo

@cwebber
Julia beats C often enough to be notable (shhhh secretly Julia is a LISP dialect)
@rnd

@Life_is
LLMs aren't good at fact checking though. What IS the feature set of the product? Only the manufacturer or maybe people who already bought the object know what features it has. An LLM can flag "this is inconsistent" but it can't figure out what the truth is. it has no concept of the world.
@cwebber @mttaggart

@linear @cwebber

I'd set aside the formal verification requirement to get the rest of it. I really do think microkernels were the right way to go, it's just that in 1992 or whatever the consumer hardware wasn't up to the task. I think probably around 2005 or so the hardware started to be able to afford to do that. But that's approximately the time that VMs and containers took off. Now we have this giant mess.

@linear @cwebber

If you mean formally verifying the microkernel itself... yeah. I'm good with that. Isn't L4 formally verified? If you mean formally verifying every userspace daemon... Nice to have but I'm not holding my breath.

@linear @cwebber

I agree it would be nice to have, but I honestly think it primarily prevents progress. We'd be wildly better off with microkernel OSes that are at the same level of hackiness as the Linux kernel, and maybe have decent interfaces that could get replaced piecemeal as people came up with alternative implementations in memory safe languages, and then maybe formally verified at a later date.

Right now, you have to be comfortable working in kernel space to even do anything

@artemis

Although this is definitely part of it. I also think there are a lot of self described "fiscally conservative" people who basically see corruption in govt and want to stop it by basically cutting off the source of funds. Suppose for example your local city council keeps sending construction contracts to some particular firm that's run by a friend of the mayor and gets contracts to replace bus stops for $2M when it's clearly a $200k job or whatever.

@artemis

People watch this stuff happen... schools getting renovated for $1M two years before they close it for underenrollment, or whatever, and they're tired of that kind of stuff... I say this because this particular subset is potentially ripe for Anarchist conversion. If you showed them an alternative way to cooperate together instead of power dynamics with small elected leader groups deciding what everyone elses money should go towards... it could bring more people to alternatives.

@artemis

Also Economics upholds incorrect ideas about how the world works. For example, it's never necessary for the federal govt to first tax people in order spend money on buying war machines and soforth. They literally print money! But modern macroeconomic textbooks teach a different incorrect model of how that works! So if you've been bitten by the idea that Economics has scientific truth to it, you'd want austerity to somehow remove power... even though it doesn't.

@artemis

It's so true. Typically I think the "fiscally conservative" group starts out from a place of patriarchy and religious oppression or similar, and then sees that this is damaging to the psyche and so opens their mind to the "socially liberal" ideas. Usually not wide open but they at least aren't gonna join the Proud Boys anymore. But they see these corrupt backroom govt money deals or whatever and they just don't want to empower those people.

@artemis

Austerity actually *increases* govt power, because it invariably is pointed at the least powerful people, workers, single moms, children, whatever, rather than say the Marine Corps or Air Force or whatever.

@arstechnica

Why you gotta do my boy Skeletor that way? Fake news!

@skeletor

@cwebber

I thought the same frikin thing this morning when I woke up... Christine is so frikin right about the slopworm.

@cwebber
#guix time-machine to the rescue.

@quintessence

That's a better description yeah, your instance only interacts with the union of all instances people on your instance interact with (following people, or receiving boosts from people you follow basically). So if a hashtag post originates on an instance your instance doesn't normally talk to... you'll never see it.

@dalias
@ChrisMayLA6 @GhostOnTheHalfShell @karlauerbach @elfin @HarriettMB

@ChrisMayLA6
unless you follow someone on an instance your instance doesn't see hashtag posts originating on the other instance AFAIK.
@dalias @GhostOnTheHalfShell @karlauerbach @elfin @HarriettMB

@dalias
i dont necessarily disagree but wonder what your reasoning is?

My own thinking is that without enough people on an instance you are too isolated to have good discovery of your people. Some of this is helped by relays I guess... ? not sure.

@GhostOnTheHalfShell @karlauerbach @elfin @ChrisMayLA6 @HarriettMB

@gemlog

Dianna just brought so much enthusiasm. Look back at 2018 and 2019 before the pandemic, she's bringing a combination of just bubbly enthusiasm and a real serious understanding and the world needs that kind of thing.

Speaking of PhysicsGirl y'all Dianna just posted her FIRST SCIENCE VIDEO IN 3 YEARS this morning, ever since she got Long COVID.

LETS FUCKING GOOOOOOOOOO

https://youtu.be/B3m3AMRlYfc?si=lo9aqVSD8FijQWRD