高速多機能なターミナルエミュレータ「Ghostty 1.0」正式リリース、ミッチェル・ハシモト氏が開発。今後はWebAssembly化による対応プラットフォーム拡大も HashiCorpの創業者の一人であるミッチェル・ハシモト氏は、個人のプロジェクトとして開発してきたターミナルエミュレータ「Ghostty」の正式リリースとなるバージョン1.0を公開しました（本記事公開時点でバージョン1.0.1が最新バージョン）。 合わせてオープンソースとしてGitHubでソースコードも公開されました。 https://t.co/39Xj39wheA pic.twitter.com/PH0qejFB4z — Mitchell Hashimoto (@mitchellh) December 26, 2024 ハシモト氏は2023年12月にHashiCorpを退職していますが、以前から個人のプロジェクトとしてタ

Mermaid Graphical Editor VSCodeの拡張機能です。 Mermaid記法を利用してマークダウン内部で作図しながら、Mermaidそれ自体のエディタを立ち上げることができます。 逆にMermaid Editor側で編集した内容もマークダウンにフィードバックされます。 vs Draw.io Integration 類似ツールとしてDraw.io Integrationがあります。 こちらは.drawio拡張子のファイルをVSCodeで作成すると、draw.ioのエディタが開いて作図ができるツールです。 しかし、draw.ioはあくまで図が書けるところを生業としていて、作成したdraw.ioファイルをマークダウンファイルに埋め込むには画像としてexportが必要です。 できれば自分はマークダウン以外のファイルを作らず、一つのマークダウンファイルだけで完結したいと思ってま

「KaiOS」というOSをご存じだろうか。スマホのOS（Android）を採用しつつフィーチャーフォンのような外観をした「Androidガラホ」が存在するが、KaiOSはそれに相当するような携帯端末のOSである。近年、高度化するスマートフォンがもてはやされる一方で、シンプルな機能のみを持つ携帯端末がにわかに注目されている。 日本ではなじみのないKaiOSだが、実は新興国で低価格なインターネット対応携帯端末のOSとして普及している。日本でも2024年7月に初めて、KaiOSを搭載した端末として米Orbic（オルビック）の「Orbic JOURNEY Pro 4G」が発売された。筆者もその端末を入手したので、今回はKaiOSについて詳しく見ていく。 KaiOSの生い立ちと普及度 「Firefox OS」を覚えているだろうか。かつて米Mozilla（モジラ）が開発したスマートフォン向けOSだ。当

lhという単位に見慣れない方もいるかと思われますが、これは現在のline-heightと同じ長さを表す新しく登場した単位です。この例ではline-heightはフォントサイズの1.5倍なので、もし1remが16pxであれば1lhは24pxとなります。 この場合、行の高さと文字の高さの負の差は1em - 1lh、つまり16px - 24pxで-8pxです。それを片方の値を算出するために2で割ると-4pxになります。したがって、margin-block: calc((1em - 1lh) / 2)は、書式のブロック方向（横書き時：上下）にそれぞれハーフ・レディングの大きさ（今回では4px）分のネガティブマージンを設定するということになります。 従来の上下の余白を打ち消す方法との比較lhが登場するまではSassの@mixinなどを使用して以下のような関数を定義し、ハーフ・レディングを打ち消す方法

概要 この記事では、MySQLでのSQLクエリのパフォーマンスを最大限に引き出すための効率的な書き方を解説します。アプリケーションの応答速度を向上させることは、ユーザーエクスペリエンスの大幅な改善に直結します。この記事を通じて、初心者から中級者のデータベース管理者や開発者は、SQLクエリの基本から高度な最適化テクニックまで、幅広い知識を習得できることを目指しています。 MySQL 8.0での検証を基にしていますが、その他のバージョンでの動作は保証されません。この記事は継続的に更新されます。 主な内容 このセクションでは、検証データの作成手順を含め、インデックスの利用、JOIN操作の最適化、サブクエリとビューの利用、クエリキャッシュの活用など、効率的なクエリの書き方について解説します。 検証データの作成 MySQLサーバーへの接続方法から始め、テスト用データベースとテーブルの作成、ダミーデー

OpenAIが、AIの生成した文章を判別できるツール「AI Text Classifier」の提供を終了したことがわかりました。 New AI classifier for indicating AI-written text https://openai.com/blog/new-ai-classifier-for-indicating-ai-written-text OpenAI Quietly Shuts Down Its AI Detection Tool - Decrypt https://decrypt.co/149826/openai-quietly-shutters-its-ai-detection-tool 「AI Text Classifier」はOpenAIが2023年1月に発表した、文章がAIによるものかどうか判別するツールです。公開当時に実際に使ってみたところ、確

イラストレーションの練習を100日やりました．知らないことばかりだったので勉強していてとても楽しかったです！ いいタグがあったので記念として初日に描いたものと並べておきます#進化してたらRT見た人もする#画力変化ビフォーアフター pic.twitter.com/WKhBvyZSoi — 都路 燕禅 (@enzen3852) November 29, 2020 イラストの練習を始めてトータル100日を突破しました．一旦立ち止まって初日のイラストと今のイラストを比べてみると，見違えるほど上達できたかなと思っています． そこで今回はこの記事で，私が100日でどんな練習を行い，どんな変化を遂げていったかを振り返ってみようと思います． (追記: 60日目と70日目のイラストの削除について。着物や扇子などの模様は、自分の手元や実家にある実物の写真・インターネットの写真などを複数参考にして、いずれのデザ