Celeste@Hoppinglife - User contributions [en]

NAT Traversal

2024-04-09T23:01:50Z

Hoppinglife:

This is basically a short paraphrase of what is in [https://tailscale.com/blog/how-nat-traversal-works/ Tailscale's NAT Traversal post].

NAT traversal utilizes the trait that a stateful firewall allows **Outbound connection and the returning connection to the same IP:port**. For UDP, if you know the source and destination IP:port, you can establish a direct connection by sending packages to each other.

Case 1: both source and destination are public IPs, only with a stateful firewall: easy, ports are known.

Case 2: both source and destination are behind one-layer NAT, but the ports only depend on the source socket: use a third-party server to figure out the port.

Case 3: This is similar to case 2, but one side of the NAT is endpoint-dependent: We know IP:port from the easy side, and we know IP from the hard side. A birthday attack can be used to enumerate the destination ports (sending connections from both sides and waiting for a collision).

Case 4: Both sides are endpoint-dependent: there are too many possibilities.

NAT Traversal

2024-04-09T23:01:38Z

Hoppinglife: Created page with "This is basically a short paraphrase of what is in [https://tailscale.com/blog/how-nat-traversal-works/ Tailscale's NAT Traversal post]. NAT traversal utilizes the trait that a stateful firewall allows **Outbound connection and the returning connection to the same IP:port**. For UDP, if you know the source and destination IP:port, you can establish a direct connection by sending packages to each other. Case 1: both source and destination are public IPs, only with a sta..."

This is basically a short paraphrase of what is in [https://tailscale.com/blog/how-nat-traversal-works/ Tailscale's NAT Traversal post].

NAT traversal utilizes the trait that a stateful firewall allows **Outbound connection and the returning connection to the same IP:port**. For UDP, if you know the source and destination IP:port, you can establish a direct connection by sending packages to each other.

Case 1: both source and destination are public IPs, only with a stateful firewall: easy, ports are known.
Case 2: both source and destination are behind one-layer NAT, but the ports only depend on the source socket: use a third-party server to figure out the port.
Case 3: This is similar to case 2, but one side of the NAT is endpoint-dependent: We know IP:port from the easy side, and we know IP from the hard side. A birthday attack can be used to enumerate the destination ports (sending connections from both sides and waiting for a collision).
Case 4: Both sides are endpoint-dependent: there are too many possibilities.

Learn You a Haskell for Great Good!

2024-04-09T18:58:46Z

Hoppinglife: Created page with "The book is [https://learnyouahaskell.com here]"

The book is [https://learnyouahaskell.com here]

Functional Programming

2024-04-09T18:51:00Z

Hoppinglife:

[[Learn You a Haskell for Great Good!]]

Functional Programming

2024-04-09T18:50:52Z

Hoppinglife: Created page with "[Learn You a Haskell for Great Good!]"

[Learn You a Haskell for Great Good!]

Main Page

2024-04-09T18:47:50Z

Hoppinglife:

<strong>Hello. Welcome to Celeste @ Hoppinglife</strong>

There are a lot of interesting stuff in the world. And here is my personalized collection of such things. Any edits are appreciated, but I might change a thing or two.

We can use math equations now: <math>e^{i\pi} + 1 = 0</math>

[[What Happened: Apr 2024]] | [[Interesting Articles]]

Orgmode

2023-08-08T17:15:18Z

Hoppinglife: /* Nvim Port */

Org mode is a generic structured text file format that can be use to literal program todo lists and related tasks.

The main emacs manual is at [https://orgmode.org/manual/ Here].

== Nvim Port ==

[https://github.com/nvim-orgmode/orgmode nvim-orgmode] is a very nice port to use org mode in vim.

{| class="wikitable"
|+ Key Bindings
|-
! Key !! Binding
|-
| <leader>o, || Set priority.
|-
| cit<status> || Set status of item.
|-
| <leader>oxi || Clock in
|-
| <leader>oxo || Clock out
|-
| <leader>oxe || Insert estimate
|-
| <leader>oi || Insert date
|-
| <leader>oi || Insert schedule date
|-
| <leader>oid || Insert/update deadline
|}

Orgmode

2023-08-02T18:33:34Z

Hoppinglife: /* Nvim Port */

Org mode is a generic structured text file format that can be use to literal program todo lists and related tasks.

The main emacs manual is at [https://orgmode.org/manual/ Here].

== Nvim Port ==

[https://github.com/nvim-orgmode/orgmode nvim-orgmode] is a very nice port to use org mode in vim.

{| class="wikitable"
|+ Key Bindings
|-
! Key !! Binding
|-
| <leader>o, || Set priority.
|-
| cit<status> || Set status of item.
|-
| <leader>oxi || Clock in
|-
| <leader>oxo || Clock out
|-
| <leader>oi || Insert date
|-
| <leader>oi || Insert schedule date
|-
| <leader>oid || Insert/update deadline
|}

Orgmode

2023-07-31T19:35:23Z

Hoppinglife:

Orgmode

2023-07-31T19:34:18Z

Hoppinglife:

Org mode is a generic structured text file format that can be use to literal program todo lists and related tasks.

== Nvim Port ==

[nvim-orgmode](https://github.com/nvim-orgmode/orgmode) is a very nice port to use org mode in vim.

{| class="wikitable"
|+ Key Bindings
|-
! Key !! Binding
|-
| <leader>o, || Set priority.
|-
| cit<status> || Set status of item.
|-
| <leader>oxi || Clock in
|-
| <leader>oxo || Clock out
|-
| <leader>oid || Insert/update deadline
|}

Orgmode

2023-07-31T18:11:51Z

Hoppinglife:

Orgmode

2023-07-31T17:13:53Z

Hoppinglife:

Orgmode

2023-07-31T17:12:47Z

Hoppinglife: Created page with "Org mode is a generic structured text file format that can be use to literal program todo lists and related tasks."

Org mode is a generic structured text file format that can be use to literal program todo lists and related tasks.

Discipline and Punish

2023-07-17T00:01:25Z

Hoppinglife:

== Notes ==

=== 1. The Body of the Condemned ===

* Foucault started by discussing two different styles of punishment - [https://en.wikipedia.org/wiki/Robert-Fran%C3%A7ois_Damiens Damiens the Regicide] and Faucher's young prisoners in Paris.
* Two processes: (1) disappearance of punishment as a spectacle (**amende honorable**, prisoners in public work). (2) A slackening of the hold on the body.
* The way to evaluate the effectiveness of punishment changed: inevitability vs. visible intensity.
* Blame is redistributed between conviction vs. execution.
* The role of a doctor in execution is interesting - welfare and alleviator of pain. This describes the double process: the disappearance of the spectacle and the elimination of pain.
* The more monstrous the crime, the criminal must not see or be seen.
* French Revolution endowed the guillotine with a great theatrical ritual. Eventually, the guillotine was placed inside prison walls.
* Discussion on the objective of punishment - if not on the body, it must be on the soul. Punish intention rather than action. Establish the causal relationship between the two.
* Insanity and judgment - creating subsidiary judicial power for experts, doctors, etc. Not responsibility, but usefulness. Something other than crimes.
* A ''whole new system of truth'' that is used to judge.
* Analyze the penal leniency as a technique of power. Four rules: (1) view punishment as a complex social function. (2) analyze punitive methods as techniques for power. (3) unify the penal system and the knowledge of man. (4) whether this transformation is the way of how one's body is treated by power relations. - a common history of power relations and object relations.
* The condemned man's body codes the lack of power, just as the king's body codes the power.
* The power exercised on the condemned man is the present correlative of a certain technology of power over the body. It is born out of methods of punishment, supervision and constraint.
* Connection of prison revolt - the issue at hand was not whether the prison environment was too harsh, rather, the prison as a vector of power.

=== Quotes ===
{{Quote|text=It is ugly to be punishable, but there is no glory in punishing.|sign=Foucault|source=The body of the condemned}}
{{Quote|text=Beneath the increasing leniency of punishment, then, one may map a displacement of its point of application; and through this displacement, a whole field of recent objects, a whole new system of truth and a mass of roles hitherto unknown in the exercise of criminal justice. A corpus of knowledge, techniques, ‘scientific’ discourses is formed and becomes entangled with the practice of the power to punish.|sign=Foucault|source=The body of the condemned}}
{{Quote|text=We should admit rather that power produces knowledge (and not simply by encouraging it because it serves power or by applying it because it is useful); that power and knowledge directly imply one another; that there is no power relation without the correlative constitution of a field of knowledge, nor any knowledge that does not presuppose and constitute at the same time power relations.|sign=Foucault|source=The body of the condemned}}
{{Quote|text=What was at issue was not whether the prison environment was too harsh or too aseptic, too primitive or too efficient, but its very materiality as an instrument and vector of power; it is this whole technology of power over the body that the technology of the ‘soul’ – that of the educationalists, psychologists and psychiatrists – fails either to conceal or to compensate, for the simple reason that it is one of its tools.|sign=Foucault|source=The body of the condemned}}

=== Suplement details ===
==== 1958 Ruling ====
It refers to the creation in 1958 of the Code of penal procedure, i.e., the set of rules that organize the process of punishing an offense. The text cited by Foucault is not a "ruling", but, as written in the original French text of Surveiller et punir -, a circular: Circular of the Garde des Sceaux, Article C345 of the Instruction générale pour l'application du code de procédure pénale.

I cannot find the exact text of the circular, but when Foucault was writing his book, the investigating judge (juge d'instruction) could order a psychiatric examination that included the following questions (Rivière-Perrier and Simon, 1976):

* Does the examination reveal any mental or psychic abnormalities in the subject? If so, describe them and specify to which conditions they are related.
* Is the offense with which the subject is charged related to such abnormalities or not?
* Is the subject in a dangerous condition?
* Is the subject eligible for criminal sanction?
* Is the subject curable or rehabilitatable?
* Was the subject in a state of insanity within the meaning of Article 64 of the Penal Code at the time of the offence?
* Punishment as a way to support the political-economy of the time.
* A history of the body in the political field and its relationship with power.
* Power and knowledge directly imply one another.

Article 64 requires to specify whether the crime was committed in a state of insanity.

Rivière-Perrier and Simon note that there was no fixed set of questions, which could be vague or extremely precise. However, the circular C345 provided a general model. From what I see the standard questions have not changed much but two have been added (see the Senate report of 2021 on psychiatric evaluation).

Source

Riviere-Perrier, Danielle, and Marie-Agnès Simon. ‘Réflexions sur une expérience d’expertise en criminologie’. Bulletin de psychologie 29, no. 322 (1976): 485–89. https://www.persee.fr/doc/bupsy_0007-4403_1976_num_29_322_10729
[https://www.reddit.com/r/AskHistorians/comments/10ir8tu/has_anyone_found_details_about_foucaults/ Quoted from reddit]

=== Interesting branches ===

* ''amende honorable''
* Tristlewood.
* French code of 1791.
* Rusche and Kirchheimer, Punishment and Social Structures.

Discipline and Punish

2023-07-16T23:33:33Z

Hoppinglife:

== Notes ==

=== 1. The Body of the Condemned ===

* Foucault started by discussing two different styles of punishment - [https://en.wikipedia.org/wiki/Robert-Fran%C3%A7ois_Damiens Damiens the Regicide] and Faucher's young prisoners in Paris.
* Two processes: (1) disappearance of punishment as a spectacle (**amende honorable**, prisoners in public work). (2) A slackening of the hold on the body.
* The way to evaluate the effectiveness of punishment changed: inevitability vs. visible intensity.
* Blame is redistributed between conviction vs. execution.
* The role of a doctor in execution is interesting - welfare and alleviator of pain. This describes the double process: the disappearance of the spectacle and the elimination of pain.
* The more monstrous the crime, the criminal must not see or be seen.
* French Revolution endowed the guillotine with a great theatrical ritual. Eventually, the guillotine was placed inside prison walls.
* Discussion on the objective of punishment - if not on the body, it must be on the soul. Punish intention rather than action. Establish the causal relationship between the two.
* Insanity and judgment - creating subsidiary judicial power for experts, doctors, etc. Not responsibility, but usefulness. Something other than crimes.
* A ''whole new system of truth'' that is used to judge.
* Analyze the penal leniency as a technique of power. Four rules: (1) view punishment as a complex social function. (2) analyze punitive methods as techniques for power. (3) unify the penal system and the knowledge of man. (4) whether this transformation is the way of how one's body is treated by power relations. - a common history of power relations and object relations.

=== Quotes ===
{{Quote|text=It is ugly to be punishable, but there is no glory in punishing.|sign=Foucault|source=The body of the condemned}}
{{Quote|text=Beneath the increasing leniency of punishment, then, one may map a displacement of its point of application; and through this displacement, a whole field of recent objects, a whole new system of truth and a mass of roles hitherto unknown in the exercise of criminal justice. A corpus of knowledge, techniques, ‘scientific’ discourses is formed and becomes entangled with the practice of the power to punish.|sign=Foucault|source=The body of the condemned}}
{{Quote|text=We should admit rather that power produces knowledge (and not simply by encouraging it because it serves power or by applying it because it is useful); that power and knowledge directly imply one another; that there is no power relation without the correlative constitution of a field of knowledge, nor any knowledge that does not presuppose and constitute at the same time power relations.|sign=Foucault|source=The body of the condemned}}

=== Suplement details ===
==== 1958 Ruling ====
It refers to the creation in 1958 of the Code of penal procedure, i.e., the set of rules that organize the process of punishing an offense. The text cited by Foucault is not a "ruling", but, as written in the original French text of Surveiller et punir -, a circular: Circular of the Garde des Sceaux, Article C345 of the Instruction générale pour l'application du code de procédure pénale.

I cannot find the exact text of the circular, but when Foucault was writing his book, the investigating judge (juge d'instruction) could order a psychiatric examination that included the following questions (Rivière-Perrier and Simon, 1976):

* Does the examination reveal any mental or psychic abnormalities in the subject? If so, describe them and specify to which conditions they are related.
* Is the offense with which the subject is charged related to such abnormalities or not?
* Is the subject in a dangerous condition?
* Is the subject eligible for criminal sanction?
* Is the subject curable or rehabilitatable?
* Was the subject in a state of insanity within the meaning of Article 64 of the Penal Code at the time of the offence?
* Punishment as a way to support the political-economy of the time.
* A history of the body in the political field and its relationship with power.
* Power and knowledge directly imply one another.

Article 64 requires to specify whether the crime was committed in a state of insanity.

Rivière-Perrier and Simon note that there was no fixed set of questions, which could be vague or extremely precise. However, the circular C345 provided a general model. From what I see the standard questions have not changed much but two have been added (see the Senate report of 2021 on psychiatric evaluation).

Source

Riviere-Perrier, Danielle, and Marie-Agnès Simon. ‘Réflexions sur une expérience d’expertise en criminologie’. Bulletin de psychologie 29, no. 322 (1976): 485–89. https://www.persee.fr/doc/bupsy_0007-4403_1976_num_29_322_10729
[https://www.reddit.com/r/AskHistorians/comments/10ir8tu/has_anyone_found_details_about_foucaults/ Quoted from reddit]

=== Interesting branches ===

* ''amende honorable''
* Tristlewood.
* French code of 1791.
* Rusche and Kirchheimer, Punishment and Social Structures.

Discipline and Punish

2023-07-16T23:19:20Z

Hoppinglife:

== Notes ==

=== 1. The Body of the Condemned ===

* Foucault started by discussing two different styles of punishment - [https://en.wikipedia.org/wiki/Robert-Fran%C3%A7ois_Damiens Damiens the Regicide] and Faucher's young prisoners in Paris.
* Two processes: (1) disappearance of punishment as a spectacle (**amende honorable**, prisoners in public work). (2) A slackening of the hold on the body.
* The way to evaluate the effectiveness of punishment changed: inevitability vs. visible intensity.
* Blame is redistributed between conviction vs. execution.
* The role of a doctor in execution is interesting - welfare and alleviator of pain. This describes the double process: the disappearance of the spectacle and the elimination of pain.
* The more monstrous the crime, the criminal must not see or be seen.
* French Revolution endowed the guillotine with a great theatrical ritual. Eventually, the guillotine was placed inside prison walls.
* Discussion on the objective of punishment - if not on the body, it must be on the soul. Punish intention rather than action. Establish the causal relationship between the two.
* Insanity and judgment - creating subsidiary judicial power for experts, doctors, etc. Not responsibility, but usefulness. Something other than crimes.
* A ''whole new system of truth'' that is used to judge.
* Analyze the penal leniency as a technique of power. Four rules: (1) view punishment as a complex social function. (2) analyze punitive methods as techniques for power. (3) unify the penal system and the knowledge of man. (4) whether this transformation is the way of how one's body is treated by power relations. - a common history of power relations and object relations.

=== Quotes ===
{{Quote|text=It is ugly to be punishable, but there is no glory in punishing.|sign=Foucault|source=The body of the condemned}}
{{Quote|text=Beneath the increasing leniency of punishment, then, one may map a displacement of its point of application; and through this displacement, a whole field of recent objects, a whole new system of truth and a mass of roles hitherto unknown in the exercise of criminal justice. A corpus of knowledge, techniques, ‘scientific’ discourses is formed and becomes entangled with the practice of the power to punish.|sign=Foucault|source=The body of the condemned}}

=== Suplement details ===
==== 1958 Ruling ====
It refers to the creation in 1958 of the Code of penal procedure, i.e., the set of rules that organize the process of punishing an offense. The text cited by Foucault is not a "ruling", but, as written in the original French text of Surveiller et punir -, a circular: Circular of the Garde des Sceaux, Article C345 of the Instruction générale pour l'application du code de procédure pénale.

I cannot find the exact text of the circular, but when Foucault was writing his book, the investigating judge (juge d'instruction) could order a psychiatric examination that included the following questions (Rivière-Perrier and Simon, 1976):

* Does the examination reveal any mental or psychic abnormalities in the subject? If so, describe them and specify to which conditions they are related.
* Is the offence with which the subject is charged related to such abnormalities or not?
* Is the subject in a dangerous condition?
* Is the subject eligible for criminal sanction?
* Is the subject curable or rehabilitatable?
* Was the subject in a state of insanity within the meaning of Article 64 of the Penal Code at the time of the offence?

Article 64 requires to specify whether the crime was committed in a state of insanity.

Rivière-Perrier and Simon note that there was no fixed set of questions, which could be vague or extremely precise. However, the circular C345 provided a general model. From what I see the standard questions have not changed much but two have been added (see the Senate report of 2021 on psychiatric evaluation).

Source

Riviere-Perrier, Danielle, and Marie-Agnès Simon. ‘Réflexions sur une expérience d’expertise en criminologie’. Bulletin de psychologie 29, no. 322 (1976): 485–89. https://www.persee.fr/doc/bupsy_0007-4403_1976_num_29_322_10729
[https://www.reddit.com/r/AskHistorians/comments/10ir8tu/has_anyone_found_details_about_foucaults/ Quoted from reddit]

=== Interesting branches ===

* ''amende honorable''
* Tristlewood.
* French code of 1791.
* Rusche and Kirchheimer, Punishment and Social Structures.

Discipline and Punish

2023-07-16T23:12:18Z

Hoppinglife:

Discipline and Punish

2023-07-16T23:07:29Z

Hoppinglife: /* = 1958 Ruling */

Discipline and Punish

2023-07-16T23:07:19Z

Hoppinglife:

Discipline and Punish

2023-07-16T23:06:44Z

Hoppinglife:

Discipline and Punish

2023-07-16T23:00:11Z

Hoppinglife: /* Notes */

Discipline and Punish

2023-07-16T22:06:06Z

Hoppinglife: /* 1. The Body of the Condemned */

Discipline and Punish

2023-07-16T22:02:47Z

Hoppinglife:

Discipline and Punish

2023-07-16T21:50:13Z

Hoppinglife:

Discipline and Punish

2023-07-16T21:32:07Z

Hoppinglife: /* Interesting branches */

Discipline and Punish

2023-07-16T21:29:46Z

Hoppinglife:

Discipline and Punish

2023-07-16T21:27:29Z

Hoppinglife: /* Quotes */

Template:Quote

2023-07-16T21:26:33Z

Hoppinglife: Created page with "<blockquote class="templatequote"><div class="Bug6200">{{{text|{{{quote|{{{1|<noinclude>{{lorem ipsum}}</noinclude><includeonly>{{error|Error: No text given for quotation (or equals sign used in the actual argument to an unnamed parameter)}}</includeonly>}}}}}}}}}</div>{{#if:{{{sign|{{{cite|{{{2|<noinclude>TRUE</noinclude>}}}}}}}}} |<div class="templatequotecite">—{{{sign|{{{cite|{{{2|<noinclude>Someone</noinclude>}}}}}}}}}{{#if:{{{source|{..."

<blockquote class="templatequote"><div class="Bug6200">{{{text|{{{quote|{{{1|<noinclude>{{lorem ipsum}}</noinclude><includeonly>{{error|Error: No text given for quotation (or equals sign used in the actual argument to an unnamed parameter)}}</includeonly>}}}}}}}}}</div>{{#if:{{{sign|{{{cite|{{{2|<noinclude>TRUE</noinclude>}}}}}}}}}
|<div class="templatequotecite">—{{{sign|{{{cite|{{{2|<noinclude>[[Someone's full name|Someone]]</noinclude>}}}}}}}}}{{#if:{{{source|{{{3|<noinclude>TRUE</noinclude>}}}}}}
|, <cite>{{{source|{{{3|<noinclude>Source</noinclude>}}}}}}</cite>
}}</div>
}}</blockquote><noinclude>
{{documentation}}

</noinclude>

Discipline and Punish

2023-07-16T21:26:26Z

Hoppinglife:

Discipline and Punish

2023-07-16T21:12:26Z

Hoppinglife: /* 1. The Body of the Condemned */

Discipline and Punish

2023-07-16T21:11:47Z

Hoppinglife: Created page with "== Notes == === 1. The Body of the Condemned === * Foucault started by discussing two different styles of punishment - [https://en.wikipedia.org/wiki/Robert-Fran%C3%A7ois_Damiens https://en.wikipedia.org/wiki/Robert-Fran%C3%A7ois_Damiens] and Faucher's young prisoners in Paris."

Mutt

2023-02-22T17:58:17Z

Hoppinglife: Update some mutt shortcuts.

Mutt is a command line tool for reading the emails.

== Usage ==

=== Regex searching and deleting ===

Delete all messages using <code>D regex</code>.

* Use <code>Esc t</code> to tag all messages in a thread.
* Use <code>;s</code> to move tagged messages.

== Setup ==

=== Manage the threads ===
It is useful to set up mutt to order threads based on last reply:

<syntaxhighlight>
set sort_thread_groups = last-date-sent
set sort_aux = date-sent
</syntaxhighlight>

=== Macros ===
* Archive macros:
<syntaxhighlight>
macro index,pager "\z" "<save-message>=[Gmail]/All Mail<enter><enter>" "Archive"
macro index,pager "\Z" "<tag-thread><tag-prefix-cond><save-message>=[Gmail]/All Mail<enter><enter>" "Archive Thread"
</syntaxhighlight>

Ventoy

2023-02-07T07:23:37Z

Hoppinglife: "add more description for ventoy."

[https://www.ventoy.net/ Ventoy] is a multi-iso USB booting tool. It allows a user to simply copy an ISO to the directory and boot from it without wiping the entire USB disk.

== Creating a USB disk with cidata ==

Sometimes, we want to initialize cloud-init for the ISO file (for example, to perform headless instllation). We can reserve a small partition for user-data:

<code>
sudo ventoy -i /dev/sdX -r 128
</code>

== References ==
<references />

Ventoy

2023-02-07T07:11:28Z

Hoppinglife: /* Creating a USB disk with cidata */

Neovim

2023-02-06T17:01:13Z

Hoppinglife:

Neovim, or nvim is a re-written vim implementation. It is significantly faster than the vanilla fork, and has become my default editor.

== Installation ==

For Arch Linux, Install <code>neovim</code>, <code>python-pynvim</code> from Pacman and <code>neovim-plug-git</code> from AUR.

Nvim provides a appimage that can be used when installing non-system package is not allowed: [[https://github.com/neovim/neovim/wiki/Installing-Neovim Installing Neovim]]

I use [https://github.com/hbsnmyj/neoroedeer neoroedeer] for configuration. Link the init file to ~/.config/nvim/init.vim. Run <code>:PlugInstall</code> to install the plugins.

== Usage ==

=== Clipboard ===

<code>"+</code> register is the clipboard on my system.

See <code>:help clipboard</code>

=== Latex ===

=== Git ===

Just call <code>:Git</code>.

Use <code>:Gstatus</code> for seeing the stage area, use <code>cc</code> to commit.

See [https://github.com/tpope/vim-fugitive Fugitive].

=== Mercurial ===

See [https://github.com/jlfwong/vim-mercenary Mercenary]

=== Markdown ===

Install [https://github.com/iamcco/markdown-preview.nvim Markdown Preview].

Use <code>:MarkdownPreview</code> to start the preview engine.

=== Vimline ===

When writing text-based files, I use the following vim line to make vim break lines automatically.

<syntaxhighlight>
vim: set tw=78 spell indentexpr=
</syntaxhighlight>

Use <code>gq<location></code> to perform a reformatting operation.

Large Language Model

2023-02-06T16:59:33Z

Hoppinglife: Created page with "Placeholder."

Placeholder.

Ventoy

2023-02-06T02:55:52Z

Hoppinglife: Created page with "[https://www.ventoy.net/ Ventoy] is a multi-iso USB booting tool. It allows a user to simply copy an ISO to the directory and boot from it without wiping the entire USB disk. == Creating a USB disk with cidata == == References == <references />"

Arch Linux

2022-05-31T02:18:40Z

Hoppinglife:

Arch Linux is my go-to Linux distribution.

=== Environment setup ===

* If gnome-terminal is not working after installing gnome, check if LANG is set properly.
* If firefox is blurry/refuse to resize under wayland, run it under wayland directly by adding MOZ_ENABLE_WAYLAND=1 to environment.

=== GPG ===

If pacman-keys or yay does not work, check the following:

* Does systemd-resolved work correctly?
* Try change keyserver in both /etc/pacman.d/gnupg and ~/.gnupg/
* Try restart dirmngr: <code>systemctl --user restart dirmngr</code>

If encounter <code>agent refused operation</code> error:
* Check if [[https://wiki.archlinux.org/index.php/GnuPG#Configure_pinentry_to_use_the_correct_TTY The pinentry is set to use the correct TTY]].

=== KVM ===

* Add a bunch of modules to mkinitcpio: <code>vfio mdev virtio-net virtio-blk virtio-scsi virtio-balloon</code>
* Allowing kvm group to access virtio: [https://wiki.archlinux.org/index.php/KVM KVM]

=== Checklist ===

* zsh
* neovim / neoroedeer
* texlive
* gpg

=== Pacman Usage ===
Looking for which package owns a file: <code>pacman -Qo path</code>

ZFS on Linux

2022-05-18T06:08:54Z

Hoppinglife:

=== Troubleshooting ===

* Currently, grub-probe often cannot return pool name. Until this [https://lists.gnu.org/archive/html/grub-devel/2020-12/msg00239.html patch] is merged into upstream,
manually set root pool name in <code>/etc/grub.d/10_linux</code> to get around of the problem.
* Incomplete send/receive can cause ZFS systems to show permanent data errors. Run <code>zfs scrub</code> twice to remove the errors.
* When having kernel module errors, check if the booted kernel is the latest - often it is because /boot was not loaded correctly during package update.

Ruby

2022-04-07T16:34:55Z

Hoppinglife:

== Using ruby as a shell ==

[https://i.stack.imgur.com/1Vuvp.png Flowchart for Ruby subprocess options]

Ruby

2022-01-08T19:11:30Z

Hoppinglife: Created page with "[https://i.stack.imgur.com/1Vuvp.png Flowchart for Ruby subprocess options]"

[https://i.stack.imgur.com/1Vuvp.png Flowchart for Ruby subprocess options]

Mutt

2021-11-09T20:15:50Z

Hoppinglife: /* Macros */

Mutt is a command line tool for reading the emails.

== Usage ==

=== Manage the threads ===
* Use <code>Esc t</code> to tag all messages in a thread.
* Use <code>;s</code> to move tagged messages.

=== Macros ===
* Archive macros:
<syntaxhighlight>
macro index,pager "\z" "<save-message>=[Gmail]/All Mail<enter><enter>" "Archive"
macro index,pager "\Z" "<tag-thread><tag-prefix-cond><save-message>=[Gmail]/All Mail<enter><enter>" "Archive Thread"
</syntaxhighlight>

Mutt

2021-11-09T20:15:32Z

Hoppinglife:

Mutt is a command line tool for reading the emails.

== Usage ==

=== Manage the threads ===
* Use <code>Esc t</code> to tag all messages in a thread.
* Use <code>;s</code> to move tagged messages.

=== Macros ===
* Archive macros:
<code>
macro index,pager "\z" "<save-message>=[Gmail]/All Mail<enter><enter>" "Archive"
macro index,pager "\Z" "<tag-thread><tag-prefix-cond><save-message>=[Gmail]/All Mail<enter><enter>" "Archive Thread"
</code>

Sed

2021-11-09T18:45:12Z

Hoppinglife: Created page with "<code> sed -i 's/SEARCH_REGEX/REPLACEMENT/g' INPUTFILE </code>"

<code>
sed -i 's/SEARCH_REGEX/REPLACEMENT/g' INPUTFILE
</code>

Mutt

2021-11-05T16:27:41Z

Hoppinglife: Created page with "Mutt is a command line tool for reading the emails. == Usage == === Manage the threads === * Use <code>Esc t</code> to tag all messages in a thread. * Use <code>;s</code> to..."

Mutt is a command line tool for reading the emails.

== Usage ==

=== Manage the threads ===
* Use <code>Esc t</code> to tag all messages in a thread.
* Use <code>;s</code> to move tagged messages.

Neovim

2021-10-18T16:41:46Z

Hoppinglife: /* Vimline */

Neovim, or nvim is a re-written vim implementation. It is significantly faster than the vanilla fork, and has become my default editor.

== Installation ==

For Arch Linux, Install <code>neovim</code>, <code>python-pynvim</code> from Pacman and <code>neovim-plug-git</code> from AUR.

I use [https://github.com/hbsnmyj/neoroedeer neoroedeer] for configuration. Link the init file to ~/.config/nvim/init.vim. Run <code>:PlugInstall</code> to install the plugins.

== Usage ==

=== Clipboard ===

<code>"+</code> register is the clipboard on my system.

See <code>:help clipboard</code>

=== Latex ===

=== Git ===

Just call <code>:Git</code>.

Use <code>:Gstatus</code> for seeing the stage area, use <code>cc</code> to commit.

See [https://github.com/tpope/vim-fugitive Fugitive].

=== Mercurial ===

See [https://github.com/jlfwong/vim-mercenary Mercenary]

=== Markdown ===

Install [https://github.com/iamcco/markdown-preview.nvim Markdown Preview].

Use <code>:MarkdownPreview</code> to start the preview engine.

=== Vimline ===

When writing text-based files, I use the following vim line to make vim break lines automatically.

<syntaxhighlight>
vim: set tw=78 spell indentexpr=
</syntaxhighlight>

Use <code>gq<location></code> to perform a reformatting operation.

Neovim

2021-10-18T16:40:46Z

Hoppinglife: /* Vimline */

Neovim, or nvim is a re-written vim implementation. It is significantly faster than the vanilla fork, and has become my default editor.

== Installation ==

For Arch Linux, Install <code>neovim</code>, <code>python-pynvim</code> from Pacman and <code>neovim-plug-git</code> from AUR.

I use [https://github.com/hbsnmyj/neoroedeer neoroedeer] for configuration. Link the init file to ~/.config/nvim/init.vim. Run <code>:PlugInstall</code> to install the plugins.

== Usage ==

=== Clipboard ===

<code>"+</code> register is the clipboard on my system.

See <code>:help clipboard</code>

=== Latex ===

=== Git ===

Just call <code>:Git</code>.

Use <code>:Gstatus</code> for seeing the stage area, use <code>cc</code> to commit.

See [https://github.com/tpope/vim-fugitive Fugitive].

=== Mercurial ===

See [https://github.com/jlfwong/vim-mercenary Mercenary]

=== Markdown ===

Install [https://github.com/iamcco/markdown-preview.nvim Markdown Preview].

Use <code>:MarkdownPreview</code> to start the preview engine.

=== Vimline ===

When writing text-based files, I use the following vim line to make vim break lines automatically.

<syntaxhighlight>
vim: set tw=78 spell indentexpr=
</syntaxhighlight>

Use <pre>gq<location></pre> to perform a reformatting operation.

Neovim

2021-10-18T16:40:28Z

Hoppinglife: /* Usage */

Neovim, or nvim is a re-written vim implementation. It is significantly faster than the vanilla fork, and has become my default editor.

== Installation ==

For Arch Linux, Install <code>neovim</code>, <code>python-pynvim</code> from Pacman and <code>neovim-plug-git</code> from AUR.

I use [https://github.com/hbsnmyj/neoroedeer neoroedeer] for configuration. Link the init file to ~/.config/nvim/init.vim. Run <code>:PlugInstall</code> to install the plugins.

== Usage ==

=== Clipboard ===

<code>"+</code> register is the clipboard on my system.

See <code>:help clipboard</code>

=== Latex ===

=== Git ===

Just call <code>:Git</code>.

Use <code>:Gstatus</code> for seeing the stage area, use <code>cc</code> to commit.

See [https://github.com/tpope/vim-fugitive Fugitive].

=== Mercurial ===

See [https://github.com/jlfwong/vim-mercenary Mercenary]

=== Markdown ===

Install [https://github.com/iamcco/markdown-preview.nvim Markdown Preview].

Use <code>:MarkdownPreview</code> to start the preview engine.

=== Vimline ===

When writing text-based files, I use the following vim line to make vim break lines automatically. Use <pre>gq<location></pre> to perform a reformatting operation.

<syntaxhighlight>
vim: set tw=78 spell indentexpr=
</syntaxhighlight>

OPT

2021-08-07T17:45:13Z

Hoppinglife:

* [https://www.uscis.gov/i-9-central/form-i-9-related-news/form-i-9-verification-during-ead-production-delays-due-to-covid-19 You can use I-797 for I-9 verification.]

OPT

2021-08-07T17:45:03Z

Hoppinglife: Created page with "* You can use I-797 for I-9 verification."

* You can use I-797 for I-9 verification.