vkryukov

#!/usr/bin/env bash
###############################################################################
# codex_beam_bootstrap.sh  ─  OTP 27 + Elixir 1.18 behind Codex MITM proxy
###############################################################################
go install github.com/asdf-vm/asdf/cmd/[email protected]
asdf plugin add erlang https://github.com/michallepicki/asdf-erlang-prebuilt-ubuntu-24.04.git || true
asdf plugin add elixir

asdf install erlang 27.3.4
asdf set -u erlang 27.3.4

vkryukov

"""
Arithmetic puzzle solver. You are given a sequence of four digits, say 1,2,3,4,
and your job is to combine them with ordinary arithmetic operations (+, -, ×, and ÷)
in any order to make a target number. E.g. 24 = 1 * 2 * 3 * 4 or 24 = (1 + 2 + 3) * 4.

Some 'hard' problems from https://blog.plover.com/math/17-puzzle.html:
    1. Given 6, 6, 5, 2, get 17.
    2. Given 3, 3, 8, 8, get 24.
"""

vkryukov

package main

import (
	"fmt"
	"log"
	"math"
	"os"
	"sort"
	"strconv"
	"strings"

vkryukov

-990	[2]	= -(1 + (989))
-989	[2]	= -((1) * (989))
-988	[1]	= 1 - (989)
-976	[5]	= -((1 - (sqrt(9))) ^ (8) + (((sqrt(9))!)!))
-960	[4]	= (1 - (9)) * ((8 - (sqrt(9)))!)
-918	[4]	= -(198) - (((sqrt(9))!)!)
-912	[5]	= ((1 + (sqrt(9)))!) * (-(8)) - (((sqrt(9))!)!)
-900	[5]	= (sqrt(sqrt((1 + (9)) ^ (8)))) * (-(9))
-891	[2]	= (1 + (98)) * (-(9))
-890	[2]	= (1 + (9)) * (-(89))

vkryukov

package main

import (
	"fmt"
	"math"
	"os"
	"strconv"
)

type Op int64 // Operators

vkryukov

-988			=	1 - (989)
-960			=	(1 - (9)) * ((8 - (sqrt(9)))!)
-881			=	1 - ((98) * (9))
-873			=	(1 - (98)) * (9)
-839			=	1 - (((sqrt(9))!)! + (8 - (sqrt(9)))!)
-817			=	1 - (98) - (((sqrt(9))!)!)
-808			=	1 - (((sqrt(9))!)! + 89)
-800			=	1 - (sqrt(sqrt((9) ^ (8))) + ((sqrt(9))!)!)
-791			=	1 - ((9) * (8)) - (((sqrt(9))!)!)
-784			=	(1 - (9)) * (8) - (((sqrt(9))!)!)

vkryukov

-988			=	1 - (989)
-960			=	(1 - (9)) * ((8 - (sqrt(9)))!)
-881			=	1 - ((98) * (9))
-873			=	(1 - (98)) * (9)
-817			=	1 - (98) - (((sqrt(9))!)!)
-800			=	1 - ((9) * (89))
-791			=	1 - ((9) * (8)) - (((sqrt(9))!)!)
-784			=	(1 - (9)) * (8) - (((sqrt(9))!)!)
-743			=	1 - ((sqrt(9)) * (8)) - (((sqrt(9))!)!)
-736			=	1 - (9 + 8) - (((sqrt(9))!)!)

vkryukov

package main

import (
	"bytes"
	"fmt"
	"strings"

	"code.google.com/p/go.net/html"
	"code.google.com/p/go.net/html/atom"
)

vkryukov

package main

import (
	"bytes"
	"fmt"
	"log"
	"net/mail"

	enmime "github.com/jhillyerd/go.enmime"
)

vkryukov

randomPoints[n_] := RandomSample[Block[{nn = Ceiling[Sqrt[n]]},
    Flatten[Table[{i, j}, {i, 1, nn}, {j, 1, nn}], 1]], n];
(* n is number of moves = 2 * number of points *)
randomBoard[n_] := Module[
  {points = randomPoints[2 n]},
  Join[
   Take[points, n] /. {x_, y_} -> black[x, y],
   Take[points, -n] /. {x_, y_} -> white[x, y]
   ]]