heisenzombie
Joined 14 years ago
Joined 14 years ago
∀x ∀y [(P(x) ∧ D(y) ∧ C(x, y)) → R(x)]
The people who create the worst designs are designers
∀x ∀y [(P(x) ∧ D(y) ∧ W(y) ∧ C(x, y)) → R(x)]
I imagine I would feel similarly about a pacemaker. How does it work? What algorithm does it use to determine what to do at any given moment? Does it have settings? Are they optimally chosen? Are there bugs? Security flaws?
Or more likely i’m overthinking it and they’re just a way to have a funny argument with friends.
- EPICS
- TANGO
- Bluesky (not that one)
- QCodes
- Sardana
- yaq
The general problem is (1) i have a heterogeneous mix of hardware that speaks a bunch of different protocols from SCPI serial commands to VISA over USB, to bizarre proprietary things and (2) I want to be able to talk to it from one central computer and (3) ideally have some level of standardisation or abstraction so I can express an experiment like move <stage> from <x> to <y> in <n> steps and at each step fire <laser> and measure <signal> while logging <temperature>.Anthropic seem to be creating the n+1 version of those packages and presumably doing some harness work to make Claude good at using it.
But, this article implicitly assumes that a mathematical proof has to be utterly rigorous in order to be useful. I would assume that the author leans hard towards a "formalist" view of mathematics. I think this is an insufficient understanding of what mathematics _is_ and that embracing some amount of mathematical platonism and using "incomplete" proofs to gesture at important understandings is necessarily a valuable part of mathematical pedagogy.
My opinion is basically that of David Bessis, see a recent blog post [1], and his excellent book on the subject [2].
[1] https://davidbessis.substack.com/p/the-curious-case-of-broke...
[2] https://www.goodreads.com/en/book/show/200128457-mathematica
https://www.arrantpedantry.com/2020/03/24/umlauts-diaereses-...
So we're going to have some engineers specify suitable digital replacements given the process/environment/safety requirements. We'll procure those (noting that an industrial digital pressure transducer can easily push up towards $10k), schedule a plant shutdown (how much does that cost?), then pay a pipefitter/boilermaker to replace the old gauges with new pressure transmitters (do you need a hot work permit for that? Did you get your engineer to sign that off?). Then, your controls sparky has to find a way to route a drop back to your marshalling cabinet for connection into your fieldbus/HART/modbus/whatever network (do you have one of those?) so that your SCADA system can talk to it (do you have one of those?).
Obviously it's not really an apples-to-apples comparison, but I think the costs involved with making "simple" changes in industrial settings are easy to wildly underestimate.
- I suspect that in this moment, cobbling together your own simple version of a “claw-alike” is far more likely to be productive than a “real” claw. These are still pretty complex systems! And if you don’t have good mental models of what they’re doing under the hood and why, they’re very likely to fail in surprising, infuriating, or downright dangerous ways.
For example, I have implemented my own “sleep” context compaction process and while I’m certain there are objectively better implementations of it than mine… My one is legible to me and therefore I can predict with some accuracy how my productivity tamagotchi will behave day-to-day in a way that I could not if I wasn’t involved in creating it.
(Nb I expect this is a temporary state of affairs while the quality gap between homemade and “professional” just isn’t that big)
- I do use mine as a personal assistant, and I think there is a lot of potential value in this category for people like me with ADD-style brains. For whatever reason, explaining in some detail how a task should be done is often much easier for me than just doing the task (even if, objectively, there’s equal or higher effort required for the former). It therefore doesn’t do anything I _couldn’t_ do myself. But it does do stuff I _wouldn’t_ do on my own.
Recently I had fun reimplementing an old (but still usable!) code for accelerator optics. It involved transfer matrices for a 6D phase space to second order. Most of the FORTRAN77 source code was just pages and pages of hand-differentiated 6x6x6 matrices (with quite non-trivial elements) and the plumbing to painstakingly propagate those jacobians around for fitting... all replaced with a single, magic, call to jax.grad(). Felt like cheating!
I'm also super interested in its application to modelling, e.g. projects like https://github.com/deepmodeling/jax-fem -- particularly for chaining different sorts of simulations and analysis together and getting gradients through the lot. Also quite magic!
- someone who bought an investment property, which then appreciated, and then they wanted to take out a larger mortgage against the appreciated value to leverage it into buying another property.
- Someone borrowing against stock to avoid realising gains by selling it
That seems… reasonable to me?
I’m personally allergic to ever using macros in Excel, and this is basically a better version of that for many (not all) purposes.
For a stupid example, I had Opus write a bunch of linear algebra functions, including stuff like computing eigenvectors, culminating in a single function that computes rotation matrices for point-cloud best-fitting (ie the procrustes problem). Yes, I’m fully aware it’s sort of cursed to do that, yes it works, and yes normal people can use the resulting spreadsheet fine, they just magically have an ALIGN3D(frompoints, topoints) function.