ratmice's comments

On: I Wrote a Compiler

[ratmice]

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.

On: Can a corporation be pardoned?

[ratmice]

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 reveal the contents of the can.

Personally I'm extremely curious to hear about legal examples of the same, if you can provide tangible ones!

On: Making a smart bike dumb so it works again

[ratmice]

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.

[nicolas_t → ratmice]

Yes, I'd be fine as long as there's a clear documentation and that I can control it within my local network even if the company's servers are down

On: Two Years of Rust

[ratmice]

> 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 listed things almost entirely.

[rcxdude → ratmice]

build.rs is a useful escape hatch for if you need to do something more complicated, but the nice thing about cargo is that for the most part the defaults work. Generally build.rs only comes in if you have to deal with C, C++ or some other external ecosystem. A pure rust crate basically never needs to touch it, across multiple platforms and build configurations.

[ratmice → rcxdude]

Generally yes, but there are things like lalrpop which are pure rust, I personally fall within the pure rust build.rs user purview...

[dhruvrajvanshi → ratmice]

Well I wouldn't call lalrpop "Pure rust". It's a separate language that gets compiled to rust.

It's within the rust ecosystem though. Perhaps cargo could expose a simpler way to use code generators.

[meltyness → ratmice]

Nice to have when you still refuse to make learn

On: Why is there a “small house” in IBM's Code page 437?

[ratmice]

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.

On: Show HN: OpenNutrition – A free, public nutrition database

[ratmice]

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.

[joshdickson → ratmice]

Thank you :)

On: Getting hit by lightning is good for some tropical trees

[ratmice]

Fairly surprised there was no mention of nitrogen fixation in the article.

On: Debian bookworm live images now reproducible

[ratmice]

And who trusting trusted the original RepRap?

[orblivion → ratmice]

The 50th generation builds a robot that murders you

On: A proof checker meant for education

[ratmice]

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.

On: Two new PebbleOS watches

[ratmice]

I think the article is referencing two different cases, and the ones invalidated don't seem related to oximetry, I'm not sure what happened with the oximetry one though.