Conceding to complexity

2024-03-16, post № 284

complexity, design, #language, #lang:c, #lang:go, #lang:haskell

In learning natural languages at higher levels paralleled with learning about their rich histories interconnecting peoples across millennia, I came to realise how shallow programming languages truly are: in some sense, everything is C or embedded into a world resting on it. Quite possibly such is not to be surprised by in view of the immense limitations an encased die cannot circumvent in our real world: computing is all done in structures borne by information state, discrete and conceptually restricted as they are.

Possibly in growing up, I grew dull to the glamour: isomorphic notation chit-chattering about same old, grand abstraction promises shattering at the coasts of implementability. What’s left after peeling off all rouge, all blush seems to me to be but one: complexity itself.
Unveiled it stares at me, neither grinning nor sighing: unconcerned with oh so many human sightings, never able to contain it, engineering failures galore.

I had an experience of late which shook me to the core when a linearily implemented base64 decoder of mine in Haskell lead to a complete program crash due to memory exhaustion (on a system boasting 16 GiB RAM plus swap), most likely due to exorbitant thunk creation. Coupled with awfully obtuse dependency and test management, I began feeling overburdened with the thought of writing in this lovely and expressive tongue I held dear for so long.
While beautiful five lines long, shapen into systems on which the outside world may press, complexity oozes out of every nook.

Appreciating the intrinsic nature of complexity, it evermore bothered me the last couple of months what I wrote in 250. a) Its claim is factually wrong: due to the subtleties involving the interplay of interface satisfaction depending only on a method’s name, removed from its provenance, yet non-exporting fully isolating a name, implementing package-bound sum types is supported in contemporary Go: sumtype.tar
b) Of even greater concern, however, is its subliminal stance valuing feature implementation as a meaningful action to overcome felt shortcomings. Here of particular relevance is the comment that recursive ADT definitions are not implementable without indirection (as infinite types exceed any finite bit representation), excerting conceptual pressure on the value classification (meaning non-pointer syntax in a recursive setting would have to either be forbidden or implemented differently to how it looks on the page). It is oh so easy to get blinded by supposed features that amount to little as rewritings, serving as distractions from the tiny specks of complexity one is seldom lucky enough to woolily make out.

Hitherto exactly one tool has been found to contain complexity: ruthless adherence to simplicity. One shouldn’t give it up in exchange for but shinier polish.

Nothing left.

2024-03-02, post № 283

politics, #software

Apparently⸺I am consciously out of the loop⸺, hot in academia nowadays is reacting to the societally desastrous questions raised about the indivdiual and their rights in the advent of profitable NLP; inventing some notion of anonimity. A tough sell when for years one perfected methods to reconstruct uniquely identifiable traits out of anything which wasn’t true noise.

At FOSDEM’24, A. Kergon^[1] claimed that telemetry would be necessary in the present day with free software (in the original MIT sense exempt of monetary obligations) extinct and open source fools running out of spending power. He postulated industry-accepted anonymisation practices may lead to a synthesis of keeping certain parts of the free software promise while alleviating the development burden for underfunded teams by supplying them with data about how to effectively allocate their resources.

When we have reached a point where open source is in its semantics being stretched wide enough to allow flat-out telemetry on the operating system level, I have to seriously ask: What is there left?

Free software existed for as long as it existed on the fringes: hardware support was for decades lagging five or ten years behind and has in modern times only been solved by including proprietary blobs directly into the kernel. Free software never interoperated well with the proprietary formats required to look into the fabric of reality, forever more banishing it to its fringes.
For years I have been silently lamenting the seemingly omnipresent and never-halting urge popular projects seem to feel to become lacklustre copies of profit-interestedly successful products: Gnome copies Cupertino, KDE copies Redmond. AppImage copies Remond in program distribution who copy Cupertino in software indexing which is copied by FlatHub, a joint venture of Gnome and KDE. Modern open source is barren of any invention, barren of any identity observable from within the product.
Interwoven with its identity is putting up with mediocre functionality kept alive by an intrinsically political, quenchless hope for a morally acceptable usage of computing.

And yet, with arguments to now cater to the usager incompétent (cf. 271, 265), demolishing this last pillar is entertained.

But who truly is this usager incompétent who installs open source? I claim they don’t exist: when Thunderbird, one of the larger projects which is available around both Redmond and Cupertino, proudly counts around eleven million users^[2] [3], I claim the principals I thought to fractionally share are being abandoned for a group comprised of no one.

Free software is dead. There is nothing left.

Got hooked: error backing

2024-01-20, post № 282

systems-design, #implementation-pattern, #lang:go

‘Got hooked’ is a miniseries about my experiences and findings pursuing proper Go.

At first glance, type error interface{Error() string} may suggest a named abstraction ⸺“the error”⸺ with which one can only interact by querying its character representation.
Mindful of the inherent complexity spawned by the plethora of erroneous states a system might find itself in, and in lieu of academic progress the last decades could have brought infusing type systems with benign systems-engineering-relevant semantics, more pragmatically-inclined folks have substituted lack of semantics expressible within commonly understood typing concepts with soft contracts one is expected to follow does one wish to attain wholistic system cohesion. Most unfortunately, these soft contracts are most pitifully communicated.

It is not wise to depend on an error’s textual representation. It would be a shame if in 2815 the Extraterrestrial Orbit Federation’s explicit declaration of outage signalled the error-free termination of a response stream:

package comms

import "errors"

var (
    ErrOutage = errors.New("pkg.eof.io/interplanetary/comms: EOF outage")
    ...
)

Because of this, e. g. operating system errors since Go 1 are unerasable to an *os.PathError with explicitly marked domain-specific semantics. To prevent the above feared, ==io.EOF or errors.Is(,io.EOF) are superior to any atrocities one may come up with in strict compliance to the error interface, for example strings.Index(.Error(),"EOF")!=-1.

As such, it becomes apparent that more than just its character representation is expected of an error. If it is obtained by an os-mediated syscall, it is expected to be backed by *os.PathError. If it is to signal the end to a byte stream, it is expected to be (equality is not expressed through its interface) what io declares.
And since the specifics of an error’s implementation are not sufficiently abstracted away by the error interface as presently interpreted, due care needs to be put into deciding on such a backing implementation. Herein, I will present four I discovered in Go’s std source and through my personal development efforts.

A collection of theses

2023-12-23, post № 281

opinion, #future, #technology

’Tis the season, it might: I herein present a handful of theses^[1] prospecting the non-past. For each, there has existed at least one day for which I rigorously upheld it.

-=-

a) Climate change’s increasing biotope transformations spawn novel living conditions in which adapted novel creatures thrive. Widespread fear about extinctions gives way to excitement witnessing new forms of life. Humanity quickly adapts and the decade-old fearmongering halts. Reflecting on how the optimisation engine that is emergent evolution has not marooned us, a new era of futuristic excitement is ushered in akin to the third quarter of last century.

b) State executive incompetence regarding internationally organised crime can no longer be upheld by societies making way for mandatory backdoors in all cryptographic processes. Soon, efficiency considerations lead to a wide-spread acceptance of unprotected communication. In turn, implementation pressure is massively reduced on now defunct cryptographic libraries, sparking a resurgence in new programming languages which are able to carve out a foothold in industry since the barriers for being a usable language have fallen. This explosion in artistic expression nestles into the fabric of human art output, is handed down across generations and respected as a societal cornerstone.

c) Politically powerful lobby-backed forces are offered resignation in political affairs with full compensation in all monetary regards by the state indefinetely; since this is most likely less expensive for the population. I see few other ways apart from utter mayhem how societal problems the likes of sugar consumption or web reliance could be resolved.

d) Privacy enthusiasts more and more retreat into a background of insignificance, leaving the majority of our population with a vacuum of position which is swiftly filled by rhetoric supporting the general desinterest in ethical or philosophical endeavours regarding data.

e) One fascinating fact about the about fifty year old saga of conducted high-frequency computing is how few software exists. Compared with the plethora of minds buzzing around on this planet, there are only a few dozen programming languages worth considering. Only a few terminal emulators in common repositories. Only a few browsers to choose from. Not a single e-mail client at offer. Comparing, any half-decent pottery has an order of magnitude more variety to show for itself. This monopoly inherent to computing appears to be an entirely new facet to human endeavours, representing the culmination of end-user-used high-complexity technology. It sustains itself and culminates in literally one or no option.

f) Big media’s profit-oriented scheming leads to products of such pittyful quality that animation pictures leave the public’s minds out of boredom.

g) Many technologies taken for granted in the olden days (C++, Git, popular UNIX kernels, ...) reach a tipping point of complexity and die overburdened by their own heritage: no compiler is able to confidently claim correctness, no file is safe in the humongous stack of abstraction meddling with bits and getting anything to boot is a miracle. Technological progress (progress here interpreted as the ratio of achieved state compared with the olden days’ status quo) falls back but probably gains a similar track as it once had. I’d wager intrinsic complexity’s convergence is nigh impossible to steer away from.

h) Due to English being a predominant tongue which both simplifies itself as it creeps into other languages whose diversity in dialects twindles the same, under linguistic constructivism the realm of thoughts humanity can conceive shrivels to a uniform, puny version of its former glorious potential.

November

2023-11-25, post № 280

poetry, #sonnet

Autumn thoughts.

2023-10-28, post № 279

conducted-computing, #politics, #brief, #ai

Of late, one pervasive thought has evermore clouded my mind: “I am only interested in the uninteresting.”

I am interested in self-emitting ANSI escape codes for light formatting. I am interested in the mere structure of UTF-8 and its implications for byte output. I see an innate beauty in discrete information representation, in ordering the soon-to-be-trashed. In classifying the unimportant.
But also in sincerely tackling the digital, its ways to see information in a purer light: unconstrained from physical representation medias, formatting idiosyncrasies or chronical decay. I find these properties a driving force in realising that the digital holds vast amounts of untapped possibilities. Untapped most likely due to their lack of sheen.

Scrolling through my university’s lecture timetable, I stumbled upon a lecture called [generative language model currently of economic relevance] in rhetoric. I am unsure if these tools will ever reach people outside the very small intersection of academic insiders and hazy fad. When the workflow gains of the humble text file were not able to penetrate the rock-like wall of ignorance over the past fifty years, how should a tool of such intricacy?

I was today (a lot of moons past the last calling had been) called a missionary in regards to digital privacy, potentially the broader topic of morally passable human-computer interaction. I don’t know if I am. But I am certainly trying to bring something to the grand table at which those infected with the malady of knowing about bits sit. And with my recent hiccough in my (bit-alien!) studies implying a delay, freeing up time for frivolous bit-minded thought, Brief development is bound to pick up speed once more.

Truly do I wonder what there is for me personally to gain from these machines. Lingering in this murk of thought, I evermore edge closer to the realisation that there nothing lies.

Giddily Gitting it wrong

2023-09-30, post № 278

programming, #git, #database, #lang:go

With GitHub soon closing its door for me with their ongoing 2FA fad^[1] and the winter semester starting tomorrow, it’s about time to yank the Joy Assembler repo out of US-controlled grasp and refactor the project into a 2023-presentable state. Fortunately, I have not made use of GitHub’s non-Git offerings (wiki, issue tracker, CI/CD, …), making the hostage rescue a simple git clone --mirror.

Skimming the Git log, however, to my dismay I realised inconsistencies in my author and committer names and e-mail addresses: git log --pretty=format:'%an <%ae> | %cn <%ce>' | sort | uniq even reports the committer “GitHub <noreply@github.com>” for the initial commit which I find a tad odd since it implies I only authored my project’s first commit, GitHub immortalising its brand as the committer: meddling with the very first commit, after all, invalidates all object IDs.
Following a bettered SemVer^[2] understanding, I also want to re-tag v1.0 to v0.1.0. So fully obliterating compatibility poses no hindrance for me.
Thus, seeing October as a fresh start, I want to both move repo hosting as well as sanitise my repo history’s metadata. All without losing project history, which I find important to keep: bug introductions, design considerations and personal development in how to code make a repo’s history worthwile. Defining the HEAD tree as the new initial commit, consequently, is not an option. But neither is mucking around with Git’s default CLI as losing a commit or accidentally updating the committer date to today are too likely of an outcome.
What to do?⸺Write a full Git database implementation from scratch (at least enough to read in my repo of interest) and use said API to write a one-off tool to perform the above described facelift.

Liquescent Lolly

2023-09-02, post № 277

photography, #street-photography