TypeHoles

Hey now, I'm implementing interpreters badly and realize it.
Sadly it is "too complex" and it was suggested to just go with a simple yaml file. :sob:

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

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

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

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

TFW when you hit the documentation and where the documentation should be is two links to video tutorials :(

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

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

Same. I reach into my pocket to grab it but it's not there

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.

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

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.

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)

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.

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)

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.

ugh, I meant >0 in Zplus but you get the idea.
I'll be seriously impressed if you can make this a type error with reasonable check times.

Z* bites me again. Let's try in Z+

import { type } from "arktype"

const Zplus = type({n: "number%1>1"})
const N3 = type({n: "number%3"})
const Ngt = type({n: "number<3"})

const Thing = Zplus.and(N3).and(Ngt)

const out = Thing({
n: 0,
})

Done

import { type } from "arktype"

const N3 = type({n: "number%3"})
const Ngt = type({n: "number<3"})

const Thing = N3.and(Ngt)

New KPI landed?