Microtribute

## US_State_Bounding_Boxes.csv

          
            
            STATEFP
            STUSPS
            NAME
            xmin
            ymin
            xmax
            ymax

            
              1
              01
              AL
              Alabama
              -88.473227
              30.223334
              -84.88908
              35.008028

            
              2
              02
              AK
              Alaska
              -179.148909
              51.214183
              179.77847
              71.365162

            
              3
              60
              AS
              American Samoa
              -171.089874
              -14.548699
              -168.1433
              -11.046934

            
              4
              04
              AZ
              Arizona
              -114.81651
              31.332177
              -109.045223
              37.00426

            
              5
              05
              AR
              Arkansas
              -94.617919
              33.004106
              -89.644395
              36.4996

            
              6
              06
              CA
              California
              -124.409591
              32.534156
              -114.131211
              42.009518

            
              7
              08
              CO
              Colorado
              -109.060253
              36.992426
              -102.041524
              41.003444

            
              8
              69
              MP
              Commonwealth of the Northern Mariana Islands
              144.886331
              14.110472
              146.064818
              20.553802

            
              9
              09
              CT
              Connecticut
              -73.727775
              40.980144
              -71.786994
              42.050587

## telegramdesktop.desktop
[Desktop Entry]
Version=1.0
Name=Telegram Desktop
Comment=Official desktop version of Telegram messaging app
TryExec=/opt/Telegram/Telegram
Exec=/opt/Telegram/Telegram -- %u
Icon=telegram
Terminal=false
StartupWMClass=TelegramDesktop
Type=Application

## lazy_matrix.hs
acks :: [[Int]]
acks = [ [ case (m, n) of
                (0, _) -> n + 1
                (_, 0) -> acks !! (m - 1) !! 1
                (_, _) -> acks !! (m - 1) !! (acks !! m !! (n - 1))
         | n <- [0..] ]
       | m <- [0..] ]

main :: IO ()
main = print $ acks !! 4 !! 1

## Random-string
 //http://stackoverflow.com/questions/105034/how-to-create-a-guid-uuid-in-javascript
 Math.random().toString(36).substring(2, 15) + Math.random().toString(36).substring(2, 15);

## elm_extend_records.elm
-- Extensible Records

-- given a record
x = { age = 42, name = "Boke" }

-- you can clone and remove a field in the process
{ x - age } -- { name = "Boke" }

-- you can also add a field
{ x | species = "Jade Dragon" } -- { age = 42, name = "Boke", species = "Jade Dragon" }

## ConstructorMapper.php
<?php
namespace Acme\Symfony\Form\DataMapper;

use Symfony\Component\Form\Exception\TransformationFailedException;
use Symfony\Component\Form\Extension\Core\DataMapper\PropertyPathMapper;
use Symfony\Component\PropertyAccess\PropertyAccessorInterface;
use Symfony\Component\Serializer\NameConverter\NameConverterInterface;

class ConstructorMapper extends PropertyPathMapper
{

## Main.elm
module Main exposing (..)

import Http
import Task
import Html.App as Html
import Html exposing (..)
import Html.Attributes exposing (..)
import Html.Events exposing (..)
import Form exposing (Form)
import Form.Validate as Validate exposing (..)

## checkIsBrave.js
// helper to find Brave in User Agent string
function isBraveAgent(userAgentResponse) {
	var isBraveIndex = ~userAgentResponse.indexOf('Brave')
	if (isBraveIndex < 0) {
		return true
	}
	return false
}

// Function from Javarome

## Math.php
<?php

class Math {

        /**
         * The base.
         *
         * @var string
         */
        private static $base = '0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ';

## CountryRepository.php
<?php

namespace AppBundle\Repository;

use AppBundle\Entity\Country;
use AppBundle\Entity\CountryTranslation;
use Doctrine\ORM\EntityRepository;
use Doctrine\ORM\Query\ResultSetMapping;
use Doctrine\ORM\QueryBuilder;
	STATEFP	STUSPS	NAME	xmin	ymin	xmax	ymax
1	01	AL	Alabama	-88.473227	30.223334	-84.88908	35.008028
2	02	AK	Alaska	-179.148909	51.214183	179.77847	71.365162
3	60	AS	American Samoa	-171.089874	-14.548699	-168.1433	-11.046934
4	04	AZ	Arizona	-114.81651	31.332177	-109.045223	37.00426
5	05	AR	Arkansas	-94.617919	33.004106	-89.644395	36.4996
6	06	CA	California	-124.409591	32.534156	-114.131211	42.009518
7	08	CO	Colorado	-109.060253	36.992426	-102.041524	41.003444
8	69	MP	Commonwealth of the Northern Mariana Islands	144.886331	14.110472	146.064818	20.553802
9	09	CT	Connecticut	-73.727775	40.980144	-71.786994	42.050587
	[Desktop Entry]
	Version=1.0
	Name=Telegram Desktop
	Comment=Official desktop version of Telegram messaging app
	TryExec=/opt/Telegram/Telegram
	Exec=/opt/Telegram/Telegram -- %u
	Icon=telegram
	Terminal=false
	StartupWMClass=TelegramDesktop
	Type=Application
	acks :: [[Int]]
	acks = [ [ case (m, n) of
	(0, _) -> n + 1
	(_, 0) -> acks !! (m - 1) !! 1
	(_, _) -> acks !! (m - 1) !! (acks !! m !! (n - 1))
	\| n <- [0..] ]
	\| m <- [0..] ]

	main :: IO ()
	main = print $ acks !! 4 !! 1
	//http://stackoverflow.com/questions/105034/how-to-create-a-guid-uuid-in-javascript
	Math.random().toString(36).substring(2, 15) + Math.random().toString(36).substring(2, 15);
	-- Extensible Records

	-- given a record
	x = { age = 42, name = "Boke" }

	-- you can clone and remove a field in the process
	{ x - age } -- { name = "Boke" }

	-- you can also add a field
	{ x \| species = "Jade Dragon" } -- { age = 42, name = "Boke", species = "Jade Dragon" }
	<?php
	namespace Acme\Symfony\Form\DataMapper;

	use Symfony\Component\Form\Exception\TransformationFailedException;
	use Symfony\Component\Form\Extension\Core\DataMapper\PropertyPathMapper;
	use Symfony\Component\PropertyAccess\PropertyAccessorInterface;
	use Symfony\Component\Serializer\NameConverter\NameConverterInterface;

	class ConstructorMapper extends PropertyPathMapper
	{
	module Main exposing (..)

	import Http
	import Task
	import Html.App as Html
	import Html exposing (..)
	import Html.Attributes exposing (..)
	import Html.Events exposing (..)
	import Form exposing (Form)
	import Form.Validate as Validate exposing (..)
	// helper to find Brave in User Agent string
	function isBraveAgent(userAgentResponse) {
	var isBraveIndex = ~userAgentResponse.indexOf('Brave')
	if (isBraveIndex < 0) {
	return true
	}
	return false
	}

	// Function from Javarome
	<?php

	class Math {

	/**
	* The base.
	*
	* @var string
	*/
	private static $base = '0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ';
	<?php

	namespace AppBundle\Repository;

	use AppBundle\Entity\Country;
	use AppBundle\Entity\CountryTranslation;
	use Doctrine\ORM\EntityRepository;
	use Doctrine\ORM\Query\ResultSetMapping;
	use Doctrine\ORM\QueryBuilder;