Accidentally stumbled across a fascinating escape hatch from some of the more annoying limits of symbolic rewriting engines, by allowing the count of items in a multiset to be a pointer to the number of some other items in the bag. Tiny change, huge ramifications.
@mia found this beautiful single-fraction implementation of fib(n).
wiki.xxiivv.com/etc/rejoicerep…
![The rejoice repl showing:
n^9
y '[y^x x^y]/[x^x n]
.#x](https://keybored.me/photo/preview/640/1421026 "The rejoice repl showing:
n^9
y '[y^x x^y]/[x^x n]
.#x")
PlayStation 3 emulator RPCS3 can now auto-configure games for you gamingonlinux.com/2026/04/play…
#PlayStation #Emulation #RPCS3 #OpenSource
PlayStation 3 emulator RPCS3 can now auto-configure games for you
Emulating the Sony PlayStation 3 just got even better, with the open source RPCS3 now configuring games for you.Liam Dawe (GamingOnLinux)
The first major update for Slay the Spire 2 is out now gamingonlinux.com/2026/04/the-…
#SlaytheSpire2 #Godot #IndieGames #PCGaming #LinuxGaming
The first major update for Slay the Spire 2 is out now
After running an opt-in Beta for a while, Mega Crit have released the first major gameplay content update for the deck-builder Slay the Spire 2.Liam Dawe (GamingOnLinux)
A new secure cloud storage option for you to try.
itsfoss.com/news/tuta-drive-cl…
#tuta #cloud #privacy #opensource
Privacy Email Service Tuta Now Also Has Cloud Storage with Quantum-Resistant Encryption
Tuta Drive is almost here, and it makes Google Drive and OneDrive look sus. I explored the early access release.Sourav Rudra (It's FOSS)
Tuta (@Tutanota@mastodon.social)
Attached: 1 image 🚀 Big news: Tuta Drive is now in closed beta! 🗂️ Get an exclusive first look! Your SNEAK PEEK is here: ➡️ https://inv.thepixora.com/watch?v=ggvntpwIkCY 😍Tuta (Mastodon)
If I were dictator of the world I would make it illegal to use the words secure and cloud in the same sentence.
If you don't own the hardware you don't own the data, simple as.
Death Stranding 2 patch 1.4 should make it look better on lower settings gamingonlinux.com/2026/04/deat…
#DeathStranding2 #PCGaming #SteamDeck #SteamOS #Linux
Death Stranding 2 patch 1.4 should make it look better on lower settings
Nixxes and KOJIMA PRODUCTIONS are continuing to improved the PC release of Death Stranding 2, with patch 1.4 out now and there's more to come.Liam Dawe (GamingOnLinux)
📰 Serie "Desde la redacción": mirada sobre cómo la IA transforma el periodismo en América Latina—oportunidades, riesgos de automatización y la necesidad de ética y formación para saldar brechas. journalismcourses.org/es/serie… 🔗
✊ Exijamos formación local, fondos para medios comunitarios y redes de colaboración que sostengan periodismo crítico y autónomo.
Serie “Desde la redacción” arranca con una mirada a cómo la IA está transformando el periodismo en América Latina - Journalism Courses by Knight Center
El Centro Knight para el Periodismo en las Américas se enorgullece de anunciar “Desde la redacción”, una nueva serie virtual dedicada a analizar la innovación y las oportunidades en el periodismo latinoamericano.Knight Center (Journalism Courses by Knight Center)
Properly funny chaotic dungeon crawler Lucky Tower Ultimate 1.0 has launched gamingonlinux.com/2026/04/prop…
#LuckyTowerUltimate #IndieGames #PCGaming #Gaming
Properly funny chaotic dungeon crawler Lucky Tower Ultimate 1.0 has launched
If you enjoy replayable games that have plenty of action, exploration and comedy - Lucky Tower Ultimate is one you need to pick up.Liam Dawe (GamingOnLinux)
Nintendo 64 emulator Gopher64 adds RetroAchievements support gamingonlinux.com/2026/04/nint…
#Gopher64 #Emulation #Nintendo #Nintendo64
Nintendo 64 emulator Gopher64 adds RetroAchievements support
If emulation is your thing - check out the Gopher64 emulator for the Nintendo 64, as a major new release of the open source project has arrived.Liam Dawe (GamingOnLinux)
METRO 2039 gets revealed for release this Winter gamingonlinux.com/2026/04/metr…
#METRO2039 #Metro #FPS #Gaming
METRO 2039 gets revealed for release this Winter
Going deep into post-apocalyptic Moscow, 4A Games and Deep Silver have now fully revealed METRO 2039. It's going to release sometime this Winter.Liam Dawe (GamingOnLinux)
Report: Shipping data contradict US claims of blockade success
US Centcom commander Brad Cooper said that “US forces have completely halted economic trade going in & out of Iran by sea.”
cnbc.com/2026/04/15/us-strait-…
But shipping data show that 14 ships on the US sanctions lists crossed the strait, 7 from Iranian ports.
In addition, TankerTrackers said Iran shipped 9m barrels of crude oil since the start of the blockade.
aje.news/060cxq?update=4497654
#USPol #EUPol #Hormuz #USBlockade #news #iranWar .
Iran war updates: Lebanon truce begins as US blockades Iran for deal
These were the updates on the US-Israel war on Iran and Israel’s attacks on Lebanon for Thursday, April 16, 2026.Lyndal Rowlands (Al Jazeera)
@neauoire I was looking at Neralie and Arvelie and I really like both heh. Question tho: how do you pronounce Neralie timestamps?
The obvious pronunciation for "750:000" would be "at 750 beats". Is that the way you'd say it?
Ringside Series 2026 – Night of the Heavyweights am 15. Mai 2026, 18:00 Uhr
Mannheim wird erneut zum Zentrum des deutschen Boxsports: Am 15. Mai 2026 bringt die Ringside Zone das größte Boxevent des Landes in die SAP Arena.SAP Arena
www.instagram.com/p/DT0GXrIj_Ha/ #sportreporter24 , #journalism, #reporting, #athletics, #media, #spo
https://www.instagram.com/p/DT0GXrIj_Ha/ #sportreporter24 , #journalism, #reporting, #athletics, #m...ericola (GETTR)
License compliance is core to #OpenSource #FOSS.
When building on an existing code base it matters to get it right.
Read our analysis of the Euro-Office license as confirmed by the AGPLv3 authors' views.
nextcloud.com/blog/euro-office…
Euro-Office: License compliance and what open source means - Nextcloud
Euro-Office reviewed the terms in the ONLYOFFICE codebase and found contradictions. We explain the legal basis, what we removed, and why.Jos Poortvliet (Nextcloud)
Euro Office was für ein einfallsreicher Name gewählt wurde. Sowas zeugt von Kreativität und Einfallsreichtum. 👎
It is for parents to raise their children. Not platforms.
The European Age Verification App is ready.
It will allow users to prove their age when accessing online platforms. Just like shops ask for proof of age for people buying alcoholic beverages.
And it ticks all the boxes:
✅ Highest privacy standards in the world
✅ Works on any device
✅ Easy to use
✅ Fully open source
More info: link.europa.eu/HmnrJc
Statement by President von der Leyen with Executive Vice-President Virkkunen on the digital age verification app
When it comes to the safety of children online, the situation is extremely worrying. One child in six is bullied online. One child in eight is bullying another child online.European Commission - European Commission
Think checking in on what my boys listen to on Spotify. Think maybe whitelisting people in WhatsApp.
I have strong parental controls set up, some apps are too useful to pass over but equally to dangerous in inexperienced hands.
@Gargron If big tech cared about children they would ship devices all set-up day one and not rely on parents navigating the often impossible maze of parental controls.
Basic things often make parental controls worthless. My son had an Amazon tablet with the Outlook app installed but as it had an in app browser it removed all the search restrictions I had set up with the default browser so my son had full access to the internet.
Plus todays discussion on @hakendran with @gavinkarlmeier and @nicolediekmann and my comments via @texteundbilder .
@Gargron with all due respect , it's easy to argue that from a purely observant perspective.
However there is clear evidence, that despite doing their best (and also not, as is always the case) parents are not able to intervene as much as they d wish,even if they know of and have all the tools to, bc there is a clear addiction-pattern instigated by cooperations.
This certainly is where responsible politics come into play.
I understand the objections,but it's not on the parents.
@EUCommission
Erin In The Morning
Montana Supreme Court Rules Its Constitution Entirely Protects Trans Citizens In Landmark Ruling
The ruling will have enormous impacts for transgender residents in the state.Erin Reed (Erin In The Morning)
Linux is dropping support for yet another CPU. 🔽
itsfoss.com/news/linux-kernel-…
Russian Baikal CPUs Are Losing Their Place in the Linux Kernel
After sanctions, bankruptcy and removal of kernel maintainers, Baikal's unfinished kernel code is being removed.Sourav Rudra (It's FOSS)
Proton 11 Beta arrives to bring enhanced gaming compatibility to Linux / SteamOS gamingonlinux.com/2026/04/prot…
#Steam #Proton #Linux #SteamOS #SteamDeck #LinuxGaming
Proton 11 Beta arrives to bring enhanced gaming compatibility to Linux / SteamOS
Valve just put up a Beta for Proton 11, the next major release of their compatibility layer to run Windows games on Linux / SteamOS.Liam Dawe (GamingOnLinux)
earth.com/news/sumatran-tiger-…
Sumatran tiger refuge loses over half its forest, study finds
Across Sumatra, satellite images and field surveys traced two decades of clearing from park edges toward its core, tied to expanding oil palm plantations.Raquel Brandao (Earth.com)
ACK! I should have put this Pizzicato Five song up during the Artemis II flight. The band uses a sound clip from a previous NASA space flight. Lots of funky mid-century modernist spacy sounds.
like this
Beautiful. I'm in tears.
like this
How will attitudes change if students like me aren’t taught the truth about British colonial history?
The skewed perspectives in my A-level curriculum are staggering. Until that changes, harmful ideas about race and migration will live on, says Emerging Voices winner Astrid BarltropAstrid Barltrop (The Guardian)
like this
Muse reshared this.
I'm a big fan of Hildegard von Blingin'! She wrote this song for a new computer game that looks like fun!
like this
I'm making a new programming language.
No, this is not the long-term project I've been promising. (That one still has a little ways to go.)
This is sort of an off-side project that could be long-term, maybe it'll be more interesting than I realize, maybe I'll break new ground in the process (bold statement I know).
techdirt.com/2026/04/16/the-ri…
The Right Wing Origins Age Verification Laws Don’t Disappear Just Because They’re Going Bipartisan.
I think it’s important to understand that, despite claims to the contrary, age verification is, inherently, a right-wing effort. While it’s currently true that age verification laws are…Techdirt
Extinction On Our Plates
The contents of your fridge and dining table directly impacts the future of rare rainforest and ocean animals. That’s because industrial agriculture and aquaculture for commodities like meat,…Palm Oil Detectives
"You're going to-", a slit throat for good measure but really, it was the arrow. You resume these small, sufficient priceless things that make up your life. They'll be back.
See, I told ya, here they are again, they've brought trinkets, cameras to capture our strange ways, but really, more often than not, diseases that rot the mind and body. That arrow shut him up good, "You're going to be left-". We didn't let him finish, yes! That's what we want, please leave us behind. Back to the treeline.
And here they are again, are you fucking kidding me, "-going to be left behind" the word of god, it's god damn missionaries now. Yes please! Only you won't let us. More arrows.
I’m going to be doing a Linux Q&A #livestream tomorrow at 12:00 PM US Central time so if you’re new to #Linux swing by and ask me whatever Linux question is on your mind.
Go here to get notified when I go live
youtube.com/live/Ryec6GwXGV4
Live Linux Q&A: Switching to Linux? Debunking Myths? Ask Me Anything
Got Linux questions? Bring them to the livestream. I’ll be answering your questions live about Linux distros, desktop environments, apps, troubleshooting, ha...YouTube
Devine Lu Linvega
in reply to Devine Lu Linvega • • •Haven Prism
in reply to Devine Lu Linvega • • •This actually is a pretty critical result in models of computation: indirection is one of the most powerful operators you could add to any counter machine (which is what multiset rewriting's sequential cousin is)!
Once you add indirection, you become able to access arbitrary amounts of memory. Instead of encoding data within the counters like stacks of bits, you instead just reach for another counter that you assume exists. Indirection does require you to have an infinite number of counters, or at least as many as your number type can handle.
If you try to reach for a counter that doesn't exist, you can just fail the rule match. Benefits of guarded computation. 😀
Devine Lu Linvega
in reply to Haven Prism • • •yes! and as a side effect it also allows to match on the lack of something, which is a HUGE game changer.
eq/[x^y y^x], combinator found by @andnull
clarity flowers
in reply to Devine Lu Linvega • • •clarity flowers
in reply to clarity flowers • • •Devine Lu Linvega
in reply to clarity flowers • • •