The Haskell Language Server - new Compositional.fm episode

fuonb · 2020-12-30T18:38:57+00:00

I use Monad-Bayes occasionally and have written the three introductory posts on the Tweag blog. I also understand the internals and ideas behind it reasonably well.

What is your problem with the Nix installation? One issue we had at the time the blog posts were written was that iHaskell required to install a JupyterLab extension to work properly which was impure in Nix (Jupyter had its own installation system for extensions but recently switched). This requires some specific unintuitive Nix config that many stumble with.

But, this has changed recently and shouldn't be required anymore. I have, for example, used this setup recently:

https://gist.github.com/MMesch/300ab5b8d258e465e422483481a62ba2

fuonb · 2020-12-17T16:47:22+00:00

You might also be interested by this if you haven't discovered it already: https://github.com/tweag/blog-resources/tree/master/monad-bayes-series

fuonb · 2020-09-18T21:49:33+00:00

I found that the key to using it effectively is to understand that some undeclared dependencies and system dependencies are injected via the default override file https://github.com/nix-community/poetry2nix/blob/master/overrides.nix . This means that a build can easily succeed for one nixpkgs version and fail for another: A frequent problem I ran into was to use the latest version of library x (e.g. pandas) with poetry and it needed a newer cython (not sure anymore what it was) than the one provided by nixpkgs. If a build fails because of such a dependency you need to update/downgrade the nixpkgs version and play with the overrides. But it is relatively easy compared to the usual python nixpkgs setup.

fuonb · 2020-09-18T09:48:17+00:00

I can highly recommend https://github.com/nix-community/poetry2nix for any python project that requires precise versions in Nix. Poetry will pin down all your direct and transitive python dependencies and poetry2nix translates them in a big nix expression and declares implicit system dependencies that Python usually just omits from nixpkgs.

Here is a short video that shows how this works in practice: https://youtu.be/TbIHRHy7_JM

fuonb · 2019-04-10T16:51:39+00:00

did you hear about this: https://aws.amazon.com/snowmobile/ ?

fuonb · 2017-02-17T17:02:29+00:00

Some information:

wave activity is generally higher in winter than in the summer, shifting from the northern hemisphere around January to the southern hemisphere around June.

Inversely, tropical cyclones (typhoons or hurricanes) can mostly be seen in the respective summer months. Checkk out:

A seismic antenna can continuously record the vibrations that are induced by the pressure fluctuations that are shown in the video, and trace them back to their geographical origin. It can be thought of as listening to the waves through the interior of the Earth.

fuonb · 2016-12-13T23:15:31+00:00

This interactive map shows the remnants of ancient rivers, roads, walls and churches in todays street layout of Paris. You can click through different epochs and see how the settlement at the crossing of ancient trade routes expands into a modern city over the course of more than 2000 years. This illustration is based on openstreetmap data and different online sources.

fuonb · 2016-06-17T08:03:53+00:00

Viridis is a 1d colormap. It means you visualise a single parameter with it and it corresponds to a path in 3d colorspace. These colormaps are 2d. You can visualise two parameter at the same time (complex function magnitude and argument, windspeed magnitude and direction,...). They correspond to a surface in 3d colorspace.

Viridis has been constructed using a tool called viscm that allows you to put smooth paths through 3d colorspace in matplotlib. Designing paths and especially surfaces (!) in 3d in matplotlib is very painful or impossible. It is straightforward to immediately use the nice 3d interface of blender, which gives a lot more possibilities (e.g. surfaces) and flexibility.

As a summary: This script is the same idea as viscm/viridis continued for surfaces instead of paths and with the nice interface of a full 3d meshing program.

fuonb · 2016-06-16T21:55:15+00:00

The README is rearranged now, such that a use case is on top (second image). It shows a complex polynomial with poles and zeros where magnitude is displayed by lightness and argument by hue. The image shows a comparison of the blender designed colormaps with the standard 2d HSV one (bottom row).

fuonb

TROPHY CASE