Mastodon Feed: Posts

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
thezoq2 ("TheZoq2") wrote:

Finally, we have a proper journal paper about Spade 🎉!

It is a pretty complete description of the current state of the language, but I'm honestly more excited about the way we managed to argue for having a new HDL at Spade's abstraction level, roughly RTL but with zero cost abstractions on top

https://dl.acm.org/doi/10.1145/3793550

Boosted by fromjason ("fromjason.xyz ❤️ 💻"):
ilovewebsites@social.lol ("I ❤️ Websites Club") wrote:

Omg.lol is a suite of digital trinkets and oddities. It's hard to categorize what OmgLoL is because it's not like anything on the web.

But if you love to tinker, and you're looking to establish a digital identity on the open web, I'd check it out.

BTW, OmgLoL is our digital home!

https://home.omg.lol/

Boosted by fromjason ("fromjason.xyz ❤️ 💻"):
ilovewebsites@social.lol ("I ❤️ Websites Club") wrote:

A laptop covered in stickers sat across from me. Naturally, I complimented the person sitting in front of it. I love a good sticker collage.

But then, I did something I normally wouldn't do.

I recommended a website to that person, a human, existing in the real world with me. Words formed from my mouth. I shared my phone with her and she typed in the web address into her computer.

It's a website where you can upload a photo of your stickered laptop!

Not to get melodramatic, but maybe that's what it's all about. Showing people in the real world what the other side of the digital world is like. Little by little. Idk.

It felt like something.

https://stickertop.art/

Boosted by fromjason ("fromjason.xyz ❤️ 💻"):
hi_cial@donphan.social ("Keeper of the orb") wrote:

@fromjason people think of massachusetts as a liberal bastion, first to legalize gay marriage. in the 1970s towns were voting not to allow black residents.

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
Strausss ("DStrausss") wrote:

*Brand New* YouTube Short!!
"The LGP-30: a von Neumann computer in 113 tubes - 60'000'000 nm processor technology "

#vintagecomputing #retrocomputing

https://youtu.be/ZksfFeavrv4

fromjason ("fromjason.xyz ❤️ 💻") wrote:

A quick rant—it is astonishing how Corporate America is largely comprised of Email & Spreadsheet Jobs, yet so many Americans struggle with authoring a coherent message and designing a functional workbook table.

It is literally the easiest job in an economy full of Bullshit Jobs(tm). My, god. Learn how to send a fucking email.

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
cbarbermd@med-mastodon.com ("Carolyn Barber, MD") wrote:

“We don’t need a warrant, bro. Stop getting that in your head.”— ICE officer to Jersey City councilmember Jake Ephros, as agents arrest a man without a warrant, without explaining the arrest or reading him his rights. This is happening here, again...
#press

Attachments:

• video: ea27f2fce8add1b9.mp4

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
xgranade@wandering.shop ("Cassandra is only carbon now") wrote:

RE: https://masto.deoan.org/@jsonstein/116007025216783394

Someone being "in the Epstein files" isn't actually that damning on its own, given how much the DOJ has tried to bury the story by flooding out any actual signal. Rebecca Watson's video on how she's "in the Epstein files" because people in Epstein's inner circle e-mailed back and forth complaining about her is quite relevant here.

It's why in my thread before, I tried to provide context about *how* folks who were in the files showed up there. It's that context that's so incredibly damning.

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
tante@tldr.nettime.org wrote:

So if you care about technology and its impact on the material world I have a treat for you: @gerrymcgovern's "99th Day" is out.
It is a book showing the data on the material impact that technology, data centers and all that have on our world and is willing to ask the big questions. It's an uncomfortable book and that is good. Check it out!

https://gerrymcgovern.com/books/99th-day/

Boosted by ChrisWere@toot.wales ("Chris Were ⁂🐧🌱☕"):
vkc@linuxmom.net ("Veronica Explains") wrote:

New filter just dropped: "unhelpful platitudes"

Boosted by ratatui_rs@fosstodon.org ("Ratatui"):
orhun@fosstodon.org ("Orhun Parmaksız 👾") wrote:

Need to look up your Azure secrets from the terminal? I got you 🤝

🗝️ **akv-tui** — A TUI for managing Azure Key Vault secrets

💯 Browse vaults, fuzzy-search secrets, copy values & add/edit/delete secrets

⚙️ Works on Linux, macOS & Windows

🦀 Written in Rust & built with @ratatui_rs

⭐ GitHub: https://github.com/jkoessle/akv-tui-rs

#rustlang #ratatui #tui #azure #devops #terminal #devtools

Attachments:

• gifv: 5083ec4884852024.mp4

Boosted by Mastodon:
MastodonEngineering ("Mastodon Engineering") wrote:

We just released Mastodon 4.5.6, 4.4.13, and 4.3.19.

These versions contain various bug fixes, including a fix for a moderate security vulnerability.

Full release notes and update instructions are available on the GitHub releases page.

https://github.com/mastodon/mastodon/releases

#MastodonAdmin

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
rrzzyy@sunny.garden ("raszy") wrote:

Today's mood: This photo of Maud Gonne.

#TodaysMood

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
notypes@discuss.systems ("Rachit") wrote:

People keep asking me what the "Rust for hardware design" would look like. Those who know their PL history know that, before we could build Rust, we had to define ideas like "Memory Safety".

A hopefully uncontroversial take is that Memory safety defines a class of *logical errors* that pointer-manipulating programs suffer from. By defining this category, we were able to create dynamic and static mechanisms to eliminate it.

Building a "Rust for hardware design" requires the same so I spent the weekend writing a 2-page paper defining a criteria for "safe hardware description languages (HDLs)". Instead of competing with heavyweight formal tools, safe HDLs should complement them by eliminating a category of bugs that exist in *all hardware designs* and let the formal tools focus on design-specific properties.

Would love to hear what people think: https://people.csail.mit.edu/rachit/files/pubs/safe-hdls.pdf

fromjason ("fromjason.xyz ❤️ 💻") wrote:

No one tells you that life is mostly an exercise in accepting your mortality. It's finding your place in the great cosmos, then confirming to the glowing rectangle in your office-bedroom that your columns have headers, until the day you give yourself back to Eywa.

Boosted by adam@social.lol ("Adam"):
joshuagrady@social.lol ("Joshua Grady :pw_thinking:") wrote:

@neatnik and @nileane continue to offer the ~best~ way to experience Mastodon.

kevinevans@hachyderm.io ("Kevin") wrote:

Here's another photo of this menacing frog statue

kevinevans@hachyderm.io ("Kevin") wrote:

"extremely menacing"

#seattle #washington

isagalaev ("Ivan Sagalaev :flag_wbw:") wrote:

Them: "I was a skeptic too, but I can't ignore anymore how productive this technology makes me! There's no way I could produce so much stuff if I'd be doing everything myself."

Me: "But… Do you understand that *owning* people and working them to death is utterly immoral?"

Them: "Yeah, I'm a little concerned about it. But it's just how cotton farming is going to look from now on, so I'm not going to be sidelined. Slavery is the future!"

pzmyers@freethought.online ("pzmyers 🕷") wrote:

I wanna "renovate" Donald Trump's face.

https://freethoughtblogs.com/pharyngula/2026/02/03/renovations/

Boosted by adam@social.lol ("Adam"):
ediz@social.lol ("Ediz :prami_pride:") wrote:

After a year, I finally went back to color my Prami tattoo!!! 🩷
It’s pink now hehehe @adam !
(Sorry for the low quality - my retro camera strikes again 😅📸)

baldur@toot.cafe ("Baldur Bjarnason") wrote:

“ICE and the Dual-State Regime - Truthdig”

https://www.truthdig.com/articles/ice-and-the-dual-state-regime/

> The Nazi political theory behind ICE lawlessness.

baldur@toot.cafe ("Baldur Bjarnason") wrote:

“the other Turing test – Hi, I'm Heather Burns”

https://heatherburns.tech/2026/02/02/the-other-turing-test/

> I am seeing the ground being laid for atrocities I don’t yet know how to describe. It always starts with one group of “others” who are transgressing some warped concept of virtue and morality. It never ends with them.

fromjason ("fromjason.xyz ❤️ 💻") wrote:

California Technocrats are working to turn compute into their currency.

Once the Internet is dependent on gargantuan levels of computational power to operate, compute will be the cornerstone of the California Empire. It'll be their dollar, their oil, their OASIS credits.

> I think compute is going to be the currency of the future. — Sam Altman

When you pay for ChatGPT to buy on your behalf the wrong number of plane tickets, you're just buying compute.

https://youtu.be/7ARt5crSNsQ?t=0m17s

pzmyers@freethought.online ("pzmyers 🕷") wrote:

This is the pinnacle of American conservative music? No thank you.

https://freethoughtblogs.com/pharyngula/2026/02/03/why-is-conservative-music-so-awful/

Boosted by Mastodon:
Bibliothecaris@social.edu.nl ("UniversityofGroningenLibrary") wrote:

We are ready to roll! Today, we're at the very first #DigitalAutonomy Fair at the @universityofgroningen!

Come by our booth, learn all about #PeerTube, #Mastodon, and about the @SURF instance https://social.edu.nl.
Create an account, get a sticker and please form a queue to cuddle our #plushtodon.

fromjason ("fromjason.xyz ❤️ 💻") wrote:

The Californian Ideology won. What we're experiencing now is technocrats trying to ratify their governance system.

The EU wants to build its own datacenters? Well, then California will just build bigger ones. They'll make it so the entire Internet is so resource intensive, that no one but California can build infrastructure for it. They're swapping a mini-truck engine for a Ford F-250. Then, they'll pass laws prohibiting the purchase of mini-trucks.

Boosted by adam@social.lol ("Adam"):
neatnik@social.lol ("Neatnik") wrote:

social.lol has been updated to Mastodon v4.5.6. :mastodon:

https://github.com/mastodon/mastodon/releases/tag/v4.5.6

And Tangerine UI 2.5.3. 🍊

https://github.com/nileane/TangerineUI-for-Mastodon/releases/tag/v2.5.3

jscalzi@threads.net ("John Scalzi") wrote:

Update: Oops

https://whatever.scalzi.com/2026/02/03/today-in-okay-what-the-actual-fk/

(Spoiler: something I wrote 14 years ago was referenced in an article that was forwarded in an email that's in the data dump. Entirely random single reference. Still absolutely fuckin' weird to be there.)

RE: https://www.threads.com/@jscalzi/post/DUMRRuzgN0h

fromjason ("fromjason.xyz ❤️ 💻") wrote:

Big tech is California's biggest employer. Which makes its citizens cogs in the Digital Empire—a sovereign entity with all the happenings of a young powerhouse.

Fiber Optic Slavery from the global south. Surveillance, censorship, and racism.

There is no corner of the world who doesn't answer to the Californian Oligarchs and its kingdom of compute.