Skip to content

Instantly share code, notes, and snippets.

View User4574's full-sized avatar

Nat Lasseter User4574

View GitHub Profile
@User4574
User4574 / sudoku.rb
Last active March 23, 2021 00:03
Ruby ILP SAT sudoku solver
class Variable
def initialize(domain)
@domain = domain
end
def fixed?
if @domain.length == 1
@domain[0]
else
false
@User4574
User4574 / section.c
Created October 15, 2020 16:22
section
#include <regex.h>
#include <stdio.h>
#include <stdlib.h>
int main(int argc, char** argv) {
regex_t* preg;
int reti;
char* linebuf;
char insection;
@User4574
User4574 / .Xmodmap
Created July 15, 2020 13:57
Swap numbers and symbols on the numrow
keycode 10 = exclam 1 exclam 1 onesuperior exclamdown onesuperior
keycode 11 = quotedbl 2 quotedbl 2 twosuperior oneeighth twosuperior
keycode 12 = sterling 3 sterling 3 threesuperior sterling threesuperior
keycode 13 = dollar 4 dollar 4 EuroSign onequarter EuroSign
keycode 14 = percent 5 percent 5 onehalf threeeighths onehalf
keycode 15 = asciicircum 6 asciicircum 6 threequarters fiveeighths threequarters
keycode 16 = ampersand 7 ampersand 7 braceleft seveneighths braceleft
keycode 17 = asterisk 8 asterisk 8 bracketleft trademark bracketleft
keycode 18 = parenleft 9 parenleft 9 bracketright plusminus bracketright
keycode 19 = parenright 0 parenright 0 braceright degree braceright
@User4574
User4574 / hi
Created September 19, 2018 10:08
#!/usr/bin/ucblogo
print [Hello, World!]
bye
be "bad".
outer is unary {
inner is nonary {
POST
},
export inner ' This is going to end in failure.
}.
outer 4.
s is need "stdio".
f is nonary {
add is binary {
PRE + POST
},
s:println 4 add 5,
s:println add
}.
> isCorner(3);
undefined
> rows
5
> cols
5
> isCorner
function isCorner(i) {
return
i == 0 ||
@User4574
User4574 / deep-extend.js
Created August 22, 2016 13:15 — forked from amatiasq/deep-extend.js
Deep extend for simple JSON objects
function deepExtend(target, source) {
Object.keys(source).forEach(function(key) {
var value = source[key];
var dest = target[key];
var sourceType = typeof value;
var destType = typeof target[key];
if (Array.isArray(value) && Array.isArray(dest))
target[key] = dest.concat(value);
else if (sourceType === destType && sourceType === 'object')
@User4574
User4574 / make.rb
Created August 21, 2016 21:56
Ruby script to make playing The Factory efficient
#!/usr/bin/env ruby
require 'json'
Products = JSON.parse(DATA.read)
Productindex = Products.keys
ingredientsstack = []
buildstack = {}
build = ARGV.shift
@User4574
User4574 / box.mzn
Last active April 12, 2016 12:59
Intended to find the dimensions of a rectangle with an area at least n units and a ratio e.
include "globals.mzn";
% Given an integer n and a real e
par int: n = 566*708;
par float: e = 16/9;
% Find two integers r <= c
var int: r; var int: c;
constraint c >= r;
output [