VirtualTam's bookmarks

1. Learn TLA+ - Temporal Logic of Actions 2022-07-04

   tags: book, formal-specification/tla+

   [ permalink ]

   • https://www.hillelwayne.com/post/learntla/
2. The Coq Proof Assistant 2019-02-08

   tags: algorithm, logic, mathematics, proof, software

   [ permalink ]

   • https://github.com/coq/coq
3. ngrep: grep applied to the network layer 2018-12-22

   tags: grep, network, network/packet, traffic, wireshark

   [ permalink ]

   A PCAP-based tool that allows you to specify an extended regular or hexadecimal expression to match against data payloads of packets. It understands many kinds of protocols, including IPv4/6, TCP, UDP, ICMPv4/6, IGMP and Raw, across a wide variety of interface types, and understands BPF filter logic in the same fashion as more common packet sniffing tools, such as tcpdump and snoop.

4. Dracut emergency shell 2018-04-20

   tags: filesystem, filesystem/lvm, linux, linux/kernel

   [ permalink ]

   • https://superuser.com/questions/1244536/dracut-emerg-shell-mount-lvm2-volume
   • https://unix.stackexchange.com/questions/207593/how-to-make-lvms-at-available-boot-kernel-panic-dracut-cannot-find-logical-vo
   • https://serverfault.com/questions/893721/centos7-dracut-lvm-command-not-found
   • https://www.novell.com/coolsolutions/appnote/19386.html
   • https://fedoraproject.org/wiki/How_to_debug_Dracut_problems
   • https://kb.vmware.com/s/article/1002402
   • https://forums.fedoraforum.org/showthread.php?294909-Need-dracut-emergency-shell-help-regenerate
5. LVM2 Resource Page 2018-04-20

   tags: filesystem, filesystem/lvm, linux, linux/kernel

   [ permalink ]

   • https://www.sourceware.org/dm/
   • http://www.tldp.org/HOWTO/LVM-HOWTO/index.html
   • https://wiki.archlinux.org/index.php/LVM
   • https://wiki.gentoo.org/wiki/LVM
   • https://en.wikipedia.org/wiki/Logical_Volume_Manager_%28Linux%29