Skip to content

Instantly share code, notes, and snippets.

View oldaccountarchived's full-sized avatar

Eva Jenkins oldaccountarchived

  • Folx Health
  • Queens, NY
View GitHub Profile
@oldaccountarchived
oldaccountarchived / colors.sh
Created September 24, 2012 01:18
Display ANSI Term Colors (from the #! Forums)
#!/bin/bash
#
# This file echoes a bunch of color codes to the
# terminal to demonstrate what's available. Each
# line is the color code of one forground color,
# out of 17 (default + 16 escapes), followed by a
# test use of that color on all nine background
# colors (default + 8 escapes).
#
@oldaccountarchived
oldaccountarchived / Twilight.itermcolors
Created December 10, 2012 03:38
Twilight.itermcolors
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>Ansi 0 Color</key>
<dict>
<key>Blue Component</key>
<real>0.078821629285812378</real>
<key>Green Component</key>
<real>0.07883714884519577</real>
@oldaccountarchived
oldaccountarchived / gist:4558102
Created January 17, 2013 18:07
Lobste.rs style Hacker News.
tbody tr td {
border-color: #FFFFFF;
background-color: #FFFFFF;
font-family: Helvetica Neue;
border-style: none;
padding-top: 4px;
}
html body center {
background-color: #FFFFFF;
@oldaccountarchived
oldaccountarchived / bootstrap.css
Created November 13, 2013 16:10
Bootstrap CSS
/*!
* Bootstrap v3.0.2 by @fat and @mdo
* Copyright 2013 Twitter, Inc.
* Licensed under http://www.apache.org/licenses/LICENSE-2.0
*
* Designed and built with all the love in the world by @mdo and @fat.
*/
/*! normalize.css v2.1.3 | MIT License | git.io/normalize */

Discrete Mathematics

Propositional Logic (Sec. 1.1 - 1.3)

  • Basic Defintions
  • Equivalence rules & Derivations

What is Prop. Logic?

  • Definition: The logic of compound staements built from simpler statements using boolean connectives.
  • Applications
    • Design of digital circuits
    • Expressing conditions
    • Queries

Discrete Mathematics

Propositional Logic (Sec. 1.1 - 1.3)

  • Basic Defintions
  • Equivalence rules & Derivations

What is Prop. Logic?

  • Definition: The logic of compound staements built from simpler statements using boolean connectives.
  • Applications
    • Design of digital circuits
    • Expressing conditions
    • Queries

Programming Fundamentals 2 for CISE Majors

Introduction

What is Computer Science?

  • Underlying principles that allow for the design and implementation of computer solutions.
;;; github-theme.el --- Github color theme for GNU Emacs 24
;; Copyright (C) 2011 Dudley Flanders <dudley@steambone.org>
;; Author: Dudley Flanders
;; Adapted-By: Yesudeep Mangalapilly
;; Adapted-By: Joshua Timberman
;; Keywords: github color theme
;; URL: http://github.com/dudleyf/color-theme-github
;; Version: 0.0.3

The Hitchiker's Guide to Git, C++, and Sublime Text on Windows

by Jacob Jenkins, Mac user.

This guide is for COP 3503 at the University of Florida.

Overview

First, get these installers: