> It is the responsibility of the person running the coding agent to make sure the resulting PRs are high quality.
And
> he's proposing a method for how to do so using agents
Are not in agreement. The claim being made is that you shouldn't be sending PRs you haven't personally vetted to be high quality. Definitionally a bot cannot be used to personally vet something.
> The Framework is more expensive, slower (in most cases), louder (its fan ramps up quite often), has a pretty poor display, but it is a touchscreen, has a 360° hinge, and is more repairable and upgradeable.
> While the Neo is probably one of the easiest Mac laptops to repair in recent memory, the Framework 12 allows you to upgrade components including a DDR5 SODIMM, 2230-sized NVMe SSD, WiFi card, and even four modular ports around the sides. I outfitted mine with 2x USB-C, 1x USB-A, and 1x full-size HDMI.
It seems to disagree with Dutch statistics because the linked view is for April 2026. While the article cited is talking about all of 2024.
If you change the view to look at the year 2024 [1] it claims 53% carbon free with 2.5% of that coming from nuclear. This seems to line up with the cited statistics of 50% of consumed electricity produced by wind, hydropower, solar, and biomass in 2024.
I'm also pretty sure that its immaterial if Haskell does 1 or not. This is an implementation detail and not at all important to something being a Monad or not.
My understanding is requiring 1 essentially forces you to think of every Monad as being free.
Idk man, the first two paragraphs
of the article very much make it sound like you hate git.
> Over the past few years, I’ve been seeing people rave about Jujutsu, and I always wanted to try it, but it never seemed worth the trouble, even though I hate git.
> Also do I understand correctly that "face" means "maximal line segment"?
In the statement of Sperners lemma this seems to be how he means it. You have a triangle who's faces have been subdivided. The face he is referring to is the face before subdivision I think.
This lines up with the usual statement I'm familiar with for Sperners lemma which involves triangulating an n-simplex.
And
> he's proposing a method for how to do so using agents
Are not in agreement. The claim being made is that you shouldn't be sending PRs you haven't personally vetted to be high quality. Definitionally a bot cannot be used to personally vet something.