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 BA59B7D94DC6B802C897BD513DAF550DFA1948E8
Katex is a LaTeX in HTML renderer. But there can be some incompatibilities with the Restructured Text standard.