From Wikipedia's homepage: "Did you know...that the #Tokio platform for the #Rust programming language uses a work stealing scheduler?"https://en.wikipedia.org/wiki/Tokio_(software)https://en.wikipedia.org/wiki/Work_stealing
I'm about 70% done rewriting one of my Wikipedia bots into Rust from Python. Reduced the runtime from 12+ hours to under 10 minutes.I suspect the final runtime will end up being no more than 15-20 minutes.Yay for fearless concurrency ^.^
Pageviews on the "Ship of Theseus" article have been sitting at ~1,000/day until dramatically shooting up 40x when mentioned by The Vision in the WandaVision season finale!https://en.wikipedia.org/wiki/Ship_of_Theseus
As one of the top contributors to MediaWiki, the free wiki engine that powers Wikipedia, I'm often asked how I got started. To celebrate Wikipedia's 20th birthday, here's that unfortuante story. In late 2012, I was a bored college student who was spending most of his time editing Wikipedia. I…
New bugfix release for my Skip Mobile Wikipedia addon: https://addons.mozilla.org/en-US/android/addon/skip-mobile-wikipedia/It's fully compatible with Firefox for Android if you always want to use the desktop Wikipedia view on your phone. Despite the name, it supports all Wikimedia wikis.Today's release, 0.2.1, fixes wikidata.org support.
How many legs does a horse have? Google thinks the answer is six.Good job Wikipedia?
Artemis Fowl, sitting right of center on my "favorite books" shelf. Nearly two decades later, the Artemis Fowl movie is finally happening. It's hard for me to overstate how important Artemis Fowl has been to me. One of my friends asked me if I saw the trailer today and I…
I've spent a decent amount of time reading Wikipedia articles about Senate, House, and state races this week. And...there were inconsistencies. Specifically in the election box result templates: That's what it looked like before I updated the article to use my template instead. There are a few different issues. First,…
Skip Mobile Wikipedia on Firefox Add-ons Lately, I've been reading Wikipedia on my phone significantly more than I used to. I get 15 minutes on the train each morning, which makes for some great reading time. But when I'm on my phone, Wikipedia redirects to the mobile website. I'm sure…
If you go to all this effort to make a game, how do you get the domain name wrong???
Improved an old article I wrote, Project Shield, to contribute to World Day Against Cyber Censorship.
New Wikipedia iOS app update asks you to opt-in to sending usage reports. That's awesome. When is it coming to the Android app? :-)
Wikipedia turned 15 last week. Aside from having my friends wish me a happy birthday, I also went to the party in San Francisco. I had a good time meeting up with some Wikimedians that I hadn't seen in a while, and also enjoyed the talks. My favorite was by…
New sticker ^.^ I'm ready for Wikipedia 15 now!
New t-shirt thanks to WMF :)
