Skip to content

Instantly share code, notes, and snippets.

View ivan's full-sized avatar
🕸️

Ivan Kozik ivan

🕸️
View GitHub Profile
@ivan
ivan / userChrome.css
Created July 31, 2024 06:37
userContent.css and userChrome.css for Firefox / Floorp
/*************************************************************************************************************************************************************************************************************************************************************
"userChrome.css" is a custom CSS file that can be used to specify CSS style rules for Floorp's interface (NOT internal site) using "chrome" privileges.
For instance, if you want to hide the tab bar, you can use the following CSS rule:
**************************************
#TabsToolbar { *
display: none !important; *
} *
@getaaron
getaaron / irs-get-human.md
Created April 1, 2024 23:01
Get a person at the IRS
  • Call 1-800-829-1040
  • Press 1 for English (or other language as desired)
  • Press 2 for personal tax
  • Press 1 for form / tax history
  • Press 3 for other
  • Press 2 for other
  • Ignore 2 SSN prompts till you get secret other menu
  • Press 2 for personal tax
  • Press 3 for other
  • Wait for agent!
@ivan
ivan / never buy a cheap refrigerator.sh
Last active March 10, 2024 01:27
Fridge software thermostat using Home Assistant + Zooz ZSE44 + Zooz ZEN15 800LR
#!/usr/bin/env zsh
# We use zsh instead of bash so that decimals work in $(( ))
set -eu -o pipefail
ha="http://192.168.10.2:8123"
# Expires 2034
token="..."
@schacon
schacon / better-git-branch.sh
Created January 13, 2024 18:41
Better Git Branch output
#!/bin/bash
# Colors
RED='\033[0;31m'
GREEN='\033[0;32m'
NO_COLOR='\033[0m'
BLUE='\033[0;34m'
YELLOW='\033[0;33m'
NO_COLOR='\033[0m'
@ivan
ivan / 2024_reading.md
Last active March 2, 2025 17:55
2024 reading list
@ivan
ivan / peanut gallery.md
Last active November 28, 2023 09:16
peanut gallery.md
@ivan
ivan / data.csv
Created August 6, 2023 05:40
IRC messages with "twitter.com/" in the message, over time
Month IRC messages logged IRC messages logged with "twitter.com/" Percent mentioning Twitter
2015-02 17195404 8917 0.052%
2015-03 17749799 11017 0.062%
2015-04 16134253 15596 0.097%
2015-05 15123528 10197 0.067%
2015-06 15933871 12762 0.080%
2015-07 16113608 10884 0.068%
2015-08 16010748 7457 0.047%
2015-09 14542928 8772 0.060%
2015-10 14512795 9395 0.065%
@ivan
ivan / CSS light and dark mode.css
Last active August 11, 2023 23:04
CSS light and dark mode without JavaScript requirement and with a class-based override on <html>
html {
background-color:
var(--LIGHT, #eee)
var(--DARK, #111);
color:
var(--LIGHT, #000)
var(--DARK, #ccc);
}
html {
@ivan
ivan / freedom.md
Last active July 19, 2023 02:24
the freedom to make things a little worse without getting punished for it immediately

Someone made the product worse, but not so much that it has become a priority for me to do something about it.

The corollary is that if you make something a little worse, people won't necessarily be moved to expend their time and social capital to tell you about it. You largely have to critique your own work and notice your own little regressions.