I use a usb cable and a Linux laptop to copy to a couple of external hard drives (which I store separately). It’s all manual but not too orrenous although i ought backup more often. The biggest hassle is accessing the new heic format on pretty much everything.
Could it all be made into a sd card image for a pi zero perhaps? Even with a web ui accessible over Wi-Fi? A basic cheap sync-cable-appliance that non-techies can easily use?
I think I heard that the latest 'rclone' now, finally, support iCloud ... but I think there is an issue there because you can't sync full quality / RAW photos to icloud, can you ?
Awesome technology!
Nice to see Dead Reckoning being used with computer vision and offline maps!
Something college students have been doing in robotics competitions here in the USA ;)
Great wiki page!
It even mentions Boltzmann Brains!
“ This infinite future could allow for the occurrence of massively improbable events, such as the formation of Boltzmann brains.”
But taking this the other way around : it's also interesting that some cosmologies are known to be incorrect, because they would enable alternative forms of consciousness.
Electrical schematics can be represented with linear algebra and Boolean logic…
Maybe their being able to “understand” such schematics is just a matter of them becoming better at mathematical logic…which is pretty objective.
This paper works because it explicitly is a problem domain that was intentionally constrained to ensure safety in the Amateur high-power rocket hobby. Specifically with constraints and standards that were developed for teenagers of various skill to do with paper and pen well before they had access to containers. While modern applications have added more functions, those core constrains remain.
It works explicitly because it doesn't hit the often counter-intuitive limitations with generalization in pure math.
Remember that Boolean circuit satisfiability is NP-complete, and is beyond UHAT's + poly length CoT expressibility, which is capped at PTIME.
Even int logic with boolean circuits is in PSPACE.
When you start to deal with values, you are going to have to add in heuristics and/or find reductions that will cost your generalizability.
Even if you model analog circuits as finite labelled directed graphs with labelled vertices, similar to what Shannon used; removing some of the real world electrical impacts and focus on them as computational units, the complexity can get crazy fast.
Those circuits, with specific constraints (IIRC local feedback, etc..) can be simulated by a Turing machine, but require ELEMENTARY space or time, and despite it's name ELEMENTARY is iterated exponential: 2^2^2^2^2^...^n with k n's.
Also note that P/poly, viewed as problems that can be solved by small circuits is not a practical class and in fact contains all of the unary languages that we know are unsolvable by real computers in the general case.
That apparent paradox that P/poly, which has small bool circuits, also contains all of those undecidable unary languages is a good starter into that rat hole.
While we will have tools and models that are better at math logic, the constrains are actually limits on computation in the general case. Generalization often has these types of costs, and the RL benefits in this case relate to demonstrating that IMHO.
I would consider a PCB schematic to be part of an electrical schematic. Even if you don’t, you still have to consider final layout because some lines will need EMF protection. The linear equations and boolean algebra are just a (extremely useful) model after all.
reply