ianloic

require 'rdl'
require 'types/core'

extend RDL::Annotate

type '(String) -> nil', typecheck: :now
def greet(name)
  puts "hello, #{name}."
end

ianloic

import 'dart:async';

class AsyncProxyController<T> {
  
}

class AsyncProxy<T> {
  AsyncProxyController<T> ctrl;
}

ianloic

// Copyright 2018 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
//
// WARNING: This file is machine generated by fidlgen.

library fidl_fidl_examples_events$async;

import 'dart:async';
import 'dart:typed_data';

ianloic

import 'dart:async';

import 'other.dart' show Error;

abstract class Wlan {
  Future<Error> method();
}

class WlanFuturize {
  final Wlan _inner;

ianloic

int SIGNAL = A2;

void setup() {
    // start serial port at 9600 bps and wait for port to open:
  Serial.begin(9600);
  while (!Serial) {
    ; // wait for serial port to connect. Needed for native USB port only
  }

  Serial.println("hello.");

ianloic

#!/bin/bash

set -eu

# gzip a user.bootfs to make a high-entropy test files
# make 10M, 1M, 100K, 10K test files
gzip -c < $FUCHSIA_BUILD_DIR/user.bootfs | dd of=test-file-10M bs=1M count=10 iflag=fullblock
dd if=test-file-10M of=test-file-1M bs=1M count=1
dd if=test-file-10M of=test-file-100K bs=10K count=10
dd if=test-file-10M of=test-file-10K bs=10K count=1

ianloic

% ssh -o RequestTTY=no [email protected] hello world
 ______________
| hello world  |
 --------------
     \  ^__^
      \ (oo)\_____
        (__)\     )\/\
           ||----w |
           ||     ||

ianloic

#include <utility>
#include <iostream>
#include <atomic>
#include <set>

class OnceWatcher {
 public:
  virtual void Called() = 0;
};

ianloic

#autoload

# Hack to replace _path_files with one that expands // and then calls the
# original.

local fdir ffile original found_one

# Look for the second _path_files in the $fpath
for fdir in $fpath; do
  ffile=$fdir/$0

ianloic

Trying 192.168.3.53...
Connected to 192.168.3.53.
Escape character is '^]'.
^[[68;1R
$
^[[68;1R
$
^[[68;1Rls
$ ls
d        0 .