I have been testing various ways to read and write text files with GZIP in Python. There were a lot of uninteresting results, but there were two I thought were worth sharing.
If you have a big list of strings to write to a file, you might be tempted to do:
f = gzip.open(out_path, 'wb')
for line in lines:
| // | |
| // loads remote file using fetch() streams and "pipe" it to webaudio API | |
| // remote file must have CORS enabled if on another domain | |
| // | |
| // mostly from http://stackoverflow.com/questions/20475982/choppy-inaudible-playback-with-chunked-audio-through-web-audio-api | |
| // | |
| function play(url) { | |
| var context = new (window.AudioContext || window.webkitAudioContext)(); |
| import time | |
| import numpy as np | |
| from numpy.fft import fft2, ifft2 | |
| from matplotlib import pyplot, animation | |
| def fft_convolve2d(board, kernal): | |
| board_ft = fft2(board) | |
| kernal_ft = fft2(kernal) | |
| height, width = board_ft.shape |
| buildscript { | |
| ext.kotlin_version = '1.0.5' | |
| repositories { | |
| mavenCentral() | |
| } | |
| dependencies { | |
| classpath "org.jetbrains.kotlin:kotlin-gradle-plugin:$kotlin_version" | |
| classpath 'org.springframework.boot:spring-boot-gradle-plugin:1.4.2.RELEASE' | |
| classpath "com.google.cloud.tools:appengine-gradle-plugin:+" |
Not for everyone. Each programmer has their own appreciation of what is good coding music.
(From most influential to least)
