Pierre Hedkvist phedkvist

phedkvist / crdt_woot.ts

Created February 27, 2021 13:09

crdt-woot

	export interface Site {
	siteId: string; // unique id for each site
	clock: number;
	sequence: Char[];
	operationPool: Char[];
	}

	export interface Char {
	id: string;
	charId: CharId;

phedkvist / gist:5776799166df5277934d3e1e0612646e

Created February 27, 2021 12:49

g-set

	payload set A
	initial ∅
	update add(element e)
	A := A ∪ {e}
	query lookup(element e) : boolean b
	let b = (e ∈ A)
	compare (S, T) : boolean b
	let b = (S.A ⊆ T.A)
	merge (S, T) : payload U
	let U.A = S.A ∪ T.A

phedkvist / g-counter

Last active February 27, 2021 12:47

G-counter

phedkvist / gist:818091564fdbc49598425ea4d01a3b0e

Created July 8, 2020 13:43

	// WARNING: DO NOT EDIT. This file is automatically generated by AWS Amplify.
	// It will be overwritten.

	const awsmobile = {
	aws_project_region: 'eu-central-1',
	aws_cognito_identity_pool_id: 'eu-central-1:XXXX-XXXX-XXXX-XXXX-XXXX',
	aws_cognito_region: 'eu-central-1',
	aws_user_pools_id: 'eu-central-1_XXXXXXX',
	aws_user_pools_web_client_id: 'XXXXXXXXXXXXXXXXX',
	oauth: {},

phedkvist / privateroute.ts

Created May 27, 2019 20:02

	const PrivateRoute: React.ComponentType<any> = ({
	component: Component,
	...rest
	}) => {
	return (
	<Route
	{...rest}
	render={props =>
	fakeAuth.isAuthenticated ? (
	<Component {...props} />

phedkvist / login.ts

Created May 27, 2019 20:00

	interface Props extends RouteComponentProps {}
	interface State {
	redirectToReferrer: boolean;
	}

	class Login extends React.Component<Props, State> {
	constructor(props: Props) {
	super(props);
	this.state = {
	redirectToReferrer: false

phedkvist / renderless_component.js

Last active March 20, 2019 10:09

Renderless component in React

	import React from 'react';
	import PropTypes from 'prop-types';

	export default class MouseMovement extends React.Component {
	constructor(props) {
	super(props);
	this.state = {
	timer: undefined,
	};
	this.timeout = this.timeout.bind(this);

phedkvist / draw.html

Last active August 10, 2022 16:22

HTML5 Canvas Drawing Touch or Mouse

	<!doctype html>

	<html lang="en">
	<head>
	<meta charset="utf-8">

	<title>HTML5 Canvas Drawing</title>
	</head>

	<body>

phedkvist / environmentvarinmac.txt

Last active December 21, 2016 16:23

How to create environment variable on mac

	Step 1: Open ./bash_profile:

	open ~/.bash_profile

	Step 2: Add your variable and save file

	export MYVARIABLE='valueHere'

	Step 3: Restart your terminal and check if you env variable exists