Mastodon Feed: Posts

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.

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

People look down on the Deep South as this racist backwards part of the country. And of course, there's some truth to that. But, it is no worse than any part of the country. We just have bad public relations.

Look at California. It convinced the world that its great exports are almonds and hot yoga. That it's a bastion of progressive ideas. When the truth is, California is home to surveillance capitalism and war-tech. Californian Technocrats are the world's greatest war mongers and thieves.

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

Can We Have New Bad Things?:

"Second, as Tooze asks, “Why can’t we have new bad things?” Why is it so difficult for progressives to consider that we might be in a genuinely new moment?"

We’re all guilty of this, of finding historical context. It helps. But perhaps it’s an overused trope. I think it’s comes from, of all places, Rachel Maddow lol. She’s the queen of historical context. https://damagemag.com/2026/02/03/can-we-have-new-bad-things/

Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
tante@tldr.nettime.org wrote:

"The Zersetzung is working. He is taking himself apart, piece by piece, and replacing the parts with synthetic fillers because the world has told him his own parts are defective."

"The Colonization of Confidence" by Robert Kingett is one of the best pieces of writing about "AI" I have ever seen. Read it over lunch and it literally made me cry in the restaurant.

https://sightlessscribbles.com/the-colonization-of-confidence/

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
RollingStone@flipboard.com ("Rolling Stone") wrote:

When a Journalist Is Arrested, Democracy Is the One in Handcuffs
https://www.rollingstone.com/politics/political-commentary/don-lemon-arrest-kerry-kennedy-1235509695/?utm_source=flipboard&utm_medium=activitypub

Posted into Politics News @politics-news-RollingStone

jsonstein@masto.deoan.org ("Jeff Sonstein") wrote:

obfuscation through flooding:

a strategy to turn transparency into opacity by presenting an unmanageable flood of data.

https://mastodon.social/@blogdiva/116006951621937698

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
john@social.gozzys.com ("John "Gozzy" Godsland") wrote:

Strict variable typing is a pain when you first adopt it after being used to dynamic types. But stick with it and you will see the benefits. #PHP

Boosted by jsonstein@masto.deoan.org ("Jeff Sonstein"):
M0KHR@mastodon.radio wrote:

People: antenna building needs precision, accurate workmanship

Me: where is my glue gun... Nevermind, hold this, little Koala bear.

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

I was accidentally mentioned in passing in the Epstein files.

https://freethoughtblogs.com/pharyngula/2026/02/03/im-in-the-epstein-files/

db@social.lol ("David Bushell ☕") wrote:

That's a funny way of saying you bricked my backup, Apple 🙄

Boosted by baldur@toot.cafe ("Baldur Bjarnason"):
daedalus@eigenmagic.net ("JP") wrote:

*rubs temples* the GenAI bros are speedrunning infosec the way the cryptocurrency bros were speedrunning financial regulation: by jumping off a cliff into a tree, hitting every single branch on the way down. https://1password.com/blog/from-magic-to-malware-how-openclaws-agent-skills-become-an-attack-surface

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

Finally, I can see what's draining my battery easily 🔥

🔋 **jolt** — A battery & energy monitor TUI

💯 See battery health, system power draw & energy-hungry processes
⚙️ Runs on MacOS & Linux
📊 Supports history graphs, themes, bg daemon.

🦀 Written in Rust & built with @ratatui_rs

⭐ GitHub: https://github.com/jordond/jolt

#rustlang #ratatui #tui #terminal #battery #power #monitor

Attachments:

• gifv: d84b398ed347536a.mp4

Boosted by jwz:
virtualbri@mastodon.online ("Brian Tatosky") wrote:

Felt right for this merger.

Boosted by jwz:
mattblaze@federate.social ("Matt Blaze") wrote:

No, Trump does not have the legal authority or the practical ability to “nationalize” US elections, for all the same reasons he also didn’t when he issued an executive order a few months ago abolishing mail in voting. Elections are governed by states, and, to a limited extent, Congress. Not the executive branch.

There are plenty of very real, immediate threats to democracy to get worked up about right now. This isn’t one of them.