日刊ダイジェスト · Hacker News
· 69 ハッカーニュース
GoogleのADBコアメンテナが、悪意あるアプリによる権限昇格を防ぐため、端末内（ループバック）ADB接続を制限する提案を行っている。この変更が実現すれば、Shizukuやlibadbなど、端末内ADBに依存する多数の開発者向けツールやパワーユーザーのワークフローに影響が出る。本記事では、ADBの基本から、提案された変更内容、悪用シナリオの実態、そして開発者視点での懸念と代替案を解説する。
デザイナーのAnatoly Zenkovが、訪れたあらゆるWebサイトからボタンを「盗む」というアートプロジェクトを公開。収集したボタンは、ログイン、同意、購入など、Web上で見慣れたUI要素の数々。サイト上でそのコレクションを鑑賞でき、自身のボタン泥棒ブラウザ拡張機能も紹介している。
ケンブリッジ大学のハンナ・フライ教授が、数学の普及啓発活動における功績を称えるリーラヴァティ賞を2026年に受賞した。同賞は国際数学者会議（ICM）で授与される栄誉ある賞で、フライ教授はテレビ番組や著書、講演などを通じて数学を幅広い層に伝えてきた。本記事では、彼女の受賞の意義と、数学を一般に広める活動の重要性を紹介する。
求職者が面接後に企業から連絡が途絶える「ゴースティング」を経験した際、その企業を匿名で報告できるウェブサイト「Did They Ghost You?」が登場。承認済みの報告は515件を超え、企業別のランキングも公開されている。報告はモデレーターが審査し、候補者と企業の名前は公開されない。逆に、明確な連絡をくれた「良いコミュニケーター」企業を称賛する機能もある。
Anthropicは、Claude Opus 5やClaude Fable 5などの最新モデル向けに、Claude Codeのシステムプロンプトを80%以上削減し、コーディング評価で性能低下が見られなかったと報告。従来の「ルールを与える」「例を示す」「すべてを upfront に置く」といった手法はもはや神話であり、モデルの判断力向上により、周囲のコンテキストを活用した柔軟な指示が効果的。本記事…
2013年にMesosphereを共同創業し、後にKubernetesに取って代わられた著者が、オープンウェイトAIが同じ軌道を辿りつつあると論じる。GLM-5.2やKimi K3などの中国製モデルが性能でクローズドモデルに迫り、Hugging Faceには200万以上の公開モデルが存在する。著者は、中国製モデルの全面禁止は米国の開発者を締め出すだけだと警告し、競争力のある米国製モデルのリリース…
ブラジル・アマゾンのアルタ・フロレスタに設置された8本の樹冠ブリッジが、15か月間で15,000回以上の樹上性動物の安全な横断を記録し、道路死ゼロを達成した。カメラトラップによる調査で、クモザルやマーモセットなど複数の霊長類がブリッジを利用していることが確認された。このプロジェクトを主導する生物学者のFernanda Abra氏は、道路による生息地の分断が遺伝的多様性の低下や森林の劣化を引き起こ…
WSJの報道によると、Taylor Farmsはサイクロスポラ汚染が疑われるサラダのリコールを遅らせようと、ホワイトハウスに直接電話をかけていた。同社は当初、自主的なリコールに同意したが、FDAの要請に応じる前に当局との交渉を試みたとされる。この動きは、食品業界と規制当局の間の緊張を浮き彫りにしている。
約8ドルのESP32-S3マイコン上で、28.9Mパラメータの言語モデルが動作する。モデルはチップ内で完結し、サーバーに送信されるデータはない。毎秒約9トークンの速度でテキストを生成する。従来、同クラスのチップで動くモデルは260Kパラメータが限界だったが、GoogleのGemmaモデルで提案されたPer-Layer Embeddingsを応用し、モデルの大部分をフラッシュメモリに格納することで…
全米でFlock Safetyの自動ナンバー読取カメラ（ALPR）に対する破壊行為が広がっている。Instagramで70万人超のフォロワーを持つ「NoMark」は、これまでに十数台のカメラを無力化した。彼らは監視社会への抗議として、塗装、破壊、3Dプリントによる目隠しなどを行っている。Guardianは23州で33件以上の破壊行為を確認した。Flockは公共安全に不可欠と主張するが、プライバシ…
PlaydateのCPUだけで動く3Dソフトウェアレンダラーを開発した過程を紹介。レイキャスターによる性能テストから始め、BSPマップの採用、Zバッファ、透視補正テクスチャマッピング、1ビット表示のためのディザリングなど、低スペック環境での最適化の工夫を詳述。3DOやセガサターン時代のゲームに近い見た目を目指したという。
iOS/macOS向けの分散型P2Pメッセージングアプリ「bitchat」が、コードホスティングプラットフォームRadicle上で公開された。Bluetoothメッシュネットワークによるオフライン通信と、Nostrプロトコルによるインターネット経由のグローバル通信を組み合わせたデュアルトランスポート方式を採用。アカウントや電話番号、中央サーバーを必要とせず、位置情報ベースのチャンネルやエンドツー…
著者が自身のブログ画像を印刷物のように見せるために行っているディザリング手法を解説。ImageMagick の convert コマンドを使い、CMYK 各チャンネルを AM スクリーニング風に回転・重ね合わせることで、ピンクと黒のモノクロームや CMYK 限定色の画像を生成する。ファイルサイズ削減には不向きだが、見た目はクールだと述べている。
Brollyは、天気予報をシンプルなプレーンテキストで表示するウェブサイトです。複雑なグラフィックやインタラクティブな地図は不要で、現在の天気、今日の予報、週間予報、時間別の詳細、降水量、UV指数、大気質、花粉情報まで、テキストベースで簡潔に確認できます。ターミナルやテキストエディタを好む開発者や、余計な装飾を排除して必要な情報だけを素早く得たいユーザーに最適です。場所の変更も簡単で、URLを共…
Fly.io の CEO Kurt Mackey が退任し、後任に元 Docker CEO の Scott Johnston が就任する。Mackey はブログで、AI エージェント向けの新製品 Sprites に会社を集中させる決断と、自身のリーダーシップに対する不確かさを語る。Fly.io は過去最高の業績を上げているが、Mackey は会社のアイデンティティ危機を認め、Sprites が未…
数学者のキルウィン・ハンプシャーは、LLMが長年の予想に対する反例を次々と生み出す中で、深い精神的危機を告白する。数学的発見が人間にとって「不可解なものとの出会い」であり、神聖で神秘的な体験であると主張し、AIによる自動証明が数学者の役割を奪うだけでなく、数学の本質的な価値を破壊すると警告する。彼は数学界の対応を「自己慰撫」と批判し、数学の未来に対する絶望と怒りを率直に綴る。
Debianプロジェクトは、LLMや生成AIツールを利用した貢献の扱いを決定するため、総選挙を実施する。提案Aは、パッケージ、ドキュメント、翻訳などへのLLM支援による直接貢献を全面的に禁止し、ソーシャル・コントラクトへの条項追加を求める。一方、提案Bは、ライセンス遵守、説明責任、開示などの条件を満たせばAI支援による貢献を認める立場を示す。著作権の不明瞭さ、品質低下、コミュニティへの影響、倫理…
半導体シミュレータ（Semiconductor Simulator）によるトランジスタのアニメーション集です。青と赤のドットがそれぞれ電子と正孔を表し、白いフラッシュが再結合を示します。NPN BJT、n-ch MOSFET、n-ch JFETの動作を、拡散・ドリフト電流の影響を含む正確なモデルで視覚化。プローブ付きバージョンでは端子の電流・電圧も確認できます。半導体デバイスの内部動作を直感的に…
GMの支援を受けるPeak Energyは、米国で相次いだナトリウムイオン電池の失敗を乗り越え、送電網向けにこの技術を実用化しようとしている。同社のNFPPカソード採用セルは、パッシブ冷却でLFPより20%低いライフサイクルコストを実現し、20年間・2万サイクルで容量80%を維持する。2027年にはカリフォルニアに年産4GWhの工場を稼働予定。
ニューヨークのワンルームアパートでアクアポニックスシステムを構築したエリン・マーフィーが、その設計、改良点、失敗から学んだ教訓を詳しく紹介。魚の排泄物を栄養に植物を育てる循環型システムを、限られたスペースで実現するための具体的な方法を、材料リストやステップバイステップの構築ガイドとともに解説します。
Augmental（MIT Media Lab発のスタートアップ）が開発した「MouthPad」は、歯科用スキャンから3Dプリントで作るカスタムフィットのマウスパッド。口蓋に装着し、舌や頭の動きでカーソル操作、クリック、スクロール、ドラッグが可能。BluetoothでスマホやPCに接続し、約10g・厚さ1mmと軽量。価格は1,400ドルからで、現在米国内で購入可能。
ARC Prize の公式リーダーボードが更新され、Anthropic の Claude Opus 5 が ARC-AGI-3 で 30.2% という最高スコアを記録しました。ARC-AGI-3 は、AI エージェントが未知のインタラクティブ環境に適応する能力を試す新しいベンチマークで、従来の ARC-AGI-1/2 が測定する受動的な流動性知能とは一線を画します。リーダーボードでは、コストあた…
Tileのトラッカーは、紛失防止タグとして人気がある一方、そのセキュリティの甘さが深刻なプライバシー問題を引き起こしています。本記事では、Tileの位置情報追跡機能が悪用され、ストーカー行為に利用される危険性を指摘。同社の対策の不備や、ユーザーが身を守るための注意点を解説します。
Bytecode Allianceは、Wasmtime 47リリースでWasm GCと例外処理のプロポーザルをデフォルトで有効にした。これにより、オブジェクト指向言語や例外を使う言語のWebAssembly対応が容易になり、.wasmバイナリの肥大化や実行時オーバーヘッドが削減される。WasmtimeのGC実装はCheney式のセミスペースコピーGCで、線形メモリを再利用してサンドボックス化し、…
Fedoraがソースコードとパッケージから、ISO、クラウドイメージ、コンテナイメージ、OSTreeデプロイメントといった成果物をどのように作り上げるのか、その全工程を解説します。パッケージメンテナのgit pushから、Kojiでのビルド、Bodhiによる更新のゲート、Pungiによるリリースの構成まで、Fedora 45時点のプロセスを詳細に追います。各段階で使用されるツール（fedpkg、…
フロリダ州セントピーターズバーグのCoquina Key地区に住むCarl Gunnさん（77歳）は、自宅近くに設置されたFlockカメラに抗議するため、プール用スキマーに「DOWN WITH FLOCK CAMERAS」と書いた看板を取り付け、カメラの前で座り込んだ。Flockカメラは2022年から市内に設置され、ナンバープレートを自動読み取り、AIで車両のプロファイルをデータベース化する。警…
エンジニアリングディレクターとして3年以上働く筆者が、LLM導入によりコード生成コストが劇的に下がった現在、従来のマネジメント手法の前提を検証する。コード作成コストに依存するプラクティスは見直しが必要だが、人間の協調や信頼構築に基づくものは依然有効。正しさの検証は機械化できる部分とできない部分に分かれ、仕様の質が重要に。ジュニア育成パイプラインは未解決の問題であり、古いルールを盲信せず、前提を監…
医薬品業界の最も重要な統計である臨床試験の失敗率について、1960年代から現在までのデータをまとめた新しい論文が発表された。著者らは利用可能なすべてのデータソースをレビューし、その範囲と信頼性を評価。その結果、1970年代と1980年代はやや成功率が高かったものの、全期間を通じて失敗率は非常に高く、1960年代は90%、1970年代は81%、1980年代は80%、1990年代は88%、2000年…
米ミネソタ州モリスにあるミネソタ大学の研究施設で、風力発電を利用した低炭素アンモニアの実証プラントが稼働を開始した。目標は1日1トンの生産で、地元の肥料需要に応える。変動する風力に対応するため、生産速度を調整する新しい制御システムを採用。2013年のパイロットプラントをスケールアップしたもので、将来的には農協が所有する商業規模の再生可能アンモニア生産ハブへの拡張が計画されている。
Rust開発者によるメモリ安全性の主張は、時に「絶対主義」として批判される。本稿は、C/C++/ZigにGCとInvisiCapsを導入してメモリ安全性を実現するFil-Cプロジェクトと、それに触発されたZigの新コンパイルモードを巡る議論を考察。Fil-Cの作者がRustを「unsafe」の存在ゆえに安全でないと批判する一方で、実際のRustの脆弱性密度はAndroidのデータでC/C++比1…
FBIがScattered Spiderのメンバーを逮捕した際、VPNでIPを隠していてもWindowsが常に保持する識別子「GDID」が手がかりとなりました。GDIDはレジストリに平文で保存され、Microsoftアカウントに紐づいており、削除しても再発し、テレメトリ無効化では止まりません。この記事では、GDIDの仕組みを解説し、サービス無効化とhostsファイルによる通信遮断で報告を止めるス…
UK AISIと米国CAISIは、Moonshot AIの最新モデルKimi K3のサイバー能力を共同評価しました。Kimi K3は、エクスプロイト開発ベンチマークExploitBenchで32%の成功率を記録し、これまで最もサイバー能力が高いとされたオープンウェイトモデルGLM-5.2（24%）を上回りました。しかし、任意コード実行（ACE）を達成したタスクは0/41で、最高峰のモデル（平均2…
東京都千代田区にある私設博物館「絶滅メディア博物館」は、「紙と石以外のメディアはすべて絶滅する」という信念のもと、消えゆくメディアとその機器を約4,000点収蔵・展示しています。8mmフィルムカメラからビデオカメラ、タイプライター、PDA、携帯電話まで、進化の過程で滅んだ技術の数々を手に取って触れることができる「触れる博物館」です。収蔵品の写真撮影や3Dスキャンも自由で、映画やMVの小道具として…
Box2Dの作者がBox3Dで衝突判定に「ワイドSIMD」を適用し、凸包同士の衝突判定を大幅に高速化した。特にエッジ同士の交差テストがボトルネックとなる複雑な凸包（32頂点）で効果を発揮し、SSE2実装によりシミュレーション全体が2倍以上高速化した。ベンチマーク結果（1〜8スレッド）と、SATの計算複雑性やGJK/EPAとの比較も紹介する。
式は必ずしも左から右に読む必要はないのでは？という発想から、コードを2次元に配置する「空間言語」のアイデアを探る。3入力のandFlip演算子を縦に並べてチェーンする構文を考案し、量子コンピューティングのCCCXゲートや借用ancillaのリセット問題が、この2次元表現でエレガントに解けることを示す。さらに、maj演算子とuma演算子を定義して3ビット加算器を1つの2次元式で表現。Befunge…
Charles Rossはニューメキシコ州のメサに50年かけて「Star Axis」を建設した。これは裸眼で北極星の動きを観察できるモニュメントであり、ランドアートと天文台を融合させた作品だ。88歳のRossは数学と物理学のバックグラウンドを持ち、1971年に土地を取得して以来、このプロジェクトに人生を捧げてきた。現在、作品は完成し、一般公開の準備が進められている。ニューヨーク・タイムズが、その…
Python Package Index（PyPI）は、公開から14日以上経過したリリースへの新規ファイルのアップロードを拒否するようになった。これは、公開トークンやワークフローの侵害による長期安定リリースの改ざんを防ぐための措置で、LiteLLMとTelnyxのサプライチェーン攻撃を受けて議論が再開された。PyPIのデータ分析では、上位15,000パッケージのうち、リリース公開から14日以上経…
ミネソタ大学の研究施設WCROCは、1.65MWの風力タービンを電力網から切り離し、その電力を利用してオンサイトの化学プラントで「グリーンアンモニア」を生産している。風力で水を電気分解して水素を作り、空気中の窒素と結合させることで、二酸化炭素を排出しない肥料を1日約1トン製造。地元の農家に供給し、年間約10億ドルを費やしていた輸入肥料への依存を減らす。農業分野の脱炭素化と経済的レジリエンスを両立…
大規模なLLM学習では数百〜数千GPUにわたる分散学習が必要ですが、この規模ではハードウェア障害は例外ではなく日常茶飯事です。従来のチェックポイント方式はオーバーヘッドや計算の無駄が大きく、クラスタ全体が停止します。PyTorch Monarchは単一コントローラモデルを採用し、アクターベースのランタイムと監視ツリーで障害を局所化し、動的な復旧を可能にします。AMDはこのMonarchをROCm…
リッチ・コーエンによるこのエッセイは、シルル紀仮説を探求します。これは、現代人類よりはるか以前に、地球に高度な産業文明が存在した可能性があるという理論です。NASAのギャビン・シュミットとアダム・フランクが提唱したこの仮説は、地質学的記録が、私たちの文明を含む過去の文明の痕跡を消し去る可能性があることを示唆しています。コーエンは、この理論を、人類が地球の歴史についてどれほど知らないかを浮き彫りに…
カナダの政治家Bill Oliver氏が、州議会での演説中にAIプロンプトを読み上げたとみられる映像が拡散し、物議を醸している。動画では、同氏が「ここに自然な流れの法案を提示します」といったAI生成の指示文をそのまま読み上げる場面が捉えられており、AI時代の政治家の資質や議会運営の在り方に疑問を投げかけている。
Scanwheelは、自分で組み立てられるドラム式の機械式テレビです。5つの窓が横に並び、それぞれが同じ走査ドラムを利用しつつ、独立したLEDで別々の画像を表示します。各窓は9mm×8mmで20走査線。ソフトウェアはRaspberry Pi PicoのPIOハードウェアを使ってLEDを駆動し、非常に高い水平解像度を実現しているため、20pという線数の割には画質がかなり良いとのこと。部品リスト、3…
ウォール・ストリート・ジャーナルは、米国企業がAIへの支出を急激に削減している現象を分析。巨額の投資にもかかわらず期待した成果が得られず、投資家からの圧力もあり、企業はAIプロジェクトのROIを厳しく問うようになった。一方、中国では低コストなAIモデルが登場し、米国の優位性に疑問が生じている。本記事では、AIバブルの終焉と、企業が実用的なAI活用へとシフトする動きを探る。
マルチキャストは、パケットが一度に複数の宛先に届く特殊な通信方式です。この記事では、自宅ネットワークでライブTV配信を例に、リンクローカルからルーティングされたマルチキャストまで、実際の設定とともに解説します。ffmpegを使ったファイルやYLE TVのストリーミング配信、FRRによるPIM-SSMの設定例を紹介。特定のニッチな用途でネットワークを大幅に強化できる可能性を探ります。
パラナ州の農家は、B3証券取引所で乳牛10頭をトークン化し、約2万ドルの融資を確保しました。これは世界初の試みです。アグテック企業のCowmedが主導し、AI搭載のスマートカラーで牛の健康状態や位置を監視し、暗号化されたデジタルIDを生成して二重担保を防ぎます。Cowmedは既に約10万頭の乳牛を監視しており、ネットワークの20%がこのモデルを採用すれば、最大7760万ドルの新規融資が可能になる…
Kimi K3が、ブラウザ上で動作するWindows XPのシミュレーターを公開。懐かしいデスクトップ、マイコンピュータ、Internet Explorer、掃海艇、QQ2005など、2005年当時のインターネット体験を再現している。ユーザーはログイン画面から始まり、各種アプリを起動して当時の雰囲気を味わえる。AI生成コンテンツを含むため、注意が必要。
Book Cornersは、世界中の近所の本交換スポットを集めたコミュニティ地図サイト。ピストイアのアーチ型の壁龕に作られた小さな図書館や、イギリスの赤い電話ボックスを再利用した図書館、カナダのLittle Free Libraryなど、写真付きで各地のスポットを紹介している。ユーザーは自分が見つけたスポットを登録でき、地域の読書文化を可視化する試み。
Anthropicの分析によれば、AIが雇用に与える影響は予想を下回っており、2022年後半以降、影響の大きい労働者の失業率に体系的な増加は見られない。AIの導入はまだ限定的で、Claudeはコンピュータ・数学分野のタスクの33%しかカバーしておらず、理論上はほぼ100%を代替可能だ。生産性の伸びも鈍く、AI時代の最初の3年間は1990年代半ばのITブーム時よりも遅い。OpenAIのSam Al…
Writemarkは、依存関係のない単一のWebコンポーネントで、Markdownをインライン編集できるようにするツールです。テキストエリアでのMarkdown編集に不満を感じていた開発者が、どこでも使えるコンポーネントとして開発しました。入力中にリアルタイムでMarkdownをレンダリングしつつ、保存・送信される値はMarkdownのまま。ソース・分割・プレビューモードに加え、スラッシュコマン…
Linuxカーネルへのパッチ作成にLLMを活用しようとした著者は、lore.kernel.orgが採用したAnubis（proof-of-workを要求するHTTPプロキシ）に遭遇。しかし、AIは簡単に回避策「anubis-fetch」を生成した。このツールはネイティブにPoWを解くか、Chromiumを起動してアクセスする。著者は、Anubisが標的とするAIには無力で、人間（特に弱いデバイス…
『League of Legends』や『Apex Legends』の開発に携わったデザイナーが、ゲームデザインの現場マニュアルを公開。プレイヤーはパッチノートではなく、システムから開発者の価値観を読み取るという主張を軸に、ゲームフィールからライブオペレーションまでを7つのタイムスケールで解説する。過去の事例（Dynamic Queue撤回やバトルパス騒動など）を挙げ、システムが発するメッセージ…
Linux ネットワーク管理の定番ツール iproute2 について、タスク中心の視点で解説するガイドです。ifconfig や route などの旧来ツールを置き換える ip コマンドの使い方を、アドレス設定から隣接テーブル、リンク管理まで具体的な例とともに紹介。さらに、機械可読な出力形式（-o, -br, -j）を使ったスクリプトでの活用方法も解説します。旧来ツールからの移行を考えている方や…
Different Instrumentsが、弦楽器の物理モデリングシンセサイザー「PartialString」をリリースした。1次元波動方程式を有限差分時間領域（FDTD）法で実時間解くことで、弦の振動を高精度に再現。弦上の任意の点を弾くことができ、ピックアップ位置のLFO変調や減衰時間の調整など、多彩なコントロールを備える。10音ポリフォニー対応だが、CPU負荷に応じて自動的に発音数を制限。…
Yorishiroは、AIエージェントに身体と存在感を与える新しいmacOSターミナルです。Claude CodeやCodexを起動し、VRMキャラクター「Yori」が隣に佇みます。AIは思考中に視線を彷徨わせ、エラー時には表情が即座に反応し、承認待ちの際は照明で知らせます。パックと呼ばれる拡張システムにより、シーンやUI、人格まで会話を通じて書き換え可能。自己参照MCPでAI自身が環境を操作で…
Automattic が Gravatar に AI 学習機能をひそかに追加したことが発覚し、ユーザーの不満が爆発。本記事の筆者は WordPress の Gutenberg 導入以来、Automattic 製品への不信感を募らせてきたが、今回の無断変更が決定打となり、Gravatar アカウントを削除した。通知も同意もないまま進む「アンチ機能」の追加は、同社の製品劣化の象徴だと批判する。
MIPSアセンブリの学習・実験用ブラウザアプリ「webMARS」が、C言語のソースコードをMIPSアセンブリに変換するコンパイラを内蔵しました。エディタ、レジスタ・メモリ表示、ステップ実行などの基本機能に加え、Cコンパイラにより、高水準言語での記述とアセンブリの対応関係をその場で確認できます。教育用途やMIPSの動作理解に役立つツールです。
文章作成の価値を「すべての単語を手で打ったか」で測る風潮を批判する論考。思考の道具としての執筆と、指の動きとを混同し、支援技術を使う人を不当に疑うのは誤りだと指摘。火や計算機の歴史を引き合いに出し、ツールの利用は人間の能力を拡張するもので、著者性は意図と判断と責任にあると論じる。支援技術を使う障害者の例を挙げ、「人間対機械」ではなく「判断対放棄」で評価すべきだと主張する。
プロセッサの速度向上に比べてメモリの速度が追いつかず、システム全体の性能が制限される問題を解決するのがキャッシュです。本記事では、CPU内部に配置される小さな高速メモリであるキャッシュの基本概念から、局所性の原理、キャッシュの構成（インデックス、タグ照合、置換ポリシー）、そしてセットアソシアティブ方式まで、具体例を交えながら丁寧に解説します。キャッシュはハードウェアで実装されたハッシュテーブルと…
Proxmox Bluetoothは、ProxmoxホストのBluetoothチップをVMとネットワーク経由で共有するツールです。Intel BE200やAX210など、従来パススルーが不可能だったオンボードチップでも、ゲストOS内でコントローラーやヘッドホン、Home Assistantセンサーをペアリングできます。ホストにチップを残したまま、BlueZのbtproxyを利用してブリッジするた…
BMWの最新インフォテインメントユニット「IDC23H」(Harman Becker製)を分解。Snapdragon SA8155P、12GB LPDDR4、128GB UFS 3.1を搭載し、Garminとの共同設計。注目は、従来独立していたインストルメントクラスター(KOMBI)モジュールを廃止し、ヘッドユニットが直接駆動する点。また、ドライバーカメラシステム(DCS)やARカメラなど新たな…
Vercel のデザイナー Rauno 氏が、プロジェクトカードとコンテキストメニューの再設計プロセスを公開。カードのパディング調整や不要な情報の削除で縦のスペースを節約し、グリッドに1行分の余裕を生み出した。さらに、カード右上の領域にウィジェットを2段で配置する新しいパターンを採用。ウィジェットを視覚的に異なる「キャラクター」としてデザインすることでスキャンしやすくし、データがない場合もプラッ…
C言語のコンパイルパイプライン（プリプロセッサ、コンパイラ、アセンブラ、リンカ）を順にたどり、通常のHello Worldから始めて、最終的にmain()関数を持たない実行可能バイナリを生成する。カスタムの_startエントリポイントを定義し、glibcに依存せずに生のsyscall（writeとexit）を直接呼び出すことで、有効なELF実行ファイルを作り出す。この過程で、main()は単なる…
Minesweeper Raycastedは、古典的なマインスイーパをレイキャスティング技術で3D化した革新的なWebアプリです。ブラウザ上で動作し、従来の2Dグリッドを立体的な世界に変え、プレイヤーは新しい視点からパズルを楽しめます。このプロジェクトは、Claude Artifactを活用して開発されており、AI支援によるゲーム開発の可能性を示しています。マインスイーパのファンやレトロゲーム愛…
Nimの変種で、無限の振る舞いをする緑のトークン（ωトークン）を導入すると、ゲームが永遠に続くように思えるかもしれません。しかし、順序数の性質により、どんなに巨大な無限順序数を使っても、ゲームは必ず有限時間で終了します。この記事では、ω・2やω²のようなトークンを含む場合でもゲームが終わることを示し、その背後にある「整礎性」の概念を、プログラミングの再帰関数の停止性と結びつけて解説します。
Lucenは、コメントプラグマを使ってPythonのforループを自動並列化するソース間コンパイラです。コードに「# LUCEN START」「# LUCEN END」の2行を追加し、lucen.activate()を呼ぶだけで、既存のコードを書き換えることなく、逐次実行とビット単位で同一の結果を保証したまま、マルチコアで最大3.8倍の高速化を実現します。安全性を証明できないループは逐次実行され…
AIコーディングエージェントがパッケージをインストールし、MCPサーバーに接続する速度は人間のレビューを追い越します。pkgxrayは、npmパッケージとMCPサーバーをインストールまたは接続する前に、ローカルで静的解析を行うゼロ依存のNode.jsツールです。コードを実行せずに、資格情報の窃取、プロンプトインジェクション、Unicodeスマイグリング、成果物の不一致などを検出し、SAFE、RE…
ジェイムズ・ジョイスは政治から遠ざかった芸術家と見なされがちだが、本書は彼が生涯パーネル派であり、反英・反教会の政治思想を持ち続けたことを示す。ジョイスの政治は難解だが、それは彼がパーネル主義を隠し、政治家のような謎めいた態度を取ったからだ。彼は社会主義に共感し、シン・フェイン党の経済政策に期待した。アイルランドの独立後も、彼の政治的主張は文学に深く刻まれている。
D-FINE-segは、物体検出、インスタンスセグメンテーション、セマンティックセグメンテーションを1つのコードベースで行えるリアルタイム推論フレームワークです。設定フラグを切り替えるだけで3つのタスクに対応し、モデルサイズはNからXまで5種類。CityscapesではYOLO26やRF-DETRを上回る精度を、2〜3倍少ないパラメータで達成。ONNX、TensorRT、OpenVINO、Cor…
GeoChessは、地理と戦略を融合させたオープンソースの対戦型ストラテジーゲームです。AIとの対戦、友人とのプレイ、ランダムマッチなど、多彩なモードで世界中のプレイヤーとリアルタイムに競い合えます。地理知識を駆使して領土を拡大し、戦略的な駆け引きを楽しめます。オープンソースなので、コミュニティによる改良やカスタマイズも可能です。ブラウザ上で手軽にプレイでき、地理学習にも役立つ革新的なゲーム体験…