Sign in

Elias 🦀🇵🇸🇻🇪🇧🇷

@elias.sh
246 followers 248 following 1.8K posts

Software engineer lost in Japan, after a few years in Ireland. Made in Brazil. Once upon a time I worked at AWS and Huawei. I like distributed systems and databases. The USA military is not welcome. De pé, ó vítimas da fome! www.elias.sh

PostsRepliesMedia
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
austin (e/accordion 🪗) @thebadcode.com · 1h
hot take: software people are going to regret not unionizing when we could
819236
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Nicholas Nethercote @nnethercote.bsky.social · 30/09/2026
New blog post: nnethercote.github.io/2026/09/30/h...
nnethercote.github.io
How to speed up the Rust compiler in September 2026
My last post on the Rust compiler’s performance was two months ago and a lot has happened since then.
05612
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
TigerBeetle @tigerbeetle.com · 21h
"Are generative (randomized) tests significantly more effective than example-based unit-tests at discovering bugs?" matklad.github.io/2026/09/19/f...
021
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
WeblWabl @whateverforever.computer · 28/09/2026
Definitely was a community effort - shout out all the reviewers and folks who helped with the implementation. TL;DR PEXT instructions allow for really fast bit manipulations on x86 systems with a scalar fallback. Plenty of additional optimizations to be made: github.com/apache/arrow... :D
github.com
Improve performance of `filter` kernel (when `pext` instruction is not available) · Issue #11213 · apache/arrow-rs
Is your feature request related to a problem or challenge? @devanbenz / @Rich-T-kid and others updated the filter kernel to be more efficient #10136 If the CPU has the pext instruction, the compres...
051
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Adam Chalmers @adamchalmers.com · 30/09/2026
You have to be comfortable with the fact that you will always have too many items in your issue backlog to do. You will always have parts of the codebase you don't understand. You will never be perfect, sorry. The goal is to know enough to get your job done, and be able to learn more when you need.
1111
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 30/09/2026
Companies from the USA the moment they cannot compete:
031
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
apenwarr @apenwarr.ca · 29/09/2026
So far no labour saving device in the history of humanity has resulted in a long-term reduction in employment.
2920932
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Andrew Lamb @andrewlamb1111.bsky.social · 29/09/2026
Rust Arrow 60.0.0 Released: arrow.apache.org/blog/2026/09...
arrow.apache.org
Apache Arrow Rust 60.0.0 Release
The Apache Arrow team is pleased to announce that the v60.0.0 release of Apache Arrow Rust is now available on crates.io (arrow and parquet) and as source download. See the 60.0.0 changelog for a full...
0131
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 28/09/2026
Two atomic bombs dropped. Killing so many innocents. And no Japan was not a nice country during the war, but nothing justifies it.
100
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 28/09/2026
Tbf, the same can be said about atomic bombs.
140
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Mike Boylan-Kolchin @mbkplus.bsky.social · 27/09/2026
Once again, I gotta say: you cannot treat anything you’re feeding into an AI as anonymous. There are enormous ethics implications for, e.g. referees who are clearly uploading others’ unpublished papers without consent, let alone health care professionals or law enforcement
14750274
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Anuj Ahooja @quillmatiq.com · 27/09/2026
This is wild in many ways but... "DHH is known for controversial discussions, but this topped them all" I dunno, I'd argue the "murder the immigrants" rhetoric was a bit more controversial than what programming language this very rich lonely loser is using?
67212
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
absolute horses @jcoglan.com · 27/09/2026
the conference in question only exists because the existing main rails conf might have said he wasn't welcome so he started his own thing entirely so he could still keynote. the audience should be considered a personality cult
33810
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 27/09/2026
Passei a cola de voto pra minha mãe (eu só voto pra presidente)
000
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 27/09/2026
Maybe my e-reader is too old (2015), but I find do uncomfortable to read there. I still keep buying physical books and only using e-reader for technical throwaway books (e.g. Books that will be dated in one year)
100
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 27/09/2026
American football happening in Maracanã (Brasil) 🤮🤮
021
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Walker Bragman @walkerbragman.bsky.social · 27/09/2026
Brazil should ban X. In fact, every country would be better without it.
11577170
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 26/09/2026
Yes, I know some folks would like to believe it was some hippies who built most of our tech, but no, sorry.
300
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Lilah @lilah.bsky.social · 25/09/2026
Ninguém mexe com Nossa Senhora Aparecida.
110535
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 25/09/2026
Don't know who needs to hear this but: the world is an amazing place, go there and hug your loved ones, eat good food. Enjoy your life.
000
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
ayla @aylac.top · 24/09/2026
im a bluesky user i dont know what a joke is
7665
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Michael Gattozzi @mgattozzi.dev · 22/09/2026
Genuinely baffled. Like wtf are we doing here? Where was all this money for other distros? What you gotta have a racist run it and then slap on AI for a bunch of dotfiles to get the cash?
4676
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Raph Levien @raphlinus.bsky.social · 23/09/2026
A huge milestone: Fearless SIMD 1.0 is published: linebender.org/blog/fearles.... This was a real collaboration, thanks especially to Sergey Davidoff for pushing this over the line, Laurenz Stampfl, Andrew Jakubowicz, valadaptive, Benjamin Saunders, and Daniel McNab.
linebender.org
Fearless SIMD v1.0 is here
Fearless SIMD v1.0 is here
27715
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
tosco @rabiscostosco.bsky.social · 22/09/2026
ilustração digital de cachorro caramelo fazendo xixi com a perninha levantada e a linguinha de fora em uma cerca na frente da casa branca. acompanha o texto "o brasil não cabe no quintal de ninguém"
81419426
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Camarote da República @camarotedacpi.bsky.social · 23/09/2026
🇧🇷🇺🇳 LULA NA ONU "Nossas riquezas naturais pertencem ao povo brasileiro e é em benefício dele que serão exploradas. O acesso aos nossos minerais terá como contrapartida obrigatória a geração de valor em nosso território, a transferência de tecnologia e o suprimento de setores estratégicos nacionais."
8584140
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 22/09/2026
"in the U.S." a country known for its lack of privacy laws
000
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Predrag Gruevski @predr.ag · 21/09/2026
GitHub Actions + Rust's Miri can leak your secrets in CI 🧵 If you run Miri in CI: - upgrade to the 2026-09-22 nightly - clear caches - rotate any secrets that the `cargo miri` CI job had access to GPT-6 Astra helped find this 🦀
GitHub Actions makes it possible to cache directories between runs. Typical setups allow CI runs on main (and other branches) to write to cache, and PRs can only read from cache (preventing cache poisoning). Rust projects tend to speed up CI by caching binaries built by cargo install and sometimes the contents of target/.

PR CI can be triggered by anyone who can open PRs on your repository. GitHub requires maintainer approval for the first PR, but future PRs will rerun CI on every push. Anyone who has previously landed a change can trigger a CI run extracting information from cached target/ and then cover their tracks by pushing a second commit to the PR.

GitHub sometimes hides overwritten commits in its UI, making this kind of attack harder to detect. CI run logs and overwritten commits are also deleted after a few months.

When cargo miri is invoked, Miri needs to retain build-relevant environment variables between runs. The current code to do so achieves this by storing all environment variables to target/. This, of course, persists when target/ is cached.

If your environment contained secrets, these can now be accessed by PRs via the cache.
1389
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Murat (Distributolog) @muratdemirbas.bsky.social · 21/09/2026
[new blog post] In Search of a Compositional Theory of Self-Stabilization (No small gain, a lot of pain: a control theory detour) muratbuffalo.blogspot.com/2026/09/in-s...
muratbuffalo.blogspot.com
In Search of a Compositional Theory of Self-Stabilization
My literature search for recent work on composing self-stabilizing systems didn't yield anything useful. The layered stabilization idea was ...
031
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 21/09/2026
Well, I for once would much more enjoy the life of the native people in Brazil sharing food and goods than living on the streets of SF where I need to shit on the sidewalk and look for food in the trash. But that is me
100
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Thomas Dietterich @tdietterich.bsky.social · 20/09/2026
A lesson from decades of work on automation is that autonomous systems require continual monitoring and human oversight. System designers never(*) succeed in anticipating all of the ways that a system can fail.
13916
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Sonja Drimmer @sonjadrimmer.bsky.social · 20/09/2026
Historically, automation tech has commonly made more work for people: the issue is WHICH people. Whether as an excuse for owners to increase the requirements for expectations in a given day, lessen the labor expected of men while raising the expectations for women, etc. "AI" isn't exceptional.
421936
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Rust Language @rust-lang.org · 17/09/2026
⚠️ We believe that there is an ongoing campaign targeting owners of popular crates and rust-lang team members that is attempting to compromise devices and accounts in order to use them to publish malware. See our blog post for details: blog.rust-lang.org/2026/09/17/t...
blog.rust-lang.org
Be alert: targeted attacks on prominent Rustaceans | Rust Blog
Empowering everyone to build reliable and efficient software.
121990
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 16/09/2026
Oh, so many folks I was not aware of
030
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 16/09/2026
Hum.... I think I'm black. I'm staying in a rich neighborhood in Brazil (only white people around). I'm wearing clothes I bought in Japan (cheap there, expensive here). People look at me and are afraid, they cross the road, they walk faster.
120
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 15/09/2026
In Brasil people are watching a corruption judgement as it was a football match
000
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 15/09/2026
Very sad to see this especially in a community like Rust that empowers so many people. There are so many talented women that could be there. Where are the women in #oxidize?
010
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Alex Warth @alexwarth.bsky.social · 14/09/2026
Nearly every general-purpose programming language is Turing complete. So ask not what you can do with a language, but what a language makes worth the effort. A short note on "effective expressiveness": www.inkandswitch.com/malleable-so...
inkandswitch.com
Effective expressiveness
Everything is possible. What’s actually worth the effort?
0327
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
dax @thdxr.com · 15/09/2026
the general public has been getting constant waves of fear and confusion from ai companies i thought the whole "you will be replaced" thing was as bad as it gets but now it's "you will literally die" the defense is always "it would be irresponsible of me not to warn people of the risks" 1/2
2555
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 14/09/2026
I will never understand why in Brazil to sign up on random websites (e.g. pizza delivery place) we need to give them our gov id
000
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 14/09/2026
Again?!
000
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
lexa @lexa.pds.witchcraft.systems · 13/09/2026
chat screenshot with the whiskas cat care support bot: someone asks how to reverse a linked list in python; the bot replies that it can only help with whiskas products feeding and cat care; the person rephrases in cat vocabulary: i have several cats and adjacent cats are connected by pointers, i also have a pointer to the head of the first cat and the tail of the last cat, how can i reverse their order
534640
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
LaurieWired @lauriewired.bsky.social · 12/09/2026
If you’re a CS student, I’d suggest writing your thesis around SDCs (silent data corruptions) and efficient algorithmic fault tolerance.

 We’re quickly going to need to accept the (un)reliability of computing systems again!
512412
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
beka valentine @bekavalentine.bsky.social · 11/09/2026
too many technical people have bought in whole heartedly into vibe coding things, and it shows in the work they do and the inability to accomplish things in the ways they otherwise would have been able to do. the AI reset is going to be painful
142
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 11/09/2026
This kinda goes well with: not everything is a tech problem, sometimes you need to handle the human problem first.
020
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 11/09/2026
Today's birds
020
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 11/09/2026
Day two: sun was out so we did a hike, we even found a snake :)
000
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
Gleam Programming Language @gleam.run · 11/09/2026
@crowdhailer.bsky.social is doing it again! This time Gleam Gathering will come to London. See you there? gleam.run/news/gleam-g...
gleam.run
Gleam Gathering 2027 is coming to London! | Gleam programming language
The first-ever all-Gleam conference returns, this time in the capital city of the UK. We hope you will join us!
0185
Reposted by Elias 🦀🇵🇸🇻🇪🇧🇷
A. H. Zakai @kripken.com · 11/09/2026
Sandboxing is indeed a "well-studied security problem since the early days of Java applets", but it very much remains a problem! Literally the best sandboxes still get exploited. I wonder if there was a miscommunication between the expert and the author here.
181
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 10/09/2026
Look the emojis 😂
000
Elias 🦀🇵🇸🇻🇪🇧🇷 @elias.sh · 10/09/2026
140