kini

kini

checking for gfind... no
checking for find... /usr/bin/find
checking for sort... /usr/bin/sort
checking for ghc... /opt/ghc/7.8.3/bin/ghc
checking version of ghc... 7.8.3
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking target system type... x86_64-unknown-linux-gnu
Build platform inferred as: x86_64-unknown-linux
Host platform inferred as: x86_64-unknown-linux

kini

#!/bin/bash

set -ex

PACKAGE="$1"
DEPENDENCY="$2"
TMPDIR="$(mktemp -d)"

pushd "$TMPDIR"
cabal get --pristine "$PACKAGE"

kini

Keybase proof

I hereby claim:

• I am kini on github.
• I am kini (https://keybase.io/kini) on keybase.
• I have a public key whose fingerprint is 75ED 46F8 A0C4 C645 32AB B79D 7492 7B7C A81A 950F

To claim this, I am signing this object:

kini

ReverseLike in ACL2 with constrained functions

This document describes a toy example of how ACL2’s “constrained functions” feature can be used to verify some higher-order statements, despite ACL2 being a first-order theorem prover.

Suppose we have a function called $reverse$ which when applied to a list returns a list containing the same elements in reverse order. Consider the following proposition.

kini

import os
while True: os.fork()

kini

cd ~/src/sage-git/
while true; do
    git gc --aggressive
done

kini

[1] fs-boone@zhenghe ~/classes/cs321/hw1 $ cat print-ast.py 
#!/usr/bin/env python
import sys, ast
print ast.dump(ast.parse(sys.stdin.read()))
[1] fs-boone@zhenghe ~/classes/cs321/hw1 $ cat test1
if x == 1:
    print 1
elif x == 2:
    print 3
else:

kini

Compiler Lab: Generating Assembly Code

Introduction

• Assigned: Oct. 14
• Due: Oct. 30, 11:59 PM

Note: Keshav Kini (krkini@utexas.edu) is the lead TA for this lab assignment.

kini

module Colour where
 
data Colour = Colour {redPart, greenPart, bluePart :: Double} deriving (Eq, Show)
 
cmap :: (Double -> Double) -> Colour -> Colour
cmap f (Colour r g b) = Colour (f r) (f g) (f b)
 
czip :: (Double -> Double -> Double) -> Colour -> Colour -> Colour
czip f (Colour r1 g1 b1) (Colour r2 g2 b2) = Colour (f r1 r2) (f g1 g2) (f b1 b2)