TypeHoles
@typeholes.bsky.social
Interested in all things programming, cooking, cats.
Love to explore new programming languages and build dev tools.
Love to explore new programming languages and build dev tools.
Teams solves this problem in the worst way possible
November 10, 2025 at 10:19 PM
Teams solves this problem in the worst way possible
When we got an obnoxious assignment in my high school latin class, I shouted a long rant of latin profanity and insults at the teacher. I got an A for the course and excused from the assignment:)
November 7, 2025 at 2:48 AM
When we got an obnoxious assignment in my high school latin class, I shouted a long rant of latin profanity and insults at the teacher. I got an A for the course and excused from the assignment:)
Would it be cheaper to let it double up and then do a post pass to collapse consecutive ones?
October 29, 2025 at 11:57 PM
Would it be cheaper to let it double up and then do a post pass to collapse consecutive ones?
We need to open a channel for back porting from Ark* into TS
October 29, 2025 at 12:07 AM
We need to open a channel for back porting from Ark* into TS
Using non continuously differentiable functions like floor is no fun at all.
October 21, 2025 at 2:25 AM
Using non continuously differentiable functions like floor is no fun at all.
You could also ask if there are any affine units that have multiple useful torsors. The obvious torsor for points is vectors, but we could also choose pairs of rotations and scales relative to some fixed point. I think there are use cases for the latter
October 18, 2025 at 2:39 AM
You could also ask if there are any affine units that have multiple useful torsors. The obvious torsor for points is vectors, but we could also choose pairs of rotations and scales relative to some fixed point. I think there are use cases for the latter
The deltas are sometimes called torsors which seems to get more search hits than affine units.
Loose thinking, but if affine units are just choices of identity elements then they are a bunch of distinct single things so it makes sense that you can't combine them
Loose thinking, but if affine units are just choices of identity elements then they are a bunch of distinct single things so it makes sense that you can't combine them
October 18, 2025 at 12:56 AM
The deltas are sometimes called torsors which seems to get more search hits than affine units.
Loose thinking, but if affine units are just choices of identity elements then they are a bunch of distinct single things so it makes sense that you can't combine them
Loose thinking, but if affine units are just choices of identity elements then they are a bunch of distinct single things so it makes sense that you can't combine them
I'd really like to see your results and methodology.
October 7, 2025 at 11:53 PM
I'd really like to see your results and methodology.
Maybe "technique x allows new developers to contribute without the overhead of building a complex mental model"?
October 2, 2025 at 3:43 AM
Maybe "technique x allows new developers to contribute without the overhead of building a complex mental model"?
I've said that a few times and honestly meant it, but generally I agree. I tried shifting to "your ability to keep track of ... Is really impressive" but that ended badly in cases where things were not kept track of.
October 2, 2025 at 3:43 AM
I've said that a few times and honestly meant it, but generally I agree. I tried shifting to "your ability to keep track of ... Is really impressive" but that ended badly in cases where things were not kept track of.
Seems like the perfect occasion to enjoy Surströmming and durian salad
October 1, 2025 at 8:41 PM
Seems like the perfect occasion to enjoy Surströmming and durian salad
Same. I reach into my pocket to grab it but it's not there
September 23, 2025 at 7:14 PM
Same. I reach into my pocket to grab it but it's not there
This is the skeet making people seethe, isn't it?
September 13, 2025 at 12:45 PM
This is the skeet making people seethe, isn't it?
If you're able to ask this with a straight face then I'm seriously envious.
September 12, 2025 at 3:42 PM
If you're able to ask this with a straight face then I'm seriously envious.
Adding alt text on mobile 😞
September 11, 2025 at 9:22 PM
Adding alt text on mobile 😞
I've done thousands of interviews. Seen great candidates rejected because they haven't memorized some API or fumble code under scrutiny. The successful hires I've made had one thing in common: we can have a conversation about an interesting project
September 11, 2025 at 3:01 AM
I've done thousands of interviews. Seen great candidates rejected because they haven't memorized some API or fumble code under scrutiny. The successful hires I've made had one thing in common: we can have a conversation about an interesting project
Companies should change how they interview unless they can preprocess all the important information into the necessary technical details for the organic machine they're trying to hire.
September 11, 2025 at 3:01 AM
Companies should change how they interview unless they can preprocess all the important information into the necessary technical details for the organic machine they're trying to hire.
This is gold. I've got a bad case of CRS (can't remember stuff) but make up for it by rapidly deriving from principals. The best authors follow your advice which helps me and anyone not intimately family with the content.
September 11, 2025 at 2:44 AM
This is gold. I've got a bad case of CRS (can't remember stuff) but make up for it by rapidly deriving from principals. The best authors follow your advice which helps me and anyone not intimately family with the content.
A dynamic vue component that takes a match clause and exposes props for the component to use for each case.
September 10, 2025 at 5:46 PM
A dynamic vue component that takes a match clause and exposes props for the component to use for each case.
I resisted this for 20 whole hours but the twitch will not stop
x^(a+b) = x^a * x^b
x^ab=x^a*x^b
---------------------
x^(a+b) = x^ab
sorry (in both the lean and apologetic meanings)
x^(a+b) = x^a * x^b
x^ab=x^a*x^b
---------------------
x^(a+b) = x^ab
sorry (in both the lean and apologetic meanings)
September 6, 2025 at 5:25 PM
I resisted this for 20 whole hours but the twitch will not stop
x^(a+b) = x^a * x^b
x^ab=x^a*x^b
---------------------
x^(a+b) = x^ab
sorry (in both the lean and apologetic meanings)
x^(a+b) = x^a * x^b
x^ab=x^a*x^b
---------------------
x^(a+b) = x^ab
sorry (in both the lean and apologetic meanings)
As a professional in SE who is unskilled but passionate about math this makes me scream every day. Literally.
I get my revenge by subjecting my coworkers to an excess of notation abuse in crazy EDSLs.
I get my revenge by subjecting my coworkers to an excess of notation abuse in crazy EDSLs.
September 6, 2025 at 5:16 PM
As a professional in SE who is unskilled but passionate about math this makes me scream every day. Literally.
I get my revenge by subjecting my coworkers to an excess of notation abuse in crazy EDSLs.
I get my revenge by subjecting my coworkers to an excess of notation abuse in crazy EDSLs.
Honestly, nerd sniping David is too easy to qualify as a sport. Someday soon I'm going to wake up and my example's type will infer as 1|2.
September 6, 2025 at 5:11 PM
Honestly, nerd sniping David is too easy to qualify as a sport. Someday soon I'm going to wake up and my example's type will infer as 1|2.
Think about they types you can map over the input and output of a->b
The input needs ?->a no matter what you need to get to an a
the output needs b->? you can use the value in b or ignore it, and you are free to return anything at all (including nothing)
The input needs ?->a no matter what you need to get to an a
the output needs b->? you can use the value in b or ignore it, and you are free to return anything at all (including nothing)
September 6, 2025 at 1:19 AM
Think about they types you can map over the input and output of a->b
The input needs ?->a no matter what you need to get to an a
the output needs b->? you can use the value in b or ignore it, and you are free to return anything at all (including nothing)
The input needs ?->a no matter what you need to get to an a
the output needs b->? you can use the value in b or ignore it, and you are free to return anything at all (including nothing)
Most things involving a flipped arrow feel unintuitive to me but make sense when I think it through.
My line if thought is the left side is taking a value. The right side is giving a value. The are opposite (dual). Any mapping has to preserve that opposite nature.
My line if thought is the left side is taking a value. The right side is giving a value. The are opposite (dual). Any mapping has to preserve that opposite nature.
September 6, 2025 at 1:19 AM
Most things involving a flipped arrow feel unintuitive to me but make sense when I think it through.
My line if thought is the left side is taking a value. The right side is giving a value. The are opposite (dual). Any mapping has to preserve that opposite nature.
My line if thought is the left side is taking a value. The right side is giving a value. The are opposite (dual). Any mapping has to preserve that opposite nature.