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>;... 続きを読む

新山祐介 (Yusuke Shinyama) on Twitter: "gitを使ってUnixの設定ファイル群を管理する方法。 alias dotfiles='git --git-dir=/home/user/.dotfiles --work-tree=/' のようなエイリアスを定義しておけば、ルート… https://t.

2023/01/09 19 users Git dotfiles UNIX USER 新山祐介

gitを使ってUnixの設定ファイル群を管理する方法。 alias dotfiles='git --git-dir=/home/user/.dotfiles --work-tree=/' のようなエイリアスを定義しておけば、ルート… https://t.co/CMmdMCn1OP 続きを読む

使用頻度とコマンド (エイリアス) の文字数を合わせたい - id:onk のはてなブログ

2022/08/05 5 users onk コマンド 使用頻度 文字数 ブログ

1 文字エイリアスのすゝめ 1 文字エイリアスが好きで、例えば alias s="git status -sb" している。 入社してからの 4 年半で溜めた 53 万行の .zsh_history から集計すると、 $ history 1 | awk '{ print $2 }' | sort | uniq -c | sort -nr | head 121714 g 114128 s 57124 v 34210 cd 26095 tig 23281 rg 11382 plenv... 続きを読む

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

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

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

管理ポリシーの差分を出力する AWS CLI エイリアス aws diff を作ってみた | DevelopersIO

2022/03/23 7 users DevelopersIO コンバンハ AWS CLI AWS

コンバンハ、千葉（幸）です。 管理ポリシー、特に AWS 管理ポリシーの変更差分を確認したい機会がたまにあります。 マネジメントコンソール上で差分表示するような機能があれば便利なのですが、現時点では実装されていません。 ないなら AWS CLI でやってみるか、ということでエイリアスを組んでみました。 管理ポリシ... 続きを読む

Twitter、偽情報対策「Birdwatch」はエイリアスでの投稿を可能に

2021/11/23 16 users Twitter Birdwatch 米Twitter 米国

Twitterは現在米国でパイロットテスト中の偽情報対策「Birdwatch」の協力者にTwitterアカウントとは別の「エイリアス」を提供する。これにより、嫌がらせを恐れずにツイートを評価できるようになりそうだ。 米Twitterは11月22日（現地時間）、1月に米国でパイロット版として開始した偽情報対策「Birdwatch」の新機能「al... 続きを読む

Mozilla、メールエイリアスを無制限に作れるFirefox Relay Premiumを海外発表 - Engadget 日本版

2021/11/17 7 users ベータテスト メールエイリアス Firefox Relay

Mozillaは11月16日（現地時間）、ランダムに生成されるメールアドレスをエイリアスとして利用できるFirefox Relayにおいて、エイリアスを無制限に生成できる有料のプレミアムサービスを追加しました。 Firefox Relayは2020年5月からベータテストが行われており、エイリアスを利用することで、本来のメールアドレスを隠し... 続きを読む

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アドレ... 続きを読む

【Gmailのエイリアスとは】個人情報漏えい対策におすすめ！1つのアドレスで別名のアドレスを複数作成できる - 特選街web

2021/01/09 12 users Gmail 別名 観点 Gmailアドレス セキュリティ

たくさんのショッピングサイトを使っていると、覚えるのがめんどうで同じメールアドレスやパスワードを使い回してしまう人も多いだろう。セキュリティの観点からは最悪の対応だ。Gmailの「エイリアス」なら、一つのGmailアドレスを本体として、別名のメールアドレスを複数作成できて便利だ。 セキュリティの最強極意⑤ た... 続きを読む

SJIS-macに変換したはずなのにSJIS-winになる - Qiita

2020/09/28 11 users Qiita Extension パクシ コメント欄

SJIS-macに変換したはずなのに、何故かSJIS-winと判定されてしまいます。 そもそもSJIS-macってなんだよって話ですが、単にMacJapaneseのエイリアスです。 従ってMacJapaneseと書いても同じく、正しく誤判定されます。 そしてコメント欄にThis is a bug in PHP's mbstring extension『mbstringエクステンションのバグじ... 続きを読む

テストのためだけに`interface`を書きたくないでござる — KaoriYa

2020/01/20 21 users INTERFACE mock KaoriYa golang

golangでテストのためだけにinterfaceを書くのが死ぬほど嫌だったので編み出した技を紹介します。 TL;DR テスト(=mock)のためだけにinterfaceは切りたくない 型エイリアスとビルドタグを組み合わせるとinterfaceがなくてもモックが作れる この手法に必要なモックを自動生成するプログラムを作った interfaceは本当に必要... 続きを読む

[小ネタ] Gitのエイリアス設定を晒してみる（19個） ｜ DevelopersIO

2019/08/21 15 users Git DevelopersIO 補足 コマンド 目次

Gitのコマンドは様々なことができますが、たまに長ったらしく感じます。 そんなときに便な機能がエイリアスです。 というわけで、私が使っているエイリアスを晒してみます。気になるものがあれば、ぜひお使いください。 目次 環境 Gitエイリアスの一覧 設定用コマンド 補足 git ss: status表示 git br: ブランチ関連 ブ... 続きを読む

こんどこそ｢エイリアス｣でをメールを使いこなそう。Gmail、iCloud、Outlookでの使い方 | ギズモード・ジャパン

2019/05/18 20 users iCloud mayumine EyeEm Outlook

こんどこそ｢エイリアス｣でをメールを使いこなそう。Gmail、iCloud、Outlookでの使い方2019.05.18 15:00 David Nield・Gizmodo US ［原文］ （ mayumine ） Jurgita Vaicikeviciene / EyeEm / ゲッティイメージズ メールを大掃除してすっきりしたくない？ 私たちは毎日大量に受信するメールと戦っていますが、受信トレイ... 続きを読む

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

Gmailに届いたメールをエイリアスごとに自動でタグを付けて分類してくれるGoogle Apps Scriptを使ってみた - GIGAZINE

2018/02/19 48 users GIGAZINE GIGA Gmail メールアカウント タグ

Gmailでは「@」の前のユーザー名の部分に「+○○」と任意の文字列を付け加えることで簡単に エイリアス を作成することができます。エイリアスとは「同じメールアカウントで送受信できる別のメールアドレス」のことで、Gmailユーザーならデフォルトで使える機能です。例えば「gigazine@gmail.com」を使っている人は「gigazine+○○@gmail.com」を使用できます。この「giga... 続きを読む

「エンジニアの生き方」について、野球代表として話をしてきました(notセルフプロデュース) #devsumi2018 - Lean Baseball

2018/02/16 18 users Lean Baseball エンジニア ガララーガ 生き方

2018 - 02 - 16 「エンジニアの生き方」について、野球代表として話をしてきました(notセルフプロデュース) #devsumi2018 エンジニア 転職 キャリア ブランディング DevSumi こんばんは野球エンジニアです. 「CTO」という肩書は僕の場合に限り「野球エンジニア」のエイリアスです. *1 この写真は,登壇準備直後見事に ガララーガ ガラガラ *2 だったB会場の様子で... 続きを読む

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として運用しており、ウェブサービ... 続きを読む

捨てアド代わりにGmailのエイリアスを活用する

2017/06/06 24 users メアド Gmail ふだん アド 流出元

利用するのに登録が必須のサイトで、自分がふだん使っているメアドを入力するのは気が引けるもの。そんなときによく使われるのが、一定期間メールを受信できる「捨てアド」サービスです。しかし、Gmailのエイリアスを活用することでも、メアドを無限に追加することができます。 Gmaliのエイリアスで別メアド 登録するサービスごとに違うメアドを使えば、流出元の特定に便利でしょう。しかし、いちいち捨てアドサービス... 続きを読む

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

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

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

人力検索はてながスパムにやられたようだな。奴は四天王の中でも……何人目だっけ？ - 情報の海の漂流者

2014/11/05 22 users スパム 人力検索 漂流者 四天王 スパマー

2014-11-06 人力検索はてながスパムにやられたようだな。奴は四天王の中でも……何人目だっけ？ スパム戦記 いいね！ はてブ ツイート プラス1 少し前にこちらのツイートのツリーでちょっと話したのだけど、はてなはGmailのエイリアスを別メアドと認識し、アカウント作成時にcaptchaを導入していなかった。 そのため会員登録をスクリプトにより自動化することができた。 スパマーが労力ゼロに近い... 続きを読む

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．も... 続きを読む

Gmailのメールアドレスに日本語が使える!! エイリアスでもOK

2014/08/08 17 users website Gmail 送受信 ひら Gmail側

WebSite : Google Official Blog / A first step toward more global email Google先生が、日本語や中国語など非アルファベットを使うメールアドレスの送受信に対応したようです。 既にGmail側で認識できるようになっている為、日本語の入ったメールアドレスを使用する事ができます。 新たにメールアドレスを作るのが面倒であれば、「ひらが... 続きを読む

せきららはてブ

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

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

本の虫: C++1yに提案されている不透明エイリアス(opaque alias)

2013/09/09 18 users C++1y 別名 PDF注意 C++ 機能

2013-09-09 C++1yに提案されている不透明エイリアス(opaque alias) [PDF注意] N3741では、C++1yに向けて、不透明エイリアス(opaque alias)が提案されている。 不透明エイリアスとは、Strong typedefなどとも呼ばれてきた機能で、typedefに似ているが、別の型として認識される別名の宣言機能だ。 C++には、Cから受け継いだtypedef... 続きを読む