November 30, 2024 - Satchit Haridas

Was thinking of this tweet in the context of a maxim used in functional / typed languages to make illegal states impossible by designing types appropriately. In some ways the types approach is like algebra and units conversion in a formula.

you are building a state machine. some states should become unreachable after certain steps.

how do you handle cases where the execution still reaches those states?
— v (@iavins) November 30, 2024

An example of how what you hear in your social circles may not be indicative of reality. Quite a few people in my network mention using Claude, but it’s still lagging way behind ChatGPT

Why do we think Claude is having such an epic fail at reaching consumers? Is it fixable? https://t.co/vaKe2Olqkr
— Zvi Mowshowitz (@TheZvi) November 28, 2024

https://bsky.app/profile/ianbicking.bsky.social/post/3lc6vggpqlc2n