TypeHoles

@typeholes.bsky.social

Interested in all things programming, cooking, hard metal, cats. Love to explore new programming languages and build dev tools. Really love a good pit He/him or they/them

Alt poutine. Crispy crowns m, mixed shredded cheeses, pork stewed in red wine and carroway, all swimming in a mojo dried new Mexico chili enchilada sauce. Review was " really good but uh confusing"

My cat in the dark patiently waiting for me in my bed

Weirdly done knife work to get kernels of corn off the cob

Screen shot for those who don't use insta. Pictures the singer holding an incredible note with me in an inset knee down horns up head banging

A band of 13 year olds (older fill in bassist) performing Metallica in front of a led wall

This is really hard to describe. It is mostly reds ranging from almost black to ff0000 with a bit of yellow to where the flash hit hardest. It has a lot of contrast with clear shapes with a nebulous fringe on the bottom left

A round of cheese just unwrapped from one of those flimsy hospital nursery blankets that was used instead of cheesecloth

Urad dal and rice pancake with chili, onion, and, onion. Coincidental ying yang Browning

Close up of the power connection to my dishwasher. The ground wire is coincidentally touching the frame and not attached by the screw right under it

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

Curious cat standing on the ground and looking up at two boards sticking out of a hole in the wall.

A picture of two bottles of liquor with the caption "Remember this day?"

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")

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

a white circle with a small green solid circle on top. hovering the small circle causes a gradient to grow to the bottom of the white circle. dragging to the bottom while "charged" creates another small circle on the bottom. dragging to the right edge while charged grows the draggable area until maxed when it gets a white border

Rye bread made with dark chocolate and espresso powder. Rich brown color. Strong chew but plenty airy

No video, but I don't think I can attach an audio clip. Nirvana's Breathe playing in the background

Oddly mishaped red lentil version of a dosa (crispy crepe), pinkish brown hue. Served with chick peas in yogurt and shredded green mango chutney

Biscuit sandwich with egg set in a gloopy green spinach and coffee grave with more splattered on top

An almost normal looking pancake, but there's green bits? Tbh, I don't remember what they are, probably chilis

Curry chicken stuffed waffle with hot sauce. To the unwary it looks like a normal square waffle, perhaps with a thin red strawberry syrup

Iron Curtain a little cramped under a tent. Ugly grey clouds overhead. Happy mermaid hanging out in the background

Hardcore heavy music. Love the vocalist switching from singing to screaming

Sincere apologies but I'm just too far gone. Raaaaaghhhh

Teenage hard hair band building up to what you just know is going to be a change up into insanity

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

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

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"

19.2 FL ounces at 11% abc dragon's milf bourbon barrel aged stout

Black and white corgi Aussie mix finding an Easter egg filled with cat food. A solar light marks the spot like a lot beacon

Vscode with an improved Problems panel. Types in error messages are links that go to the type definition

Grey cat intensely waiting for attention on a stack of bottled water.

Cat with her head firmly wedged into a cereal box.

Mung bean pancake made on a panini press giving it ridges, almost like a big wavy chip. Coincidentally the onions and peppers made an S shape - combined with the uneven browning it is almost ten yang

Bean and cheese papusa. Chicken and cheese papusa. Torn in half to give just a glimpse of the filling. Crust is quite uneven making for a nice variety of browning. Cup of thin red salsa. Cup of cabbage,, cilantro, jalapeno slaw. Slaw was incredible if odd for including ajwain

Fresh cheese mixed with garlic, smoked paprika, mustard powder, and sumac. Sadly small curd but it is nicely soft and creamy

$def rateExplicit : MeasureUnit ("distiance"/"time") ("feet"/"s") Nat := 5 def rateExplicit2 : MeasureUnit ("distance"/"time") ("feet"/"s") Nat := 5 [{ "resource": "/home/hw/projects/lean/units/demo/Demo/Basic.lean", "owner": "_generated_diagnostic_collection_name_#1", "severity": 8, "message": "failed to synthesize instance\n HAdd\n (MeasureUnit (MeasureType.BaseMeasure \"distiance\" / MeasureType.BaseMeasure \"time\")\n (MeasureType.BaseMeasure \"feet\" / MeasureType.BaseMeasure \"s\") Nat)\n (MeasureUnit (MeasureType.BaseMeasure \"distance\" / MeasureType.BaseMeasure \"time\")\n (MeasureType.BaseMeasure \"feet\" / MeasureType.BaseMeasure \"s\") Nat)\n ?m.24419", "source": "Lean 4", "startLineNumber": 85, "startColumn": 8, "endLineNumber": 85, "endColumn": 36 }]$

$def dist : MeasureUnit "distance" "feet" Float := ⟨⟨8⟩⟩ def secs : MeasureUnit "time" "s" Float := ⟨⟨2⟩⟩ def rate := dist / secs def rateExplicit : MeasureUnit ("distiance"/"time") ("feet"/"s") Nat := 5 #eval rate #eval rateExplicit #eval (5: MeasureUnit "distance" "feet" Nat) * (3: MeasureUnit "pressure" "pounds" Nat) * 10 #eval dist*dist [{ "resource": "/home/hw/projects/lean/units/demo/Demo/Basic.lean", "owner": "_generated_diagnostic_collection_name_#1", "severity": 2, "message": "4.000000 (feet per s)\n", "source": "Lean 4", "startLineNumber": 84, "startColumn": 1, "endLineNumber": 84, "endColumn": 6 },{ "resource": "/home/hw/projects/lean/units/demo/Demo/Basic.lean", "owner": "_generated_diagnostic_collection_name_#1", "severity": 2, "message": "5(feet per s)\n", "source": "Lean 4", "startLineNumber": 85, "startColumn": 1, "endLineNumber": 85, "endColumn": 6 },{ "resource": "/home/hw/projects/lean/units/demo/Demo/Basic.lean", "owner": "_generated_diagnostic_collection_name_#1", "severity": 2, "message": "150 (feet pounds)\n", "source": "Lean 4", "startLineNumber": 86, "startColumn": 1, "endLineNumber": 86, "endColumn": 6 },{ "resource": "/home/hw/projects/lean/units/demo/Demo/Basic.lean", "owner": "_generated_diagnostic_collection_name_#1", "severity": 2, "message": "64.000000 feet^2\n", "source": "Lean 4", "startLineNumber": 87, "startColumn": 1, "endLineNumber": 87, "endColumn": 6 }]$

Ruby on guitar/vocals and Cyrus on drums playing sober by tool

The Shadow People covering 46 and 2 at the arcade bar

def blt_strlen(n: blt_str, base: int):
if base < 31:
raise Exception("blt strings are undefined on bases < 31")
length=0
while True
terminal = to_bigint(n[length:6])
if base_n_encode(terminal, base) == "length":
return length
length = length + 1

graph of interaction nodes appearing and edges changing as the source is parsed.

Function with a generic extending an object literal. Indexing the parameter is like reading the kwarg

Bright red pickled beets. They look innocent; no signs of the intense fire and tingly numbness that awaits the unwary consumer.

A column of fiery red behind a jagged pane of dirty glass. Sullen red shadows in the background

Ground pork roast seasoned with prickly ash powder, ginger, cumin, cinnamon, clove, and black pepper.
Vegetable medley in chili oil and fermented black bean: zucchini , yellow squash, bell pepper, asparagus
A large mound of peanut red curry fried rice between the two.

Hot and sour chow fun. Cabbage, onion, button mushroom, portobello, and some mystery dried black mushrooms.

Plate of freekeh stir fried with tofu, ginger, onion, garlic, cabbage, mushroom, and carrots.

Melissa's dried new Mexico peppers. And the pot of bold red chili I made with them

$screen shot of typebox workbench input: type Data = { payload: { id: number } } output: export type Data = { payload: { id: number } } export const Data = (() => { function check_Data(value: any): boolean { return ( typeof value === 'object' && value !== null && !Array.isArray(value) && typeof value.payload === 'object' && value.payload !== null && !Array.isArray(value.payload) && Number.isFinite(value.payload.id) ) } return function check(value: any): value is Data { return check_Data(value) } })()$