Brutkey

joomy
@joomy@functional.cafe

researcher at Bloomberg πŸ…±πŸ…±οΈ. somehow a computer doctor. πŸ…πŸ…β€©β€© posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.


Notes
948
Following
0
Followers
0
location
New York City
website
https://joomy.korkutblech.com
twitter
https://twitter.com/joomy
github
https://github.com/joom
joomy
@joomy@functional.cafe

born too smart to ignore PL theory but too dumb to understand domain theory


joomy
@joomy@functional.cafe

the UNIX v4 tape reminded me of this story by Ali Akurgal about Turkish bureaucracy:

Do you know what the unit of software is? A meter! Do you know why? In 1992, we did our first software export at Netaş. We wrote the software, pressed a button, and via the satellite dish on the roof, at the incredible speed of 128 kb/s, we sent it to England. We sent the invoice by postal mail. $2M arrived at the bank. 3-4 months passed, and tax inspectors came. They said, β€œYou sent an invoice for $2M?” β€œYes,” we said. β€œThis money has been paid?” they asked. β€œYes,” we said. β€œBut there is no goods export; this is fictitious export,” they said! So we took the tax inspectors to R&D and sat them in front of a computer. β€œWould you press this β€˜Enter’ key?” we asked. One of them pressed it, then asked, β€œWhat happened?” β€œYou just made a $300k export, and we’ll send its invoice too, and that will be paid as well,” we said. The man felt terrible because he had become an accomplice! Then we explained how software is written, what a satellite connection is, and how much this is worth. They said, β€œWe understand, but there has to be a physical goods export; that’s what the regulations require.” So we said: β€œLet’s record this software onto tape (there were no CDs back thenβ€”nor cassettes; we used Β½-inch tapes) and send that.” Happy to have found a solution, they said, β€œOkay, record it and send it.” The software filled two reels, which were handed to a customs broker, who took them to customs and started the export procedure. The customs officer processed things and at one point asked, β€œWhere are the trucks?” The broker said, β€œThere are no trucksβ€”this is all there is,” and pointed to the tape reels on the desk. The customs officer said, β€œThese two envelopes can’t be worth $2M; I can’t process this.” We went to court, an expert committee examined whether the two reels were worth $2M. Fortunately, they ruled that they were, and we were saved from the charge of fictitious export. The same broker took the same two reels to the same customs officer, with the court ruling, and restarted the procedure. However, during the process, the unit price, quantity, and total price of the exported goods had to be enteredβ€”as per the regulations. To avoid dragging things out further, they looked at the envelope, saw that it contained tape, estimated how many meters of tape there are on one reel, and concluded that we had exported 1k to 2k meters of software. So the unit of software became the meter.

joomy
@joomy@functional.cafe

born too smart to ignore PL theory but too dumb to understand domain theory