ExeleroDev

209 posts

ExeleroDev banner
ExeleroDev

ExeleroDev

@exelero_dev

Coding in 🦀 | From the motherland with ⋆⁺₊❅ | Tech related account

Katılım Ağustos 2025
58 Takip Edilen18 Takipçiler
ExeleroDev retweetledi
Jarred Sumner
Jarred Sumner@jarredsumner·
I’m very motivated to prove the people making “jokes” about the Rust rewrite introducing security vulnerabilities wrong.
English
10
12
282
40.2K
ExeleroDev
ExeleroDev@exelero_dev·
🦀 TIL: rust-analyzer supports enabling Cargo features per crate in a workspace using crate/feature syntax. Works great in Zed. Example zed/settings.json: #rust #rustlang
ExeleroDev tweet media
English
0
0
1
380
ExeleroDev
ExeleroDev@exelero_dev·
@TheNoamLewis @valigo Funny how Windows now has 4(!) pre-release rings/channels - Canary, Experimental, Beta and Release Preview - that are supposed to catch bugs months in advance, yet the Task Manager duplication bug still somehow slipped through into General Availability.
English
1
0
1
39
Noam Lewis
Noam Lewis@TheNoamLewis·
@valigo Microsoft (esp after the year 2000) has taken this approach to immense business success. This isn't new
English
3
0
3
201
Valentin Ignatev
Valentin Ignatev@valigo·
"We don't care about the bugs, better AI will just fix all issues sometimes later" is really just a polite way to say "We don't care about because we conditioned our users to become shit eaters, so now they will happily eat shit".
English
18
8
143
4.1K
ExeleroDev
ExeleroDev@exelero_dev·
@gorilla0513 Elm/OCaml/F# are a gentler intro to FP than Haskell: they help you get comfortable w/ immutability, currying, partial application, monadic binding & combinators, pure functions &side effects, higher order functions, tail recursion, referential transparency fsharpforfunandprofit.com/series/thinkin…
ExeleroDev tweet media
English
0
0
0
198
ゴリラ - ダイエットの進捗だめです
新しい言語覚えようかなと思ってzigにしようと思ったけど、1.0になる気配がゼロなのでHaskellを覚えようかな 関数型言語を゙ちゃんと学ぶとかなり応用がききそうな気がする
日本語
2
3
62
9.5K
ExeleroDev
ExeleroDev@exelero_dev·
@FPupusas @penberg Feels incomplete without the "just rewrite it in C" guy who’s disillusioned with both Rust and Zig.
English
1
0
2
79
FortyTwoPupusas
FortyTwoPupusas@FPupusas·
@penberg truly has been a week of the worst takes on software X the zig cultists butthurt over bun leaving the rust cultists filing a million issues "this isnt idomatic" the antirust cultist screaming "look at all the unsafe code" the anti AI crowd calling it slop its so tiring
English
2
0
10
572
Pekka Enberg
Pekka Enberg@penberg·
It’s both funny and sad that many people are complaining about how ”terrible” the Rust code in the Bun port is. It’s like that on purpose because Jarred took the safe and correct path of mechanical translation from Zig. Idiomatic Rust should be incremental!
English
11
7
195
24.2K
ExeleroDev
ExeleroDev@exelero_dev·
@antirez The last solid idea from JS is signals (fine-grained UI reactivity), an alternative paradigm to observables. It originated in Knockout.js (2010), was refined by Ryan Carniato in SolidJS, is now a Stage 1 TC39 proposal, & has spread beyond JS, e.g., to Rust Leptos and Dioxus.
English
0
1
1
1.2K
antirez
antirez@antirez·
I must admit that nothing about computers, since I'm in love with the field, was so uninteresting as the Javascript different fashions, waves, frameworks, rewrites, hypes. And I'm one that loves almost every shit programming related.
English
72
66
1.4K
97.8K
ExeleroDev
ExeleroDev@exelero_dev·
@norpadon They decided to create Zig - a language that will never be accepted into the Linux kernel - instead of helping Rust stabilize its features and contributing to UB analyzers like Miri.
English
0
0
2
343
Artur Chakhvadze
Artur Chakhvadze@norpadon·
The silliest part of the "rewrite the Bun in Rust" story is that they decided to rewrite the JavaScript runtime instead of rewriting all the shitty JavaScript apps
English
3
6
125
7.1K
ExeleroDev
ExeleroDev@exelero_dev·
@mitchellh "It isn't unexpected that the focus of many Zig projects is on the anti-Rust side more than anything, since the internet loves to hate." It can be twisted this way. And now Jarred says that Rust compilation times are faster and Rust binary is also smaller.
ExeleroDev tweet media
English
0
0
1
1.6K
Mitchell Hashimoto
Mitchell Hashimoto@mitchellh·
It isn't unexpected that the focus of the Bun Rust rewrite is on the anti-Zig side more than anything, since the internet loves to hate. What is unexpected and unfortunate is that leadership within Bun hasn't tried to steer the conversation away from that at all. There are so many positive and interesting takeaways from this and I'm not really seeing any of them pushed as the primary message. A positive thing that hasn't been talked about at all is how far Bun came thanks to Zig. And even if you dump it now, its meaningful for how good Zig was to even build a product to this point and impact by any metric. I would've loved to see anyone in leadership say this. On the interesting side is how fungible programming languages are nowadays. Programming languages used to be LOCK IN, and they're increasingly not so. You think the Bun rewrite in Rust is good for Rust? Bun has shown they can be in probably any language they want in roughly a week or two. Rust is expendable. Its useful until its not then it can be thrown out. That's interesting! There's been a lot of talk about memory safety and no doubt Rust provides more guarantees than Zig. But I'd love to see a better analysis of why Bun in particular suffered so much rather than take the language-blame path. How could engineering as a practice been more rigorous to prevent this? What were the largest sources of crashes other programs should watch out for? How does Rust prevent them? How could Zig theoretically prevent them? That's interesting. I know the official blog post hasn't come out yet from Bun. But they're smart enough to know that that PR would stir up controversy the moment it opened, or they should've been. And plenty in the company have been tweeting and writing about it. Its somewhat telling to me in various dimensions what they chose to talk about first. I tend to think I'm pretty good at corporate PR/comms (especially when it comes to developer audiences) and I think appealing to the negative is never the right long term strategy; it does work to get short term eyes though.
English
111
246
3.6K
379.8K
ExeleroDev
ExeleroDev@exelero_dev·
@anotherone95492 @joodalooped @redorav Mark Russinovich did exactly that with Sysinternals, and it’s what landed him a job at Microsoft. Over time, Task Manager added features that were once only available in Process Explorer. But in 2010, Mark left the Windows division and joined the Azure team. Too bad for Windows.
ExeleroDev tweet media
English
0
0
0
20
anotherone222
anotherone222@anotherone95492·
@joodalooped @redorav No one does,And the guy that made this "TaskManager" is milking it now and wants more attention.
English
1
0
0
29
ExeleroDev
ExeleroDev@exelero_dev·
@joshmo_dev And more adoption means more corporate funding, better tooling, more researchers working on verification and memory-safety efforts like Miri and the Rust stdlib verification project, and companies hiring (core) Rust contributors to support the ecosystem long-term.
ExeleroDev tweet media
English
0
0
5
684
Josh (🦀/acc)
Josh (🦀/acc)@joshmo_dev·
unfortunate for zig. but a huge w for rust adoption
zack@zack_overflow

Unfortunately, I don't use Zig now. Every 1.5-5x human DX productivity boost from Zig features is eclipsed by the 100x boost from coding agents writing Rust: Allocator interface: This is my favorite Zig feature, you feel so galaxy brain using a specialized allocator to optimize a code path (e.g. arena, stack fallback etc). The problem in Rust used to be that there was no Allocator interface equivalent and if you wanted a Vec that used a custom allocator you literally had to copy+paste the std version and modify it to use it (this is what Bumpalo did, look at the source). For a long while now there has been an Allocator trait in nightly, and it seems to be good now. Because it is a trait it is static dispatch, vs Zig's which is based on a vtable. Unlike Zig there isn't a community-wide convention of designing data structures to be parametric based on the allocator, but AI changes the game and makes it trivially to copy paste code and change that. I find it works well enough for my use-case. Arbitrary bit width integers + packed structs: Another beloved Zig feature of mine. It makes it so easy to do DOD-style CPU cache optimizations and stuff like tagged pointers, NaN boxing, etc. and even made bitflags really easy to make. You could always do this in Rust or any systems programming language but it was really ugly/unergonomic. The least worst option was using some crate like bitfield/bitflags which both rely on proc macro magic to work. Now, with coding agents I literally do not care how annoying it is to write the code by hand. Comptime: This is Zig's flashiest feature, no other programming language except maybe for obscure dependent-types langs have compile time evaluation as nice as Zig's. I thought I would miss it a lot, but I actually don't. For me, 95% of comptime usage is to create Zig's version of generic data structures with parametric types. Rust has a better designed type system IMO (see next section). In the remaining 5% of cases, not having comptime sucks. The only reliable way to reach an equivalent is through codegen. I'm making a game right now, and I have hardcoded hitbox geometry data generated from a tool that I want to bake into a data structure. Without comptime, I have to get Claude to write a script that generates the Rust file. However, I don't find myself needing compile time evaluation that much anyway. Rust's type system: I think I'd rather trade having comptime for Rust's better-designed type system, especially for bounded polymorphism (traits/typeclasses). Trying to do the equivalent in Zig is a nightmare. Also, I think that Rust's type system allows you to enforce more variants and prevent coding agents from making common mistakes. In my game I use the euclid crate which essentially allows you to not mix up coordinate spaces (very common problem in graphics programming) by creating specialized types for each coordinate space (e.g. Point or Point) Not having to deal with memory issues: With coding agents allowing 100x more code to be written, this also means you need to scrutinize 100x more Zig code for memory issues. Without formal verification, the surface area of the search space to enumerate to find bugs is just so much larger now. With the magnitude of code being generated now, Rust is even more attractive. Rust's tradeoff was always that it hinders developer productivity especially if you are unfamiliar with borrow checker, but this simply does not matter with coding agents anymore. And if you do use unsafe in Rust there's tools like miri which you can have the coding agent run the code against to make sure it doesn't cause UB or isn't violating Rust's aliasing rules when it comes to unsafe. I still miss writing Zig and find it to be a great language but I like Rust more and coding agents work with better with it.

English
7
4
112
8K
ExeleroDev retweetledi
Zed
Zed@zeddotdev·
LSP code lens has landed. 🔍 Language server actions appear as clickable buttons right in your source code. Turn it on with `"code_lens": "on"` in your settings.
English
4
3
99
8.2K
Arun S Jois
Arun S Jois@arunsjois·
@rough__sea I am sure nobody is even thinking of rewriting Postgres...
English
1
0
0
956
Ryan Dahl
Ryan Dahl@rough__sea·
i expect almost all software is about to be rewritten from scratch
English
129
92
1.4K
120.6K
ExeleroDev
ExeleroDev@exelero_dev·
- Running 20 agents maxed out a 14-core Mac. - Git worktrees created isolated directories, eating 100GB+ of disk space (fixed via a globally shared target dir). - Compiling the parser took 50% of time until isolated into a crate, leveraging incremental compilation (caching).
English
1
0
0
293
ExeleroDev
ExeleroDev@exelero_dev·
A month ago, Michael Malis started rewriting PostgreSQL in Rust with AI. PG is 1.3M LOC. At 250k LOC, 1/3 of 50k regression tests passed in 2 weeks; a week later, 450k LOC passed 2/3. The goal wasn't just to find out if AI could pull it off, but also to improve on PG limitations.
ExeleroDev tweet media
English
1
1
5
4.4K