This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
FROM=$1 | |
TO=$2 | |
if [ -z "$FROM" ]; then echo "Usage: ./switch_vm.sh <current_vmid> <next_vmid>"; exit 1; fi | |
if [ -z "$TO" ]; then echo "Usage: ./switch_vm.sh <current_vmid> <next_vmid>"; exit 1; fi | |
echo "waiting for $FROM to shutdown, then starting $TO" | |
while : ; do |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
! --- ~/.Xresources ------------------------------------------------------------ | |
! ------------------------------------------------------------------------------ | |
! --- generated with 4bit Terminal Color Scheme Designer ----------------------- | |
! ------------------------------------------------------------------------------ | |
! --- http://ciembor.github.com/4bit ------------------------------------------- | |
! ------------------------------------------------------------------------------ | |
! --- special colors --- | |
*background: #122537 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
chip A | |
connector io | |
pin i : %< int // we read from | |
pin o : %> int // we write to | |
{ | |
while true do | |
// take the value provided and send it upstream | |
x := read io.i; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
include "std/gc"; | |
open Gc; | |
// doesn't seem to do anything yet. | |
private body raw_array_cleanup_func = | |
""" | |
static void _raw_array_cleanup ( ::flx::gc::generic::collector_t *, void*) { | |
printf("Cleaning up\\n"); | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;; Turn off auto save | |
(setq auto-save-default nil) | |
;; Turn off the toolbar | |
(tool-bar-mode -1) | |
;; set theme | |
;; change colors based on time |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
open syntax chips; | |
// the most basic integer summing device | |
chip sum | |
connector pins | |
pin i1: %< int | |
pin i2: %< int | |
pin r1: %> int | |
{ | |
while true do |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <stdlib.h> | |
#include <stdio.h> | |
#include <string.h> | |
#include "libtcc.h" | |
#include "tcc.h" | |
void repl() |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Jason Hemann and Dan Friedman | |
// microKanren, final implementation from paper | |
SCHEME """ (define (var c) (vector c)) """; | |
SCHEME """ (define (var? x) (vector? x)) """; | |
SCHEME """ (define (var=? x1 x2) (= (vector-ref x1 0) (vector-ref x2 0))) """; | |
SCHEME """ | |
(define (assp p l) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
set -e | |
cd ~ | |
# get tmux conf | |
if [ ! -f "~/.tmux.conf" ]; then | |
wget https://gist.githubusercontent.com/gbluma/3e7019299c0e14a7e438/raw/7ad1f6b05520ab7285be6c6878904efecbd4f158/tmux.conf | |
mv tmux.conf .tmux.conf | |
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
.PHONY: test | |
test: gtk.fpc | |
flx --pkgconfig-path+=. --static -o app gtk.flx | |
gtk.fpc: | |
echo "cflags: `pkg-config --cflags gtk+-3.0`" > gtk.fpc | |
echo "requires_slibs: `pkg-config --libs gtk+-3.0`" >> gtk.fpc |
NewerOlder