korpiq

Hey what about someone donate a Mac to mrDIMAS? Might pay back =)

This feels welcome to me. I tend to think a language needs multiple independent implementations that only share the same source language spec, in order to really tear a clear spec apart from the quirks of any particular implementation.

I find Rust (the spec, though also the implemenration) quite safe and practical (a balance). It deserves some independent implementations to secure a long and stable future.

On the other hand, I want to use it on non-ARM embedded platforms, where current cross-compilation through C produces unusably big binaries. I dream this might increase hope for that, too, eventually.

Thank you, both insights help me in pondering how to ever better ensure quality.

What programming language would cause least friction for providing discrete types for all domain primitives or even all handled data?

Or just upper case first letter and full stop?

If I understand correctly, currently anthropogenically accumulated extra CO2 takes some hundreds of thousands of years to return to geological circulation, while the faster biological circulation won't withhold it all, and seas are getting saturated (and will acidify beyond supporting current lifeforms in the process). [see eg. Hot Earth Dreams]

Also, if I understood correctly a single article I'll try to dig up a link to later, the kickback effect of stopping a temporary cooling measure and returning to the warming trend caused by the CO2 still in air will have stronger harmful effects. If these hold, it might prove tricky to keep up a moderate, safe cooling effect long enough, even if some technical measure to cause volcanic winter was found. [https://www.nature.com/articles/s41559-017-0431-0?utm_source... via https://www.rollingstone.com/politics/politics-features/devi...]

I would hope this or some other measure would prove successful. but I'm not yet able to put all my faith on any of them.

I would really appreciate if you could share some of your findings there.

1000 days in circulation means we'll have to wait at least 4 summers to start seeing a change, I'd wager. Also, it might depend on where there are different types of insects currently, and how successful they happen to be in reproduction and spreading over time.

For that, I'd be interested in Paulownia trees for their fast growing speed, and thus (I assume) faster CO2 reduction rate.

1) https://en.m.wikipedia.org/wiki/Paulownia_tomentosa is also rapid to spread, which may turn out too rad for local flora or neighborhood politics thereof, while

2) https://en.m.wikipedia.org/wiki/Paulownia_elongata seems not to spread on its own and thus may need active help for that.

You'll end up with a lot of soft wood from these relatively fast (10 years?). That should be used in some way that does not release the CO2 back.

I have no studies nor experience in biology nor gardening and all of this is only based on what I've been reading on the internet.

There are organisations varying from grassroots to global where you can participate in such purchases with nominal sums, and end up with small parts of land in your name, collectively owned with other participants, or probably something in between.

Here is one (that I know about because my employer currently offers an option to use some of our open source contribution rewards for that): https://www.helsinkifoundation.org/

To me this looks like an interesting attempt to holistically give some overview of mathematics to lay people and could be improved if eg. those with correction proposals here would have some way to contribute back.

I might immensely enjoy such a wikipedia of mathematics.

I read it as being MitM and manipulating target (final, originally intended server) directories and files only, and in addition to spoof output to client to hide the fact it's doing so. In that case it does not matter where you run the client.

What makes MitMs possible is that checking fingerprint of new host is left to user. Instead we should have processes to automatically 1. acquire via other means and add fingerprint of each new target host 2. verify new host fingerprints with a separate party (central server or a ring of trusted buddies).

"They have no way of seeing their friends except in-game because they must get their parents to drive them everywhere. Even if they drove to their friends house, they have nothing to do with them except play games."

Wait, how common is this in States (I assume)? Here in Finland, kids from 6 or so up go around neighborhood on their own, and have yards&parks to play in. We take them there from the start. Moms/dads circles in parks are a thing, here, with the kids playing around them.

What would you use for schema validation? Obviously http://json-schema.org/ won't cut it.