Viewing profile — mkw5053

I try to capture as much as possible in types/schemas/constraints (then lint rules) and then only as a last resort write tests. And as few and complementary as possible. And I want…

Ok now I need to know.

I'd argue boomers are the main reason we're in this mess. Boomers spent decades voting for politicians who promised low taxes, protected retirement benefits, and high government sp…

Yeah a quick glance and none of the ones I saw around my office are meals. I'm honestly not sure a $10 meal exists in SF anymore...

[flagged]

If you like Lean, here are two more great, short books on proving things about your program (not with Lean, though): 1. https://mitpress.mit.edu/9780262527958/the-little-prover/ 2.…

I’m not the author of the project, but I thought it was a really impressive. They also do some cool things to save on API tokens.

We try to use types as much as possible. And if we can't, then lint rules, etc. Basically, get everything as far left in the SDLC as we can. And, if/where we need tests, we write t…

[flagged]

1. I loved the Paper Menagerie 2. I just picked up Exhalation by Ted Chiang from SFPL like 3 hours ago, perfect timing it seems (although they only had a large font edition, which …

He also has an excellent online/PDF version of the material[0]. All of it is really mind opening stuff, and fun! [0] https://bartoszmilewski.com/2014/10/28/category-theory-for-p...…

What is this style/design called? I keep seeing it pop up more and more (and have to assume it's a side effect of vibe coding).

The facebook pitch deck is a broken link edit: same with youtube

Huge bummer. So what's the point of an anthropic subscription? Or is this just the end of subscriptions? Looking forward to gpt-5.6 (assuming we can still use our subscriptions the…

[dead]

I use it about once every 3 months now to watch content while laying in bed when I don't think it'll annoy my wife too much

Are you using AI to figure out what's about what's AI and what's not?

I use these exact principles (which change): 1. No overengineering. Minuscule complexity. Always pick the smallest implementation that works. No speculative features, no defensive …

Claude code + very opinionated type script. Try to push as much as possible as far left in the SDLF (types -> lint rules -> tests -> md) and try to improve the dev ex after every s…

The eviction moratorium is probably the strongest example available, and I don't think it's a good one for Biden. But one controversial episode doesn't establish a precedent for sy…

[dead]

Very cool. What % of the CC team's engineering would you say goes into QoL (as opposed to new feature development)? Obviously some live in a grey area, while others are more clear …

Wow, almost like the good old days of /ultrathink are back. Feels simultaneously like just yesterday and a lifetime ago.