Viewing profile — mattarm

Makes me wonder if the hardware engineers look at software engineers and shrug, “they don’t really know how their software really works.” Makes me wonder if C programmers look at J…

Yeah, the online Gemini app is not good for long lived conversations that build up a body of decisions. The context window gets too large and things drop. What I’ve learned is that…

They work much better off a test that must pass. That they can “see”. Without it they are just making up some other acceptance criteria.

See https://abseil.io/tips/ for some idea of the kinds of guidance these kinds of teams work to provide, at least at Google. I worked on the “C++ library team” at Google for a numb…

Some popular streamers have dabbled in OCaml this year, sometimes calling it "the Go of functional programming", which probably set off a small wave of people tinkering with the la…

In my experience learning a bit of OCaml after Rust, and then looking at Haskell, the three aren't all that different in terms of the basics of how ADTs are declared and used, espe…

> Bad example. Google docs doesn’t use CRDTs but uses OT instead. CRDTs may handle your scenario just fine depending on how they decide to handle this scenario. The CRDT may pick o…

I don't agree that a missing "framework" is the whole of the problem. It just isn't that simple. Sure, people need to use resiliency skills to cope with the stresses of life. Often…

> It's much more a matter of whether you want to do something small scale and fun, or whether you want to suck all the joy out of it by applying the same soul crushing constraints …

Definitely interested in how you achieved another 2-10x over the btree approach. I want surprised that btree was as effective as it was, but I’d be curious to know how you squeezed…

Those are good things to consider in review, but I maintain that the answer might be "no" to one or more of those questions and still be acceptable. I'm old enough to have worked i…

Given equivalent data stored in both JSON and BSON format I would expect them both to compress down to blobs of roughly equivalent sizes. This is because both encode roughly the sa…

> I am more excited by Emacs 30, mostly I like the ahead of time compilation of Lisp code. Emacs has had an ahead of time compilation feature, "Native Compilation," since Emacs 28.…

There is always an authority structure in these kinds of companies. I'm personally familiar with Google, but this description of Facebook makes it sound similar... The upside is th…

> Which is why unless is such a hard concept for people to grasp, not just in code, but also in regular English. This is the first I've heard about this confusion over the word "un…

> nix unlike all other distros can install multiple version of the same package The above is sometimes true and sometimes not. For the most part, Nix can install multiple versions …

My understanding is that they each bring their own GC and run it as WASM code in the VM.

> Exact opposite. I ask them to please not bring me a mashed vegetables patty and call it a burger. It is not. I can agree that "mashed vegetables" does not describe a good veggie …

FYI, an ODR violation ( https://en.wikipedia.org/wiki/One_Definition_Rule ) is an example of non-dynamic UB.

An automobile recall is a good analogy here. Most people driving cars with an active recall are unaffected by the problem the recall is supposed to address. They can drive on bliss…

Two terms: undefined behavior and memory safety. Try searching the web for those terms.

I don't think "DMD is a reference compiler and not meant as a production tool" is a great way to characterize it. There are certainly valid reasons for choosing LLVM and GCC for "p…

> Just like the awesome lists on GitHub. My thought exactly, and also why I don't just search 'latest news' on Google every morning. Human curation is a thing. (not sure how much h…