mkw5053

8 ms·

1.
by mkw5053 7d ago
Hey other Mark Watson :)
2.
by mkw5053 14d ago
They've raised $155M total now with the latest at a $1B valuation [1] from Lightspeed, Sequoia, Kleiner Perkins, Khosla, and NVIDIA. And very impressive list of angels too: Guillermo Rauch (Vercel), Karim Atiyeh (Ramp), Andrew Karam (A
3.
by mkw5053 22d ago
I genuinely curious who’s downvoting me and why. I do not understand this forum sometimes.
4.
by mkw5053 22d ago
Warning, this is a long comment! (I’m trying to stick to sourced facts here and not overstate what they mean) I went down a rabbit hole after watching Dylan Patel on Dwarkesh today: https://www.youtube.com/watch?v=aV26V1UvkJ
5.
by mkw5053 1mo ago
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 a functional core with unit tests and imperative
6.
by mkw5053 1mo ago
Ok now I need to know.
7.
by mkw5053 2mo ago
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 spending, then shifted the bill to younger generatio
8.
by mkw5053 2mo ago
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...
9.
by mkw5053 2mo ago
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. https://mitpress.mit.
10.
by mkw5053 2mo ago
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.
11.
PenEcho: An Open-Source Canvas with AI(github.com)
2 points by mkw5053 2mo ago|1 comments
12.
by mkw5053 2mo ago
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 the source so they are few, high value, and complem
13.
by mkw5053 2mo ago
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 is somehow more difficult to read)
14.
by mkw5053 2mo ago
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...
15.
by mkw5053 2mo ago
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).
16.
by mkw5053 2mo ago
The facebook pitch deck is a broken link edit: same with youtube
17.
by mkw5053 3mo ago
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 there).
18.
Fable Back on AWS Bedrock(twitter.com)
5 points by mkw5053 3mo ago|0 comments
19.
by mkw5053 3mo ago
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
20.
by mkw5053 3mo ago
Are you using AI to figure out what's about what's AI and what's not?
21.
by mkw5053 3mo ago
I use these exact principles (which change): 1. No overengineering. Minuscule complexity. Always pick the smallest implementation that works. No speculative features, no defensive code for impossible cases, no premature abstra
22.
by mkw5053 3mo ago
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 single PR.
23.
by mkw5053 4mo ago
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 systematic noncompliance with court orders. If
24.
by mkw5053 4mo ago
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 like making CI faster.
25.
by mkw5053 4mo ago
Wow, almost like the good old days of /ultrathink are back. Feels simultaneously like just yesterday and a lifetime ago.
26.
by mkw5053 4mo ago
Where are all of the humanoid robots? Get them in there with whatever the oil and gas industry uses for tapping pipes/containers under pressure. I'm only half kidding.
27.
by mkw5053 4mo ago
I think you hit the nail on the head. It maps directly to much of their coalition’s rhetoric, accusations, policy agenda, and behavior these days, including, but not limited to, their obsession with pedophilia.
28.
by mkw5053 4mo ago
I would not have believed you if you had told me they had the engineering and operations talent to prevent personal data leaks, among many other things.
29.
by mkw5053 4mo ago
https://www.businesswire.com/news/home/20260520809828/en/The...
30.
Anthropic/Blackstone enterprise AI venture acquires Fractional AI(fractional.ai)
4 points by mkw5053 4mo ago|1 comments

More ›