Both, obviously π
03.12.2025 20:40 β π 1 π 0 π¬ 0 π 0@thomasjo.bsky.social
Software engineer. Former AI researcher. I mostly work with Rust, AI/ML, and satellite data. I'm very passionate about open source software, open access, and a11y. PhD in AI/ML. I support Palestine.
Both, obviously π
03.12.2025 20:40 β π 1 π 0 π¬ 0 π 0β0% woke shitβ
a black man with a physical disability leads an environmental terrorist cell trying to save the planet from mega-billionaires and you play as a cross dressing twink femdomed by two different women ending and the final boss against the gayest angel of all time
Issue #58 is live!
www.theembeddedrustacean.com/p/the-embedd...
man, can you imagine a world where we poured 1, 10, or 252 BILLION dollars[1] into maintaining/developing open source, programming languages, dev tools, teaching material, documentation, etc?
like, god damn. 1/10 of that, and AI would probably work better too.
[1]: hai.stanford.edu/ai-index/202...
The rustaceans are gathering, #Florence is buzzing! π
Tomorrow #RustLab2025 kicks off three days of pure Rust magic!
Double-check your schedule, charge your devices, and get ready to be inspired. π€©
See you all tomorrow, can't wait! π¦ β¨
π rustlab.it
#RustLang
βThey fear love because it creates a world they can't control.β β George Orwell
25.10.2025 20:35 β π 1 π 0 π¬ 0 π 0A CAPTCHA puzzle titled 'Select all companies with profit - If there are none, click skip' showing a 4x4 grid of tech company logos including OpenAI, Snapchat, Vercel, Uber, NVIDIA, DoorDash, Lime, DeepSeek, Anthropic, Reddit, Lovable, Replit, a0.dev, Cursor, Lyft, and Bolt. A blue 'SKIP' button appears at the bottom right. The image satirizes how few tech companies are actually profitable.
These captcha's are getting out of hand..
Pretty sure the answer is just clicking skip.
Mamdani is already getting the criminals out of NYC!
21.10.2025 17:09 β π 21941 π 3327 π¬ 896 π 301i donβt normally endorse block lists (iβm on some, weirdly lumped in with people i myself have blocked) but i donβt see how blocking all these accts with one button is bad.
most importantly, DO NOT ENGAGE WITH THEM. they already own X so they wouldnβt be here if they werenβt trying to start shit.
The Azure CLI tools are so terribly slow. Why are we so OK with bad/slow software? Stop writing critical tools in Python. This should have been written in a modern, compiled programming language β Go, Rust or whatnot. Hell, even Node or C# would have been better.
The Enshittification is real.
#rustlang PSA: you probably don't want #[allow(dead_code)], you probably want #[expect(unused)]
10.10.2025 19:55 β π 144 π 25 π¬ 12 π 4TIL: "Flux is a refinement type checker plugin for Rust that lets you specify a range of correctness properties and have them be verified at compile time." flux-rs.github.io/flux/index.h...
06.10.2025 23:11 β π 3 π 1 π¬ 0 π 0My #RustConf '25 talk has posted! The story of adapting #rustlang at Rivian and Volkswagen Group Technologies ...
Slides: docs.google.com/presentation...
Rust jobs @ RVT: docs.google.com/document/d/e...
Video: www.youtube.com/watch?v=3RIx...
The new TOC from academia dot edu. By creating an Account with Academia.edu, you grant us a worldwide, irrevocable, non-exclusive, transferable license, permission, and consent for Academia.edu to use your Member Content and your personal information (including, but not limited to, your name, voice, signature, photograph, likeness, city, institutional affiliations, citations, mentions, publications, and areas of interest) in any manner, including for the purpose of advertising, selling, or soliciting the use or purchase of Academia.edu's Services.
If youβre on academia dot edu, let me suggest that you strongly consider deleting your account.
17.09.2025 19:09 β π 2140 π 1298 π¬ 81 π 203Let Amir live (0 year old) I'm representing one out of 2.38 million Palestinian children living in the Occupied Palestinian Territory. Join me at letchildrenlive.com
letchildrenlive.com
08.09.2025 16:08 β π 2 π 0 π¬ 1 π 0I'm "inspired" enough by this whole ordeal to the point this might bring me back to blogging (after a short 13 year hiatus).
20.08.2025 04:38 β π 1 π 0 π¬ 0 π 0I'm very glad the Azure team has detailed documentation on the shared key format with step-by-step instructions on how to construct one. I learned a lot from this wild adventure, but I wish it wasn't necessary. The official Azure SDKs for Rust should support the other stuff made by the team.
20.08.2025 04:38 β π 0 π 0 π¬ 1 π 0Thankfully, the HTTP client logic has a middleware system that can be customized. More importantly, it's possible to customize the final layer. My wild solution was to implement the logic to generate a shared key for every request, and then overriding the authorization header with the shared key.
20.08.2025 04:38 β π 0 π 0 π¬ 1 π 0I went on a wild adventure yesterday β trying to get the official Azure SDKs for Rust to work with Azurite (the storage emulator). The primary issue was that the SDK only supports access tokens, and Azurite only supports shared key tokens. However, I managed to find a solutionβ¦
20.08.2025 04:38 β π 3 π 0 π¬ 1 π 0I only ever interact with public GitLab organizations and repos via direct links. As you rightly point out, their discoverability is terrible. I guess they're quite limited in terms of staff, so they likely cut corners wherever they can as long as paying customers are happy-ish. That's a guess tho.
11.08.2025 19:19 β π 1 π 0 π¬ 0 π 0Yeah, I hear you. GitLab feels like it was first and foremost made as an on-premise alternative to GitHub. The public part, including their SaaS/cloud stuff feels like an afterthought. I also dislike that so much useful stuff is paywalled behind their most expensive ("Ultimate") plan.
11.08.2025 19:19 β π 1 π 0 π¬ 1 π 0I'm still very early in my jj journey, but I echo what @samwho.dev replied with; for me it's mostly about a simpler and slightly more intuitive mental model. At the very least, teaching jj seems miles easier than git. It feels like a nice blend of git and hg.
11.08.2025 19:14 β π 0 π 0 π¬ 0 π 0I was thinking the same! I've been learning jj recently, and overall I really like it. The support for using git as a backend was a brilliant move.
11.08.2025 19:11 β π 1 π 0 π¬ 1 π 0It's time for a true alternative to GitHub. I wish the answer was GitLab, and I hope it might still be. But today their offering is not good enough. The overall UX isn't good enough, and the CI/CD story is below mediocre when compared to GitHub's offering. GitLab needs to copy GitHub Actions.
11.08.2025 18:42 β π 2 π 0 π¬ 1 π 0This is sad. This is really sad. I was one of the folks who truly believed Microsoft's promises when they acquired GitHub, and have defended the acquisition on many occasions. I guess I was fooled, and I helped them fool other people. Besides feeling sad, I am ashamed.
Microsoft cannot be trusted.
I'm so happy that I'm able to attend @rustlab.it again this year. Last year was amazing and I suspect this year might be even better β if that's possible. I believe there are still tickets available, so go sign up right now! It's the best conference I've ever attended. Oh, and it's in Florence π₯°
09.08.2025 20:02 β π 0 π 0 π¬ 0 π 0Build stuff you're proud of.
09.08.2025 18:24 β π 1 π 1 π¬ 0 π 0