Christoph Grabo asaaki

Method for Emulating Higher-Kinded Types in Rust

Intro

I've been fiddling about with an idea lately, looking at how higher-kinded types can be represented in such a way that we can reason with them in Rust here and now, without having to wait a couple years for what would be a significant change to the language and compiler.

There have been multiple discussions on introducing higher-ranked polymorphism into Rust, using Haskell-style Higher-Kinded Types (HKTs) or Scala-looking Generalised Associated Types (GATs). The benefit of higher-ranked polymorphism is to allow higher-level, richer abstractions and pattern expression than just the rank-1 polymorphism we have today.

As an example, currently we can express this type:

Memory profiling Rust code with heaptrack in 2019

I recently ran into a classic case of "our code is using way more memory than it should". So I took my first dive into memory profiling Rust code. I read several posts about this, including the following

Why Multiple SSH keys?

There are numerous reasons you may need to use multiple SSH keys for accessing GitHub and BitBucket

You may use the same computer for work and personal development and need to separate your work.

When acting as a consultant, it is common to have multiple GitHub and/or BitBucket accounts depending on which client you may be working for.

You may have different projects you're working on where you would like to segregate your access.

Moved to git repository: https://github.com/aliesbelik/load-testing-toolkit

Benchmarking & load testing

Tools to benchmark & load-test your code or services

http/s

apachebench (ab) - Standalone apachebench (ab), Apache HTTP server benchmarking tool. C
httperf - A tool for measuring web server performance. C

The way git commit --fixup --autosquash should work

I have an extremely useful alias that I use extensively in my git workflow:

alias gfixup="git commit --fixup HEAD && EDITOR=cat git rebase -i --autosquash HEAD~2 | sed '/^#/ d'"

What it does

Commits changes in the git index and auto-squashes the commit into the previous commit without opening $EDITOR!

The workflow

git add .

	;Iconify.scm
	;===========================
	;Author...Giuseppe Bilotta
	;Modified for Gimp 2.4.6+ by Ouch67
	;http://www.gimptalk.com/forum/broken-scripts-t33501.html
	;Resubmission to Gimp Plugin Registry & GimpTalk by Gargy
	;Modified for Gimp 2.8 by Roland Clobus
	;------------
	;Description...: Iconify plug-in converts a single layer of a single image into a multi-layered image ready to be saved as a Windows icon.
	;The new image will contain all standard sizes (16x16, 32x32, 48x48) at all standard bit depths (16 colors, 256 colors, 32-bit RGBA), with transparency support.

	#!/usr/bin/env bash

	# To fix the " gpg: WARNING: unsafe permissions on homedir '/home/path/to/user/.gnupg' " error
	# Make sure that the .gnupg directory and its contents is accessibile by your user.
	chown -R $(whoami) ~/.gnupg/

	# Also correct the permissions and access rights on the directory
	chmod 600 ~/.gnupg/*
	chmod 700 ~/.gnupg

	/// Problem: there is a lot of duplication in function implementations.
	/// The two types should have the same interface but use a different underlying type.
	///
	/// How can I reduce the amount of duplication and avoid having to update the code in two places?
	/// In other languages, I would define a base class which accepts a generic type for the `SoundSource`s
	/// but I don't know how to solve this sort of problem in Rust.

	struct Sound {
	// Shared properties
	is_playing: bool,

	/// Problem: there is a lot of duplication in function implementations.
	/// The two types should have the same interface but use a different underlying type.
	///
	/// How can I reduce the amount of duplication and avoid having to update the code in two places?
	/// In other languages, I would define a base class which accepts a generic type for the `SoundSource`s
	/// but I don't know how to solve this sort of problem in Rust.

	struct Sound {
	// Shared properties
	is_playing: bool,

	default['sshd']['sshd_config']['AuthenticationMethods'] = 'publickey,keyboard-interactive:pam'
	default['sshd']['sshd_config']['ChallengeResponseAuthentication'] = 'yes'
	default['sshd']['sshd_config']['PasswordAuthentication'] = 'no'