Initial project proposal (contains motivation and goals, while this document primarily focuses on the implementation):
Discussion threads:
WillyPillow WillyPillow
WillyPillow
/ solve.py
Created
January 5, 2022 16:50
https://www.reddit.com/r/algorithms/comments/rw6pow/i_have_a_set_of_arrays_which_im_having_trouble/hrdbypu/?context=3
This file contains hidden or 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
| # pylint: disable=missing-module-docstring | |
| # pylint: disable=missing-function-docstring,missing-class-docstring | |
| # pylint: disable=invalid-name | |
| import pprint | |
| from pycryptosat import Solver | |
| data = [ | |
| [2, 5, 8, 11], |
WillyPillow
/ Chapter-1-6.hs
Last active
August 3, 2020 15:38
— forked from banacorn/Chapter-1-6.hs
This file contains hidden or 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
| -- This exercise covers the first 6 chapters of "Learn You a Haskell for Great Good!" | |
| -- Chapter 1 - http://learnyouahaskell.com/introduction | |
| -- Chapter 2 - http://learnyouahaskell.com/starting-out | |
| -- Chapter 3 - http://learnyouahaskell.com/types-and-typeclasses | |
| -- Chapter 4 - http://learnyouahaskell.com/syntax-in-functions | |
| -- Chapter 5 - http://learnyouahaskell.com/recursion | |
| -- Chapter 6 - http://learnyouahaskell.com/higher-order-functions | |
| -- Download this file and then type ":l Chapter-1-6.hs" in GHCi to load this exercise |
This file contains hidden or 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
| #!/usr/bin/env python3 | |
| import argparse | |
| import datetime | |
| import os | |
| import subprocess | |
| import sys | |
| import tempfile | |
| import qubesadmin |
WillyPillow
/ main.md
Last active
August 27, 2020 10:24
[GSoC 2020] Qubes OS Template Manager Design
This file contains hidden or 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
| #ifndef DIMACS | |
| #include <cryptominisat5/cryptominisat.h> | |
| #else | |
| #include <fstream> | |
| #include <vector> | |
| #endif | |
| namespace sat { | |
| #ifndef DIMACS |
WillyPillow
/ gist:9f8d6ed5153fbe8c15ae07e6f8f8ec3b
Created
January 24, 2017 23:56
This file contains hidden or 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
| Verifying that "willypillow.id" is my Blockstack ID. https://onename.com/willypillow |
This file contains hidden or 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 | |
| usage () { echo "$0 <src> <cadaver-args>*" >/dev/stderr; } | |
| error () { echo "$1" >/dev/stderr; usage; exit 1; } | |
| test $# '<' 3 || \ | |
| error "Source and cadaver arguments expected!"; | |
| src="$1"; shift; | |
| test -r "$src" || \ |