TypeHoles
LightNews LightNews
typeholes.bsky.social
TypeHoles
@typeholes.bsky.social
120 followers 290 following 620 posts
Interested in all things programming, cooking, cats.

Love to explore new programming languages and build dev tools.
Posts Replies Media Videos
typeholes.bsky.social
Repair completed, I'll repaint once I make sure it holds
Had to make the hole a long thin rectangle to get the boards in. Pulled the string to get them to unfold flat against the back of the wall. Then screwed a metal bracket to the boards to secure them to the wall. The bracket has a long screw pointing out from the wall Hole filled with drywall and sealed with sheetrock joint compound. It still needs sanding and painting, but it's basically back to being a flat wall The cat wall is back in business. A rough fabric wrapped tube was screwed onto the metal bracket providing a 1 foot wide "step" they can jump onto. There's another step post a couple of feet up and to the left leading to a cat hammock that hangs off the wall at almost the height of a door frame
August 20, 2025 at 6:03 AM
typeholes.bsky.social
Supervising my repair work.
Curious cat standing on the ground and looking up at two boards sticking out of a hole in the wall.
August 19, 2025 at 11:06 PM
typeholes.bsky.social
The photos app just showed me this. Coincidence or has the algorithm picked up some mean spirited sarcasm
A picture of two bottles of liquor with the caption "Remember this day?"
July 22, 2025 at 12:33 AM
typeholes.bsky.social
yeah, got this in 30 seconds. Your narrows is probably the better solution. This was "how would I approach it after using zod?"
arktype.io/playground?c...
import { type, } from "arktype" const obj = { k1: 1, k2: 'abc' } let Thing = type("never") for (const k in obj) { // @ts-expect-error Arktype prefers being type safe but doesn't need to be Thing = Thing.or(`"${k}"`) } const out = Thing("k3")
July 16, 2025 at 11:28 PM
typeholes.bsky.social
Meeting new people today, so kicking it up a bit.
Fermented mung bean and rice fritters. Puffy random shapes, golden brown. Tomato chutney with extra curry leaves and ginger. A little thin but a nice reddish orange
July 11, 2025 at 7:46 PM
typeholes.bsky.social
Totally wiped after this week, but I'm not going to relax without doing something creative so I started whatever this is.
SVGs are kind of annoying
June 29, 2025 at 4:11 AM
typeholes.bsky.social
Proud to say my kids are on the right track. Daughter baked this
Rye bread made with dark chocolate and espresso powder. Rich brown color. Strong chew but plenty airy
June 27, 2025 at 10:21 PM
typeholes.bsky.social
June 27, 2025 at 1:29 AM
typeholes.bsky.social
Bruh it's just a cover to hide my real affiliations that are probably too radical for vaky
Oddly mishaped red lentil version of a dosa (crispy crepe), pinkish brown hue. Served with chick peas in yogurt and shredded green mango chutney
May 27, 2025 at 10:47 PM
typeholes.bsky.social
And let's not exclude the biscuit people, they get enough flak as is
Biscuit sandwich with egg set in a gloopy green spinach and coffee grave with more splattered on top
May 27, 2025 at 10:42 PM
typeholes.bsky.social
And I'm here for you as well
An almost normal looking pancake, but there's green bits? Tbh, I don't remember what they are, probably chilis
May 27, 2025 at 10:37 PM
typeholes.bsky.social
I'm here for you bud
Curry chicken stuffed waffle with hot sauce. To the unwary it looks like a normal square waffle, perhaps with a thin red strawberry syrup
May 27, 2025 at 10:34 PM
typeholes.bsky.social
Outdoor shows in Florida can be rough. Playing between bouts of rain. On the plus side, you sometimes get cool mermaids
May 11, 2025 at 12:38 AM
typeholes.bsky.social
My kid (bass) said their new band was a little harder. I was not prepared for this. Incredible.
May 5, 2025 at 12:06 AM
typeholes.bsky.social
Oh heck, Face the Fence is gonna make me take off my glasses and act the fool
May 4, 2025 at 9:48 PM
typeholes.bsky.social
Grim Gardener making Jewish I could still sport long hair without looking utterly ridiculous
May 4, 2025 at 9:15 PM
typeholes.bsky.social
Iron Curtain live at the Crow Bar in Ybor
May 4, 2025 at 8:11 PM
typeholes.bsky.social
I've posted this before, but this was the result. Nearly broke my arm whipping the mixture.
A scoop of vegan chocolate gelato in an orange peel cup. Garnished with semi transparent jagged orange ginger glass. Surrounded by a ring of bruleed orange segments
May 4, 2025 at 5:42 PM
typeholes.bsky.social
Roast pork with a whisky cilantro cream sauce. I'll let you decide whether the plating is a skill issue or intentionally satirical.
A small portion of roast pork, but nicely browned salty crust. It sits in a puddle of yellowish white sauce that is too little for the meat. Random splatters of sauce are used to fill the mostly empty plate
May 4, 2025 at 12:01 AM
typeholes.bsky.social
Tone check please? Do you get what I'm trying to do? Do you get the sense that it will be verbose and annoying at times, but at least I'll try to have fun with it?
Category Theory Explorer v0.0.0 Levels Level 0 Nothing Level 1 Something What is the Category Theory Explorer This is intended to be an exploration of math from the ground up. I've struggled with resources that rely on knowledge of other mathematical concepts or understanding of implied convendtions when reading about interesting math concepts. I'm hoping I can provide an approach to math that relies on zero prior knowledge. This will enevitably involve explaining some things in stupidly simple detail. The phrase "stupidly simple detail" is symptomatic of exactly what I'm trying to solve. So many explanations of an area of mathematics rely on comparison to other areas or rely on implicit convention that are not available to the curious person that has not had exposure to a math community. My solution is to present as little information as possible to avoid any prerequisite knowledge and then iteratively build up. This will inherently have portions that are verbose, boring, obvious, trivial, etc. I don't care about that at all because there is at least one person those descriptions do not apply to. That person was me for many things, and is me for far more things. I'm doing this for those people (read "me") What is Category Theory? Whoa, hold on their friend. Answering that question provides a lot of information. I'm going to dodge this question for now and provide a tiny bit of information that you will eventually use to answer this question for yourself. What am I going to give you to start? Well, ask yourself what is the minimal amount of information you could give somebody? None, right? That's exactly what I'm going to give you - nothing. Cause that's just the kind of jerk I am. Or am I? What can you do with nothing? drop down list initially showing an empty string and the only option is 'Noting"
May 3, 2025 at 10:01 PM
typeholes.bsky.social
I made a big mistake starting this with one of these on an empty stomach, or did I?
19.2 FL ounces at 11% abc dragon's milf bourbon barrel aged stout
May 3, 2025 at 9:50 PM
typeholes.bsky.social
Easter is his third favorite holiday.
Black and white corgi Aussie mix finding an Easter egg filled with cat food. A solar light marks the spot like a lot beacon
April 21, 2025 at 12:37 AM
typeholes.bsky.social
Please PL people expose an interface to get structured errors. This shouldn't be hard to implement, but it was.
April 18, 2025 at 4:53 PM
typeholes.bsky.social
I had to do the back road shuffle today because traffic was fubar. Totally worth it because I found an outdoor market with this friendly concierge. He seemed particularly eager to point out the okra, tomatillos, and pearl tomatoes, so I made a sour bindi masala
Grey cat intensely waiting for attention on a stack of bottled water. Okra sliced lengthwise in a brown tomatillos gravy scattered with yellow and orange pearl tomatoes.
April 11, 2025 at 1:44 AM
typeholes.bsky.social
Cats and boxes that are too small always make me smile
Cat with her head firmly wedged into a cereal box.
March 19, 2025 at 8:52 PM