hsk

/*
Algorithm W
*/
use std::collections::BTreeMap;
use std::collections::BTreeSet;

type X = String;
type U = i32;
type Assump = BTreeMap<X, Scheme>;
type Subst = BTreeMap<U, T>;

sayurin

module tinyBase64Decoder
  open System
  open System.Collections.Generic

  // Declare fundamental functions

  // Generate n length Integer List (0 upto n - 1)
  let iota n = [0..n-1]
  
  // Generate n length List of x

matsubara0507

たのしいPwn入門

What is This ?

IGGG Advent Calender 2015のために書いた記事です。
常設CTFで遊んでたらPwnable系の問題を解いてるうちにいろいろと勉強になったのでまとめます。

Pwnable

PwnableとはCTFのジャンルの1つで、プログラムの脆弱性をつき、本来アクセスできないメモリ領域にアクセスして操作し、フラグを取得する感じの問題です。
別名としてExploitがあります。

ykst

WebAudio+WebSocketでブラウザへの音声リアルタイムストリーミングを実装する

WebRTCでやれよ！と言われそうなところですが、 WebSocket+WebAudioの組み合わせで音声ストリーミングをシンプルに構成する方法を紹介してみます。

サーバーサイド(Node.js + ws + pcm)

サーバーサイドは何でも良いのですが、 とりあえずNode.jsでtest.mp3というサンプルファイルをpcmモジュールでデコードし、 wsでクライアントに垂れ流す作りにしておきます。

pocarist

(* Groovy: 
/**
 * Hindley-Milner type inference
 * Ported to Groovy from Scala by Example Chapter 16 code.
 * (http://www.scala-lang.org/docu/files/ScalaByExample.pdf)
 * refered also
 * https://github.com/namin/spots/blob/master/hindleyMilner/typeInference.scala
 * Japanese page of 'Scala by Example':
 * http://www29.atwiki.jp/tmiya/pages/78.html
 */ *)

alphaKAI

(main {string[] args} : bool;
  
  string (str "HelloWorld");
  bool (res {
    (io (writeln (str)))();
    return true;
  });

  return res;
)

uehaj

/**
 * Hindley-Milner type inference
 * Ported to Groovy from Scala by Example Chapter 16 code.
 * (http://www.scala-lang.org/docu/files/ScalaByExample.pdf)
 * refered also
 * https://github.com/namin/spots/blob/master/hindleyMilner/typeInference.scala
 * Japanese page of 'Scala by Example':
 * http://www29.atwiki.jp/tmiya/pages/78.html
 */
import groovy.transform.*

rosylilly

先輩に学ぶ HTTP Status Code

超雑にまとめました。修正してください。

登場人物

• アプリケーション先輩: いつも忙しい。横に広がるのが得意(デブじゃない)。
• 後輩: 頼んでばっかしで役に立たない。
• サーバー先輩: アプリケーション先輩と仲がいい。Unix Socket でつながるくらい仲良し。
• プロクシ先輩: アプリケーション先輩とかサーバー先輩と後輩の間を取り持って代わりに伝えたりしてくれる。たまに勝手にレスポンスを書き換える。