MatrixMike

// Top-level build file where you can add configuration options common to all sub-projects/modules.
buildscript {
    ext.kotlin_version = '1.6.21'
    repositories {
        google()
        mavenCentral()
    }
    dependencies {
        classpath 'com.android.tools.build:gradle:7.4.2'
        classpath "org.jetbrains.kotlin:kotlin-gradle-plugin:$kotlin_version"

MatrixMike

Full List of Environment Variables in Windows 10

![information][6] Information

[Environment variables][7] are a set of dynamic named values that can affect the way running processes will behave on a computer. The variables can be used both in scripts and on the command line. Environment variables makes it easy when certain standard directories and parameters need to be referenced but where the actual locations or names can vary from computer to computer.

This tutorial will show you a complete list of environment variables that can be used to reference standard directories and parameters in Windows 10.

![Note][8] Note

MatrixMike

#include <dht.h>
#include <SPI.h>
#include <RH_RF95.h>

// Singleton instance of the radio driver
RH_RF95 rf95;
float frequency = 915.0;  //frequency settings
dht DHT;
#define DHT11_PIN A0
float temperature,humidity,tem,hum;

MatrixMike

# gcc -Wall -o match match.c && ./match
#


#include <stdio.h>
#include <string.h>
#include <regex.h>

MatrixMike

* Les: Getting more comfortable with HoTT - Talk: "Bluffers Guide to HoTT"
	History - Barber's Paradoxes, etc.
	Russell stratifying set theory
	Martin Löf in the 1970s
	In TT - Say term x is of type t -> `x : t`
	This is a judgement
	Curry Howard - Types and terms = Conjecture/proposition and Proof
	Things become interesting in the presence of equality
	equality is always with respect to some type
	exists t -> x:t = y:t

MatrixMike

#include <geanyplugin.h>

GeanyData *geany_data;
GeanyPlugin *geany_plugin;
GeanyFunctions *geany_functions;

PLUGIN_VERSION_CHECK(211);

PLUGIN_SET_INFO("Tab Sort",
                "Automatically keeps document tabs sorted",

MatrixMike

import Control.Applicative ((<$>))

center :: String -> Int -> String
center s n = spaces ++ s ++ spaces
  where spaces = replicate ((n - length s) `div` 2) ' '

-- http://www.haskell.org/haskellwiki/Blow_your_mind, Ctrl-F "pascal"
pascal :: [[Int]]
pascal = iterate (\row -> zipWith (+) ([0] ++ row) (row ++ [0])) [1]