pathawks

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (= 1 board11))
(declare-const board12 Int)(assert (= 9 board12))
(declare-const board13 Int)(assert (and (<= 1 board13)(<= board13 9)))
(declare-const board14 Int)(assert (and (<= 1 board14)(<= board14 9)))
(declare-const board15 Int)(assert (and (<= 1 board15)(<= board15 9)))
(declare-const board16 Int)(assert (and (<= 1 board16)(<= board16 9)))

pathawks

const qs    = require('querystring');
const https = require('https');
const url   = require('url');

const googleLink = function (text) {
    const query = encodeURIComponent(text).replace(/%20/g,'+');
    return "<https://www.google.com/search?q=" + query + "|google.com/search?q=" + query + ">";
}

const qrCode = function (url) {

pathawks

I ❤️ Swift

📜 View The Slides

About Swift Philosophy

Swift is friendly to new programmers. It is the first industrial-quality systems programming language that is as expressive and enjoyable as a scripting language.

The compiler is optimized for performance, and the language is optimized for development, without compromising on either. It’s designed to scale from “hello, world” to an entire operating system.

pathawks

# filename: 99Bottles.s
# author:   Pat Hawks <pat@pathawks.com>

.data
Lyric1:
  .asciiz " bottles of beer on the wall\n"
Lyric2:
  .ascii  " bottles of beer\n"
  .asciiz "Take one down, Pass it around\n"
Lyric3:

pathawks

/**
 * Shows how a number is represented as IEEE 754
 *
 * @author      Pat Hawks
 * Course:      COMP B13
 * Created:     Sept 29, 2015
 * Source File: ieeefloat.c
 */

#include <stdio.h>

pathawks

/**
 * @author:     Pat Hawks
 * Created on:  Mar 06, 2015
 * Source File: Challenge2.s
 *
 * To compile:
 *    gcc Challenge2.s -o Challenge2
 */

.code32

pathawks

/**
 * @author:     Pat Hawks
 * Created on:  Feb 26, 2015
 * Source File: Test.cpp
 */

#include <iomanip>
#include <iostream>
#include <string>
using namespace std;

pathawks

REM To run:
REM    1. Get a time machine
REM    2. Travel back to the early 90s
REM    3. In MS-DOS 5+, run `qbasic /run CHALLEN1.BAS`

 10 PRINT "Enter a whole number between 1000 and 999999 without spaces or commas."
 20 INPUT "", N&
 30 IF N& < 1000 OR N& > 999999 THEN GOTO 10
 40 PRINT LTRIM$(STR$(INT(N& / 1000)));
 50 PRINT ",";

pathawks

Option	Explanation
-o <OutputFile>	Specify name of output file
-Wall	Shows all warning messages
-Wextra	Shows even more warning messages
-g	Include debug information in output (For debugging with gdb)
-gstabs	Include debug information in output (-g is preferred)
-c	Do not link; output object file (Does not produce .exe)
-S	Do not assemble; output assembler code.
-O0	Do not optimize output (Useful for debugging)

pathawks

Installing Git

• GitHub Dekstop
• GitHub Eclipse
• Git Command Line tools

Git resources

• Git Cheat Sheet
• The GitHub Flow
• GitHub Training
• GitHub Training & Guides on YouTube