Setup the connection: nmcli connection add type wifi con-name eduroam ifname wlp3s0 ssid "eduroam" -- wifi-sec.key-mgmt wpa-eap 802-1x.eap ttls 802-1x.identity <your-userid>@tu-dortmund.de 802-1x.phase2-auth mschapv2 802-1x.domain-suffix-match radius.tu-dortmund.de This command will connect you to the eduroam wifi, on the first connection you will be asked for your password: nmcli connection up eduroam --ask
Installing the Helix editor as a container with LSP on Fedora Silverblue
Modern trends in software engineering such as dynamic programming features, extensive use of third-party libraries or various different execution environments are posing hard challenges for static analysers. Therefore the use of Abstract Interpretation is limited. Dynamic analysis methods are often not constrained by these practices. Therefore, it seems obvious to combine Abstract Interpretation with different dynamic analysis methods to mutually compensate each disadvantages. This elaboration will recap on a few ways to combine Abstract Interpretation and dynamic analysis. Also problems that still need to be solved are shown.
Recap of Patrick Cousot paper about Abstract Interpretation principles and some use cases.
Workaround for some errors with alacritty over ssh.
Bash oneliner to make a pdf look scanned
In case it is needed sometimes, the superuser password for the Archer VR1600v v2 router is: VExy!64a3ng source: https://www.marcelvarallo.com/so-we-cracked-the-archer-vr1600v-v2-super-user-password/
Source: Ashwin Krish Why is it that for the equality checking of binary trees, an inorder + preorder or inorder + postorder traversal is done? How do these combinations ensure the equality of trees? Let us think of the inverse problem. Let us construct a tree given the in-order and say pre-order traversals of a tree. The first element of pre-order will give you the root node. Because the root is always visited first.
Array.forEach is not waiting for async functions. When is this a problem and how can we avoid it?
Eine möglich Lösung des Celbrity-Problems unter Zuhilfenahme eines Stack mit Laufzeit O(n)
Vorstellung des Tools Spacedeck mit dem gemeinsam auf einem Virtuellen Whiteboard gearbeitet werden kann.
marvin@weiler.rocks 39896F81A66006A77F20703460191D125254B6AC -----BEGIN PGP PUBLIC KEY BLOCK----- mDMEY/ywpRYJKwYBBAHaRw8BAQdA8QTEjCuviTLKYJfyf5rmjSRBqxbpJ9gN7/UX QAaqlWq0I01hcnZpbiBXZWlsZXIgPG1hcnZpbkB3ZWlsZXIucm9ja3M+iJkEExYK AEEWIQQ5iW+BpmAGp38gcDRgGR0SUlS2rAUCY/ywpQIbAwUJEswDAAULCQgHAgIi AgYVCgkICwIEFgIDAQIeBwIXgAAKCRBgGR0SUlS2rHKxAP9W+7ZHzy4/8N6IkxMm mzH9ufGa2y2mrdKXl9c2FQNQWAEA/C3ClaRdmCPdBv7iQHcw1Ezh9JZuPwiKr3EY xFKZnAa4OARj/LClEgorBgEEAZdVAQUBAQdAxll6rpKgUFV3oxaunoLQuEPTQrJ+ 8ephagMcUSAqj14DAQgHiH4EGBYKACYWIQQ5iW+BpmAGp38gcDRgGR0SUlS2rAUC Y/ywpQIbDAUJEswDAAAKCRBgGR0SUlS2rFk/AQCh83yXXQSekjcdGPD8KctGJEjN xM5HApanm0UTeduMLQEA3R1G5VWtBOxau+sIBKl+lKbYux0oIB+aaFotE26WrQs= =3Uxp -----END PGP PUBLIC KEY BLOCK-----
Katex is a LaTeX in HTML renderer. But there can be some incompatibilities with the Restructured Text standard.