diff --git a/content/blog/2015-09-14-animatable-box-model.md b/content/blog/2015-09-14-animatable-box-model.md index 3fe0a56..3e1a350 100644 --- a/content/blog/2015-09-14-animatable-box-model.md +++ b/content/blog/2015-09-14-animatable-box-model.md @@ -187,4 +187,4 @@ animation: width 1.25s ease .6s infinite alternate; ### Conclusion -And so with this we can add another collection of animations to our toolbelt! If you’re wondering why I left border out of this box-model post, it’s because I have already written a post dedicated to just the [border animation](https://brandonrozek.com/2015/05/animatable-border/). Here are some of the resources I looked at for this post. Hopefully I’ll come back with another animatable post soon! {.broken_link} {.broken_link} {.broken_link} {.broken_link} \ No newline at end of file +And so with this we can add another collection of animations to our toolbelt! If you’re wondering why I left border out of this box-model post, it’s because I have already written a post dedicated to just the [border animation](https://brandonrozek.com/2015/05/animatable-border/). Here are some of the resources I looked at for this post. Hopefully I’ll come back with another animatable post soon! {.broken_link} {.broken_link} \ No newline at end of file diff --git a/content/blog/autostartdesktopapps.md b/content/blog/autostartdesktopapps.md index e311ba5..d518077 100644 --- a/content/blog/autostartdesktopapps.md +++ b/content/blog/autostartdesktopapps.md @@ -8,8 +8,8 @@ tags: title: Autostart Desktop Applications --- -The [freedesktop specification](https://specifications.freedesktop.org/autostart-spec/0.5/ar01s02.html) describes how to identify file types, launch applications, and other useful desktop functions. A useful spec I've found recently is for launching desktop applications when you log into your machine. +The [freedesktop specification](https://web.archive.org/web/20240105053937/https://specifications.freedesktop.org/autostart-spec/0.5/ar01s02.html) describes how to identify file types, launch applications, and other useful desktop functions. A useful spec I've found recently is for launching desktop applications when you log into your machine. In my Kubuntu 20.10 system, the directory `$HOME/.config/autostart` can contain [`.desktop`](/blog/linuxdesktopicons/) files that describes the applications to start on login. Drop whichever desktop file you wish to start there. In other systems it may be located under `$XDG_CONFIG_DIRS/autostart`. -If you want to start up a script instead, you can put the script under `$HOME/.config/autostart-scripts`. \ No newline at end of file +If you want to start up a script instead, you can put the script under `$HOME/.config/autostart-scripts`. diff --git a/content/blog/blogroll-from-subscriptions.md b/content/blog/blogroll-from-subscriptions.md index 4f94820..bf7a883 100644 --- a/content/blog/blogroll-from-subscriptions.md +++ b/content/blog/blogroll-from-subscriptions.md @@ -25,7 +25,7 @@ From my `subscriptions.xml` here's an example entry: ``` -It looks like I need to extract the `title`, `xmlUrl`, and `htmlUrl` attributes in that specific order. I'll use the same technique from a previous post on [capturing quoated strings](/capturing-quoted-string-sed). +It looks like I need to extract the `title`, `xmlUrl`, and `htmlUrl` attributes in that specific order. I'll use the same technique from a previous post on [capturing quoated strings](/blog/capturing-quoted-string-sed). ```bash grep "xmlUrl" subscriptions.xml |\ @@ -56,4 +56,4 @@ HTML_EXPR="
  • \1<\/a> (feed<\/a>)<\/li>" REPLACE_EXPR="s/$XML_EXPR/$HTML_EXPR/g" grep "xmlUrl" "$1" | sed "$REPLACE_EXPR" -``` \ No newline at end of file +``` diff --git a/content/blog/discoveringhamradio.md b/content/blog/discoveringhamradio.md index 116e8f7..a341dc1 100644 --- a/content/blog/discoveringhamradio.md +++ b/content/blog/discoveringhamradio.md @@ -6,7 +6,7 @@ tags: [ "Amateur Radio" ] medium_enabled: true --- -I feel like Ham Radio has been hiding in the background as I move through life. I knew someone that kept a Ham radio in his car, Noah talks about it frequently on his [podcast](http://www.asknoahshow.com/), and it seemed like the next step after [playing with](https://github.com/brandon-rozek/radiotuner) [software defined radio](https://www.amazon.com/RTL-SDR-Blog-RTL2832U-Software-Telescopic/dp/B011HVUEME/ref=sr_1_3). +I feel like Ham Radio has been hiding in the background as I move through life. I knew someone that kept a Ham radio in his car, Noah talks about it frequently on his [podcast](https://asknoahshow.com/), and it seemed like the next step after [playing with](https://github.com/brandon-rozek/radiotuner) [software defined radio](https://www.amazon.com/RTL-SDR-Blog-RTL2832U-Software-Telescopic/dp/B011HVUEME/ref=sr_1_3). One of the things that I think pushed me over to wanting to get my Technician's license is the discovery of [digital data modes](http://www.arrl.org/digital-data-modes). Hams even have their own [email](https://www.winlink.org/)! diff --git a/content/blog/hugo-hiding-section-from-listing.md b/content/blog/hugo-hiding-section-from-listing.md index 7892f5e..40a1a50 100644 --- a/content/blog/hugo-hiding-section-from-listing.md +++ b/content/blog/hugo-hiding-section-from-listing.md @@ -32,7 +32,7 @@ There are two types of hidden that I can think of: - You don't want any pages within unlisted to render at all. - You want it to render, but not appear in the section listing -For the first case, [Filosophy suggests](https://filosophy.org/code/disabling-a-specific-section-in-hugo/) to rename the section so that it starts with a dot. For example, `.unlisted`. +For the first case, [Filosophy suggests](https://web.archive.org/web/20210125075337/https://filosophy.org/code/disabling-a-specific-section-in-hugo/) to rename the section so that it starts with a dot. For example, `.unlisted`. For the second case, we need to introduce a page variable to help us choose when to display it. Let us call that page variable `hidden`. To set it to true, you need to add it to the frontmatter of `content/unlisted/_index.md`. @@ -50,4 +50,4 @@ Then replace the listing code with the following:
  • {{ .Title }}
    • {{ end }} {{ end }} -``` \ No newline at end of file +``` diff --git a/content/blog/integer-sets-lean4.md b/content/blog/integer-sets-lean4.md index 19b91f9..05b81ee 100644 --- a/content/blog/integer-sets-lean4.md +++ b/content/blog/integer-sets-lean4.md @@ -113,7 +113,7 @@ We can show this using a theorem from mathlib! exact eq_or_eq_neg_of_sq_eq_sq n 3 H1_1 ``` -[(Quite the long name...)](https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/GroupPower/Ring.html#eq_or_eq_neg_of_sq_eq_sq) +[(Quite the long name...)](https://web.archive.org/web/20240106030817/https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/GroupPower/Ring.html#eq_or_eq_neg_of_sq_eq_sq) Lastly, we combine the two subset proofs to show equality diff --git a/content/blog/videosandgifs.md b/content/blog/videosandgifs.md index 9c2e69d..032acbb 100644 --- a/content/blog/videosandgifs.md +++ b/content/blog/videosandgifs.md @@ -14,7 +14,7 @@ First of all, I wanted to include a video of a bot playing Pong. The video was a You just need to replace the `0.1` with the appropriate decimal number to change the speed. -Giphy has a great [writeup](https://engineering.giphy.com/how-to-make-gifs-with-ffmpeg/) describing the commands to use in order to make your GIF look nice. +Giphy has a great [writeup](https://web.archive.org/web/20200109095206/https://engineering.giphy.com/how-to-make-gifs-with-ffmpeg/) describing the commands to use in order to make your GIF look nice. ```bash ffmpeg -i inputvideo.mp4 -filter_complex "[0:v] palettegen" palette.png diff --git a/content/blog/website-badges.md b/content/blog/website-badges.md index 3696089..b942734 100644 --- a/content/blog/website-badges.md +++ b/content/blog/website-badges.md @@ -11,7 +11,7 @@ I've been coming across more [neocities](https://neocities.org/) websites recent ![Example Badge](/badges/fedora.gif) -These web badges are often small images that shows a product or message. Historically, it dates back to when Netscape in 1996 made the [Netscape Now!](https://sillydog.org/netscape/now.html) badge. +These web badges are often small images that shows a product or message. Historically, it dates back to when Netscape in 1996 made the [Netscape Now!](https://web.archive.org/web/20240914044400/https://sillydog.org/netscape/now.html) badge. Since then, the Geocities picked it up and standardized many of the web badges to have a pixel size of 88x31. These badges are sometimes animated as GIFs, though they usually don't hold dynamic information.