Thanh Le lenguyenthanh

Gitlab CI/CD

Gitlab CI/CD
- General
Docker-in-Docker doesn't work in gitlab-runner exec docker

Program Analysis Resources

(draft; work in progress)

Haskell Language Extension Taxonomy

Caveat: It's just personal opinion, and was written to be a bit provocative and encourage discussion . It is also something that is constantly evolving. Some of the main criteria I used in constructing this taxonomy are age, how widely used it us, and how well understood it is by the average Haskell programmer. These things will change over time.

Aso, this is focused on appropriateness for use in commercial production code bases. If you are not thinking about commercial use with a team of multiple

Export your public key:

keybase pgp export > keybase-public.key

Export your private key:

keybase pgp export --secret &gt; keybase-private.key

To remove a submodule you need to:

Delete the relevant section from the .gitmodules file.
Stage the .gitmodules changes git add .gitmodules
Delete the relevant section from .git/config.
Run git rm --cached path_to_submodule (no trailing slash).
Run rm -rf .git/modules/path_to_submodule (no trailing slash).
Commit git commit -m "Removed submodule "
Delete the now untracked submodule files rm -rf path_to_submodule

	<?xml version="1.0" encoding="UTF-8" ?>

	<configuration>

	<appender name="CONSOLE"
	class="ch.qos.logback.core.ConsoleAppender">
	<layout class="ch.qos.logback.classic.PatternLayout">
	<Pattern>%X{traceId} %X{spanId} - %m%n</Pattern>
	</layout>
	</appender>

	// scalaVersion := "3.2.0"
	// libraryDependencies ++= Seq(
	// libraryDependencies ++= Seq(
	// "org.typelevel" %% "cats-core" % "2.8.0",
	// "dev.zio" %% "zio" % "2.0.0",
	// "org.typelevel" %% "cats-effect" % "3.3.14",
	// "org.typelevel" %% "kittens" % "3.0.0",
	// "dev.zio" %% "zio-json" % "0.3.0-RC10",
	// "io.d11" %% "zhttp" % "2.0.0-RC10"
	// )

	(.$) :: (t -> b -> c) -> (a -> b) -> t -> a -> c
	(.$) f g a = f a . g
	infixr 8 .$

	-- \| '.\|': Compose an unary function with a binary function.
	-- from: http://hackage.haskell.org/package/pointless-fun-1.1.0.5/docs/Data-Function-Pointless.html
	(.\|) :: (b -> c) -> (t -> a -> b) -> t -> a -> c
	(.\|) f g a = f . g a
	infixr 7 .\|

	{-# OPTIONS_GHC -Wno-missing-methods #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE FunctionalDependencies #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE UndecidableInstances #-}
	module ThoughtLeaderTom where

	import Control.Monad ((>=>))

	// Porting of https://gist.github.com/jdegoes/dd66656382247dc5b7228fb0f2cb97c8

	typealias UserID = String
	data class UserProfile(val name: String)

	// The database module:
	interface DatabaseService {
	suspend fun dbLookup(id: UserID): UserProfile
	suspend fun dbUpdate(id: UserID, profile: UserProfile)
	}