StefanKarpinski

4 ms·

1.
by StefanKarpinski 2mo ago
Yeah, things are moving fast. Those benchmarks will be out soonish. Takes a while to run these things.
2.
by StefanKarpinski 2mo ago
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, Haiku fails.)
3.
by StefanKarpinski 7mo ago
> 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 children for an hour. Because they were scared. Not
4.
by StefanKarpinski 7mo ago
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.
5.
by StefanKarpinski 7mo ago
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 greatly appreciated.
6.
by StefanKarpinski 7mo ago
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 carefully disconnect them from each device they might be conn
7.
by StefanKarpinski 7mo ago
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 button and you can't build a product this
8.
by StefanKarpinski 7mo ago
How does headphones not turning off force users to stay in the iOS ecosystem?
9.
by StefanKarpinski 7mo ago
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?
10.
by StefanKarpinski 7mo ago
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 bafflingly bad design from the company th
11.
by StefanKarpinski 7mo ago
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 leave them for more than a day, the battery is drained.
12.
by StefanKarpinski 7mo ago
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 quite good, but they are very heavy, to the point of bei
13.
by StefanKarpinski 1y ago
Yeah, probably should be documented.
14.
by StefanKarpinski 1y ago
Sad to hear that, CyberDildonics
15.
by StefanKarpinski 1y ago
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. The fact that some abstract types are interfaces with expe
16.
by StefanKarpinski 1y ago
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 subtraction is properly anti-commutative. The only very margin
17.
by StefanKarpinski 1y ago
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), has a really interesting section on multip
18.
by StefanKarpinski 1y ago
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 operation structure is a fully skewed op tree, as in naive left-t
19.
by StefanKarpinski 3y ago
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 closest representable float? (And if so, which rounding mode
20.
by StefanKarpinski 4y ago
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: - RoundNearest - RoundNearestTiesAway - RoundNearestTiesUp
21.
by StefanKarpinski 4y ago
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` matches `div` and `RoundDown` matches `mod`, but there are actuall
22.
by StefanKarpinski 4y ago
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 the rest of the abstract seems to be suggesting.
23.
by StefanKarpinski 4y ago
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 serious people).
24.
by StefanKarpinski 4y ago
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 that you compiled such a list is "telling". D
25.
by StefanKarpinski 4y ago
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 index at some point last ye
26.
by StefanKarpinski 4y ago
The issue is that when you're implementing something like a programming language or a robust general purpose utility, then simply not being able to open—or list or remove or stat—paths with invalid names is not really acceptable.
27.
by StefanKarpinski 4y ago
The comment that you're quoting wasn't mine. In the comment you link to says "UTF-8 by convention". If either string is valid, then the result is as expected. If you're concatenating two strings that are both invali
28.
by StefanKarpinski 4y ago
Unfortunately, neither UNIX nor Windows require path names to be valid Unicode. UNIX interprets them as “UTF-8 by convention” and Windows as “UTF-16 by convention” but both actually allow arbitrary sequences of code units. It would be nice
29.
by StefanKarpinski 4y ago
> That’s not UTF8. True; I was careful not to call it that, but treating strings as UTF-8 by convention does make sense. > It’s not, any unicode-aware text processing does it implicitly. This means any such things processing has to ei
30.
by StefanKarpinski 4y ago
It's not at all obvious how it helps, but it does. First, why is Python unable to represent invalid path names as strings? Because internally it converts strings from UTF-8, UTF-16, or any other encoding, to a fixed-with array of decod

More ›