lenguyenthanh

<?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>

lenguyenthanh

// 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"
// )

lenguyenthanh

Gitlab CI/CD

• Gitlab CI/CD
  • General
    • How to make my jobs execute in parallel?
    • How to execute a job only when some files were changed?
    • What about interactive jobs?
    • Extending/Templating jobs
    • Running locally
• Docker-in-Docker doesn't work in gitlab-runner exec docker

lenguyenthanh

Program Analysis Resources

(draft; work in progress)

See also:

• Compilers
  • correctness
• Program analysis:
• Dynamic analysis - instrumentation, translation, sanitizers

lenguyenthanh

(.$) :: (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 .|

lenguyenthanh

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

lenguyenthanh

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

import Control.Monad ((>=>))

lenguyenthanh

// 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)
}

lenguyenthanh

Export your public key:

keybase pgp export > keybase-public.key

Export your private key:

keybase pgp export --secret > keybase-private.key

lenguyenthanh

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