SAT solvers are programs to solve logical expressions / propositional formulae that are normally given in conjunctive normal form. They are used in hardware, software verification and artificial intelligence. With the verification of software it should one day be possible to automatically discover security vulnerabilities in programs. The SAT solver is characterized by the fact that it can not only find one solution, but all of them in compressed form. The epilogue also tells of the terror of Western secret services (point 6).
In the last decade the Asian Development Bank has spent nearly $10 billion financing coal, gas, and oil projects in Asia. Now it is revising its energy policy. Two years ago the European Investment Bank cut ties with the fossil fuels industry, and the UK and US have since announced commitments to phase out financial support for fossil fuels abroad. The ADB needs to change course. It is currently ramping up its financing of fossil gas projects such as the controversial Turkmenistan – Afghanistan – Pakistan – India (TAPI) gas pipeline or coal power projects in Bangladesh.
On March 27, 2021, the Transparency Act, a requirement of the Glyphosate EBI, finally came into force. Now, no more secret studies can be used for the approval of pesticides. One ought at all to demand that only publicly financed studies may be used, because the results of industrial studies mostly depend on the financier. Industrial studies are often designed in such a way that a result about possible harmfulness cannot be obtained, for example by spraying the control fields with other harmful pesticides. At least a published study cannot make scientifically easily refutable claims.
It took a long time, but finally I have a hopefully reliable, analog landline phone in use in Klagenfurt. I should be available every week from Tuesday, later morning until Friday morning. This week, however, at times not on Tuesday afternoon. During this time I am physically present. Otherwise the answering machine would also need to work. The number is in the phone book.
After it turned out that the IP fixed-line telephony using the same Klagenfurt number, where the analog telephone line is plugged into the modem, does not work reliably enough, I finally have a real analog telephone connection directly to the telephone socket. With IP telephony, at times you couldn't understand anything except noise and once I talked, the person I was talking to only heard silence. Calls with IP telephony can probably be blocked completely, similar to cell phones, so that you don't even know that you have been called.
Since October last year at the latest I have been trying to get an analog telephone connection. First through the local Krainz GmbH, to which A1 simply refused to set up the landline connection. I then turned to A1 myself and convicted the interlocutor of the lie that all ISDN connections would be closed within the next month, since analog landline telephony for all those who have always had them is demonstrably still in existence. Finally I was referred to the business department and I got my landline connection at the beginning of January. They told me to take care of the number porting as soon as I got the new connection. While I was still at Fonira, I was previously refused to get the landline set up at an appointment by A1 because I was still a customer of another provider. Then they told me number porting is only possible if I am still a customer of the old provider. Fortunately, I was just able to extend the old contract at the same time. Once they reversed the number porting for me, which I only discovered by accident. I took on accordingly. Then I finally had my British Doro Easyphone in use, but while dialing a phone number it sometimes deleted the number before I could pick up the receiver. I didn't want to trust a 5-Eye phone after all. The volume control didn't work either and when I unplugged it, it forgot all the numbers when without batteries. I now have a Japanese Pansonic KX-TS620EXW with all the functions I want including a FAX port, answering machine and phone book. It was lucky that I got one because the phone is no longer in production.