Viewing profile — mbbutler

False-positive rate is so high with Mythos according to friends and other reporting I have seen. The original Mythos release used ASan to filter false-positives so it was able to m…

Newport's book on this topic is terribly underwhelming, and I say that as someone who has really enjoyed his other books, blog posts, and YouTube videos. Most of the anecdotes he g…

Yeah, LLMs suck at named lifetimes. The number of times I have seen Claude reach for indices and clones instead of just using proper named lifetimes is too many to count at this po…

No, you don't understand. LLMs will never be capable of knowing what questions to ask, only how to ask the questions. /s

It would be helpful to add in some cases that do not contain any vulnerabilities to assess false-positive rate as well.

In my personal experience, the rate at which Claude Code produces suboptimal Rust is way higher than 1%.

But Eon's tagline is "Solving brain emulation as an engineering sprint, not a decades-long research program"! How could they have ever gone wrong?

I especially love the quadratic fit, chosen with no justification, that brings the US within the uncertainty envelope in the second plot. Also notice how much work the Mexico and U…

> Has a hard to explain fixation on doing things a certain way, e.g. always wants to use panics on errors (panic!, unreachable!, .expect etc) or wants to do type erasure with Box a…

Two use-cases recently where Claude sucked for me: 1. Performance-critical code to featurize byte slices for use in a ML model. Claude kept trying to take multiple passes over the …

It's not just assuming that everyone learns the same way. It's assuming that everyone learns the way that all of the research literature on learning claims does not work. Learning …

Machine learning people use "tensor" to just mean an N-dimensional array of numbers. The term is divorced from its meaning in Physics and Mathematics, which caused me some confusio…

But the energy transported to Earth from your space power plant still creates waste heat when it is used to do work (and also when it is transported to earth). You cannot beat the …

They don't even decouple at high material standards of living. Recent increases to GDP produced emissions too but those new emissions were offset by reductions in emissions of exis…

How does UDP work if you're also using delta compression? I would naively expect that the accumulation of lost diff packets over time would cause game state drift among the clients…

It's $100M to develop tech that would allow carbon to be pulled out of the atmosphere at the price of $100-$500 per ton of CO2. Even if the tech is successful then it would still c…

The tech for Direct Air Capture (DAC) is already quite efficient at removing CO2 from the atmosphere (80%+ depending on the particular process). At best, new innovation on the chem…

> It is wrong to frame the argument as wind/solar versus everything else. The argument should be carbon versus no carbon. Period. I am framing it as carbon vs no carbon. A new nucl…

This is the best comment in the thread and it's somehow being downvoted. Physics grad student here and I agree with this comment whole-heartedly. I love the idea of nuclear power b…

Why are you complaining that the author didn't talk about tensors as they are used in tensorflow? Tensorflow is never even mentioned in the piece. The author is perfectly clear in …

Replying to my own comment with an update. The temperature today in my area varied between 9 F at 9AM and 25 F at 3PM. My girlfriend happened to need to drive to several different …

I have to question the accuracy of the numbers presented in this article. I own a Chevy Bolt in Maine and the figure listed in this article is far off from what I have experienced …

This same class did the same thing to me at Princeton except I was an engineering major at the time. I had done well on the Calc AP exams in high school which the engineering depar…

Due to dietary restrictions my basket has remained mostly unchanged for years. Every grocery trip is basically vegetables, meat, brown rice, milk, cheese, and cooking oils or spice…