Could use vonori / conformal map[0][1] in order to support the decomposition of a complex problem into individual parts/piet blocks. aka go from base 2 gotos to base N gotos.
Can provide useful "highlights" for dealing with different language versions / language compatibility/inter-operability issues. aka 1980's language vs. 2020 take.
Treesitter[0] style/approach to deal with anonymous handle(s)/tag(s) of fix point calculus. (anonymous fix point application/manipulation via auto suggestion mouse overs)
Hypertools[0] used to display a 'standard program' mapped to '4d' esolang piet might be interesting. A window of 'text breakout of piet segment' relevant to 'standard programming line' would be sorta like mapping set of assembler to corresponding source code line.
λ-2D: An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus [0]
One can use intensional calculus concepts to model non-lambda languages[3]. A live 'CoC'[6] / rocq[7] layer to hightlight/note 'correctness' issues (auotmated suggestion of proof of correctness/unresolved ANTLER freevars take on ast editors 'valid' language statement(s)/language block(s))
ast editor with gui nodes (panograph[1]) / code block with "user shape" construction using 3DILG[2]?
3d bar codes could be taken as a 'multi-statement' token.
Piet[4][5] programming language might be more useful than 3d barcode as langauge token though (condensed spreadsheet).
A use case for unicode bidirectional algorithm[1] at language implimentation level.
(vs. more traditioinal abstraction/logic level planes & normal to plane concepts: apl - hide it all in the language; spreadsheet - hide nothing/any information at any abstraction level is displayable[2][3][4][5]6])
Nice retro-demo/motivation for "what's the point of protocols/abstraction layers"[0].
Use case argument for an add-on programmable logic array / micro controller board as security interface / non-standard to standard protocol translation.
Wonder if Knuth was trying to determine how much tech one could generate out of a block device and still have a consistant normal form. (vs. yak shaving) --- looks like an infinate amount, just as long as (NP != P) & (shrodinger's cat is alive[0]). aka. shrodinger's cat not alive means no more suppositions. np is now p, so !NP = P can happen. lisp users call that closure. The complete inverse of physics, maximum font size for given context of !
C type casting addresses the issue so much easier, either (&*(NP) = seg fault ? B) or (B = &*(NP) ? seg fault).
Guess streams was a mixed analog / digital world thing[0]. Is 'curl' the higher order wave crest of LC_NETWORK (aka 'sane' http protocol reference to type bundled 0,1,2 file descriptors)
One can have curl as a bash loadable routine without the need to recompile bash. Headless or not, much more sane[4] than ctypes.sh[1] as curl binary epilog/prolog handle the non-http protocol items within the context of curl module/program. More relevant logic level related to topic beyond http protocol only curl : socat[2] and gnu netcat[3].
Ah, HN doesn't provide a way to conjure up * data tapes (comments not withstanding). Ebnf being battle tested for years & grepping the ANTLER[7] by the horns:
awk interpeting http stream via http protocol[5] via ebnf of http protocol likely to better handle the different protocal layers more gracefully than bash script. Would need to make sure awk is in bit mode and not character/byte mode to avoid line discipline issues / 'stty sane'[4]. Note:
Perl/python provide better layers of abstraction than shell coding for the different levels of protocols used in/with http protocol/ ebnf,Kleene* coding.[6] In shell, having a different command programm for every ebnf set/protocol level vs. awk, different ebnf for each Kleene* protocol level)
--------
[0] : Conformal Mapping by Computationally Efficient Methods : https://cdn.aaai.org/ojs/7676/7676-13-11206-1-2-20201228.pdf
[1] : dictionary of conformal mapping : https://web.archive.org/web/20130407075256/http://math.fulle...
"considered harmful" [gotos/globals/etc] : http://en.wikipedia.org/wiki/Considered_harmful
"A case against the GO TO statement" : https://www.cs.utexas.edu/~EWD/transcriptions/EWD02xx/EWD215...