MiloIgnis boosted

soft. ware.

basically hacker news went down yesterday and in this screenshot someone chimes in talking about it saying that they had a batch of SSDs manufactured by SanDisk all get bricked after exactly 40,000 hours (4.5 years) uptime because it overflowed an internal counter and corrupted the SSD's internal state.

someone from hackernews replies and says that the SSDs HN was hosted on were in fact SanDisk Optimus Lightning IIs and almost exactly 4.5 years old.

never trust a firmware

MiloIgnis boosted

I can NEVER remember the order of the two arguments to ln -s

Show thread
MiloIgnis boosted

"$WEBSITE is better on the app!!" says website whose app is only "better" in the sense that it does not have popups telling you it is better on the app

MiloIgnis boosted

Heads up! #Microsoft is on track to ban all commercial activity by #FOSS projects on Microsoft Store in about a week! This is even worse than their (eventually repealed) 2011 ban on #copyleft for their app store! 😡️ We demand rollback of this new policy: sfconservancy.org/blog/2022/ju

MiloIgnis boosted

I'm talking about projects like:

* Bibliogram for Instagram
* Imgin & Rimgo for Imgur
* Invidious & Piped for YouTube
* Librarian for LBRY/Odysee
* Libreddit & Teddit for Reddit
* Lingva & SimplyTranslate for Google Translate
* Nitter for Twitter
* Proxitok for Tiktok
* Scribe for Medium
* Whoogle, Searx, & SearxNG for Google, etc
* Wikiless for Wikipedia (though not as needed)

And thanks to farside.link/ for loadbalancing instances of these to ensure I don't overload them!

2/2 Fin!

Show thread
MiloIgnis boosted

Clams of the genus Ctenoides are sometimes called "disco clams" due to their ability to generate a funky flashing light show via reflective silica nano-spheres in their mantle. The lights are thought to help deter predators. They are sometimes called flame scallops, and while they are not actually in the scallop family, they do have some traits in common, such as simple eyes and the ability to swim with jet propulsion! #clamfacts youtube.com/watch?v=PXTf8PwYqe

MiloIgnis boosted

"Sanctuary," the child cried, running into the library.
"Nice try," the guard following after sneered, "but only holy places can grant sanctuary."
The librarians glanced at each other. A small nod.
The head librarian gave the guard a stern look.
"Sanctuary granted."
#MicroFiction #TootFic #SmallStories

It's not even but I finally got around to watching "On the Expressive Power of Programming Langauges" given by Shriram Krishnamurthi on PapersWeLove, and it was stunningly good:
youtu.be/43XaZEn2aLc
In less than an hour he explains a practical formal definition of equality and formal levels of expressiveness even within Turning complete languages while making the whole thing fun to watch

Today's link is learntla.com/ - a resource I found and started reading today about TLA+. Proving your code formally correct too hard? Maybe design the system in TLA+, formally check the model for the properties you care about, and then write the code based on that solid design!

MiloIgnis boosted
MiloIgnis boosted

Disappointed to learn Cohost has been started by people from the fediverse. You know what the fediverse is but you learned the wrong lessons from it. Yes, I also think some servers are not operated professionally and blocks often get misused, but that is not a reason to replace a free and open system with a locked down one. I wrote on why decentralization matters back in 2018:

blog.joinmastodon.org/2018/12/

MiloIgnis boosted

Today's link is cakeml.org/ ! A fully verified compiler for ML, end to end. I believe Graydon Hoare once said that this was such an incredible achievement that it was essentially science fiction when he was learning CS. As someone who wants to write a formally verified compiler, it's very inspiring

MiloIgnis boosted

At work, I get 4 hours every Friday to do professional development on learning formal methods, and we call it Formal Friday! I'd like to start connecting with any interested part of the formal fediverse who's interested in these sorts of things, so I'm going to start posting at least one interesting formal resource, paper, or thing per Friday! Ok, here we go:

- the Software Foundations series of ?textbooks? are fantastic for getting started: softwarefoundations.cis.upenn.

MiloIgnis boosted

I aim to make my computing so weird that no regulator could begin to understand, let alone regulate it.

MiloIgnis boosted

"#Twitter has agreed to pay US$150 million to settle allegations it misused private information, like phone numbers, to target advertising after telling users the information would be used for security reasons"

channelnewsasia.com/business/t

MiloIgnis boosted

mess with the rest die like the best
wait
mess with the worst die first
wait
mess with the first eat die wurst
wait

nevermind

hack the planet!

MiloIgnis boosted
Show older
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!