kt3k

self.addEventListener("fetch", (event) => {
  event.respondWith(fetch('http://google.com'))
});

kt3k

addEventListener("fetch", (e) => {
  const pathname = new URL(e.request.url).pathname;
  switch (pathname) {
    case "/foo.ts": {
      e.respondWith(new Response("export {}", {
        headers: {
          "content-type": "application/typescript",
          "x-typescript-types": "/foo.d.ts"
        }
      }));

kt3k

https://deno.land/x/[email protected]/cli.ts
https://cdn.dreg.dev/package/@rollup/[email protected]
https://cdn.dreg.dev/package/@rollup/[email protected]/types/index.d.ts
https://cdn.dreg.dev/package/@types/[email protected]
https://deno.land/[email protected]/fs/copy.ts
https://deno.land/[email protected]/fs/mod.ts
https://deno.land/[email protected]/fs/copy.ts
https://deno.land/[email protected]/fs/mod.ts
https://deno.land/x/[email protected]/cli.ts
https://deno.land/x/[email protected]/deps/mod.ts

kt3k

a

kt3k

import { serve } from "https://deno.land/x/[email protected]/mod.ts";

serve({
  "/": () => new Response("lib.deno.d.ts"),
  "/builtin/:version": (_request, params) => {
    return new Response(fetch(`https://github.com/denoland/deno/releases/download/${params.version}/lib.deno.d.ts`));
  },
  404: () => new Response("not found"),
});

kt3k

import { PartialReadError } from "https://raw.githubusercontent.com/kt3k/deno_std/c6ea83bc2cd457d930653d5788a26c82000c3d58/io/bufio.ts";

addEventListener("fetch", (e) => {
  e.respondWith(new Response(PartialReadError.name))
})

kt3k

  |- (p -> r) | (q -> r) -> (p & q -> r)
  ---
  (p -> r) | (q -> r) |- p & q -> r
  ---
  (p -> r) | (q -> r), p & q |- r
  ---
  (p -> r) | (q -> r), p, q |- r
  ---1-1
  p -> r, p, q |- r
  ---

kt3k

Bucket List:

• Get PhD in mathematics
• Create a language for expressing mathematical theorems and proofs efficiently and naturally (I didn't like matamath or Coq because they didn't look like "mathematics")
• Release a cross-platform artistic game app in both iOS App Store and Google Play

kt3k

import { toml } from 'https://deno.land/x/tasks/mod.ts';

toml`
[lint]
desc = ""
cmd = "deno run tools/lint.js"
env = { RUST_BACKTRACE = 1 }

[build]
desc = ""

kt3k

Launch Microsoft Windows Server 2019 Base from EC2 console (with more than 40GB disk space).

Start powershell and run:

iwr -useb git.io/setup.ps1 | iex

This installs Visual Studio 2019, Python 2.7, Rust, Node.js (necessary dependencies for Deno development).