TypeScript 型レベル関数型プログラミング in 2023 - Object.create(null)

2023/03/24 78 users TypeScript Object.create true

ちょっと前に話題になった hotscript の技法の紹介やら, ラムダ計算を TypeScript の型にコンパイルする話やらなんやら. 通常の型レベル関数 TypeScript の型エイリアスはパラメータを取れるので, これは型レベルの関数であるとみなせます. type IsNumber<X> = X extends number ? true : false; type A = IsNumber<42>;... 続きを読む

Gitのおすすめエイリアス5選 - 詩と創作・思索のひろば

2022/04/01 321 users Git 思索 コミット ひろば git commit

緊急新人エンジニア応援企画！ ということで自分が Git のエイリアスとして設定している便利コマンドを紹介していく。 直前のコミットに追いコミットする (git fixit) git commit --amend --no-edit もろもろ整えて git push しよう、とすると「あっちょっと修正したい」となるのはよくあること。その際いちいちコミット... 続きを読む

1つのGoogleアカウントに新規のGmailアドレスを複数追加できるって知ってた？｜@DIME アットダイム

2021/02/21 386 users DIME アットダイム Gmailアドレス 複数 機能

1つのGoogleアカウントに新規のGmailアドレスを複数追加できるって知ってた？ 2021.02.21 Gmailは基本的に「1つのGoogleアカウントに1つのアドレスを持つ」サービスですが、実は1つのGoogleアカウントに複数のGmailアドレスを追加できることをご存じでしょうか。 「エイリアス」と呼ばれるこの機能。もう1つGmailアドレ... 続きを読む

そろそろMySQLのutf8について一言いっとくか - @tmtms のメモ

2018/06/22 89 users tmtms charset MySQL utf8 ディス

MySQLのutf8 charsetは、やれ「罠」だの「絵文字が入らなくて使えない」だの「utf8という名前はutf8mb4の別名にすべき」だの、散々な言われようでディスられてかわいそうな charset なんだけど、というか主に私がそう言ってる気もするんだけど、そろそろ utf8mb3 のエイリアスとしての utf8 は消え去ろうとしてるみたい... 続きを読む

【知ってた？】1つのGmailアドレスから複数のメアド（エイリアス）を作成する方法 | できるネット

2018/02/21 72 users 受け付け メアド 普段 各種 イベント

1つのGmailアドレスを「複数のメアド」として使える便利技 仕事などにメールを使っていると 「複数のメールアドレスがあると便利なのに......」 と感じることがよくあります。たとえば、イベントなどを行うに際に、申し込みの受け付けや各種の連絡用として、普段とは異なるメールアドレスを使って管理できると便利ですよね。 とはいえ、そのたびごとに新しいメールアドレスを取得して、複数のメールアドレスを管理... 続きを読む

Postfix で user+foo@domain 形式のエイリアスを使う方法 | 徳丸浩の日記

2017/07/18 54 users postfix MTA 徳丸浩 Gmail ウェブサービ

Gmail では、user+foo@gmail.com 形式のメールアドレス別名が使えることはご存じの方が多いと思います。すなわち、自分のGmailアドレスが user@gmail.com である場合、user+foo@gmail.com や user+pokemon@gmail.comに送られたメールも、受け取ることができます。 私は個人ではPostfixをMTAとして運用しており、ウェブサービ... 続きを読む

人間らしいGitのエイリアス | プログラミング | POSTD

2016/05/20 576 users POSTD プログラミング

##断固としてコンピュータ言語を拒絶する 私の知っている最も一般的な```.gitconfig```は、ユーザ名の設定だけが記されたものです。そして、その次に一般的なものはこれです。 ``` ci = commit cia = commit -a cam = commit断固としてコンピュータ言語を拒絶する 私の知っている最も一般的な .gitconfig は、ユーザ名の設定だけが記されたものです... 続きを読む

git grepの代わりにgit agを使う - その手の平は尻もつかめるさ

2014/08/14 59 users git grep Git gitignore デフォ 前提

2014-08-14 git grepの代わりにgit agを使う git git grepが便利なので，同じ感覚でag (The Silver Searcher)を使ってみたいという話です． 前提 ぶっちゃけagは，デフォの状態で.git/以下の内容や.gitignoreに書かれてるファイルやディレクトリなんかを検索の対象から排除するのであんま旨味は無い． 方法 以下のエイリアスを張る *1．も... 続きを読む

せきららはてブ

2013/12/03 190 users API cookie 認証 ブックマーク キーワード

あなたのはてなIDとあなたの非公開はてなブックマークをもぞもぞと取得して表示させるページです。 はてなIDを持っていて、はてなブックマークにログインしている必要があります。 まず知ることは、はてなの Web API は my というキーワードが自身のユーザーIDのエイリアスになっていることです。これを利用し、ページを訪れた人のマイブックマーク全文検索APIを Cookie 認証で叩きます。ここで得... 続きを読む

【クリスマスだし】用意しておくとちょっと便利なjQueryの拡張メソッドたち【25日目の４】 ｜ クラスメソッド開発ブログ

2012/12/25 54 users jQuery expr function スペル やまがた

こんにちはやまがたです。アドベントカレンダーの最終日は、日頃クライアントサイドでJavaScript + jQueryでコードを書いていて何かと重宝している拡張メソッドをご紹介します。 ch $.fn.childrenのエイリアスです。出現頻度が高くスペルを間違えやすいので作りました。 $.fn.extend({ ch: function(expr) { this.children(expr); ... 続きを読む

git-助けてというすごく便利なエイリアスを作った - 宇宙線

2012/05/05 287 users Git rosylilly github.com ターミナル

こんばんは！暑い！ということで今日はgitのすごく便利なエイリアスを作りました。Git-助けて https://github.com/rosylilly/git-tasukete という、超便利コマンド集です。使い方はホームディレクトリあたりにクローンしてきて、パスを通しておくだけです。するとあら不思議、ターミナルに $ git 助けて と打つだけで、助かりたい時の場合がリストで出てきます。後はそ... 続きを読む

なぜ coffee-script が盛り上がるか - mizchi log

2012/04/03 75 users coffee-script 体面 釣り針 大喜利 エンジニア達

情報感度が高く体面を気にするIT企業の皆さんは、今日はさっさと帰れと言われてるので、やることなくなったエンジニア達がcho45さんの釣り針に釣られてハッスルしているのだと思われます。弊社も朝からudzuraあたりがハッスルしてるのをみてました。 暇なので大喜利に参加。というか、他の方が言及していない、なぜcoffee-scriptの良い面、について書きたいと思っています。 -> のエイリアスが、関... 続きを読む

iCloudメールはこんなに便利！エイリアス(別名の)アドレスが3つまで作れちゃう。

2012/02/14 381 users AppBank iCloud Tips 別名 みなさま

みなさま！AppBankの超人気コンテンツ 教えて！AppBank はチェックしていますか？ 今日は 教えて！AppBank の質問から飛び出した、非常に役立つTIPSをご紹介いたしましょう。 iCloudメールのアカウントは3つまでエイリアスを作成できる！ 元の質問はこちらの記事を参照ください。 → 教えて！AppBank。「iPad2のCMで紹介されているアプリを教えてください」「iCloud... 続きを読む

Macのアプリを、ターミナルから起動すると意外と便利だった：Goodpic

2007/09/27 231 users Goodpic zshrc ターミナル Mac Firefox

かなりいまさら感はありますが、FireFoxやFinderなどの、マックのネイティブなアプリをターミナル（Terminal.app）から起動すると、意外と便利なことに気がついた。* などのファイル指定と組み合わせると、結構便利。open コマンドでアプリを起動できますが、 $ open -a Firefox まずはとりあえず、使いやすいエイリアスを、.zshrc や .bash_profile な... 続きを読む

ITmedia Biz.ID：使い捨てのメールアドレス・後編──myTrashMail

2006/08/08 298 users Gmail ITmedia Biz.ID 後編 究極 事前

ニュース オンライン仕事術（4）： 使い捨てのメールアドレス・後編──myTrashMail 今回は究極の“使い捨て”メールアドレスサービス。事前の登録も、パスワードも必要なくメールアドレスが利用できる。 2006年08月08日 20時28分 更新 前編では、Web上のサービスやオンラインショップなどの登録メールアカウントとしてYahoo!メールやGmailのエイリアスを紹介した。後編では、まさに... 続きを読む

はてな GMailのちょっと違う使い方（利用法）を教えてください。

2005/10/06 148 users 使い方 利用法 Gmail Weblog archives

GMailのちょっと違う使い方（利用法）を教えてください。 1 回答者：omega2000 2005-10-05 14:29:54 満足！ 13ポイント http://www.xsection.com/weblog/archives/000222.htmlMemoooo!!: Gmail の裏技-エイリアス こんな記事がありました 質問者：adan 2005-10-05 14:41:15 ありがと... 続きを読む