Brandon Rozek 181d724e30 New post		2024-10-30 15:24:21 -04:00
..
2015-04-16-function-two-points-theory.md
2015-04-16-responsive-layout-and-animation.md
2015-05-23-animatable-border.md
2015-09-14-animatable-box-model.md
2015-10-03-animatable-location.md
2015-10-03-animatable-text.md
2015-10-04-html-css-javascript-link-together.md
2015-10-10-javascript-data-types.md
2015-10-11-animatable-visual.md
2015-10-18-animatable-transform.md
2015-10-18-javascript-conditional-statements.md
2015-10-25-functions.md
2015-11-14-service-workers.md
2015-11-15-fractions-js.md
2015-11-30-limiting-cache-service-workers-revisited3.md
2015-12-22-playing-with-qr-codes.md
2015-12-27-creating-vcards-from-h-cards.md
2016-08-16-pass-password-manager.md
2017-03-07-knit-document-rstudio.md
2017-03-07-uniformity-math-random.md
2017-03-09-simplifying-expressions-octave.md
2017-03-14-monte-carlo-pi.md
2017-05-24-viewing-java-applets.md
2017-06-05-java-swing-components.md
2017-06-05-using-system-themes-java-swing.md
2017-08-28-escape-sequences-java.md
2017-08-28-obtaining-command-line-input-java.md
2018-01-22-identifying-misspelled-words-dataset-hunspell.md
_index.md
abstractdef.md
accessing-homelab-services-mtls.md	Adjusted date	2024-07-21 09:55:59 -07:00
accidentally-reinforcing-model-predictions-inaturalist-seek.md
adventures-in-bird-watching.md
ahead-behind-git.md
AI-fearmongering-regulatory-moat.md
albuquerque.md
algorithmiclatex.md
antenna-basics.md
appimage.md
appsusinginternet.md
archiving-toots.md
archivingsites.md
aspell.md
asynccallbacks.md
audioreplace.md
auto-updating-podman-containers.md
autodeploydockerapps.md
autodeployterraform.md
autopurgedocker.md
autostartdesktopapps.md
avoid-mutating-set-items-python.md
bandwidthlimitingapps.md
bash-traps-exit-error-sigint.md
bashflags.md
bashpartialargparse.md
bashprocesses.md
bashtcpudp.md
bashvalidateip.md
bat.md
bdaymusic.md
beamer-gen-slide-at-section.md	Flipped draft flag	2024-06-15 19:48:13 -07:00
block-storage-application-data.md
blogroll-from-subscriptions.md
blogworkflow.md
bmaptool-iso.md
bonds-and-interest-rate-risk.md
borgbackup.md
caching-theorem-prover-results.md
capturing-quoted-string-sed.md
checkinstall.md
chirp.md
chrootvirtfilesystem.md
circling-around-vancouver.md	New post	2024-05-04 18:48:51 -04:00
clearingsystemdlogs.md
cloc.md
codeinbeamer.md
codeoutputlatex.md
collabpandocbeamer.md
colormanipulation.md
command-when-file-in-directory-changes.md
common-mistake-induction-proofs.md
comparatorlogicgate.md
composesystemd.md
concatenating-pdf-linux.md
conditional-assignment-bash.md
contributing-openstreetmap.md
convert-djvu-to-pdf.md
copydecorator.md
copytoram.md
corecursion-unfold-infinite-sequences.md
coredns.md
cppoverloads.md
creatingqrcodesfromterminal.md	Edits	2024-04-16 23:39:03 -04:00
cryptogames.md
ctf.md
custom-python-repl.md
custom-system-fonts.md
customexec.md
customudev.md
dafny-3-3-countermodel.md
dafny-loops.md
day-in-brooklyn.md
dbcli.md
ddforiso.md
DebuggingAndPerformance.md
decentralized-currency-and-issues-with-custodians.md
decentralized-identity-pgp-keyoxide.md
decentralized-pgp-keys-wkd.md
deep-recursion.md
deploying-hugo-website-through-gh-actions.md
detectpythonversion.md
diceware.md
different-views-of-fold.md
digitalmodes.md
disabling-cpus-save-power.md	New post	2024-04-06 21:10:05 -04:00
discgolfpymc.md
discoveringhamradio.md
disjunctive-goals-pddl.md	New post and tag update	2024-06-09 08:41:33 -07:00
displaying-a-toot-hugo.md
displaying-hikes-with-gpxstudio.md
diversified-investments-index-fund.md
dns-01-challenge-wildcard-domain-letsencrypt.md
do-while-other-lang.md
doapi.md
docker-image-bash.md
docker-secrets.md
dockermacvlan.md
document-formats-and-plaintext.md
downloadchanges.md
drawing-trees-with-tikz-latex.md
emoji-kitchen.md
espeak.md
etc-hosts-connection.md
exportpydecorator.md
externalmediaformats.md
extract.md
finding-cool-people-on-mastodon.md
finding-cuda-errors.md
firefoxprivacyconfigs.md
fmdigitalmodes.md
fold-not-only-reduces.md
fun-with-telnet.md
functional-completeness.md
functions-inductive-propositions-lean4.md	Small proof change	2024-04-16 22:02:34 -04:00
gevent.md
git-bisect-broken-builds.md
git-diff-by-words.md
git-partial-clones.md
git-pushing-multiple-remotes.md
gitbundle.md
gitcredentialstore.md
gitdropcommits.md
gitlabcicd.md
gitlens.md
gitlineendings.md
gitpatch.md
goaccess.md
gpgagentasssh.md
gpgcard.md
gpgkeygen.md
gps-exif-data-from-photos-decimal-format.md
groupssimplified.md
gstreamer.md
haskellrealsequences.md
hiding-answers-lecture-slides-latex-beamer.md
how-to-safely-remove-dnf-repository.md
hugo-hiding-section-from-listing.md
human-readable-sizes.md
hunter-gathering-apple-picking.md	New Post	2024-09-28 12:42:19 -04:00
ice-hockey.md
identifying-plants-with-inaturalist.md
immutable-bfs-unfold.md
implications-prenex-normal-form.md	Added other proofs	2024-10-27 18:08:23 -04:00
induction-ints-coercing-nats-lean4.md	New post	2024-03-29 22:20:07 -04:00
induction-lean3.md
integer-sets-lean4.md	New post	2024-03-31 21:14:12 -04:00
intensional-logic-extends-first-order.md
internalca.md	Fixed typo	2024-07-04 15:46:38 -07:00
intro-dempster-shafer.md	URL Rename	2024-10-30 10:18:49 -04:00
intro-possibility-theory.md	New post	2024-10-30 15:24:21 -04:00
introrfpoweramp.md
ipaddressesinpython.md
iterativecsv.md
jq.md	New post	2024-10-06 12:57:11 -04:00
junit-script.md
jupyterwithpyenv.md
latex-footnote-no-count.md
latexcode.md
latexlistlabels.md
launchappsthroughterminal.md
lean3-tutorial.md	Updated lean post	2024-03-17 23:11:17 -04:00
lean4-tutorial.md	Updates	2024-03-17 23:47:31 -04:00
leantactics.md	Updated lean post	2024-03-17 23:11:17 -04:00
learning-language.md	New post	2024-05-12 19:55:39 -04:00
librecalctips.md
lightweight-gitc-docker-compose.md	Updated to new http2 syntax	2024-06-16 19:44:45 -07:00
limitbandwidth.md
linuxdesktopicons.md
livedoc.md
load-balancing-within-openmp-static-schedules.md
localrepoiso.md
lxc-fedora-38.md
lxdtmpfs.md
male-vs-female-life-expectancy.md
managepythonapps.md
managing-mongodb-resource-usage-docker-compose.md	Added warning	2024-06-16 18:04:13 -07:00
manpandoc.md
mapping-states-visited.md
marshalling-python-dataclasses.md
mastodon-webfinger-alias-using-redirects.md
memoization-scala.md
memoryerrorsgo.md
mergerfs.md
migrating-docker-compose-podman-quadlets.md	New post	2024-05-09 22:24:49 -04:00
mirror-public-repositories.md
mirrordownload.md
mirrorhugosite.md
mirroringwithgitea.md
missinglibraries.md
modifying-json-in-rust.md	New post	2024-08-03 08:36:56 -07:00
monitoring-disks-smartattributes.md	New Post	2024-10-17 15:06:15 -04:00
multicastreceivescript.md
multicolumnbeamerslide.md
neovimplugins.md
netbootxyz.md
networkdebugging.md
networkthroughput.md
networkx-random-sample-graph.md
networkxtree.md
nginx-gzip.md
ngrok.md
no-response-default-nginx.md	Updated to new http2 syntax	2024-06-16 19:44:45 -07:00
non-root-systemd-scripts.md
notes-beamer-latex.md
notimplemented.md
obswebcam.md
obtaining-ipv6-address-hurricane-electric.md
obtaining-multiple-solutions-z3.md
obtaining-valid-ssl-certificates-internal-lan.md
offlinepip.md
ohmyzsh.md
on-earbuds.md
openmpi-fedora.md
openvpncontainer.md
optionality-risk-aversion.md
parallel-scp.md
patch-files.md	New post	2024-05-18 22:07:33 -04:00
paying-for-things.md
permission-denied-writing-privileged-locations.md
personal-simple-web-archive.md
personalsitepreservingurls.md
phonegpsforward.md
photograph-ordinary-times.md
pidhcp.md
piholedhcpdns.md
pingdiscovery.md
pipconf.md
pipeditable.md
plex-ram-transcode.md
podman-nginx-tcpv6-http2-ready.md	Updated to new http2 syntax	2024-06-16 19:44:45 -07:00
polymorphic-functions-wildcard-matching-lean-4.md	New post	2024-08-04 08:33:12 -07:00
popular-automated-website-attacks.md
pretty-rss-feeds.md
printdebug.md
private-syncthing-network.md
proactive-defederation.md
program-verification-hoare-logic-dafny.md
progressive-enhancement-page-transitions-hugo-htmx.md
proofdef.md
prost-import-external-schemas.md	New post	2024-10-06 12:51:37 -04:00
proving-loop-invariants.md
pulseaudiortp.md
pyasyncio.md
pycacheprop.md
pydataclass.md
pydecorators.md
pyenv.md
pyenvbuildflags.md
pyenvtox.md
pyextradeps.md
pyfutures.md
pygetset.md
pyleniterables.md
pymemoization.md
pysubscribepattern.md	Edited post	2024-07-28 00:38:20 -07:00
python-argparse.md
python-check-submodule-load.md
python-dataclasses-derived-fields-validation.md
python-refactoring-exceptions-context-manager.md
pythonabstractclass.md
pythonall.md
pythoninterrupts.md
pythonoverloads.md
pythonpackagenamespacing.md
pythonpathhacks.md
pythonsetinterval.md
pythonsetupdevelop.md
pythonswig.md
pythonsymmetricgroups.md
pythontyping.md
pyunittest.md
qtcpsocket.md
qttimer.md
quickbashargcount.md
quickcgroups.md
quickpythonhttp.md
quickstoragesetup.md
rclone.md
re-static-plus.md	New post	2024-07-01 22:24:55 -07:00
readable-lean3-proofs.md
rebalancing-portfolio-buy-low-sell-high.md
rebuildkernelakmod.md
recordoutputaudio.md
recursivelisting.md
renewing-gpg-keys.md
replacing-drive-btrfs.md	New post	2024-10-23 12:21:23 -04:00
representing-uncertainty-closed-world-assumption.md	New post and tag update	2024-06-09 08:41:33 -07:00
resumingapt.md
reverseonehotencode.md
robustdd.md
rootless-docker-compose-podman.md	New post	2024-05-09 22:24:49 -04:00
rsa.md
rss-feed-watchlist-wikipedia.md
rsynckey.md
s3-fuse.md
safety-constraints-pddl.md	New post and tag update	2024-06-09 08:41:33 -07:00
scrcpy.md
screwuppresentations.md
sharedpackerterraformconfig.md
shutdownafterjob.md
signingcommits.md
simple-kv-store-sqlite.md	Updated post	2024-09-17 16:49:52 -04:00
simulators.md
snap-flatpak-aliases.md
snapshotswithpacker.md
socatforward.md
socks5proxy.md
sphinxmathjax.md
splittingfiles.md
sshconfig.md
sshconnectionsharing.md
sshjump.md
sshlocalportforwarding.md
starbound-server-lxc.md
startgraphicalappsnoforwarding.md
stow.md
svg-pixel-art.md
switching-raid-10.md
syndicating-hugo-to-medium.md
systemdstartup.md
systemdwithpythonenvs.md
tcopython.md
tempresolve.md
tempstaticip.md
terminaloutputvim.md
termtosvg.md
test-mqtt.md
tildeverse-ascii-towns-cadastre.md
tildeverse.md
togglingxinput.md
tokindle.md
tox.md
tracking-software-releases-rss.md	New post	2024-04-21 23:30:24 -04:00
traefiknginx.md
trim-video-ffmpeg.md
type-checking-javascript-files-using-typescript.md
unattended-upgrades.md
uninstallvimplugins.md
usbredirection.md
usps-forever-stamps.md	New post	2024-04-25 22:18:28 -04:00
v4l2-webcam.md
value-shift.md
ventoy.md
videosandgifs.md
virtualdisks.md
virtualenv.md
virtualizingwithclonezilla.md
virtuallivecd.md
vncsetup.md
webhook-notifications-on-systemd-service-failure.md	New post	2024-09-04 21:42:09 -07:00
website-analytics-usefulness.md
website-badges.md
website-status-checking.md
website-visible-on-the-fediverse.md
why-i-pesos-from-mastodon.md
whyzeromq.md
wildcarddomainspihole.md
wireguardvpn.md
wordguess.md
wormhole.md
writing-simple-scripts.md
writing-unit-tests-lean-4.md	New post	2024-08-05 21:36:20 -07:00
xephyr.md
xpra.md
xvfb.md
youtubebackup.md
yubikey.md
z3constraintsolving.md
zshandsnaps.md