seydar

Acoustic diagnosis of electrical problems on the electric grid!

I'm building a tool that allows you to determine the health of an electric transformer from only your phone. It tells you:

    - the loading
    - the health of the windings and core
    - and whether the phases are unbalanced

Acoustic diagnosis of electric issues is FASCINATING, and it feels like there hasn't been a lot of research into this, so I have been slowly chasing down various acoustic patterns I find and try to derive them from first principles of physics.

I'm making an iPhone app for it, and Xcode has been truly awful: non-deterministic, crashing all the time, and error messages that tell me absolutely nothing. I would like to use xtool, but it doesn't have the preview, which I need for debugging.

I used to be a submariner and now work in an unrelated acoustic space (acoustic analysis of the electric grid), but I'd love to learn more about the DAS world — my email is in my profile.

I'd love to know more, do you have any that you'd recommend?

This reminds me of _why's final writing, where he discusses leaving his public persona in programming. He specifically cites the preservability of code as a reason for his disillusionment.

https://github.com/steveklabnik/CLOSURE

Beautiful piece of writing, very weird, very excellent.

Sounds like you have a good list — can you share some of it?

Galois theory investigates the way a subobject sits inside an object. This paper examines the way different programs sit inside the same algorithm, and the way different algorithms (mergesort, quicksort, etc.) sit inside the same class (sorting algorithm).

What are some alternatives that you'd recommend people look at?

I'm keen for any potential successor, but a lot things come back to effectively text, and anything we could build on top of it. Binary object formats seem like an alternative for faster parsing of structured data, so while that ability has always been it, it's a matter of people actually sticking to it. Maybe some coordination between the program and the shell?

The presence of the negative signs in (1) may seem surprising at first, but this is due to the fact that (1) is describing the effect of a passive change of units rather than an active change of the object {x}.

This is where the limits of my brain were reached. Is there a translation of this into category theory terms? Is this where category theory could help formalize units in physics?

However, his paragraph after that is pretty interesting, which I read as sort of treating units as variables since you couldn't combine them, and he only has length, mass, and time for these examples. But then there's an exponent piece? Okay now I'm lost again.

deleted