2021-01-23, post № 239
mathematics, programming, c++, shell, #matrix, #encoding, #permutation, #rainbow
A matrix
of discretely representable entries
may be linearly layed out in memory using row-major order, concatenating successive rows into a contiguous
-bytes long array. Such a representation, however, is disruptive to the matrix’ two-dimensional nature: whilst horizontally neighboring elements remain neighbors, vertically neighboring entries are torn apart by insertion of
non-neighboring elements. As such, on matrices naturally defined operations get distorted by this encoding.
One such inherently two-dimensional operation is matrix transposition. In the realm of matrices,
are for nonsquare dimensions semantically different, being mapped to one another by transposition. Projecting onto their encoding, this semantic is lost and one is left with a permutation on memory
.
To visualize this permutation, its cycle decomposition is computed of which each cycle is given a color of the rainbow dyeing this cycle’s corresponding two-dimensional pixels when interpreting its path on the underlying array in the semantics of the original matrix.
Initial transposition cycles
Above listed are all visualizations for
, shuffled. Whilst some behave extremely regularly — for example square matrices’ transposition permutations decompose into transpositions —, others are wildly intricate. Each of them adheres to a rotational symmetry; the top left and bottom right are fixed points.
2020-12-26, post № 238
mathematics, #bijection, #calculus, #Lipschitz, #naturals
VII) Cardinality coercion: 
Claim. There exist both

together with

.
Proof. Iota. Define

via
and observe any sequence’s reconstructibility by dyadic expansion.
Pi. Define

via
and observe any real’s constructibility by dyadic expansion.
Thus,
in
is shown.
2020-11-28, post № 237
hardware review, #opinion, #diary, #freedom
Precisely one month ago, I opened a long awaited parcel shipped directly from Hong Kong: my very own Pinebook Pro had arrived. Eager to further my grasp on both software and hardware freedom, I unwrapped my mail and began to incorporate pine64’s flagship laptop into my workflow. Accompanying this journey, I wrote a diary which I share in this post.
Whilst a Pinebook may not boast with specs of performance, novel input methods or included licenses, it is part of a niche computing sector which values and upholds principal human rights even in the alien realm of microprocessor-based technology. Following my steadily growing discomfort regarding my computing equipment over the past months, I hoped for the Pinebook Pro to introduce me to a world of productive, in part minimalist and most importantly truly free computing experience. After a month of usage, I can confidently proclaim it to have delivered on this front more satisfactory than any other of my multitude of computing devices I have amassed over the years.
Especially in current times, it is calming to interact with an intricately mingled system of physical machinery and abstract commandments in which I can at least to a certain extent trust, lifting an ever-present veil of fear cloaking most boxes of bits. A Pinebook comes with software switches to turn off the built-in camera, microphone and WiFi card as well as Manjaro KDE Plasma running out of the box. Whilst I would prefer not having a camera or microphone built into my device at all and have a real physical switch to turn both off, as well as a more minimalist desktop environment, I am capable to entrust it my presence infront of it; in contrast to e. g. a proprietary phone lying on a tabletop nearby.
I am unaffiliated with pine64 and purchased my Pinebook Pro myself. I wrote the entirety of this blog post including the diary seen below using my Pinebook.
A detailed account of my experience with my Pinebook is given by a diary I wrote over the course of November 2020:
Posts:
239-237, 236-234, 233-231, 230-228, 227-225, 224-222, 221-219, 218-216, 215-213, 212-210, 209-207, 206-204, 203-201, 200-198, 197-195, 194-192, 191-189, 188-186, 185-183, 182-180, 179-177, 176-174, 173-171, 170-168, 167-165, 164-162, 161-159, 158-156, 155-153, 152-150, 149-147, 146-144, 143-141, 140-138, 137-135, 134-132, 131-129, 128-126, 125-123, 122-120, 119-117, 116-114, 113-111, 110-108, 107-105, 104-102, 101-99, 98-96, 95-93, 92-90, 89-87, 86-84, 83-81, 80-78, 77-75, 74-72, 71-69, 68-66, 65-63, 62-60, 59-57, 56-54, 53-51, 50-48, 47-45, 44-42, 41-39, 38-36, 35-33, 32-30, 29-27, 26-24, 23-21, 20-18, 17-15, 14-12, 11-9, 8-6, 5-3, 2-1