Antonio Muñoz tonivade

#Effective Communication

Prepare the conversation.

Why are we having this conversation?
Your time is valuable, other people's time is valuable. If you need to use this time, the least you can do is to prepare it. Things such as "what do you want to achieve?", "What info you need to give?", and all following...
What do you expect from the meeting?
How many times do you go to a meeting without thinking what's the outcome you want from it?
Try to understand the audience.:
How can I get to my audience better?.

Uniting the bifunctor and monofunctor hierarchies

With the rise of so-called bifunctor IO types, such as ZIO, questions have naturally arisen of how one could leverage the cats-effect type classes to make use of this new power. So far suggestions have mostly focused on duplicating the existing hierarchy into two distinct branches, one parameterized over F[_] and another parameterized over F[_, _]. To me this is not a great situation, as now library maintainers would have to write code for both of these hierarchies or choose one and leave the other one in the dust.

Instead we should find a way to unite the two shapes under a single hierarchy. This is a draft on how to enable this unification using polymorphic function types in Dotty.

Managing plugins in Vim: The basics

Let's say the plugin is at a GitHub URL https://github.com/manasthakur/foo. First get the plugin by either cloning it (git clone https://github.com/manasthakur.foo.git) or simply downloading it as a zip (from its GitHub page).

Adding a plugin in Vim is equivalent to adding the plugin's code properly into its runtimepath (includes the $HOME/.vim directory by default). For example, if the layout of a plugin foo is as follows:

foo/autoload/foo.vim
foo/plugin/foo.vim

	/* Coming up ~ April 2020 */

	package test
	import arrow.*

	inline class TwitterHandle(val handle: String) {
	companion object : Refined<String> {
	override val validate: String.() -> Map<String, Boolean> = {
	mapOf(
	"Should start with '@'" to startsWith("@"),

	import java.util.Iterator;
	import java.util.stream.Stream;
	import java.util.stream.StreamSupport;
	import javafx.util.Pair;

	public class ZipWithIndex {

	public static void main(String[] args) {

	Stream<String> s = Stream.of("One", "Two", "Three", "Four", "Five");

	#!/usr/bin/python3
	import argparse
	import logging
	import subprocess
	import os
	import tempfile
	from tempfile import mkstemp

	import configparser
	import gzip

	/* https://spectreattack.com/spectre.pdf */
	#include <stdio.h>
	#include <stdlib.h>
	#include <stdint.h>
	#ifdef _MSC_VER
	#include <intrin.h> /* for rdtscp and clflush */
	#pragma optimize("gt",on)
	#else
	#include <x86intrin.h> /* for rdtscp and clflush */
	#endif

	# Gawk version
	# Remote
	grep -v "rem_address" /proc/net/tcp \| awk '{x=strtonum("0x"substr($3,index($3,":")-2,2)); for (i=5; i>0; i-=2) x = x"."strtonum("0x"substr($3,i,2))}{print x":"strtonum("0x"substr($3,index($3,":")+1,4))}'

	# Local
	grep -v "rem_address" /proc/net/tcp \| awk '{x=strtonum("0x"substr($2,index($2,":")-2,2)); for (i=5; i>0; i-=2) x = x"."strtonum("0x"substr($2,i,2))}{print x":"strtonum("0x"substr($2,index($2,":")+1,4))}'

	# No Gawk
	# Local
	grep -v "rem_address" /proc/net/tcp \| awk 'function hextodec(str,ret,n,i,k,c){

	package dev.tdeng.onlinechat;

	import java.io.IOException;

	import com.rabbitmq.client.AMQP;
	import com.rabbitmq.client.Channel;
	import com.rabbitmq.client.Connection;
	import com.rabbitmq.client.ConnectionFactory;
	import com.rabbitmq.client.Consumer;
	import com.rabbitmq.client.DefaultConsumer;

	//-------------------------
	// Monad Transformer
	//-------------------------

	import cats.data._
	import cats.implicits._
	import cats._

	type MonadStackStateTEither[ErrorType, StateType, ReturnType] =
	StateT[Either[ErrorType, ?], StateType, ReturnType]