Skip to content

Instantly share code, notes, and snippets.

@naoya
naoya / list.ts
Created August 30, 2022 23:12
TypeScript のタグ付きユニオンで再帰データ型を扱えるのか分からなくなったので試しにリストを実装
// TypeScript のタグ付きユニオンで再帰データ型を扱えるのか分からなくなったので試しにリストを実装
// 結論、扱えます
// Haskell でいうところの data List a = Empty | Cons a (List a)
interface Empty {
kind: "Empty"
}
interface Cons<T> {
kind: "Cons"
import sys
import os
from keyhac import *
import ckit
def configure(keymap):
not_emacs_target = [
"com.googlecode.iterm2",
"com.apple.Terminal",
<html>
<head><title>Slack App Example</title></head>
<body>
<p><a href="https://slack.com/oauth/authorize?scope=commands&client_id=2256441852.18825839269"><img alt="Add to Slack" height="40" width="139" src="https://platform.slack-edge.com/img/add_to_slack.png" srcset="https://platform.slack-edge.com/img/add_to_slack.png 1x, https://platform.slack-edge.com/img/add_to_slack@2x.png 2x"></a></p>
</body>
</html>
defmodule FormChunk do
defstruct [:id, :size, :type, :common, :sound_data]
def new(
<<
id :: bitstring-size(32),
size :: unsigned-integer-size(32),
type :: bitstring-size(32),
chunks :: binary,
>>) do
'use strict';
var React = require('react-native');
var Fluxxor = require('fluxxor');
var {
AppRegistry,
TouchableHighlight,
StyleSheet,
Text,
var React = require('react');
var App = React.createClass({
getInitialState: function() {
return { members: [] };
},
onClick: function() {
this.setState({
members: ['黄前久美子', '加藤葉月', '川島緑輝', '高坂麗奈']
});
var Rx = require('rx');
var stream1 = Rx.Observable.from(['a', 'b', 'c']);
var stream2 = Rx.Observable.from([1, 2, 3]);
var combined = stream1.combineLatest(stream2, function (x, y) {
return x + y;
});
combined.subscribe(function (v) {
@naoya
naoya / agenda.md
Last active August 29, 2015 14:06

『サーバ/インフラエンジニア養成読本 ログ収集〜可視化編』パネルディスカッション

前提

  • 20:15 〜 21:00 (45min)
  • 参加者 / 発表タイトル
    • 鈴木健太, VOYAGE GROUP / 『サービス改善はログデータ解析から』
    • 吉田健太郎, リブセンス / 『Fluentd構成のお勧めデザインパターン』
    • 大谷純, Elasticsearch / 『elasticsearch、もうちょっと入門』
    • 道井俊介, Pixiv / 『Kibanaではじめるダッシュボード』
@naoya
naoya / netgame_life.md
Last active April 18, 2018 04:54
ネットゲーマーとMBAコンサルタント

海岸沿いの小さな村に、MBAをもつアメリカのコンサルタントが訪れた。 あるネットゲーマーの画面を見ると活きのいいキャラが育っている。

コンサルタントは聞いた。

「いいキャラですね。レベルカンストにはどのくらいの時間かかるのですか?」 「そうだな、1,000時間ってとこだな。」

「まだ日は高いのに、こんなに早くログインしてどうするのですか?」