「TypeScriptではじめる型システム」という記事をn月刊ラムダノートに寄稿しました。 新刊を発売しました "『n月刊ラムダノート』Vol.4 No.3（2024）発行のお知らせ https://t.co/PGppk1aRRA— lambdanote (@lambdanote) 2024年10月4日 どんな内容？ TypeScriptの極小サブセットに対する型検査器を書き、それを通して型システムを体感してみよう、という内容です。 詳しく言うと、boolean型とnumber型と関数型しかないTypeScriptサブセット言語がターゲットです。 型検査器の実装言語にもTypeScript（処理系はDeno）を使います。 TypeScriptづくしの一品です。 わかる人向けに言うと、「型システム入門」という本（通称TAPL）の単純型付きラムダ計算に相当する内容をTypeScriptで説明し
『世界のキッチンから』復活総選挙キャンペーン
キリンビバレッジの自動販売機で対象商品を買って懐かしの『世界のキッチンから』ドリンクを復活させよう！投票した方には抽選でえらべるPay 200ポイントがその場であたる！期間中は1日1回、何度でも投票できる！
こんばんは、きんどうです。Kindleを通じた新しい本との出会い方、みたいなレコメンド論を書こうと思ってましたが電子書籍業界的には読者の成長より「売り手の確保が必要では？」という危機感からお金儲けの話をします。 ザックリ本記事をまとめると ・導入：リアル書店減少で本との出会いの場が減っている → 否！電子書籍でも本との出会いはたくさんあるハズ ・読者としてセールやキャンペーンを通じて新作と出会おう → フィクサーとしてAmazonアソシエイトやろう ・売り手として電子書籍を見ると新作を探す意欲も変わる → 技術的な話もするね ・お金儲けがメインになると人間関係壊すからほどほどにね。転売屋みたいにね。憎まれるよ みたいになります。 お金の話をします。圧倒的に金になるのはセール紹介です。多少のマーケティング本（オイラはセス・ゴーディンからはいりました）読んで「伝える・届ける、信頼される、動かす
Gemini Liveが無料になったよ。スマホと自然な会話ができておもろい2024.10.07 18:0056,066 Kyle Barr - Gizmodo US ［原文］ （ 高橋真紀 ） 2024年8月のMade by Googleイベントで、Pixel 9のラインナップとともに初めて披露された｢Gemini Live｣。 これまで有料プランのGemini Advancedユーザーに限定されていましたが、すべてのユーザーが無料で利用できるようになりました。 AIと世間話ができる音声ベースのAIアシスタントにこだわらないのであれば、マイクロソフトはCopilotを通じてWindows 11で同様の機能を使うことが可能です。これでスパイク・ジョーンズ監督の映画『her／世界でひとつの彼女』のようなやりとりもできますね。 Gemini Liveは電源ボタンを長押しすると、右下にGemini
「日本人の食事摂取基準（2025年版）」策定検討会報告書
このホームページを、英語・中国語・韓国語へ機械的に自動翻訳します。以下の内容をご理解のうえ、ご利用いただきますようお願いします。 1.
厚労省より昨日公表された日本人の食事摂取基準（2025年版）について、ある糖尿病専門医の解説ツイートが一時のトレンドになるレベルでバズっていた。 Xユーザーの筋肉博士💪Takafumi Osakaさん: 日本人食事摂取基準2020→2025で食べる順番(ベジファースト/カーボラスト)が削除されておる！！！！！ やっぱりエビデンス不足がようやく露呈してきたか。。。 https://x.com/muscle_penguin_/status/1844746672544547147 はてなブックマークでもこの件に関するTogetterまとめについてそこそこブクマがついて、ホットエントリーに上昇している。 [B! 健康] ｢今まで頑張ってお野菜から食べてたのに...｣炭水化物より先に野菜などを食べることで食後の血糖値を抑制するという食べ方が厚労省『日本人の食事摂取基準』から削除される しかし、筋肉
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
TypeScriptは型安全じゃないからすばらしい - まめめも
Kindle本紹介で稼ぐ Amazonアソシエイトのはじめ方 - きんどう
Gemini Liveが無料になったよ。スマホと自然な会話ができておもろい
ベジファーストが食事摂取基準から削除されたのは「エビデンス不足がようやく露呈」したからではない