dittos

import re
import tiktoken
from collections import defaultdict
from textwrap import fill

pattern = re.compile(r"[가-힣]")


def get_vocabs(t):
  for i in range(t.n_vocab):

dittos

interface X<T> {
    // m(o: T): void;   // is ok
    (o: T): void;
}

class A {
    f: X<this>;
}

class B extends A {

dittos

package org.sapzil;

import java.io.Serializable;

import javax.persistence.Entity;
import javax.persistence.FetchType;
import javax.persistence.Id;
import javax.persistence.IdClass;
import javax.persistence.ManyToOne;

dittos

package org.sapzil

import org.springframework.boot.autoconfigure.SpringBootApplication

@SpringBootApplication
open class Application

dittos

import java.io._

def sizeOf[T](x:T, y:T): (Long, Long) = {
val buf = new ByteArrayOutputStream
val oos = new ObjectOutputStream(buf)
oos.writeObject(x)
val initSize = buf.size
oos.writeObject(y)
val size = buf.size - initSize
oos.close

dittos

import sys
from ctypes import *
from math import isfinite

'''
1) 수식을 파이썬 바이트코드로 컴파일

수식이 바이트코드로 컴파일 될 때 constant folding이 돼서 너무 간단해져 버리지 않도록 함
lineno table에서 연속된 두 바이트코드의 실제 코드상 라인 번호가 255 이상 차이나면 최적화하지 않는 것을 이용
참고: https://github.com/python/cpython/blob/e4091c77026088cb0611b6e896b1579805253f5b/Python/peephole.c#L403

dittos

import static react.ReactDOM.*;

class TodoList extends ReactComponent {
    public static final ReactProp<List<TodoItem>> ITEMS = ReactProp.create();

    public static ReactElement.Builder<TodoList> builder() {
        return ReactElement.builder(TodoList.class);
    }

    public ReactElement render() {

dittos

• 쓰레드가 N개인 쓰레드 풀이 있습니다.
• 들어오는 태스크에는 Key가 있어서, Key가 같은 태스크끼리는 들어오는 순서대로 실행되어야 합니다.

예:

Pool Size = 4

dittos

Relay.QL transformation

• Relay.QL`... `
• -> babel-relay-plugin GraphQLPrinter
• -> A function that returns Relay GraphQL ('Query Builder')

Collecting queries

• RelayRootContainer (on mount)
  • getRelayQueries

dittos

import sys
from wand.image import Image
from wand.color import Color
from wand.drawing import Drawing

with Image(filename=sys.argv[1]) as img:
    pixels = []
    for row in img:
        for col in row:
            pixels.append(col)