Mikolaj’s gists

Mikolaj / ragged tensors and shape types

Last active September 4, 2024 14:18

WT talk 04.09.2024

	Question from last time I talked about ML and https://github.com/Mikolaj/horde-ad at WT:

	does shape-typing (or rank-typing) of regular array ops limit how much we can express?

	op :: ArrayD Double -> ArrayR Int 3 -> ArrayS Char '[7, 4, 5]

	sumOuter :: ArrayD Int -> ArrayD Int
	sumOuter :: ArrayR Int (n + 1) -> ArrayR Int n
	sumOuter :: ArrayS Int (k ': sh) -> ArrayS Int sh

Mikolaj / Progresje.md

Last active October 8, 2023 10:47

notacji C7+ używam jako skrótu Cmaj7 
  (a więc nie oznacza to C z podniesioną kwintą i septymą małą (C5+7), tylko C z septymą wielką) 
d7(f-c-d) oznacza, że tak można grać prawą rękę akordu d7
(D) oznacza, że można tu zagrać D lub nie zagrać
d0 to czterodźwięk D zmniejszony (D-F-Ab-Cb)
d07 to czterodźwięk D półzmniejszony (D-F-Ab-C)
E< to trójdźwięk E zwiększony
|| oznacza początek nowego taktu

dziękuję wszystkim oryginalnym autorom, krytykom, muzom

Mikolaj / config

Created April 29, 2019 06:32

	the configuration file for the 'cabal' command line tool.
	--
	-- The available configuration options are listed below.
	-- Some of them have default values listed.
	--
	-- Lines (like this one) beginning with '--' are comments.
	-- Be careful with spaces and indentation because they are
	-- used to indicate layout for nested sections.
	--
	-- This config file was generated using the following versions

Mikolaj / indirectly depends on multiple

Created April 28, 2019 23:37

	~/teeeeeeeeee/LambdaHack$ cabal update
	Downloading the latest package list from hackage.haskell.org
	To revert to previous state run:
	cabal v2-update 'hackage.haskell.org,2019-04-21T16:12:43Z'
	~/teeeeeeeeee/LambdaHack$ cabal new-install -j1 .
	Wrote tarball sdist to
	/home/mikolaj/teeeeeeeeee/LambdaHack/dist-newstyle/sdist/LambdaHack-0.9.2.0.tar.gz
	Resolving dependencies...
	Build profile: -w ghc-8.6.4 -O1
	In order, the following will be built (use -v for more details):

Mikolaj / gist:f485f5d588928f02153eff3332348042

Created May 20, 2018 08:06

	cabal install --disable-library-profiling --disable-profiling --ghcjs -j1 distributive-0.5.3 -v3 >& log
	no user package environment file found at /home/mikolaj/r/LambdaHack
	Searching for ghcjs in path.
	Found ghcjs at /home/mikolaj/local/bin/ghcjs
	/home/mikolaj/local/bin/ghcjs --numeric-ghcjs-version
	/home/mikolaj/local/bin/ghcjs is version 8.4.0.1
	/home/mikolaj/local/bin/ghcjs --numeric-ghc-version
	/home/mikolaj/local/bin/ghcjs is version 8.4.2.20180420
	looking for tool ghcjs-pkg near compiler in /home/mikolaj/local/bin
	found ghcjs-pkg in /home/mikolaj/local/bin/ghcjs-pkg

Mikolaj / gist:877572cb4a7a009f044adc8dd354e93e

Created May 20, 2018 08:01

	cabal install --disable-library-profiling --disable-profiling --ghcjs -j1 distributive-0.5.3 -v2 >& log
	/home/mikolaj/.cabal/bin/alex --version
	looking for tool c2hs near compiler in /home/mikolaj/local/bin
	/home/mikolaj/.cabal/bin/cpphs --version
	/usr/bin/gcc -dumpversion
	/home/mikolaj/local/bin/ghc --numeric-version
	/home/mikolaj/local/bin/ghc-pkg --version
	looking for tool haddock near compiler in /home/mikolaj/local/bin
	found haddock in /home/mikolaj/local/bin/haddock-ghcjs
	/home/mikolaj/local/bin/haddock-ghcjs --version

Mikolaj / gist:55ea6bf0469ad8566e536135e82746c0

Created September 15, 2016 10:42

closure compiler warnings without dedupe

	~/r/LambdaHack$ java -jar ~/Downloads/closure-compiler.jar dist/build/LambdaHack/LambdaHack.jsexe/all.js --compilation_level=ADVANCED_OPTIMIZATIONS > ~/Downloads/all.js
	dist/build/LambdaHack/LambdaHack.jsexe/all.js:1389: WARNING - dangerous use of the global this object
	this.console = {
	^

	dist/build/LambdaHack/LambdaHack.jsexe/all.js:1396: WARNING - dangerous use of the global this object
	this.console = { log: this.print };
	^

	dist/build/LambdaHack/LambdaHack.jsexe/all.js:1396: WARNING - dangerous use of the global this object

Mikolaj / gist:eced74d47edcaab1af4fdd5d431d7b88

Created September 15, 2016 10:41

closure compiler warnings for the deduped code

	~/r/LambdaHack$ JAVA_TOOL_OPTIONS="-Xms2g -Xmx2g -XX:+UseConcMarkSweepGC" time java -jar ~/Downloads/closure-compiler.jar dist/build/LambdaHack/LambdaHack.jsexe/all.js --compilation_level=ADVANCED_OPTIMIZATIONS > ~/Downloads/all.js
	Picked up JAVA_TOOL_OPTIONS: -Xms2g -Xmx2g -XX:+UseConcMarkSweepGC
	dist/build/LambdaHack/LambdaHack.jsexe/all.js:1389: WARNING - dangerous use of the global this object
	this.console = {
	^

	dist/build/LambdaHack/LambdaHack.jsexe/all.js:1396: WARNING - dangerous use of the global this object
	this.console = { log: this.print };
	^

Mikolaj / gist:6825352618f99fa6f7474a19f1560197

Created June 20, 2016 19:22

	~/r/ThreadScope$ cabal build
	Building threadscope-0.2.7...
	Preprocessing executable 'threadscope' for threadscope-0.2.7...
	[20 of 36] Compiling Events.TestEvents ( Events/TestEvents.hs, dist/build/threadscope/threadscope-tmp/Events/TestEvents.o )

	Events/TestEvents.hs:19:11:
	‘block_events’ is not a (visible) constructor field name

	Events/TestEvents.hs:19:39: Not in scope: ‘block_events’
	[21 of 36] Compiling GUI.StartupInfoView ( GUI/StartupInfoView.hs, dist/build/threadscope/threadscope-tmp/GUI/StartupInfoView.o )

Mikolaj Konarski Mikolaj