I hereby claim:
- I am mlsteele on github.
- I am mlsteele (https://keybase.io/mlsteele) on keybase.
- I have a public key whose fingerprint is 1F5D E74F 4D4E 8884 775F 2BF1 514F C072 20D4 A61A
To claim this, I am signing this object:
object SententialCalculus { | |
// Here is a scala program which classifies an SC sentence. | |
// It recognizes whether the sentence is an SC sentence, | |
// and returns the parsed typed tree. | |
// You can run this with the following command, but here's | |
// an executive summary. | |
// fsc -d build classifier.scala && scala -classpath build SententialCalculus | |
// Executive summary: | |
// If the input is a single predicate atom, this is an atom. | |
// If the input starts with a NOT, this is a negation. |
#!/usr/bin/env python | |
import sys | |
import subprocess | |
import netifaces | |
if __name__ == "__main__": | |
ipv4 = netifaces.ifaddresses('wlan0')[netifaces.AF_INET][0]['addr'] | |
print ipv4 | |
if len(sys.argv) > 1: | |
subprocess.Popen(["sm", "-f", "#000", "-b", "#DDD", " {} ".format(ipv4)]) |
I hereby claim:
To claim this, I am signing this object:
miles@attercop:~/code/taksman$ tree tasks | |
tasks | |
├── done | |
│ └── foo | |
├── entry | |
│ ├── 033-dns | |
│ ├── 033-reading | |
│ ├── 115-cable | |
│ ├── 115-lab1 | |
│ ├── 115-locker |
ag fofo |
ag fofo |
ag fofo |
ag fofo |
ag fofo |
ag fofo |