独自YAMLファイルをJSON SchemaでLSP補完する | おそらくはそれさえも平凡な日々
Podbardはpodbard.yamlに設定を記述するが、これをエディタで補完したりヒントを出せたりするようにした。 yaml-language-serverとJSON Schema 普段vimで開発してて、GitHub ActionsのYAMLを触ってるときなどに、エディタが適切にヒントを出してくれるのを便利に感じつつ「多分LSPがうまいことやってくれてるんだろうな」くらいに考えて深く追いかけていなかった。これは、JSON Schemaで実現されていることを、今回podbard.yamlの仕様をJSON Schemaで記述している過程で発見した。 GitHub ActionsのJSON Schemaは https://json.schemastore.org/github-action.jsonやhttps://json.schemastore.org/github-workflow.
Nushell - 型付きシェルの基本とコマンド定義
はじめに これまで Zenn では fish shell の記事をいくつか書いてきましたが、現在は Nushell という新しいシェルを使っています。 実は Nushell のことは以前から知っていましたが、利用されているプログラミング言語の概念やその恩恵についての知識が無かったため、より初心者にわかりやすい fish shell を利用していました。最近になって型システムや関数型言語などについての概念を取得したため、ようやく Nushell を使い始められました。 使い始めてからまだ1ヶ月ぐらいですが、かなり奥が深く一つの記事で解説しきるのは難しいので、この記事では基本体な設定と型とコマンドについて重点をおいて最後は具体的なカスタムコマンドの定義をいくつか取り上げて解説したいとおもいます。 Nushellとは Nushell とは Rust 言語で開発された新しいタイプのシェルであり、以
お店で会計時に「SUGOCAで」と言ったら「対応できません」と断られた→「交通系で」と言えば済む話だけど、そもそも「交通系IC」多すぎでは？
リンク www.pasmo.co.jp 交通系ICカードの相互利用｜PASMO（パスモ） PASMOが1枚あれば、首都圏をはじめ、全国の鉄道・バスでご利用いただけます。 3 リンク Wikipedia 交通系ICカード全国相互利用サービス 交通系ICカード全国相互利用サービス（こうつうけいアイシーカードぜんこくそうごりようサービス）は、日本の乗車カードのうち、非接触型ICカード方式を採用している電子マネー機能付き乗車カード（以下、「交通系ICカード」と記す）のうち以下の11団体が発行する全10種類のカードについて、乗車カード機能及び電子マネー機能（一部例外を除き）を相互に利用可能としているサービス。2013年3月23日から開始された。 上記各社が発行する10種類のカードを総称して10カードと呼ぶことがある。 上記の10種類の交通系ICカード 7 users 65
OBS Studioの配信画面レイアウトのベストプラクティス - Write and Run
OBS Studio は現代の配信者にとって必須なソフトウェアです。かつては XSplit などのお世話になったこともありましたが、とくに YouTube Live や Twitch で活動している現代のアマチュア配信者のほとんどは OBS Studio を用いていると思います。かくいう私もそのような配信者のうちの1人で、Rust で Z80 を動かしたりリードソロモンを教わってゼロから実装したりする配信をしています（隙あらば宣伝）: #ch789 / KOBA789 - YouTube そんな OBS Studio ですが、配信画面のレイアウトを整えるのは至難の業であることが知られています。GUI の操作が難しいからでもありますが、レイアウトを司る「変換」という機能の仕様が難解なのが主因だと思います。日本語訳がわかりづらいこともその難解さに拍車をかけています。たとえば「変換」は "Tra
Parquetフォーマット概観 - 発明のための再発明
Parquetは便利なファイル形式で、列志向のフォーマットとしてはデファクトの1つと言っても過言ではないでしょう。 ですが、jsonやcsvとは違い、ファイルを見ただけでどんな構造かわかるものではありません。 この記事は、Parquetの具体的な構造について記述します。 はじめに この投稿は、Parquetの構造について、バイナリを見ながら確認するものです。 ただし、Parquetの大枠に注目した投稿なので、delta encodingやrun-lengthなど、個別の圧縮方法については取り扱いません。 ※ Parquetの作成には https://github.com/parquet-go/parquet-go を使用していますが、goの知識は必要ありません tldr Parquetは以下の構造を持っています。 ファイルはRowGroupとメタデータに分かれている RowGroupの中に
macOS 15 Sequoiaでは古いScreen Recording APIを利用した画面/オーディオ収録を行うアプリで1ヶ月毎のユーザー許可が必要に。
macOS 15 Sequoiaでは古いScreen Recording APIを利用した画面収録を行うアプリで1ヶ月毎のユーザー許可が必要になっています。詳細は以下から。 Appleが現地時間2024年09月16日にリリースした「macOS 15 Sequoia」では、iOS/iPadOSと同じくアプリがルーターやプリンター/スキャナ、TV、スピーカー、NASなどローカルネットワーク内の機器を検索/接続する際にユーザー承認が必要となる「ローカルネットワーク・アクセス」セキュリティが導入されましたが、 このmacOS 15 Sequoiaでは、更に古いScreen Recording APIを利用したアプリが画面とオーディオ収録を行う際に表示されるユーザー承認プロンプトが1ヶ月毎に表示される仕様になっています。 “ChatGPT”から、システムプライベートウインドウピッカーをバイパスして画
日本料理大全/JAPANESE CUISINE | 京都府立大学
ユネスコ無形文化遺産登録から10年を経て、登録当時には約5.5万店だった海外の日本料理店が、2023年には約18.7万店にまで増えるなど日々関心が高まっています。 京都府立大学、日本料理アカデミーでは京都から国内外を問わず和食のさらなる発展と和食文化を担う人材の育成を目指し、「日本料理大全 デジタルブック」を公開します。 ある料理を知るためには、まずその背景を知らないと始まりません。「日本料理大全」シリーズは手法のみを解説するのではなく、考え方の基礎を示していくことを目指しています。経験や勘に頼るのではなく、なぜこの味が生まれるのか、どうしてこの調理法になるのか、といった根拠や科学的な理由を示しています。それらをもとに料理する人が考え、取り入れ、オリジナルの料理を生み出す手助けとなることを目指しています。 このシリーズが日本料理の発展・普及の一助となり、多くの人々の健康と喜びを導くことにな
Onlook – The developer tool for designers
Finally, make changes to your web app. No coding required.
GitHub - kyutai-labs/moshi
[Read the paper] [Demo] [Hugging Face] Moshi is a speech-text foundation model and full-duplex spoken dialogue framework. It uses Mimi, a state-of-the-art streaming neural audio codec. Mimi processes 24 kHz audio, down to a 12.5 Hz representation with a bandwidth of 1.1 kbps, in a fully streaming manner (latency of 80ms, the frame size), yet performs better than existing, non-streaming, codecs lik
Rails で強制的にすべてのクラスを読み込み
Railis の development や test 環境ではクラスが遅延読み込みされることがあります。 ここでいう遅延読み込みとは『クラス（定数）が参照されたときに初めて関連するファイルを読み込む』ような仕組みです。 なので例えば rails server や rails console を立ち上げただけでは『まだ全クラスが定義されていない』状態になっています。 詳しくは以下を参照。 Rails の自動読み込みと再読み込み - Railsガイド 基本的には利点がある機能なんですがたまーに調査や検証とかで『全クラスに対して網羅的に走査したい』みたいなことがあります。 例えば『特定のモデルクラスに対してアプリケーション上の制約を満たしているかどうか』みたいな検証をしたり『特定の module を mixin しているクラスを抽出する』などなど。 このようなときにクラスが遅延読み込みされてい
ターミナルフレンドリーなAIコマンド、afaを作った
Go言語で、AIモデルに対する推論をコマンドラインで実行するafaというツールを作りました。入出力としてテキストストリームを前提としており、パイプやリダイレクトを用いて他のコマンドと連携しやすいのが特徴です。 $ echo $ERROR_MESSAGE | afa new -p "What is happening?" /path/to/file1 /path/to/file2 与えるプロンプトやコンテキスト情報によってAIモデルが柔軟に振る舞いを変えてくれるので、これまでの個別ツールでは対応が難しかった用途における自動化にも有用でしょう。 また、テキストストリームを扱えるリッチなTUIのコマンドafa-tuiも別途提供しているので、ターミナル上でのチャットも快適です。 デモ リッチTUIによるチャット 快適なインタラクティブチャットのため、Markdownを装飾して描画しつつ、lessコ
OGP 画像の生成を satori (@vercel/og) から Playwright に変えた
tl;dr OGP 画像を satori (@vercel/og が内部で利用しているもので、JSX を SVG に変換するなんかすごいライブラリ) で生成していたが、運用上微妙だったので Playwright を使った生成に変えた 生成の所要時間は伸びてしまったが、挙動が安定しているため安心して運用できるようになった モチベ satori のテキスト周りのスペーシングの挙動がコロコロ変わりすぎて、安心して使い続けるのが難しかった 具体的には改行を含む右揃えテキストで最終行以外の末尾が変に空いてしまう事象などが発生した 特に困ることに、このような挙動変化が patch リリースでしれっと引き起こされ、リリースノートで特に言及されることもなくまた patch リリースで修正されたり、また別の挙動に変わったりする 実際前述の事象関連では v0.10.x 台だけ(つまり patch リリースのみ
資料生成AI「Napkin」でデカめの資料を作ってみたので知見を共有する
1.1.2 SREの目標と価値 SREの目標は、システムの信頼性を向上させることですが、それは単にシステムのダウンタイムを減らすことだけを意味するわけではありません。ユーザーがサービスを快適に利用できるよう、パフォーマンス、可用性、セキュリティ、スケーラビリティなど、様々な側面からシステムの信頼性を高めることを目指します。 SREの導入によって、以下のような価値がもたらされます。 システムの安定稼働と信頼性向上 運用コストの削減 開発スピードの向上 組織全体の信頼性向上 1.2 SREの原則 SREを実践する上で重要な原則をいくつか紹介します。これらの原則は、GoogleのSREチームが長年の経験から得た教訓に基づいており、SREを実践する上で指針となるものです。 1.2.1 モニタリングと可観測性 SREでは、システムの状態を常に把握し、問題が発生した場合には迅速に検知できるように、モニ
Tips on naming boolean variables - Cleaner Code
Michael Z Posted on Oct 3, 2019 • Updated on Jan 9, 2022 • Originally published at michaelzanggl.com Originally posted at michaelzanggl.com. Subscribe to my newsletter to never miss out on new content. There is a convention to prefix boolean variables and function names with "is" or "has". You know, something like isLoggedIn, hasAccess or things like that. But throughout my career I have seen and
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - achristmascarl/rainfrog: 🐸 a database management tui for postgres
"型"のあるRailsアプリケーション開発 / Typed Rails application development
GitHub - LazyVim/LazyVim: Neovim config for the lazy
港区の家具のリサイクル展、B家具屋もビックリの価格「定価300万のソファが4500円で売ってた時はビビりました」
Home
Void
