Discover gists

Exploring possibilities with simple indexed fields

Database records and formlets and optionally populated records can be neatly all represented with the same data type when the fields are all indexed.

class Indexed i a where
  type Index i (a :: *)

Books

A list of links containing cool references, resources and things related to books about Computer Science and related.

Haskell Programming for First Principles
Types and Programming Languages #math/type-theory
Essentials of Compilation #computer-science/compilers
How to design computer programs
Structure and Interpretation of Computer Programs
Introduction to Theory of Computation, Michael Sipser #computer-science/theory-of-computation

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare git@github.com:usi-systems/easytrace.git

JavaScript Done Right!
Devopedia, Oct 2018

0. Introduction

In this meetup, we'll talk about DOM access and manipulation. This can be done in plain JavaScript using the new APIs introduced in ES6. It can also be done using jQuery. We will look at both approaches. We leave it to developers to choose what suits them.

As a study reference, look at the following cheat sheets:

Android: Generate Release/Debug Keystores

Generate Keystores

Debug Keystore

$ keytool -genkey -v -keystore debug.keystore -storepass android -alias androiddebugkey -keypass android -keyalg RSA -keysize 2048 -validity 10000 -dname "C=US, O=Android, CN=Android Debug"

Using Git version control for code projects

Creating a new code repo from a local working copy

with the Github for Mac app

From the repositories view in the app, drag the project folder to the bottom of the left sidebar.
Hit "Yes" when it asks if you want to create a local git repository
Go to "Changes" view (⌘2)
Select the files that you want to commit their current state to the repository. You can view the changes of the file by clicking on the double up arrow on the file name bar.

This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.

Need

Convert .mov/.MP4 to .gif

Reason

As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.

This is not limited to developer, anyone has this need can use this method to convert the files.

	23.21.150.121:3478
	iphone-stun.strato-iphone.de:3478
	numb.viagenie.ca:3478
	s1.taraba.net:3478
	s2.taraba.net:3478
	stun.12connect.com:3478
	stun.12voip.com:3478
	stun.1und1.de:3478
	stun.2talk.co.nz:3478
	stun.2talk.com:3478

	<Version>1.0.0.0</Version>
	<BASIC>http://drive.google.com/uc?export=download&id=1WgqkqKV9Gz_C4a2b8FL1nmzo1c2GqY1K</BASIC>
	<STANDARD>http://drive.google.com/uc?export=download&id=1qEv2dOgRbcS_8UG59wNCuZ5TF_lCJS6k</STANDARD>
	<PLUS>http://drive.google.com/uc?export=download&id=1V-2H-PBEQCo6oySslpu8jxPt4MmCs-cU</PLUS>
	<KAV>http://drive.google.com/uc?export=download&id=1S9HomQ9RNGb13fdpD748hsUnfDtqLMm_</KAV>
	<KIS>http://drive.google.com/uc?export=download&id=1sWMncG8KkZI6msKkzqLC12SAefWiQJBR</KIS>
	<KTS>http://drive.google.com/uc?export=download&id=1ZE3WqqJDAuPFbKbmpqgMJ8Z1qfGZmEVb</KTS>
	<KSOS>http://drive.google.com/uc?export=download&id=1bz96C1Np7FMGiwHixI8N4XiTKbgbV8Ii</KSOS>
	<KES>http://drive.google.com/uc?export=download&id=1MvF-Uo_7IE2GtiJRkrXOFUtdkTQsQuGt</KES>
	<Trial>http://drive.google.com/uc?export=download&id=1y-7qzLZxBvCXZ3zFUJycgCY63CtFFu1I</Trial>

	package com.github.leosilvadev.detectorapp;

	import jakarta.jms.Connection;
	import jakarta.jms.QueueConnection;
	import jakarta.jms.QueueSession;
	import jakarta.jms.TopicConnection;
	import jakarta.jms.TopicSession;
	import org.apache.activemq.artemis.api.core.client.loadbalance.RoundRobinConnectionLoadBalancingPolicy;
	import org.apache.activemq.artemis.core.remoting.impl.netty.NettyConnectorFactory;
	import org.apache.activemq.artemis.jms.client.ActiveMQConnectionFactory;