jolux

26 ms·

301.
by jolux 4y ago
Sure but resistive stovetops could probably do this. They don’t all have to be induction, right?
302.
by jolux 4y ago
Are there languages that do SBRM but not RAII?
303.
by jolux 4y ago
I’m a Rust programmer but I would call it scope-based or scope-bound resource management, a popular alternative term in the C++ community.
304.
by jolux 4y ago
This is unfathomably sadistic.
305.
by jolux 4y ago
Huh, I’ve never experienced that 15s delay, and I definitely listen to some obscure stuff.
306.
by jolux 4y ago
I could check using a proxy or by inspecting the source (it’s just JavaScript) but I don’t actually care about it that much to bother and I think we would have heard something if the switches were bogus, given that VSCode telemetry is such
307.
by jolux 4y ago
Fargate and Fly are actually both Firecracker VMs, not containers.
308.
by jolux 4y ago
I turn off all the telemetry in the VSCode settings. Are there switches I can’t turn off or something?
309.
by jolux 4y ago
They couldn’t be fixed by making the plug-in model more structured and restrictive?
310.
by jolux 4y ago
Just from digging through the WordPress source, and knowing it's a frequent source of CVEs, I think it urgently needs large-scale refactoring and rewriting. If that can't be done because of how many things depend on it, is the bac
311.
by jolux 4y ago
Erlang comes with a binding to wxWidgets that is used to implement the graphical debugger and observer it comes with, but they are fairly utilitarian in their styling and I don’t know of any other Erlang/Elixir GUI apps. Which is to sa
312.
by jolux 4y ago
> That is the difference between fact and conjecture. Yes, but I'm trying to make a formal statement of fact here, not an empirical one. > I think the set of kinds of bugs that can be written in dynamic languages is a strict supe
313.
by jolux 4y ago
> perhaps the extra effort invested comes at the expense of other approaches that do uncover more serious bugs I guess in my experience the effort invested programming in a static language is really not that much higher than dynamic, and
314.
by jolux 4y ago
I don’t think the subject of software correctness in practice is itself well-studied enough to say conclusively that my conjecture is false. I think what can be said conclusively is that at scale people cannot write memory-safe code in an u
315.
by jolux 4y ago
But there are plenty of static type systems that let different types share the same code, the problem you describe only exists in nominal type systems (like C++) as far as I know. With structural types like in TypeScript or Go you can expre
316.
by jolux 4y ago
> There are a lot of people who feel quite strongly that homeopathy cures all kinds of diseases, but they've failed to demonstrate that. This is a really poor comparison. How many people who know enough to judge these things believe
317.
by jolux 4y ago
> Types certainly eliminate various kinds of errors, yet studies did not find that they reduce bugs Right, but this is why I asked about structured programming. These things are hard to study by their nature. I understand there’s not a c
318.
by jolux 4y ago
Yeah, though I do actually think “all code which doesn’t suffer from those kinds of bugs is typed” is true to a first approximation, for what it's worth. That's a big part of the reason I prefer static types. Under a few thousand
319.
by jolux 4y ago
> You have not seen me argue anything along those lines. I have, however, said the converse, that we try not to adopt features in Java until they've proven themselves elsewhere. You’ve definitely argued that not enough software has
320.
by jolux 4y ago
> As someone whose job is to add new features to a programming language, that's never been my argument. I’ve definitely seen you argue along the lines of “it hasn’t been implemented in Java, therefore nobody uses it and we can’t tel
321.
by jolux 4y ago
> Note that Matlab, the workhorse of scientific computing for a few decades now, is even less typed than Julia. You always make this argument when discussing PL features and I find it irksome. People get along fine without this feature,
322.
by jolux 4y ago
My doctor is young and gave me a limited prescription for ten doses of lorazepam while I was adjusting to duloxetine, which often exacerbates anxiety in the first couple weeks. I was experiencing regular panic attacks before starting so he
323.
by jolux 4y ago
There's no requirement to use Docker while developing, it's just useful when you need to deploy.
324.
by jolux 4y ago
Docker Desktop is a development dependency, but you can also use Podman or minikube. I just use Podman these days, I prefer it. The container format is all standard these days, you don’t actually need anything Docker to use it. Fargate and
325.
by jolux 4y ago
I can see this argument but at the same time Dockerfiles for my preferred framework (Phoenix) are more or less muscle memory for me at this point. The better question is: why don't frameworks come with a Dockerfile by default? The effo
326.
by jolux 4y ago
I agree. They should have told the user to replace the battery.
327.
by jolux 4y ago
Not just to prolong battery life, to prevent the device from overdrawing the battery and shutting down when it couldn't provide the same peak current as it could when new.
328.
by jolux 4y ago
See, the alternative to what Apple did is having phones that randomly shut down at peak load. I have had this happen to me on a degraded battery in a cold Rochester winter. It’s not fun! It means I can’t even trust my phone to be a phone an
329.
by jolux 4y ago
Posting images of text is not posting text. It is posting images. Posting an image of a dog is posting an image, not posting a dog. (Ceci n’est pas un pipe) If you posted an image that triggered an injection bug in their backend and filled
330.
by jolux 4y ago
Probably the influence of the ML module system, where modules are per-file and module interfaces are in a separate file.

More ›