Discussion
@mcc that ipc mechanism is like 'function call in their memory space'. there are others if you prefer.
i'm sure it's great and everything but the only even vaguely out of the box option for pc using it is genode os.
@dysfun I don't want to run it. I just want to read up about it
RE: https://mastodon.social/@n3wjack/117565565193496474
😬 a water bottle with an app.
Being famous sounds hard.
Kalshi court losses pile up as judges refuse to block state gambling laws
Kalshi can't avoid gambling law by claiming it doesn't offer gambling, state AG says.
https://arstechnica.com/tech-policy/2026/11/kalshi-court-losses-pile-up-as-judges-refuse-to-block-state-gambling-laws/?utm_brand=arstechnica&utm_social-type=owned&utm_source=mastodon&utm_medium=social
And reverse the approval of sports betting. Disgusting, sports ruining, trust renoving, creepy, sports betting.
I'm sure 30% of game losses are prearranged now.
Maybe higher.
What I've learned about Sel4 from half a morning of reading things
1. What they seem to have made is a hypervisor with a pseudo-IPC mechanism which is really just a method for cooperatively picking which process gets to run next on the current core. This sounds fun and hilarious. I'm imagining Mac OS 7 but everything's a unikernel.
2. Everyone who's written software for SeL4 seems to be yelling NO NO GET AWAY like the Giant in the final episode of Twin Peaks S2
What I'm really doing here is, I want to start trying to understand Redox (this is a long term project which I am attacking hilariously slowly, I'm still stuck on getting qemu to work right with Mutter), and I was thinking, hm, I don't know OS kernels well, I should probably read up on at least one other modern microkernel OS so I have a point of comparison. If SeL4 is "weird" or overfocused on formal-methods stuff, are there other going-concern/research kernels I should know? Does L4 yet live?
🗣 NETANYAHU IS OUT! THE #BLUEWAVE WASHED HIM AWAY!
two important articles from Haaretz:
» All Arab-Majority Parties Endorse Eisenkot to Form Government in Talks With President - #Israel Elections 2026 - https://www.haaretz.com/israel-news/elections/2026-11-05/ty-article/.premium/in-presidential-talks-both-arab-majority-parties-endorse-eisenkot-to-form-govt/000001a1-ac3e-defa-a7f7-ac7f0e860000
» Eisenkot Secures 67 of 120 Endorsements After His Yashar Party Backs Him for PM - Israel Elections 2026 - https://www.haaretz.com/israel-news/elections/2026-11-05/ty-article/.premium/yashar-recommends-its-leader-gadi-eisenkot-to-form-israels-next-government/000001a1-acc0-d2e9-a5ad-bedae5e90000
TL;DR
our elections forced Yashar’s hand and they had to accept sitting with the Arab parties. they have a supermajority in the Knesset.
@blogdiva I think it's a two step process.
The parties tell the president who they want to try to form a government; then the person they chose has to negotiate with all the parties to try and cobble together a coalition.
It's not clear to me that the Palestinian parties are actually in the coalition yet, or if they'll even be allowed in.
@jaz This awesome, frightening and madenning at the same time.
Of all the real-world names for chemicals that sound like they were dreamed up by a comic book writer as an ingredient in some superhero’s origin story, “Zoledronic acid” must be near the top of the list.
@gregeganSF It unfortunately requires a bit of explanation, but there is a chemical called "catocene". In solid rocketry cato is short for "catastrophic explosion", and the purpose of catocene is to make rockets burn faster.
@Florapis @Janet_52square @ai6yr The first house we lived in when my PIC and I moved to Norway was a sparsely maintained council house built in the 1970s.
The standard insulation thickness in the 1970s was "only" 10 cm (the current standard is 25 cm). Wood framed windows with double glazing. Still it was warmer than all of the houses I lived in in the UK.
Even during our first very cold winter with temperatures down to -30'c.
MacBook Pro with PROLED review, new iPad mini hands-on, and iOS 27.3 features https://9to5mac.com/2026/11/05/happy-hour-615/?utm_source=dlvr.it&utm_medium=mastodon
macOS 27.3 Golden Gate public beta 1 now available, here’s everything new https://9to5mac.com/2026/11/05/macos-27-3-golden-gate-public-beta-1-now-available-heres-everything-new/?utm_source=dlvr.it&utm_medium=mastodon
Apple releases iPadOS 27.3 public beta and more, here’s what’s new https://9to5mac.com/2026/11/05/apple-releases-ipados-27-3-public-beta-and-more-heres-whats-new/?utm_source=dlvr.it&utm_medium=mastodon
Apple releases first iOS 27.3 public beta with redesigned Health app and more https://9to5mac.com/2026/11/05/apple-releases-first-ios-27-3-public-beta-with-redesigned-health-app-and-more/?utm_source=dlvr.it&utm_medium=mastodon
"Tell your congresspeople! You must break Elon Musk. Make him a scarecrow for the other members of his class. There will never be a better opportunity: People want blood, and virtually everyone in the world hates this scumbag. If Elon Musk has so much as a million dollars to spend on the 2028 election, the blue Congress will have airballed a layup."
https://defector.com/there-is-no-place-in-a-functional-society-for-elon-musk
Well, crud. Just like a couple weeks ago, Lyricdancer awoke this morning with left chest pain that was alleviated by nitroglycerin, then returned, so even though she *just* had a stress test, an angiogram, and a new stent, her cardiologist's nurse sent her back to the E.D., so here we are again. What fun.
On the bright side, she promises not to die today, so at least that's off the table!
@msbellows 🙏 Hope all goes well at the ER!!
Nous dénonçons l'interdiction des masques et autres EPI décidée par la préfecture pour les mobilisations d'aujourd'hui.
En manif ou en dehors, nous avons le droit de nous protéger de tous les risques aéroportés, virus comme gaz.
Porter des équipements de protection n'est pas un aveu de culpabilité.
Sorry, the app encountered an unexpected error
