johannes-riecken

interface RNGInterface {
  let Result: type;
  fn Random[addr self: Self*]() -> Result;
}

class BaseRNGClass { ... }

class FancyRNG {
  extend base: BaseRNGClass;
  extend impl as RNGInterface where .Result = f64 {

johannes-riecken

# First run `ffmpeg -i movie.mp4 -vf crop=953:704:162:11 cropped.mp4`
# Then run `ffmpeg -i cropped.mp4 'frames/%05d.png'` and run `python3 check_gray.py frames/*.png`.
# The script deletes frames where the upper left corner 10x10 box is neither white nor dark gray.

from PIL import Image
import numpy as np
import sys
import os

for f in sys.argv[1:]:

johannes-riecken

components:
  requestBodies:
    Shape:
      content:
        application/json:
          schema:
            $ref: '#/components/schemas/Shape'
  schemas:
    Circle:
      properties:

johannes-riecken

openapi: 3.0.0
info:
  title: "foo"
  version: "0.0.1"
  license:
    url: "https://www.example.com"
    name: "MIT"
servers:
  - url: "http://localhost:8080"
paths:

johannes-riecken

@nix { "action": "setPhase", "phase": "unpackPhase" }
unpacking sources
unpacking source archive /nix/store/wbg1gz92d9vvp9kfv0j7jwnydqbz8sl7-bazel-3.7.2-dist.zip
source root is .
@nix { "action": "setPhase", "phase": "patchPhase" }
patching sources
applying patch /nix/store/xms1dccbdpg8baylzl71ddm9zn36baqa-trim-last-argument-to-gcc-if-empty.patch
patching file tools/cpp/osx_cc_wrapper.sh.tpl
applying patch /nix/store/jwzbqr298z1d1n95pj14y6anrhr2lsaq-no-arc.patch
patching file tools/osx/xcode_locator.m

johannes-riecken

package main

import (
	"bufio"
	_ "embed"
	"encoding/json"
	"io/ioutil"
	"log"
	"os"
	"strings"

johannes-riecken

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeOperators #-}

import Data.Functor.Identity
import Data.Kind
import GHC.TypeLits
import Numeric.Fin -- from https://github.com/ekmett/numeric-fin/

johannes-riecken

    424 free
    324 strlen
    323 fprintf
    319 strcmp
    265 exit
    229 snprintf
    228 printf
    211 err
    203 memset
    189 malloc

johannes-riecken

import Control.Arrow
import Control.Arrow.Operations
import Control.Arrow.Transformer.All
import Data.Stream

frequency :: Int
frequency = 1024

exp :: StreamArrow (->) () Double
exp = fixA (integral >>> arr (+1))

johannes-riecken

grammar GoParser;

sourceFile
    : packageClause eos (importDecl eos)* ((functionDecl | methodDecl | declaration) eos)*
    ;

packageClause
    : 'package' IDENTIFIER
    ;