Stepan Kuzmin stepankuzmin

Back To The Basics

Chapter 1: Using Flow

Introduction

Why does it make sense to use FlowType or TypeScript when working with JavaScript? A good approach in answering this question is to build a small game or application to make the benefits clear.

GPG and git on macOS

Setup

No need for homebrew or anything like that. Works with https://www.git-tower.com and the command line.

Install https://gpgtools.org -- I'd suggest to do a customized install and deselect GPGMail.
Create or import a key -- see below for https://keybase.io
Run gpg --list-secret-keys and look for sec, use the key ID for the next step
Configure git to use GPG -- replace the key with the one from gpg --list-secret-keys

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

Pull Request Etiquette

Why do we use a Pull Request workflow?

PRs are a great way of sharing information, and can help us be aware of the changes that are occuring in our codebase. They are also an excellent way of getting peer review on the work that we do, without the cost of working in direct pairs.

Ultimately though, the primary reason we use PRs is to encourage quality in the commits that are made to our code repositories

Done well, the commits (and their attached messages) contained within tell a story to people examining the code at a later date. If we are not careful to ensure the quality of these commits, we silently lose this ability.

	<!doctype html>
	<meta charset="utf-8">
	<title>Benchmark</title>
	<body></body>
	<style>html, body, #map { height: 100%; margin: 0; } </style>

	<div id="map"></div>

	<script src='https://api.tiles.mapbox.com/mapbox-gl-js/v0.40.0/mapbox-gl.js'></script>
	<!-- <script src="mapbox-gl.js"></script> -->

	#!/bin/bash

	set -euo pipefail

	openssl req -new -text -passout pass:abcd -subj /CN=localhost -out server.req -keyout privkey.pem
	openssl rsa -in privkey.pem -passin pass:abcd -out server.key
	openssl req -x509 -in server.req -text -key server.key -out server.crt
	chmod 600 server.key
	test $(uname -s) = Linux && chown 70 server.key
	docker run -d --name postgres -e POSTGRES_HOST_AUTH_METHOD=trust -v "$(pwd)/server.crt:/var/lib/postgresql/server.crt:ro" -v "$(pwd)/server.key:/var/lib/postgresql/server.key:ro" postgres:12-alpine -c ssl=on -c ssl_cert_file=/var/lib/postgresql/server.crt -c ssl_key_file=/var/lib/postgresql/server.key

	defaults write -g NSScrollViewRubberbanding -int 0
	defaults write -g NSAutomaticWindowAnimationsEnabled -bool false
	defaults write -g NSScrollAnimationEnabled -bool false
	defaults write -g NSWindowResizeTime -float 0.001
	defaults write -g QLPanelAnimationDuration -float 0
	defaults write -g NSScrollViewRubberbanding -bool false
	defaults write -g NSDocumentRevisionsWindowTransformAnimation -bool false
	defaults write -g NSToolbarFullScreenAnimationDuration -float 0
	defaults write -g NSBrowserColumnAnimationSpeedMultiplier -float 0
	defaults write com.apple.dock autohide-time-modifier -float 0

	// each top-level message in a file is tag-prefixed (like fields) to differentiate between types
	message Data {
	oneof data_type {
	fixed32 block_size = 1; // byte length of the following block (metadata + features/geometries)
	Metadata metadata = 2;

	Collection feature_collection = 3;
	Collection geometry_collection = 4;
	Collection collection_end = 5;

	{:optimizations :advanced
	:output-dir "./target/client/production/"
	:cache-analysis true
	:output-modules {
	{:id :common
	:out "./resources/assets/js/common.js"
	:entries '#{com.foo.common}}
	{:id :landing
	:out "./resources/assets/js/landing.js"
	:entries '#{com.foo.landing}

	#!/bin/sh
	#
	# The MIT License
	#
	# Copyright 2014-2017 Jakub Jirutka <[email protected]>.
	#
	# Permission is hereby granted, free of charge, to any person obtaining a copy
	# of this software and associated documentation files (the "Software"), to deal
	# in the Software without restriction, including without limitation the rights
	# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell