Viewing profile — StefanKarpinski

Yeah, things are moving fast. Those benchmarks will be out soonish. Takes a while to run these things.

They were all benchmarked, but not included in the post to try to keep the amount of data from being excessive. (Results are also not surprising — Opus good, Sonnet struggles, Haik…

> Let's not forget Uvalde, where the police department budget was ~40% of the city budget and it resulted in 19 cops standing outside scared while one shooter kept shooting literal…

Sure, that would work just as well. Plus, then you get to pick a "good" placement instead of making the user try to find one.

The animated visuals are very cool, but I desperately want to turn them off in order to understand what they depict and reason about it geometrically. A pause button would be great…

Nope, they are dead. If I happen to catch them before they fully run out of power, they are at 1-2% charge as reported on whatever device they connect to. I can prevent this if I c…

Except that they don't. Or at least many, many people report that they don't, including myself and I have tried all the remedies that supposedly help. If you don't provide an off b…

How does headphones not turning off force users to stay in the iOS ecosystem?

Strange. Are they first gen or later? I did get the absolute first gen of these, so maybe it's a problem they couldn't fix in firmware? Or I just have a defective pair?

I mean, I regularly leave them on a shelf in my apartment and they apparently do not consider that "down" or "stationary" enough to not just drain the battery completely. Truly a b…

I got excited there for a second — free fix for the most annoying problem with my headphones! But no, my AirPods Max have the latest firmware and still have this issue. Any time I …

Wild. I have been eagerly awaiting this refresh, but this doesn't address either of the main issues with the original AirPods Max: 1. Still just as heavy. The AirPods Max sound qui…

Yeah, probably should be documented.

Sad to hear that, CyberDildonics

Number isn’t an interface—there are no operations common to all numbers. Subtyping Number is a way to opt into numeric promotion and a few other useful generic behaviors. That’s it…

Floating-point arithmetic is non-associative, but it is commutative for the operations that are algebraically commutative: x + y == y + x and x*y == y*x. And x - y = -(y - x) so su…

The paper "Julia: Dynamism and Performance Reconciled by Design" [1] (work largely by Jan Vitek's group at North Eastern, with collaboration from Julia co-creators, myself included…

Pretty sure that’s not possible. More accurate for some inputs will be less accurate for others. There’s a very tricky tension in float optimization that the most predictable opera…

It’s a little unclear what you mean by that without further explanation. Do you mean that conceptually one selects a real number at random and then rounds that real number to the c…

There are actually as many cases as there are rounding modes, which is seven, and for most of them unlike `mod` and `rem` there's no common name for these remainder operations: - R…

The `rem`, `div` and `divrem` functions also all optionally take a rounding mode argument that lets you have the behavior that matches any rounding mode, where `RoundToZero` matche…

Was confused by that as well. Sounds like Liquid Democracy doesn't do well compared to the alternatives, which would certainly be an interesting result, but doesn't fit with what t…

Ah, but you see, Julia is both too popular and not popular enough! It's too popular with the wrong people (bad unserious people) and not popular enough with the right people (good …

Ah, what an excellent catch-22! If you don't have a list of notable use cases, people claim that there are no serious users. If you make a list of notable use cases, then the fact …

Ah yes, nobody uses Julia in production... except these companies https://juliahub.com/case-studies/ and many more—it's impossible to keep up. It's 2023, Julia was #21 on the TIOBE…