https://ncatlab.org/nlab/show/Boolean+algebra
https://math.stackexchange.com/questions/455899/are-there-dual-logic-gates
https://ncatlab.org/nlab/show/concrete+category
Ben Eater builds a computer:
https://www.youtube.com/channel/UCS0N5baNlQWJCUrhCEo8WlA
(start by building a inverter with 2 transistors) .. you can get a clock signal with a 555 timer...
more ideas:
https://twitter.com/Brent_Shambaugh/status/1313334081615212544?s=20https://twitter.com/Brent_Shambaugh/status/1313334081615212544?s=20
Finite Autonomy Links:
https://arxiv.org/pdf/1909.
https://www.tutorialspoint.
https://thttps://twitter.com/Brent_Shambaugh/status/1313334081615212544?s=20witter.com/Brent_Shambaugh/status/1313334081615212544?s=20
FP to the Max
https://www.youtube.com/watch?v=sxudIMiOo68
Functional Programming Link (live coding session):
FP to the Min by John De Goes: Scala in the City Conference
This site is a mess. Work on chunking.
You do have main things you would like to work on like:
The Blinky Project
https://www.youtube.com/playlist?list=PLbVZNfQhcZ3eQpiBUY_0IaXPmPE5pZoOT
(finish the packaging of the message to stream it live with the cryptochip)
ultimately you are using the P256 curve with this, and having it appear in a DID document. You have Ed25519 as well, and you think it might work natively better in some cases if not for just the extra security comfort.
Satellite Link
You have a couple of links. Do you focus on LoRa, or do you focus on more frequencies? There are more links in this blog.
Like this, but for a satellite ground station instead of a 3D Printer
https://www.youtube.com/watch?v=_K63xFiI3Pk&list=PLbVZNfQhcZ3eG_nbgKbC1KKtMXlIjnEsd&index=12
Data Management
You have been looking heavily at CQL and FQL. You like the predecessor FQL because it appeared to allow for JSON import. You believe that this will help with JWT, JSON-LD, and LD-Signatures and how they can play together some way.(edit 1) To learn how to go forward breaking stuff is necessary in addition to reading. You have a lot of stuff to read, and it is good that you are a great archivist, but by failing you make progress. Do the exercises. Try category theory again and again. Review the basic premises of what makes a category. Make sure you are comfortable with groups, monoids, ring, subgroups, semigroups, magmas....there is a way that they relate. https://en.wikipedia.org/wiki/Category_(mathematics)
This starts getting into gremlin, which you will not only need to understand as a user [(https://www.youtube.com/watch?v=RkMYZcQEXOk) great start ] but also theoretically. https://www.slideshare.net/slidarko/problemsolving-using-graph-traversals-searching-scoring-ranking-and-recommendation , https://arxiv.org/abs/1011.0390 . It is good that you are reading about the theory of computation in the discrete mathematics textbook. This is a good playlist to look at because you are getting lost reading https://www.youtube.com/playlist?list=PLBlnK6fEyqRgp46KUv4ZY69yXmpwKOIev&app=desktop . I do not know if reading the chapter before delving into the exercises is a good idea. I know you have tendency to read a lot of material before jumping in.
CQL is for ETL, mmADT is for data processing: custom programming languages/parsers for existing programming languages; various processing methods (distributed near time processing looks interesting); and various storage mechanisms: key-value stores... etcetera. These two will be merging in some way. Cayley graphs are interesting. (study william fisets data structures and graph algorithms...map back to discrete mathematics book, group theory book, abstract algebra book...etc...stay small) ... if you play with CQL or FQL for a few days, this is not sufficient, it might help.
edit1: https://medium.com/mattr-global/jwt-vs-linked-data-proofs-comparing-vc-assertion-formats-a2a4e6671d57
seeAlso: https://www.uschamberfoundation.org/sites/default/files/media-uploads/Applying%20SSI%20Principles%20to%20ILRs%20Report.pdf
(page 18-22) ====>
"JSON Web Signatures , JWT, JSON-LD
Linked Data Proofs (LD Proofs), and JSON Web Tokens (JWTs),
https://w3c-ccg.github.io/lds-jws2020/
https://w3c-ccg.github.io/ld-proofs/
https://tools.ietf.org/html/rfc7519 (JWT)
I also found: https://jwt.io/"
Also look at: https://lists.w3.org/Archives/Public/public-credentials/2020Jun/0100.html
Edit: https://www.kuppingercole.com/blog/bailey/decentralized-identity-could-become-a-reality-but-blockchain-may-not-be-a-part-of-it
like https://github.com/statebox/ ?? (interesting: https://github.com/statebox/cql
"CQL, formerly known as AQL, was developed by Statebox in collaboration with Conexus, who develop the Java version of CQL.")
https://statebox.org/news/2019/efgrant/ (statebox uses ZKP) "ethereum foundation grant"
related subgoals:
https://www.flickr.com/photos/160422661@N07/shares/3t59B7
