In the past, these climate models were mostly on the conservative side. So I would stop questioning them and ask for more actions to take toward implementing existing climate solutions.
Having it closed (like this server rack) allows for controlled air circulation if fans are installed and flow paths are designed properly. Also, in case heating is needed, for example, if operated in the basement the heat loss can be reduced.
I also built something similar. In the end I appreciated the services our nature provides to us even more. Replicating all this artificially is really hard and energy intensive. Planting and growing plans outsides is fun and rewarding; adding all the tech in the end felt like a big waste of resources.
My motivation to work on such a project was my disbelief in human mankind to keep our planet earth habitable.
Tony advised me to make money with the software model checker I have been writing. In contrast to the typical practice to make these tools open source and free for use. Would have loved to learn more from him. He was a great teacher but also a great and sharp listener. Still remember the detour we made on the way to a bar in London, talking too much and deep about refinement relations. RiP.
I can only agree. It is great work; I met Julia in several occasions were we other academics tried to push our formal methods stuff for checking properties of the Linux kernel. Also ours worked but in a way more complicated way, very resource intense, and less effective than Julia’s work.
In the end, facts are useless. You belief what you think your social bubble, and in particular, the group you think you belong to, is thinking. And many people do not speak up. Mostly those with strong (often selfish) interests speak up, and often in a manipulative way. Having narcissist or sociopaths as leader can indeed be a bad thing. Some sort of media control is good, to protect core values, to protect the law against mass manipulation.
Having a close look at the problems to be solved should be the first step. Also, Africa is big and rather heterogeneous. AI can help but is no silver bullet.
It depends on how you define testing now: Property-based testing would test sets of behaviors. The main idea is: Formalize your goal before implementing. So specification driven development would be the thing to aim for. And at some point we might be able to model check (proof) the code that has been generated. Then we are the good old idea of code synthesis.
Tesla is not a luxury brand, but they ask for premium prices, compared to the value (worst in ADAC statistics on repairs)
“ In 1974, a new car cost an average of 5320 euros. The average income was 13,928 euros per year, so a buyer had to work for an average of 4.6 months for a new car. 20 years later, it was already 7.4 months per new car. Until 2019, this number remained stable, but then it skyrocketed. Today, a buyer has to spend all his income from 9.6 months of employment to buy a new car. For more expensive e-cars, it is even 11.4 months. The reason is stagnant incomes, but also high profit margins of the manufacturers.” https://www.tagesschau.de/wirtschaft/verbraucher/kosten-auto...
From my personal perspective, as an employed software engineer, all cars over 50k are luxury.