tialaramex

25 ms·

1.
by tialaramex 3d ago
I don't think that's why it's called a "Privy Council". Just because the only meaning for privy that you know, today, is a toilet, does not mean that the word in another context means toilet, any more than the fact
2.
by tialaramex 3d ago
> Leaks could reasonably be considered unsafe as they can cause a program to crash due to resource exhausting, even where the actually used memory is limited. You can make this claim about any resource, there's no reason to single
3.
by tialaramex 4d ago
And if your callers are generic over the error type, and so they do have code for handling errors, the compiler won't emit this code for your result type because you've said its error type can't exist.
4.
by tialaramex 4d ago
Which makes sense because you could (and indeed still will be able to do) write your own uninhabited types very easily in Rust and indeed they're optimised accordingly. Because Rust has user-defined sum types you could simply write a s
5.
by tialaramex 4d ago
I guess I've learned all I was going to, Fil-C does exactly what I understood and some crazy people will insist somehow that doesn't count. Good luck to you.
6.
by tialaramex 4d ago
Maybe it was unclear that Fil-C is a compiler. So the thing doing those transforms you're worried about is Fil-C. Fil-C gets to look at some code which has UB if variable z is 9 and go "OK, lets check whether z is 9, and if so..
7.
by tialaramex 4d ago
Leaking isn't unsafe. Even if you have a linear type system, and so you can't leak in this useless technical sense, it makes no practical difference, the end user doesn't care that your program which gradually bloats by 1GB p
8.
by tialaramex 4d ago
Presumably Martin intends the usual caveat that this is subject to bugs. So, "there might be a bug in the compiler" isn't interesting. There are bugs in LLVM, bugs in Rust's trait resolution, bugs in Javascript implement
9.
by tialaramex 4d ago
Neither of those sound like Undefined Behaviour to me, they're maybe unspecified but they don't sound undefined at all - are you confusing Undefined Behaviour with "I wanted it to do something else" ? You said "
10.
by tialaramex 4d ago
You don't have to give out your phone number. You can mint an arbitrary "username" and give the username out to people.
11.
by tialaramex 4d ago
Do you have a concrete example of C which will "still explode" ?
12.
by tialaramex 4d ago
Almost but not quite. You are promised that safe Rust doesn't have Undefined Behaviour, but that's cultural, not technological. The technology is just enabling Rust's culture to deliver what they promised, but it would be v
13.
by tialaramex 4d ago
This is important. Undefined Behaviour is a behaviour, and so if we can ensure the behaviour doesn't happen, our problem is averted. For example if there's UB when a zero size file is loaded by our software, we can instruct operat
14.
by tialaramex 4d ago
If you don't want UB to mean "Absolutely anything might happen" which necessarily has to include "... forever" then you need Fil-C or similar runtime handling so that any time its behaviour would become undefined th
15.
by tialaramex 5d ago
I think a lot of children are shown Python or one of the Python-like languages.
16.
by tialaramex 5d ago
And all Military air forces AFAIK. The military of course also takes rank very seriously, but there was existing understanding that Mother Nature doesn't give a shit about rank and so CRM makes sense in that same practical vein. Also,
17.
by tialaramex 5d ago
"embedded" is very vague though. The problem is that both the guy writing PIC machine code for a $5 thermostat and the guy who wrote some Python running on the Linux box inside a Times Square moving advert think they're &quot
18.
by tialaramex 5d ago
It's not helpful to think of it as "unsafer" but I think the way I'd explain this goes as follows: Rust has some stricter and more complicated rules even than a language like C++. Just as in C++ you absolutely must obey
19.
by tialaramex 6d ago
> C++ is still indicated for systems that are optimizing for performance The only evidence I've seen for this is that people with a vested interest in my believing this keep saying it is true. That's the exact same evidence I h
20.
by tialaramex 6d ago
Jai and C3. I do not consider FilC to be a distinct programming language. AIUI the C I wrote twenty years ago would work with Filip's approach, maybe it needs minor tweaks in a few cases (mmap stunts for example) but likely not for muc
21.
by tialaramex 6d ago
If you want to imagine a "1.0 quality" which means "Is used in some software that isn't a toy" then all kinda of crap counts. Bill has given specific goals, I don't think he'll meet them or perhaps even un
22.
by tialaramex 6d ago
Rust 1.0 was in 2015. Most of these languages you're thinking of out of the Handmade Community didn't even start development until around the point Rust 1.0 shipped. In theory Odin 2027, the 1.0 release of Bill's Odin languag
23.
by tialaramex 6d ago
> It's also good for knowing how much daylight you get somewhere or whether someone there is likely to be awake right now. The former is correlated with distance from the Equator (and knowledge of the seasons) but surely other than
24.
by tialaramex 6d ago
> it is possible the size of most nations have been miscalculated Huh? Are you a Flat Earth believer? We can literally see the countries from space. The problem wasn't that we don't know how big they are but that, as your par
25.
by tialaramex 6d ago
And the article text does a pretty good job (to me as a layman who was aware Dymaxion existed but doesn't spend much time thinking about this) of illustrating, just the title seems to be for a much more reactionary nonsense article.
26.
by tialaramex 7d ago
That's true. Humans are bad at this task. On the railways they have a problem with this too, "Lookout" seems like a ludicrously easy job, but it's basically impossible because you must pay attention to an incredibly bori
27.
by tialaramex 7d ago
You can see it in what people say right after an accident, stuff like "He came out of nowhere".
28.
by tialaramex 7d ago
That 0.35% feels more reasonable in 1976 or even maybe 2001 than it does today because technology changed so much. But maybe I'm wrong about that If you're an American that 2% is a much bigger problem for your society. That's
29.
by tialaramex 8d ago
The US has a bunch of highly paid medics who fly every week or in some cases every day because they work somewhere with enough population to justify their practice but they choose to live somewhere hundreds of miles away, and at their incom
30.
by tialaramex 8d ago
There is exactly one actual ocean liner left, QM2 which goes between my home city and New York. Most of the ships you're thinking of are Cruise liners, which are not in fact (unlike an airliner or ocean liner) designed to prioritize tr

More ›