I think this is a very reasonable question. The climate models are full of parameters and there is a concern of overfitting. If a model were to predict the
cooling that would help countering those concerns.
programs can be quite sensitive to how code is laid out because of cache line alignment, cache conflicts etc.
So random changes can have a surprising impact.
There was a paper a couple of years ago explaining this and how to measure compiler optimizations more reliably. Sadly, I do not recall the title/author.
```The verifier is rigorous -- the Linux implementation has over 20,000 lines of code -- with contributions from industry (e.g., Meta, Isovalent, Google) and academia (e.g., Rutgers University, University of Washington). The safety this provides is a key benefit of eBPF, along with heightened security and lower resource usage.
```
Wow, 20k is not exactly encouraging. Besides the extra attack surface, who can vouch for such a large code base?
I had exactly the same thought. I don’t know if that 20k number was supposed to inspire confidence, but for me it did the opposite. It would have inspired confidence if it was 300 lines of code.
My impression is that the WebAssembly verifier is much simpler.
Yes, Con Ed now has smart meters that report electricity usage in realtime at 15 minute intervals. If you use Home Assistant, you can perhaps make use of the Opower integration to get this data: https://www.home-assistant.io/integrations/opower/
Although implementing the realtime API in the Opower integration has not yet been completed. That said, I don't think it would be too hard to implement. See: https://github.com/tronikos/opower/issues/24
This realtime data is also available and graphed on your account page on the Con Ed website and mobile app.
I wrote my own code that uses Con Ed's realtime API and writes the data to Prometheus so that I can view it in Grafana. My code was heavily influenced by Home Assistant's Opower integration code. Here's my code: https://github.com/dasl-/pitools/blob/main/sensors/measure_e...
It has a pretty much complete ascii font but I am cheating in that I allow one
non tetris piece with only 3 pixels arranged as an angle.
There is also a simple tool that tries to find a covering of a given font.
* the left-slider switch where you do not know if something is on or off
* flat shading (as opposed to motif/windows-95 3d effects)
which does not make use of the brain's spatial abilities.
It shouldn’t have to be enabled. But on iOS at least, the accessibility settings allow you to surface button shapes and on/off symbols over switches. If you’re using the native tooling in your program I think you essentially get this for free.
Cwerg aims to be the best c-like language that can be implemented in 10kLOC.
Obviously, best is highly subjective but I want to improve on C not just re-implement it.
