Skip to content

DEV Community

Brandon Rozek

PhD Student in Computer Science. Often writes about Linux and Web Technologies.

Joined on Jan 5, 2023 https://brandonrozek.com

Jan 25 '23

Deploying a Lightweight Git Server with CGit using Docker-Compose

#git

3 min read

Jan 25 '23

Bmaptool: A simpler way to copy ISOs

3 min read

Jan 6 '23

Decentralized PGP Keys with WKD

#gpgpgp

2 min read

Jan 6 '23

Decentralized Identities with PGP Annotations and Keyoxide

#gpgpgp

3 min read

Jan 6 '23

Obtaining Multiple Solutions Z3

2 min read

Jan 6 '23

Mastodon/Webfinger Alias using HTTP Redirects

#mastodon

2 min read

Jan 5 '23

Personal Web Archive and How I Archive Single Web pages

#archive

2 min read

Jan 6 '23

Concatenating PDF files in Linux

2 min read

Jan 6 '23

Capturing Quoted Strings in Sed

1 min read

Jan 6 '23

Drawing Trees in LaTex with Tikz

#latex

2 min read

Jan 6 '23

Deploying my Hugo Website through GitHub Actions

#hugo

4 min read

Jan 6 '23

Pretty RSS Feeds

2 min read

Jan 6 '23

Visualizing Nginx logs with GoAccess

4 min read

Jan 6 '23

Quick Python: Check Submodule Load

#python

2 min read

Jan 6 '23

Immutable Traversals with Unfold

#functionalprogrammin #scala

2 min read

Jan 6 '23

Memoization in Scala

#scala

1 min read

Jan 6 '23

Corecursion, Unfold and Infinite Sequences

#scala #functionalprogrammin

4 min read

Jan 6 '23

Deep Recursion

#scala #functionalprogrammin

2 min read

Jan 6 '23

Different Views of Fold and Their Combinations

#scala #functionalprogrammin

3 min read

Jan 6 '23

Fold Not Only Reduces

#functionalprogrammin #scala #haskell

1 min read

Jan 6 '23

Speaker Notes in LaTex Beamer

#latex

2 min read

Jan 6 '23

Getting Podman and Nginx TCPv6 and HTTP/2 Ready

#networking #containers

3 min read

Jan 6 '23

How to trim a video using FFMPEG

#audiovideo

1 min read

Jan 6 '23

Quick LaTex: Footnotes with no Counter

#latex

1 min read

Jan 6 '23

Retreiving GPS data in decimal format from EXIF data in photos

#gps

2 min read

Jan 6 '23

Conditional Assignment in Bash

#bash

1 min read

Jan 6 '23

Git Pushing to Multiple Remotes

#git

1 min read

Jan 6 '23

Displaying a Toot in Hugo

#hugo

6 min read

Jan 6 '23

Most Common Mistake in Induction Proofs

#math

2 min read

Jan 6 '23

Automatically Updating Podman Containers

#linux #containers

1 min read

Jan 6 '23

Which commit broke the build? Using Git Bisect

#git

1 min read

Jan 6 '23

Rclone: The Swiss Army Knife of Cloud Storage

#backup

4 min read

Jan 6 '23

Permission Denied: Writing to Privileged Locations

1 min read

Jan 6 '23

Networkx Random Sample Graph

#python

1 min read

Jan 6 '23

Non-Root Systemd Scripts

#linux

2 min read

Jan 5 '23

Finding Cuda Errors

1 min read

Jan 5 '23

JUnit Script

#java

1 min read

Jan 5 '23

Loop Invariants

#formalmethods

2 min read

Jan 5 '23

Git Partial Clones

#git

2 min read

Jan 5 '23

Reasoning through Loops in Dafny

#formalmethods

2 min read

Jan 5 '23

Program Verification with Hoare Logic and Dafny

#formalmethods

2 min read

Jan 5 '23

Docker Secrets

#containers

1 min read

Jan 5 '23

Mount Object Storage Locally using S3 Fuse

#storage

2 min read

Jan 5 '23

Aliases for Snaps and Flatpaks

#linux

1 min read

Jan 5 '23

Reducing Network Bandwidth in Nginx with Gzip

2 min read

Jan 5 '23

Dafny v3.3 Show Countermodel

#formalmethods

2 min read

Jan 5 '23

Rebuild Kernel Modules with Akmods

#linux #fedora

1 min read

Jan 5 '23

Rootless Docker-Compose with Podman

#containers

2 min read

Jan 5 '23

Code alongside Output in LaTex

#latex

2 min read

Jan 5 '23

Multi-Column slides in Beamer

#latex

1 min read

Jan 5 '23

Code in LaTex Beamer

#latex

1 min read

Jan 5 '23

Term To SVG

1 min read

Jan 5 '23

LaTex List Labels

#latex

1 min read

Jan 5 '23

SOCKS5 Proxy

#networking #ssh

1 min read

Jan 5 '23

Tree-based Plots in NetworkX

#python

1 min read

Jan 5 '23

Common Network Debugging Commands

#networking

4 min read

Jan 5 '23

Lean Theorem Prover Tactics

#formalmethods

5 min read

Jan 5 '23

Convert DJVU to PDF

1 min read

Jan 5 '23

Do-While Loop in Other Languages

1 min read

Jan 5 '23

Parallel SCP with LFTP

1 min read

loading...