<!-- 2019-02-14 unpublished -->

Welcome to another issue of Haskell Weekly!
[Haskell](https://www.haskell.org) is a safe, purely functional programming language with a fast, concurrent runtime.
This is a weekly summary of what's going on in its community.

## Featured

-   [Isomorphism and Embedding](https://dimjasevic.net/marko/2019/02/09/isomorphism-and-embedding/) by Marko Dimjašević

    > To me as a programmer, to write mathematical proofs that are mechanically checked by a computer feels empowering. To have these proofs as executable programs feels even more empowering. Therefore, our proofs have a computational aspect and vice-versa: our programs have a logical aspect.

## Jobs

-   [Anduril Industires is Hiring in Orange County](https://www.anduril.com/)
    > Come write Haskell, Rust, and Nix (and some C++ when necessary) to make autonomous robots and drones go! If you
    > like FP, interfacing with hardware, and solving problems in detection, tracking, and autonomous vehicle control,
    > send a note to <travis@anduril.com>

undefined

## Package of the week

undefined

## Call for participation

undefined

## Events

undefined

<!-- 2019-02-14 unpublished -->

Welcome to another issue of Haskell Weekly!
[Haskell](https://www.haskell.org) is a safe, purely functional programming language with a fast, concurrent runtime.
This is a weekly summary of what's going on in its community.

## Featured

-   [Isomorphism and Embedding](https://dimjasevic.net/marko/2019/02/09/isomorphism-and-embedding/) by Marko Dimjašević

    > To me as a programmer, to write mathematical proofs that are mechanically checked by a computer feels empowering. To have these proofs as executable programs feels even more empowering. Therefore, our proofs have a computational aspect and vice-versa: our programs have a logical aspect.

## Jobs

-   [Anduril Industires is Hiring in Orange County](https://www.anduril.com/)
    > Come write Haskell, Rust, and Nix (and some C++ when necessary) to make autonomous robots and drones go! If you
    > like FP, interfacing with hardware, and solving problems in detection, tracking, and autonomous vehicle control,
    > send a note to <travis@anduril.com>

undefined

## Package of the week

This week's package of the week is [Hadolint](https://github.com/hadolint/hadolint/tree/475ad73d333dee3d68410ceafb2a936ff2a79ba8),
a smarter Dockerfile linter that helps you build best practice Docker images.

## Call for participation

undefined

## Events

undefined

Make Hadolint the package of the week
Make Hadolint the package of the week
