steveklabnik

3 ms·

1.
Arguing about Arguments(steveklabnik.com)
4 points by steveklabnik 5d ago|0 comments
2.
by steveklabnik 6d ago
Usually people say “spatial” vs “temporal”.
3.
by steveklabnik 7d ago
It’s actually the opposite: the language has zero allocations in it. Allocation is entirely a library concern. When you want to have a closure allocate an environment, the closure itself does not: the Box you wrap it in, which is a stdlib t
4.
by steveklabnik 7d ago
Some of mine are and some of mine aren’t, but the ones that are are on platforms that are still made and supported, unlike Intel Macs.
5.
by steveklabnik 7d ago
I didn’t say they didn’t exist. I said it isn’t bizarre that a startup does not prioritize support for unpurchasable hardware that is no longer supported by its manufacturer.
6.
by steveklabnik 7d ago
If panics are set to unwind, you do need to consider it, and the UnwindSafe auto trait is there to help with memory safety, but logical issues can still arise. It’s way way more rare in Rust though.
7.
by steveklabnik 8d ago
Intel Macs haven't been sold for over three years now. I don't think that's bizzare.
8.
by steveklabnik 8d ago
Origin is a platform, this is about storing context in your repository directly.
9.
by steveklabnik 10d ago
> To the extent of considering other choices "immoral". This is literally an /r/pcj meme.
10.
by steveklabnik 10d ago
> and, of course, not much can be extrapolated from any benchmark Right, so one case (which I certainly believe is possible) is very different from “time and time again.”
11.
by steveklabnik 10d ago
I’m curious where you have seen this.
12.
by steveklabnik 11d ago
The original authors of uutils do not particularly care about licensing, and the Rust ecosystem defaults to MIT/Apache2. So they chose that. Many people have decided that this decision supposedly specifically about licensing ideology.
13.
by steveklabnik 14d ago
Certainly meant to be more of a teaser. We’ll get there. It’s very possible some of your proposals are similar, I’m not familiar with them specifically so I can’t say. But there’s just a lot of stuff that’s already working in existing syste
14.
by steveklabnik 15d ago
We are huge believers in stacked diffs, both for humans and machines. That said, everyone is trying to figure out what code review means in this new world, so we're open to things changing here. You can get claude to produce small, foc
15.
by steveklabnik 15d ago
It's certainly not the case that no open source projects use monorepos, you are right that the BSDs do as well. It's that those repositories are still orders of magnitude smaller than the ones that are inside of companies. Monorep
16.
by steveklabnik 15d ago
I found this reply very confusing... is this an atproto joke?
17.
by steveklabnik 15d ago
Trying to keep it high level here. Explaining this is important, but it's just an entirely different kind of post. That post would be deep in the weeds, and this one is at a high level. Both matter, for sure. And we'll put out mor
18.
by steveklabnik 15d ago
Thanks Rick! I realize this post is light on technical details. I expected this kind of reaction from HN, which is also fine. The goal here is more to share anything about what it is that we've been doing; a lot of people assumed tha
19.
by steveklabnik 16d ago
Sort of! It's not that we're against general purpose protocols, it's just that they need to be fit for purpose. For folks for whom the git protocol works for them, we're happy to support it. We just need more than that.
20.
What Comes After Git(ersc.io)
17 points by steveklabnik 16d ago|4 comments
21.
by steveklabnik 17d ago
For whatever it's worth, I read zero negativity about Rust in the title or content.
22.
by steveklabnik 17d ago
I don't know enough about the details to speak to it.
23.
by steveklabnik 18d ago
You can use a "subtype predicate" for this: https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Devel...
24.
by steveklabnik 18d ago
This is called "pattern types" in Rust land, as your parent mentioned, and is exactly the kind of work being talked about. NonZero isn't a hack: it's an example of a common pattern. If pattern types were available today,
25.
by steveklabnik 18d ago
> As you can see, it has many convenience methods to make it easy to work with, compensating for the loss of the Rust enum. Also, Rust does try to do some of these optimizations itself. These aren't exposed in the stable language to
26.
by steveklabnik 19d ago
Pretty much all of Nathan's work is. The Curse is so intense, and it only gets more so from there.
27.
by steveklabnik 21d ago
> if they want that information from the borrow checker how would they get it? If you want to compare if two pointers point to the same place, you use https://doc.rust-lang.org/stable/std/ptr/fn.eq.html Ru
28.
by steveklabnik 21d ago
> the other extreme These aren't the only two options. This > Pip installs everything system wide does not inherently mean > you can't have different versions of the same package
29.
by steveklabnik 22d ago
Because it became a meme virtually everyone who says this are actually joking and not serious. They'll move on to whatever the next meme is.
30.
by steveklabnik 23d ago
Sort of but also no. Intrusive lists are not likely to ever be possible in safe code, almost by definition.

More ›