mbbutler

7 ms·

1.
by mbbutler 3mo ago
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 maintain a good FPR, but when Mythos moves into domains that
2.
by mbbutler 4mo ago
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 gives to support his "Career Capital over Passion&q
3.
by mbbutler 4mo ago
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 point. Not great for high-performance code!
4.
by mbbutler 5mo ago
No, you don't understand. LLMs will never be capable of knowing what questions to ask, only how to ask the questions. /s
5.
by mbbutler 5mo ago
It would be helpful to add in some cases that do not contain any vulnerabilities to assess false-positive rate as well.
6.
by mbbutler 5mo ago
In my personal experience, the rate at which Claude Code produces suboptimal Rust is way higher than 1%.
7.
by mbbutler 6mo ago
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?
8.
by mbbutler 6mo ago
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 USA data points are doing to the previous linear model fit. O
9.
by mbbutler 6mo ago
> 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<dyn Any> as if that was the most idiomatic and desir
10.
by mbbutler 6mo ago
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 slice when the featurization can obviously be done in one. A
11.
by mbbutler 9mo ago
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 requires active recall/synthesis. Looking at
12.
by mbbutler 3y ago
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 confusion when I started looked at machine learning papers
13.
by mbbutler 4y ago
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 second law.
14.
by mbbutler 4y ago
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 existing industries. This "decoupling" gets us ba
15.
by mbbutler 4y ago
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.
16.
by mbbutler 4y ago
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 cost $100B-$500B per year to pull out the 1 bilion tons
17.
by mbbutler 4y ago
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 chemistry of the removal process can only increase the efficienc
18.
by mbbutler 4y ago
> 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 nuclear plant's timeline to carbon-neutrality compa
19.
by mbbutler 4y ago
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 but I also understand that it requires enormous CapEx an
20.
by mbbutler 5y ago
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 the first sentence that the piece's focus is about
21.
by mbbutler 5y ago
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 towns/cities for her work so her total trip was 135 mil
22.
by mbbutler 5y ago
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 over several winters here. At a temp of 20 F my bolt loses ~
23.
by mbbutler 5y ago
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 department said placed me in MAT 202. On the first day of class t
24.
by mbbutler 5y ago
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 spices if needed.
25.
by mbbutler 5y ago
Just added it.
26.
by mbbutler 5y ago
I keep a monthly accounting of my grocery costs (along with all other expenses) in a spreadsheet. I haven't seen my grocery bill increase by anywhere close to 40% over the past two years. edit: My bill went from ~$600 to ~$650 using a
27.
by mbbutler 5y ago
Direct Air Capture (DAC) will never be impactful for the simple reason that you need to process way too much air to remove an appreciable amount of Carbon. Capture at the source of plants producing CO2 will be helpful, but DAC is a pipe dre
28.
by mbbutler 5y ago
They are using numbers for a fucking fun size snickers, ie the tiny ones people give out at Halloween that are a single bite.
29.
by mbbutler 5y ago
If you aren't a landlord then why would you think the comment was referring to you?
30.
by mbbutler 5y ago
I do and I do.

More ›