腐ったコロッケ
Technology
TypeScript の satisfies 演算子は何に役立つのか
#TypeScript
2023年
07月01日 16:38
satisfies を使うことにより、型推論しつつ、型を変えない性質を利用して読みやすい推論結果を残すことができる。Puppeteer から拝借したコード例を添えて、役立つ場面を紹介する。
Firebase をコンポーネントから隠蔽しつつ TanStack Query を使う
#Firebase
#設計
2023年
06月18日 19:39
Firebase に密結合しすぎず、将来的に Firebase から離れるのを簡単にしたい。かつ、TanStack Query (React Query)を使いたい。Firebase をラップしつつ ...
Read more →
Writing a toy C compiler in OCaml
#OCaml
#Compiler
#C
2022年
11月05日 19:30
2022年の夏、OCaml を勉強したあとに何か作りたくなって、C のサブセットのコンパイラを作りはじめました。`Hello, World!` ができます。なお、機能が色々足りてないです。
Read more →
Display the git branch name at the prompt and follows branch switching
#bash
2022年
10月19日 01:46
The `PROMPT_COMMAND` variable is evaluated just before the prompt is displayed, so it is useful for ...
TypeScript の Utility Types もどきを自分で実装する
#TypeScript
2022年
04月09日 17:30
TypeScript にはじめから用意されている Partial, Uppercase 等の Utility Types, Intrinsic String Manipulation Types もど...
Read more →
【確認コード認証】Puppeteer と Deno で Yahoo! カレンダーをスクレイピング
#Deno
#TypeScript
#スクレイピング
2022年
04月02日 04:11
私的な理由で Yahoo! カレンダーから情報をとってきたいのですが、Yahoo! カレンダーには API がありません。 そこで本記事では、認証の確認コード入力以外を自動化してヘッドレスブラウザで ...
Read more →
Competitive Programming
#define int long longは何がいけないのか
#C++
#競技プログラミング
2020年
04月07日 23:35
`#define int long long`を許さない派をたまに見かけますが、本当に許されないほどのものなのでしょうか。一応、使うべきでないとまで言える根拠はあります。 「キーワード(他言語でいうと...
Read more →
ABC113 D - Number of Amidakuji (400点)
#AtCoder
#DP
#競技プログラミング
2020年
02月16日 03:30
ABC113 D - Number of Amidakujiの解説です。DPの訓練になる良問です。
ABC044 D - 桁和 / Digit Sum (500点)
#AtCoder
#競技プログラミング
#和
2020年
02月16日 03:14
ABC044 Dの解説です。割り算が出たら平方根を考えるというのは典型っぽい
Read more →
bashでABC153 A~DとABC154 A~Cを解いた
#AtCoder
#競技プログラミング
#bash
2020年
02月13日 00:02
ABC153 A~DとABC154 A~Cの計7問をbashで解きました。 解く中で得た知識を備忘録として残しておきます。
Read more →
yukicoder No.909 たぴの配置 (★2)
#yukicoder
#競技プログラミング
#数直線
2020年
02月07日 23:38
yukicoder No.909 たぴの配置 (★2)の解説
Read more →
ABC021 D - 多重ループ
#AtCoder
#競技プログラミング
#重複組み合わせ
#二項係数
2020年
02月07日 20:33
ABC021 D - 多重ループの解説です。解くのに必要な重複組み合わせも説明します。
Read more →
Random
最近考えている緩いフロントエンドのディレクトリ構成
#設計
2023年
07月09日 00:41
Read more →
プログラミング言語とメンタルモデル、設計はそのあと
#設計
2023年
05月24日 21:30
目の前にあるプログラミング言語とエコシステムに慣れ親しんでメンタルモデルを形成せよ
Read more →
昔自分で描いた絵を Anything V3 にも描いていただいた
#Anything V3
2022年
11月26日 17:18
はるか昔、私はイラストを描く趣味を持っていました。その頃描いたイラストを img2prompt に食わせて説明文を生成し、その説明文を Anything V3 に食わせてイラストを描いてもらいました。...
修練の幕開け
#キーボード
2022年
08月24日 20:48
俺のキーボードかっこいい!キースイッチを交換できる点と、コンパクトさに惹かれて Corne Cherry V3 を買って作りました。 キースイッチは Gateron Silent Yellow を使っ...
ググれる時代だけど覚えることは重要
#思想
2022年
08月14日 22:10
創造性があるとか、頭がいいとかよりも、知っていることの方が重要である。
Read more →
とろとろ軟骨にあらずんばソーキ汁にあらず
#料理
2022年
06月21日 02:18
沖縄では、「ソーキ」と呼ばれる謎の肉を煮込んだ料理を食べます。「ソーキ」には、骨付きのソーキ(スペアリブ)と軟骨つきのソーキが存在します。圧力鍋で何時間か煮込んでとろとろに仕上がった軟骨ソーキの話です...
おいしいタコスの作り方
#料理
2021年
12月16日 02:13
おいしいタコスの作り方をご紹介します。トルティーヤから自分で作ります。みんなで作業すると盛り上がるので、クリスマスや年末年始にご家族で作ってみてはいかがでしょうか。