ratmice

5 ms·

31.
by ratmice 10mo ago
Yeah, I did see a email on a capabilities list from him about him no longer working on it because of lack of feedback & wanting to just enjoy his retirement. That was the impression I got. When he had resumed his work on it, I personal
32.
by ratmice 10mo ago
I'd also note capros doesn't fit that description either. I don't know that there were examples that ran more than a single process. That's probably not true, for anything relying on drivers since user mode drivers are b
33.
by ratmice 10mo ago
I wish he had just said 50 years of LCF, since he even mentions automath in the article but that was but that was late 60s
34.
by ratmice 10mo ago
Presumably unsigned want to return errors too? Edit: I guess they could get rid of a few numbers... Anyhow it isn't a philosophy that is going to get me to consider nimony for anything.
35.
by ratmice 10mo ago
Presumably since this language isn't C they can define it however they want to, for instance in rust std::i32::MIN.wrapping_sub(1) is a perfectly valid number.
36.
by ratmice 10mo ago
that all integers are either even or odd, and that for an even integer that integer + 1 and - 1 are odd and vice versa for odd numbers. That the negative numbers have an additional digit from the positive numbers ensures that low(integer) a
37.
by ratmice 10mo ago
Without the low int the even/odd theorem falls apart for wrap around I've definitely seen algorithms that rely upon that. I would agree, whether error values are in or out of band is pretty context dependent such as whether you an
38.
by ratmice 11mo ago
My feeling is that languages with other packing models are merely less convenient, and there is no actual tangible difference security-wise. Just take C and replace "look for writable repositories". It just takes more work and i
39.
by ratmice 11mo ago
Seems doubtful, given that generics and the gccgo compiler were both spearheaded by Ian Lance Taylor, it seems more likely to me that him leaving google would be a more likely suspect, but I don't track go.
40.
by ratmice 11mo ago
> * With a great non-political community (actually, this is the biggest lie of all). I recall the opposite, that the rust language (before the foundation) position was that being apolitical was a political stance. This is not the exact m
41.
by ratmice 1y ago
The thing I love most about wezterm is the `wezterm cli list --format json`, and being able to get various values like the cwd of any terminal by window id. While I don't much tweak my actual wezterm config at all. I use that a lot for
42.
by ratmice 1y ago
What I find funny about your argument is how completely degraded fair use has become when using anything by a corporation capable of delaying and running up legal fees. It sure feels like there are a separate set of rules.
43.
by ratmice 1y ago
As far as I'm concerned the problem isn't that one is easier than the other. It's that in the github case it completely routes around the git client. With AGit+gitea or forgejo you can either click your "create pull requ
44.
by ratmice 1y ago
I doubt this hypothesis, because duckdb written in c++ should be able to tolerate memory failure, while this written in rust has to deal with rusts memory allocation failures are panic's behavior. That is to say that if the issue is
45.
by ratmice 1y ago
One thing worth pointing out here is you that when reading you rarely will actually find the bug that you set out to, undoubtedly you'll notice others. Because you're reading the code with a mindset of "what awkward condition
46.
by ratmice 1y ago
Another thing about bytestream oriented interfaces like pipes is they tend to turn every program into a parser in order to reject invalid input. Eventually someone is just going to put a type system on top of that parser to reject more than
47.
by ratmice 1y ago
My project hasn't really gotten to the level of actually exporting data to any database yet, but basically I'm just using standard openstreetmap data exported to geoparquet format. That is then combined with a bunch of time series
48.
by ratmice 1y ago
Cool, curious if there is any willingness or interest in adding a geoarrow feature, or generally some form of integration with that crate? (Though to be honest I'm not currently clear up to date on the stability/usability of geoar
49.
by ratmice 1y ago
It just seems like a bad definition (or at least ambiguous), it should say "cannot", or some such excluding term. By the definition as given if a program flips a coin and performs an illegal memory access, are runs where the acces
50.
by ratmice 1y ago
If I'm not mistaken, gitoxide is attempting to not only be feature complete, but also the fastest. Both of which reduce development velocity
51.
by ratmice 1y ago
So, if he had invoked go for you would it be a compiler? Another definition is that it translates a source language into a target language.
52.
by ratmice 1y ago
This is very much reminiscent of "rights amplification" and "synergy" in the capability security model, where historically one of the physical manifestations of this is that of the can + can opener which combine to revea
53.
by ratmice 1y ago
These days I would prefer it say that the documentation for communication protocols and for any computer control interface or network functionality must supplied and destination any addresses configurable by the user.
54.
by ratmice 1y ago
Generally yes, but there are things like lalrpop which are pure rust, I personally fall within the pure rust build.rs user purview...
55.
by ratmice 1y ago
> with cargo you praise the absences: there’s no gotchas, no footguns, no lore you have to learn in anger, no weirdness, no environment variables Suppose the author doesn't use build.rs, which appears to have been composed of the li
56.
by ratmice 1y ago
I notice that cp437 has enspace, so I wonder if enspace combined with the "small house", is used to indicate the insertion point, or position between two characters when producing error messages.
57.
by ratmice 2y ago
FWIW, I like that you include water content, libraries like google's health connect seem to have completely separate data structures for nutrition and hydration.
58.
by ratmice 2y ago
Fairly surprised there was no mention of nitrogen fixation in the article.
59.
by ratmice 2y ago
And who trusting trusted the original RepRap?
60.
by ratmice 2y ago
I've really liked educational proof checkers going back to the tutch proof checker. One thing I didn't see here is the ability to header-like file which declares the type of proofs... the syntax of deduce looks very nice though.

More ›