Smokes your problems, coughs fresh air.

Tag: BULL

Which context does the circumflex accent (^) refer to in BULL?

  • ^ refers to the last step left in the superpath, never to a step right. (In the A4 notes below, in red, I seem to disagree with what I say here.)
  • [^] refers to the superpath’s imprint, [^^] to the super-superpath’s imprint, etc. Referring to a superpath’s imprint from within a subpath is only possible if the subpath’s imprint isn’t included in the superpath’s—that is: the subpath shouldn’t preceed \\ or be preceded by //.
  • [[^]] refers to the superpath as a whole, [[^^]] to the super-superpath, etc.

My A4 notebook (p. 23) also bears witness to complicated thoughts and conflicting insights (in red) about what the ^ symbol should and should not refer to.

BULL TiddlyWiki

At some point, I started condensing some paper and digital notes into a TiddlyWiki, which seemed like an appropriate tool for a personal project. Looking at the timestamp (July 26 of 2013), this choice doesn’t make sense, because at that time I had already started this blog and discovered the joy of indexical knowledge management based on links between temporal blurbs (as within a blog) rather than links between named blurbs (as within a wiki). I guess it had everything to do with wanting the execution of the BULL idea to be perfect before daring to share. It’s definitely time to get over that.

The BULL TiddlyWiki.

BULL progress and stagnation

At work yesterday, during lunch, I started a lengthy discussion that stretched out long beyond the boundaries of regular lunch hours. The discussion topic was my surprise that IT practices—particularly programming methodologies—hadn’t changed much, if at all, between my leaving the industry in 2007 and re-entering the industry in 2015. My surprise wasn’t a rethorical technique; my unpreparedness for this lack of change has lost me a long-running bet with Wiebe around 2007, when we stopped being colleagues for about 8 years. The content of that bet was as follows: I predicted that in 10 years time—now—computer science would have sufficiently evolved so that software would behave intelligently. In fact, I didn’t believe that AI would have emerged by now, but I did expect software architecture to have changed in such a fundamental way that computers would at least have behaved intelligent, even if they weren’t self-taught and self-learning.

I was doubly wrong when I entered the bet with Wiebe: software systems are messier and more difficult to change than they were 10 years ago, and special purpose, self-learning AIs are obsoleting humans even in such areas as driving cars. So, was I fundamentally wrong in thinking that a different type of software would be possible? Should I simply wait for AI to take over my job as a programmer and obsolete these concerns?

I don’t know. I do know that if AI doesn’t make my job obsolete (any time soon), I no longer believe that anybody else is going to make my job obsolete. And I really do believe that my job—the functions that I perform during the majority of my working hours—ought to be obsolete. But, since I can’t seem to convince anybody of this fact, I should suck up my pride and shame and start sharing what I’ve come up so far.

The notes that I’ve made the last few years aren’t as disjointed and messy as they were when I wrote my previous—and first—post about BULL. Here are some of the better-looking notes, from my A4 notebook:

BULL notes – A4 notebook p. 18

BULL notes – A4 notebook p. 19

BULL notes – A4 notebook p. 20

BULL notes – A4 notebook p. 21

BULL notes – A4 notebook p. 22

BULL notes – A4 notebook p. 23

BULL notes – A4 notebook p. 24

BULL notes – A4 notebook p. 25

Meanwhile, yesterday, while I should have been clocking work time, I’ve been condensing some of the threads in my head into a README.md in a newly published GitHub repository. This morning, I also rebased my latest half-assed attempt at a formal EBFN grammar and a parser in C++ to that same repository.

Multiplication in BULL

Now, what will follow is the first published note about BigSmoke’s Unified Linking Language (BULL), posted here not for you but for me, because my notes are such a terrible mess, covering too many pieces of papers and disjointed files.

Today, while browsing through a stack of papers between one and ten years old, I found a note on how to express multiplications in BULL. I don’t like the notation I used, but before discarding the paper, I’m going to try a different notation, more reflexetive of recent insights.

[multiplication | @ \\ product > < term / 20 | 5 ]

© 2024 BigSmoke

Theme by Anders NorenUp ↑