Viewing profile — mkarrmann

Builder pattern isn't only used in Rust, but I agree it's hideous to use in Python.

Ya if anything the real take away is that our satellites are very impressive!

It is very fast, Mexico City has serious problems. My point is that "can be seen from space" is an awful way to communicate that. It provides no useful intuition for the scale of "…

Referring to "25 centimeters per year" as "so fast it can be seen from space" is so funny to me. We have very good satellites! Lots of things can be seen from space. "can be seen f…

Idk why it's hard to believe another company would try to outbid. Discovering good locations for data centers is genuinely a difficult problem. They're relatively scarce. Bidding w…

I broadly agree with the article. The described pattern is standard in Meta. This, along with the infrastructure and tooling to support it, was the single largest "devx quality of …

Microservices should have clear owners reflected in the org chart, but the topology of dependencies should definitely not be isomorphic to your org chart.

And a single producer! i.e. it breaks down if you add support for fault tolerance

Horace He at Thinking Machines just dropped an awesome article describing exactly this: https://thinkingmachines.ai/blog/defeating-nondeterminism-in... TL;DR: assuming you've squas…

Thank you so much for making this!

> In case you haven't seen it before... > Shares amazing link there was a 0% chance I'd ever see in my life if not for this comment

Ty, all good points

I'm pretty confused by this article. It says docker compose is at the "wrong-level of abstraction", but I kept feeling the author was instead expecting docker compose to solve diff…

I actually like that analogy. It's somewhere in between. Enough that LLMs can help in many ways, but the current models are still far away from doing everything.

Is most code being written the equivalent of high-art or Shutterstock?

Why do you think a series which absolutely converges but whose first few terms are a poor approximation is related to a series which diverges but whose first few terms match the em…

I've recently taken to calling it llama.cpp plus ollama

They specifically said "compiling only proves correctness for the code being compiled, and for the properties covered by the type system".

What makes you think that the "selling point" of AI today is that it is significantly better at everything than humans?

Never forget that the world economy is probably being held together by a handful of these.

I believe they're being rhetorical, and agree that there are good reasons to use elasticsearch over postgres.

There's a difference between an accent and incorrect pronunciation, and using the wrong tone is the latter.

That's a good point.

I share that intuition, although I don't see any reason to trust the intuition of an outside (either myself or presumably yourself) making 2 second back-of-envelope calculations of…

Why's it so hard to believe that a worse CEO for one year would result in a 0.01% lower market cap? Given that framing, 200m is a very drastic under estimation.