Skip to content

Instantly share code, notes, and snippets.

View binki's full-sized avatar

Nathan Phillip Brink binki

View GitHub Profile
@binki
binki / mashed-potatoes.md
Last active April 21, 2025 00:35
Mashed Potatoes

Mashed Potatoes

Ingredients

Feeds 7 people:

  • 3.5lb(?) russet potatoes (such that skinning and quartering fits into the 2 quart pots I have
  • 2 tbsp butter
  • 0.5 cup milk
  • 0.5 tsp salt
@binki
binki / foundation-brass-2024-summer-concert-songs.md
Created September 8, 2024 21:32
Foundation Brass 2024 Summer Concert songs

2024 Summer Foundation Brass Band Concert

Notes

Binki is wearing the red/burgandy shirt and sitting almost off-screen to the right.

Unfortunately, the group seems a bit out of tune for this concert—especially at the beginning. I recommend checking out the last 3 tunes starting with Crown Him with Many Crowns.

@binki
binki / slowcooker-beef.md
Last active July 25, 2023 03:19
Slowcooker beef crockpot

Source: common knowledge, Binki’s experience, loosely based on instructions from crockpot/slowcooker thing.

Ingredients

  • 2 bay leafs/leafs
  • celery
  • 0.5lb bacon (or just get smallest package, preferrably uncured)
  • 2lb beef (chuck roast without much fat or top round steak, best to choose cheaper)
  • 1 cup sake
  • 2tsp ground black pepper
@binki
binki / apps-or-websites-i-cannot-use-with-google-voice.md
Last active September 25, 2022 19:52
Apps or websites I can't use with Google Voice
  • BeReal. I guess I can't try last year's (this written in 2022) social media trend. (Though I can't tell if this app is just failing to use Android WebView correctly since I'm a Firefox user).
  • Venmo. Since I was forced, I'm just using one of my phones' SIM's numbers. But I wish people were willing to accept PayPal instead which is free for personal use and international and supports using a desktop web interface. So few things to like about Venmo!
  • Viber. There's a chance that if you open a support request they might override it for you, but nobody uses it anyway. Sorry, Rakuten.
@binki
binki / ConstrainedValueTypeDictionaryAdapterProgram.cs
Last active February 15, 2022 20:38
An example of how to adapt IDictionary<TKey, TValue> as IReadOnlyDictionary<TKey, TValue> without incurring an object instantiation using value types
using System;
using System.Collections;
using System.Collections.Generic;
using System.Linq;
// Proof that this makes the compiler happy.
// See https://stackoverflow.com/a/34998637
class Program
{
static void Main(string[] args)
@binki
binki / DictionaryReaderProgram.cs
Last active February 15, 2022 20:38
An example of an IDictionaryReader interface which could be used to support IDictionary<TKey, TValue> and IReadOnlyDictionary<TKey, TValue> with no transient object creation
using System;
using System.Collections.Generic;
using System.Linq;
// Proof that this makes the compiler happy.
// See https://stackoverflow.com/a/34998637
class Program
{
static void Main(string[] args)
{
@binki
binki / README.md
Last active January 30, 2025 17:25
Hyper-V/Sandbox Killer WiFi network speed fix powershell commands vEthernet External

See this SO answer.

Disable large send offload in host on vEthernet (to avoid messing with non-virtual adapters). Disable large send offload in guest (including Windows Sandbox!) for all adapters (unable to predict adapter names and probably all of them are real).

@binki
binki / product-shortcomings.md
Last active April 10, 2025 13:29
Shortcomings/gripes/complaints/missing features in products or improvement/automation ideas

Product Shortcomings

This is an attempt to record shortcomings in products. I might feel like there is no proper channel for me to complain about the thing, so I attempt to record them here.

Some of these things might be fodder for my own attempts at providing solutions. When I feel like I have time to try to code for fun, I might try to hack things up with respect to these issues.

  • BigTime
  • The timers for tracking your time usage throughout the day use the pattern setInterval(() =&gt; {numberOfSeconds++; update();}, 1000) while the page is open. On desktop, this means that the timer will be 10 seconds or so behind after 5 minutes or minutes behind after an hour or more if your device sleeps. On mobile, this means that the timer will completely stop while your browser isn’t foregrounded.
@binki
binki / discord-gripes-bugs-issues.md
Last active June 18, 2023 22:33
Discord Gripes/Bugs/Issues
  1. I’d like to mute notifications for specific spammy people/bots without having to ignore entire channels which I otherwise care about.
  2. I’d like to be able to walk away from my computer for a minute without missing a DM notification. Discord requires you to stare at your computer screen or continue listening to its audio for 1 minute prior to physically leaving your computer. Some people post on Discord and every other messaging service I’ve used actually tries to make sure you’re notified when people you are about message you, but not Discord:
  3. Android app doesn't handle back button correctly when launched from a notification
@binki
binki / invoke-mailman.sh
Created January 6, 2022 02:24
Set mailing list moderator password mailman3
mailman -C /etc/mailman/mailman.cfg withlist -l [email protected]