Skip to content

Instantly share code, notes, and snippets.

View ivan's full-sized avatar
🕸️

Ivan Kozik ivan

🕸️
View GitHub Profile
@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 May 10, 2024 17:06
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.

@ivan
ivan / meta.md
Created July 9, 2023 05:57
educator

If you see someone teaching something online properly, save the irrational gift from the gods while you can, before they realize their time is better spent doing anything but being an educator in public. These kinds of surpluses come and go.

@ivan
ivan / information.md
Last active July 8, 2023 01:28
Questions to ask when managing the deluge of information to consume
  1. Is this something you can save and look up later when your work context makes it more salient? You'll get a lot more out of it then.

  2. Does random sampling of the text or its conclusions suggest that this is worth your time? Generally, things are either fractally good or fractally bad.

  3. Can you get 50% of the value in 1% of the time? Sometimes you can, if what you needed was just a reference to something you didn't know about.

  4. Is this information more general and useful, or are you in some backwater of meaning? Gossip, ephemera, personalities and memoirs, half-baked ideas.

  5. Did you arrive at this information through your own attentional mechanisms? Consuming the feed can be fun but costly in time. How much more interesting is it, really, than the information that is relevant to your goals? Are you prioritizing momentary pleasure over information hygiene and attentional control?