kini

-- | baserep base num digits = (mantissa, exponent)
baserep :: (RealFrac a) => a -> a -> Int -> ([Int], Int)
baserep _ _ 0 = ([], 0)
baserep base num digits
  | num < 0     = undefined
  | num >= base = let (x, y) = baserep base (num / base) digits in (x, y+1)
  | otherwise   = let d = fromIntegral (floor num)
                      (x, y) = baserep base ((num - fromIntegral d) * base) (digits - 1)
                  in (d : x, y)

kini

### Do the version bump in the repository
cd ~/src/sagenb/
git remote update   # sync with github
git checkout master
git pull --ff-only   # this branch is set to track upstream/master
# edit ./Changes and ./setup.py
git status
git commit -am 'Version bump to 0.10.7'
# before actually finalizing this, need to test

kini

#!/bin/bash

########################################################################
#  A small script to help upload cover art sets to CAA, for example
#  from VGMDB.  Put this script in a staging directory, which will
#  contain a subdirectory for each release you will be adding cover
#  art sets for.  Then copy or download all the cover art into the
#  staging directory and run this script with [a URL ending in] a
#  release MBID as an argument.

kini

Bomb Lab: Defusing a Binary Bomb

Introduction

• Assigned: Sep. 28
• Due: Oct. 12

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

kini

random () {
    # note: $RANDOM only gives 15 bits of entropy, and the apparently
    # commonly used $RANDOM$RANDOM is non-uniform as it misses such
    # numbers as 4294967295.  This command will grab 4 bytes from
    # /dev/urandom, interpret them as a 4-byte unsigned integer, and
    # format them in decimal representation.  It can be used as a
    # replacement for $RANDOM when you want a full 32 bits of entropy.
    od -An -t u4 -N4 < /dev/urandom | tr -d '[[:space:]]'
}
export -f random

kini

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <stdbool.h>

bool print_permutation(unsigned int n,
                       unsigned int permutation[n],
                       unsigned int count[n]) {
  printf("Permutation: [");
  for (unsigned int i = 0; i < n; i++) {

kini

@article{greenwade93,
    author  = "George D. Greenwade",
    title   = "The {C}omprehensive {T}ex {A}rchive {N}etwork ({CTAN})",
    year    = "1993",
    journal = "TUGBoat",
    volume  = "14",
    number  = "3",
    pages   = "342--351"
}

kini

  ;; ACL2 certification dimmer function
  (defun acl2-cert-dimmer-for-comint (str)
    "When cert.pl says it has certified something, go back and
dim the text where it said it was making that thing.  This way
you can easily tell at a glance what books are still certifying."
    (let ((pos-in-str nil)
          ;; This is broken; comint-last-input-end isn't really the
          ;; end of the last input.  I should probably search to the
          ;; previous prompt, or something.
          (beginning-of-output comint-last-input-end))

kini

[foo*]
indent_size = 2

[foobar*]
indent_size = unset