robbieo

This post from 2024 feels relevant now that everyone is talking about midjourney medical

This is great (this = both the paper and your post) but I can't believe you never made a tea-test pun

Thanks! I believe the actual code is handling this correctly but would love to read that paper – you don't happen to have another link, do you? https://www.escholar.manchester.ac.uk/ seems to be down for me.

Dozens of delightful and understandable game theory problems and optimal solvers.

There are a few gotchas, but I've introduced them at both Vanta and Q Bio and have been thrilled with the productivity increase at both places. As long as you stay on top of keeping prebuilds green, you know that everything just works for all of your engineers.

Ugh, getting rate limited by Spotify – even though this is just using public preview URLs. I'll put up a notice until I find a workaround. Thanks!

Ah, sure, you could use a mapped type – but given that the actual program starts failing around 3 I don't see a ton of utility.

1) sure, but I figured I might as well implement all 4 operations for posterity. The `divideBy2` type would be not-that-dissimilar from the Even type. 2) Ha, if only! If that were true then we could prove all sorts of number-theoretic things by rewriting them in "types." Part of the point of this post is there is no magical power of types; they're just another programming language.

This library allows you to write code that generates Typescript type/JSON schema pairs <T, s> such that

1. Any type that s can validate is assignable to T

2. As few objects as possible that are assignable to T cannot be validated by s.

This allows you to write JSON schemas and use the corresponding Typescript type without having to resort to code generation, maintaining two types side-by-side, or re-writing a whole JSON schema validator in something like io-ts.

Hope it's useful to someone!