khoury.northeastern.edu/~cmart…
khoury.northeastern.edu/~cmart…
re: hci.social/@chrisamaphone/1163…
taking off my "impartial observer" hat for a moment (and so breaking out of the thread), one opinion i've started solidifying is that we need stable (or one might say "archival") proof languages, alongside those that actively evolve. a big motivation for me is to develop teaching materials that still run in a decade (Explaining), but i think there are good Convincing-aligned reasons to want this as well.
PLATEAU is a workshop, so this paper is mostly a discussion starter that gestures towards possible projects (we aren't describing a new solution or advocating for a particular agenda). i really want to hear from more folks about your answers to the discussion questions at the end, or any other feedback!
dercuano.github.io/topics/arch…
new from me, @etosch , @cxli , and Elan Semenova: "Is truth future-proof? On the possible futures of mechanized proof". contains provocations, philosophical framings, and accounts of current practices in light of the idea that mechanized proofs contain mathematical knowledge that we might want to persist across future generations.
preprint: khoury.northeastern.edu/~cmart…
presented at PLATEAU a few weeks ago. slides: khoury.northeastern.edu/~cmart…
Today is #WorldBackupDay! Best way to celebrate?
By backing up your precious data, of course. 🫵
Here’s how to create secure, reliable remote #backups of your Nextcloud using #Borg: 👇 nextcloud.com/blog/how-to-back…
How to back up and restore Nextcloud AIO remotely using BorgBackup - Nextcloud
Learn how to do a remote backup for Nextcloud AIO and improve the security and resilience of your instance. Discover our step-by-step guide!Mikhail Korotaev (Nextcloud)
Pied Tamarin Saguinus bicolor
Pied #Tamarins are fascinating and vibrant black-faced #monkeys with a shock of white fur around their muzzle and chest and expressive brown eyes. They are found only in the shrinking forests of Ma…Palm Oil Detectives
We're hiring for a part-time position in Finance & Operations at @Mastodon. Fluent German and English language skills are a requirement. In terms of location it's a hybrid role so we're looking for candidates in #berlin or #vienna. I believe this is a rare opportunity to learn about the organisational side of technology non-profits and open source.
jobs.ashbyhq.com/mastodon/6c96…
Junior Finance & Operations Specialist (m/f/d) - part-time
Support accounting, payments, invoicing, and cash flow in a mission-driven non-profit organisation.jobs.ashbyhq.com
French consumer group UFC-Que Choisir sues Ubisoft over The Crew shutdown gamingonlinux.com/2026/03/fren…
#TheCrew #Ubisoft #Gaming #PCGaming
French consumer group UFC-Que Choisir sues Ubisoft over The Crew shutdown
Video game preservation is important, and now the French consumer group UFC-Que Choisir are getting into a fight with Ubisoft over The Crew.Liam Dawe (GamingOnLinux)
git.sr.ht/~rabbits/uxn-utils/t…
They're Building the Housing Crisis in 43 States in America
#OurMondernTimes #VentureCompanyCrimes #America #AvoidAtAllCosts
like this
📱 Taller "Chau Google de tu celular"
Video del taller-conversatorio primeros pasos para liberarnos de servicios de Google sin perder información ni dejar de usar las apps que necesitamos. Migrar hacia software libre, recuperar control sobre datos personales y explorar alternativas. Porque desgooglizar el celular no es sólo cuestión técnica: es autonomía digital, desobediencia algorítmica y resistencia al extractivismo de datos.
forum.malleable.systems/t/love…
Ecuadorean Viscacha Lagidium ahuacaense
Ecuadorean Viscachas are plump and fluffy rodents with sage-like long whiskers, only a handful of them remain alive. Take action for them and boycott4wildlife!Palm Oil Detectives
Vous pensez que je peux m'objectiver sur de la merde comme une collaboratrice dans un grand groupe leader du secteur ?
Genre :
- obtenir le physique de Mewtwo avant qu'on m'enlève mes bagues
- faire 32 tractions le jour de mon anniversaire @neauoire style
- faire des squats avec le poids de mon générateur de shitpost statique le jour où je sors la V1 (actuellement 196Ko lmao, va falloir optimiser)
Money is life and everything in SUPER DEBT, an unrelenting horror themed bullet-hell roguelike gamingonlinux.com/2026/03/mone…
#SUPERDEBT #IndieGames #Roguelike #BulletHell
Money is life and everything in SUPER DEBT, an unrelenting horror themed bullet-hell roguelike
An unrelenting horror themed bullet-hell roguelike, where money is life? Sounds interesting! SUPER DEBT is one to ensure is on your radar.Liam Dawe (GamingOnLinux)
Sensitive content
I don't think I even have that enabled. I also have no clue where I would deactivate that...
I do get paging for the default channels, just not for the channels I created myself.
Lakehopper looks like a wonderful casual seaplane flight simulator gamingonlinux.com/2026/03/lake…
#Lakehopper #IndieGames #Linux #PCGaming
Lakehopper looks like a wonderful casual seaplane flight simulator
Fancy a new type of simulator? How about flying your own seaplane? Lakehopper has launched into Early Access on Steam with Linux support.Liam Dawe (GamingOnLinux)
Traxex, Drow Ranger (“Dota 2”) at #autumn #Toguchi #cosplay #festival (November 16th, 2025).
#ToguchiAutumn #Toguchi2025
#photo #photography
#cosplayer #portrait #people
#darktable
#creativecommons #ccbysa
Heretic II has a new reverse-engineered source port gamingonlinux.com/2026/03/here…
#HereticII #PCGaming #Gaming #Retro
Heretic II has a new reverse-engineered source port
A lot of classic games have received source ports over the years, and now it's time for Heretic II with Heretic2R bringing some enhancements.Liam Dawe (GamingOnLinux)
Encountering the World’s Most Endangered Kangaroo: The Wondiwoi Tree Kangaroo
Encounter the Wondiwoi tree-kangaroo. Rediscovered in 2018, these rare marsupials from West Papua are a symbol of hope amidst threats from palm oil, huntingPalm Oil Detectives
Diablo 2-inspired auto-battle dungeon crawler Skull Horde launches April 10 gamingonlinux.com/2026/03/diab…
#SkullHorde #IndieGames #Gaming #PCGaming
Diablo 2-inspired auto-battle dungeon crawler Skull Horde launches April 10
We have a release date along with a new trailer for Skull Horde, a Diablo 2-inspired auto-battle dungeon crawler.Liam Dawe (GamingOnLinux)
Fans of Portal and first-person puzzlers will definitely want to check out He Who Watches gamingonlinux.com/2026/03/fans…
#HeWhoWatches #IndieGames #PCGaming #PuzzleGames
Fans of Portal and first-person puzzlers will definitely want to check out He Who Watches
He Who Watches is an innovative new puzzle game that Draknek and Friends just revealed they're publishing, and it looks like it will melt my brain.Liam Dawe (GamingOnLinux)
Virtual hangout game Rec Room is shutting down in June gamingonlinux.com/2026/03/virt…
Virtual hangout game Rec Room is shutting down in June
Rec Room is a free to play social hangout space available for both VR and standard gaming, and unfortunately it's going to be shutting down.Liam Dawe (GamingOnLinux)
The Flashpoint update for ARC Raiders has lots of the good stuff gamingonlinux.com/2026/03/the-…
#ARCRaiders #Linux #Proton #SteamDeck #Gaming #SteamOS
The Flashpoint update for ARC Raiders has lots of the good stuff
ARC Raiders just launched the major Flashpoint update and it includes a whole bunch of new content, along with long-requested additions.Liam Dawe (GamingOnLinux)
A new open source smartwatch for you to look forward to.
itsfoss.com/news/pinetime-pro-…
After 5 Years, PineTime Gets a Major Upgrade with AMOLED, GPS, and More
The original PineTime stays, but its followup is a different thing entirely.Sourav Rudra (It's FOSS)
It's FOSS reshared this.
Palantir Is Leading a New Age of Empire
Palantir has merged American empire, Zionist military infrastructure, surveillance capitalism, and technofascist ideology into a single architecture of control.
Palantir manages the security in Australia's refugee detention centres. It also manages the security for our supermarkets. We must uproot this noxious weed.
like this
A container of Course Ground Black Pepper can contain Black Fly Shit. Just because they are both in the same container, and look alike, doesn't mean they are the same thing. -Ivy
like this
like this
dear world, naive proposal
cruel empty men should not lead or decide anything, they should be treated to heal
I'll just put this here.
Interesting Tor news.
blog.torproject.org/new-releas…
helpnetsecurity.com/2026/03/27…
Tails 7.6 ships automatic Tor bridge retrieval and a new password manager - Help Net Security
Tails 7.6 adds automatic Tor bridge retrieval via the Moat API, replaces KeePassXC with GNOME Secrets, upgrades the kernel, Tor Browser, etc.Anamarija Pogorelec (Help Net Security)
like this
like this
Humility: Why modern leaders need to resurrect this ancient virtue
...
Van Tongeren: I’m certainly not the first person to think that humility is a good idea, but two things have happened.
First, we’ve accumulated enough psychological research to have a clear sense of what ancient wisdom has suggested for a long time. The empirical data support that humility really is transformational.
Second, our culture — particularly in the United States but also worldwide — needs it more than ever. The U.S. is in the midst of what scholars have called a narcissism epidemic. Our overinflated sense of self is growing at astronomical rates. We’re seeing this lack of humility in political, religious, and other cultural conflicts that are creating a sense of despair, loneliness, and mental disease that we perhaps haven’t seen in quite some time...
Humility: Why modern leaders need to resurrect this ancient virtue
In our competitive world, fortune does not appear to favor the humble — but a strong counter-narrative is emerging.Kevin Dickinson (Big Think)
like this
‘Project Hail Mary’ demonstrates how intellectual humility can be a guiding force for scientists and astronauts
Curiosity and an openness to new ideas help Ryland Grace, the movie’s protagonist, navigate new discoveries about life in the universe.The Conversation
like this
Never mind the fossil "sideshow," renewables have won: Electrification is the new policy battlefront
A coalition of energy and consumer groups is urging federal government to seize the global geopolitical moment and fast-track the switch to efficient electric technologies across the economy.Sophie Vorrath (RenewEconomy)
like this
Muse reshared this.
like this
Kenny Chaffin likes this.
Wingo Starr and friends form charity art gullery
More than 200 model seagulls are to go on display later this month as part of a community art project.
Artworks Art4All, a Barrow-based community interest company, has been collecting pieces from schools and community groups for its exhibition since September.
Its volunteers run art projects for groups, including those experiencing isolation and mental health issues, to give them a space to be creative in a supportive environment.
Founding director Sharon Tait said gulls of all sizes, made of felt, glass and even sweets, would be exhibited and auctioned for charity. "We have a lot of seagulls in Barrow. A lot. And now we have even more," she said.
The exhibition is entitled What the Flock? The Seaquell, and builds on a similar project where people were invited to create model sheep.
Treasurer director Linda Rollinson said her favourite was a 5ft-tall (1.5m) cushioned seagull called Wingo Starr...
Barrow seagull community art exhibition to go on display
More than 200 seagulls made by people around Barrow are to go on display to help local causes.Pamela Tickell (BBC News)
like this
Making Sense of Slow AI zine by AIxDesign
aixdesign.metalabel.com/slow-a…
"What if AI didn’t run on Silicon Valley logic? Making Sense of Slow AI, compiles 40 pages of eclectic stories on Small, Esoteric, and Ancestral AI – inviting you to think small, make it magical, and plan for the past."
How orangutans thrive in feast and famine without gaining weight
Orangutans, humans’ close evolutionary relatives, have developed remarkable strategies to survive in the unpredictable rainforests of Borneo.ScienceDaily
cancel
in reply to Devine Lu Linvega • • •tired: the bedrock of knowledge is formal logic
wired: the bedrock of knowledge is emulators
Devine Lu Linvega
in reply to cancel • • •