Bolt はリアルタイムアプリケーション向けの 軽量・高速・型安全 な埋め込み言語 最小限の依存関係 と 小規模な実装 でビルドサイズへの影響が少ない 高速なコンパイル と 豊富な型システム による安...

Leanは数学を形式化するための プログラミング言語。 数学者が 証明や定理をコード化 し、GitHubで共有可能。 証明は tactic（戦術） と呼ばれるコマンドで構築。 不適切な公理追加で 矛盾...

Typst で博士論文を執筆した体験談 Typst の利点と欠点を詳細に比較 LaTeX との違いや変換時の問題点 テンプレート作成・エコシステム の現状 今後の推奨・使い分け についての所感 Typ...

Zig は堅牢性・最適化・シンプルさを重視した システムプログラミング言語 本ガイドは 注釈付きサンプルコード でZigの基本を解説 各コードブロックは examples/.zigファイル と対応 Z...

Go言語の メソッド に対する ジェネリック（型パラメータ） 導入提案 インターフェースメソッド には影響せず、 具体型メソッド のみが対象 シンタックス変更 は最小限で、既存コードと 後方互換性 を...

Kagi は広告なし・ユーザー重視の有料検索エンジン 視覚的な ノイズが少なく、低視力ユーザーに優しい設計 検索結果やUIのカスタマイズ が豊富でアクセシビリティに配慮 各種ブラウザで 簡単にデフォル...

2019年に作成した アナログパネルメーターを使った 時計プロジェクト の概要 新バージョン の設計・製作過程を 詳細に解説 筐体の木工加工 や デザインカスタマイズ の工夫 回路設計 はシンプルで ...

本記事は、現代社会や職場における生成AIの普及と、その影響についての個人的な違和感を語る内容 AI生成コンテンツの増加による本物らしさや人間らしさの喪失への懸念 ソーシャルメディアや職場に蔓延する無味...

モダンブラウザ だけで高度なUI構築が可能な現状 Web Components による安定した長期運用と保守性向上 ネイティブイベント と Shadow DOM で疎結合なコンポーネント連携 AIアシ...

FOSDEM 2026 は、デジタル主権とヨーロッパの技術的未来への意識が高まった年 自己ホスト型ソリューション やオープンインフラ、コミュニティ主導ソフトウェアが主役に 多様なプロジェクト と実践的...

CodePenで公開されている 光学的錯視コレクション の紹介 CSSやHTMLで実装された 代表的な錯視デモ の解説 視覚効果の仕組み や脳の錯覚メカニズムを解説 マウスオーバーで 効果の変化や真実...

Tree-sitter は高速でエラー耐性のあるパーサ生成器であり、主に構文ハイライトに利用 Language Server はコード解析とインテリジェントな支援をエディタに提供 両者は役割が異なり、...

プログラミング言語の違い よりも、 ライブラリの充実度 が生産性に直結 Ruby on Rails のようなフレームワークは、言語特有の機能を活用している 言語設計 は、どんなライブラリが書けるかを決...

コメント は「なぜ」だけでなく「何を」も説明すべきという主張 クリーンコード とコメントの役割の違いを解説 コンテキストスイッチ の弊害を指摘 メソッド分割 とコメントのバランスを議論 コメントの「何...

プログラミング の楽しさは、自分の考えを現実にできる点にあるという主張 LLM（大規模言語モデル） の利用は、著者にとって楽しいものではないと断言 人間同士の成長や学び合い にこそ価値を感じている L...

このコードは ARM64アセンブリ で記述された iOSアプリの最小起動コード です。 Objective-CランタイムAPI を直接呼び出し、 AppDelegateクラス を動的生成します。 ウィ...

プログラミングの クラフトマンシップ と アイデンティティ の重要性。 MITの ハッカー文化 とその歴史的意義。 AIやLLM の普及によるプログラマーの役割変化への懸念。 自然言語プログラミング ...

数日間の 日々の食事とメディア消費 の記録 音楽、読書、記事、映像 など多様なメディア体験 Joanne Robertson や Ichiko Aoba など繰り返し登場するアーティスト 日ごとに リ...

YAML は人間に優しいデータ形式を目指すが、複雑さが逆効果になる場合が多い バージョンやパーサ依存の挙動、危険な落とし穴が多数存在 JSON や TOML など、よりシンプルな代替案も複数存在 YA...

ブラー（ぼかし） はゲームやGUIの主要なポストプロセス技術 Depth of Field や Bloom など、多様なエフェクトの基盤 WebGL を用いてリアルタイムでのブラー実装方法を解説 GP...