astahlx

5 ms·

1.
by astahlx 4mo ago
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.
2.
by astahlx 6mo ago
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 reduce
3.
by astahlx 6mo ago
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; addi
4.
by astahlx 6mo ago
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 als
5.
by astahlx 7mo ago
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 resour
6.
by astahlx 7mo ago
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, an
7.
by astahlx 9mo ago
Using em dash is just fine. Academic writing teached me using it. However, I have to admit that use of AI is accelerating its „adoption“.
8.
by astahlx 9mo ago
Have the problem for YouTube now for several minutes
9.
by astahlx 10mo ago
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.
10.
by astahlx 11mo ago
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 w
11.
by astahlx 11mo ago
Just try and VW ID7 or Audi A6 etron.
12.
by astahlx 11mo ago
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 wo
13.
by astahlx 1y ago
I started using emdashes in my academic career, after my advisor pointed me to the subtle differences. And since then, I like and use emdash a lot. In Latex, it is easily produced, just keep the spacing rules in mind. The Punctuation Guide
14.
by astahlx 1y ago
Looks like fake to me, too. I have asked it on its raw defaults for generating React and they are considerably different.
15.
by astahlx 1y ago
I do not understand why they chose Norway. I would choose a country where it is easy to build up a new power plant quickly with solar and wind, close to the site of the data center. Maybe they just have too much electricity up there that is
16.
by astahlx 1y ago
The civilization will destroy itself first. States are not addressing what really matters and especially not the multi billion/trillion companies. The US fight against social security and less inequality, the things that wealth should
17.
by astahlx 1y ago
I see the war in Ukraine as one of them. They have huge areas of farm land, valuable in times where climate change makes farming impossible in other regions. And many big companies and countries are already invested in there. You can alread
18.
by astahlx 1y ago
I do not understand all the relativations here: If we crash the climate, we destroy the foundations for living on this planet, at least for most of us (billions). Sure, the current question is why we suddenly have none for weapons and even
19.
by astahlx 1y ago
We should not rely on gas for producing mineral fertilizers: https://www.carbonbrief.org/fertiliser-emissions-could-be-cu...
20.
by astahlx 1y ago
Evidence? Olive oil got more expensive because of weather extremes https://www.bbc.com/travel/article/20231218-why-olive-oil-pr... . Who sets the rule that one oil must be cheaper than the other? Which country? Wh
21.
by astahlx 1y ago
How would you compare it to Rust Type States, for example: https://cliffle.com/blog/rust-typestate/ ?
22.
by astahlx 1y ago
It is good to see this here on HN. We, the hackers and painters, would have the power to build world wide communities for addressing the climate collapse (the climate that provided good conditions for humanity to thrive). We have the wealth
23.
by astahlx 2y ago
Lions? Females rule the groups there. See https://www.reddit.com/r/AskBiology/s/M1VsH34t5Y
24.
by astahlx 2y ago
Great to see this course here. Christian is also great as a person and he makes great work. I know some of the beginnings of this course and book and can highly recommend it.
25.
by astahlx 2y ago
The question is: How many decide against doing a post doc, while considering it for some time during the PhD time. When you commit becoming a postdoc, you know how the game is played, you have a good network, you have a good topic to work o
26.
by astahlx 2y ago
Since this is the most important and urgent topic humanity should be working on: why isn’t this the case? Idiocracy is here. Don’t look up. We have to throw everything into the race. But how to do this with the current inner workings of our
27.
by astahlx 3y ago
We are leaving the conditions that work for humans and other animals. 3 billion climate refugees in the next 30 years. We must slow down the climate catastrophe now.
28.
by astahlx 3y ago
The AFD is just attacking everything that the Greens propose. No constructive discussions at all, only populism. I fear that heat pumps will be the smaller „issue“ society will face in near future. The citizens are not yet ready for the nec
29.
by astahlx 3y ago
Great to see this here, as a contributor to this project. We even went the model checking direction with Bastet: https://github.com/se2p/Bastet