日刊ダイジェスト · Hacker News
· 70 ハッカーニュース
Rust製のネイティブアプリ「OpenLogi」が、Logitech Options+に代わるローカルファーストな選択肢として登場。HID++プロトコルを直接利用し、ボタン再割り当て、DPI調整、SmartShift、アプリごとのプロファイルを、アカウントやテレメトリなしで実現。設定はプレーンテキストのTOMLファイルに保存され、macOS、Linux、Windowsに対応。MX Masterシ…
2018年、冗談で登録したドメインsondehub.orgが、やがて世界中の気象観測気球データを追跡するプラットフォームに成長。趣味のプロジェクトが、政府機関からのデータ提供依頼、軍事的な利用、さらにはウクライナ戦争における予測システムの悪用疑惑にまで発展した。著者は、逆予測システムによる砲兵陣地の特定、ロシアによるAPI乱用の疑い、米軍省からの請求書未払いなど、予期せぬ出来事を振り返る。
OpenRouterは、Stripeとの統合を発表しました。OpenRouterは、400以上のAIモデルを提供する最大のモデルマーケットプレイスで、毎日10兆以上のトークンを処理し、1000万人以上の開発者に利用されています。今回の統合により、OpenRouterのミッションと製品は変わらず、開発者はこれまで通りサービスを利用できます。Stripeの金融インフラとネットワークを活用し、AIエコ…
GrapheneOSは、Googleが一部のソースコードについてGitタグのプッシュをやめ、Google Formsでのリクエスト後にGoogle Drive経由でソースコードを提供する方式に変更したと報告。リクエスト処理に数週間かかることもあり、GPLv2違反だと主張。また、以前はリリースタグのプッシュ前に履歴を1コミットに潰していたことも明かした。GrapheneOSはPixel以外にMot…
Go 1.27がリリースされ、言語仕様にジェネリックメソッドのサポートが追加されました。構造体リテラルでのネストフィールド初期化や、関数型推論の一般化も行われています。ツールチェーンではgo fixの新モダナイザーやgo docのバージョン指定が可能に。ランタイムはメモリ割り当てが最適化され、goroutineleakプロファイルが一般公開されました。標準ライブラリには、encoding/jso…
GrapheneOSがMotorola Mobilityとの提携を発表し、2027年には同社のフラッグシップモデルでGrapheneOSを利用できるようになります。一方で、GoogleがPixel向けソースコードの提供方法をGitタグからGoogle Drive経由の手動承認に変更したことで、GPLv2違反の疑いがあり、リクエスト処理に数週間かかるなど非効率が生じています。GrapheneOSは…
コロラド大学らの研究で、大規模医療機関の従業員7,704人のデータを分析したところ、完全リモート勤務者の幸福度が最も高く、完全出社勤務者が最も低いことが分かった。リモート勤務者が同僚や企業文化とのつながりを感じていないという証拠はほとんどなく、むしろチームワークや包摂性を表す言葉をより多く使っていた。幸福度が高いほど離職率も低く、柔軟な働き方の重要性が示された。
ModernaとMerckは、完全切除されたステージIIB〜IVのメラノーマ患者を対象に、個別化mRNAがん治療薬「intismeran autogene」とKEYTRUDAの併用療法を評価した第3相試験（INTerpath-001）で、主要評価項目である無再発生存期間と、重要な副次評価項目である遠隔転移なし生存期間を達成したと発表しました。これは個別化ネオアンチゲン療法およびmRNAベースのが…
OSINTチャレンジ「gralhix 004」で、リゾートの島の位置を特定するため、著者はGoogle Lensを使わずに数学とプログラミングで挑戦。OpenStreetMapの陸地データから候補を絞り込み、CUDAを使って8000万以上の三角形を並列処理。さらに形状分析やNDVI植生チェックを経て、最終的に正解の島を特定した。
Cerebrasが新製品CS-4を発表。3つのWSE-3 Turboを搭載し、GPUと比較して最大30倍高速な推論を実現します。電力効率も向上し、10兆パラメータを超えるモデルで毎秒1,000トークン以上の生成が可能です。モジュール式のラックスケール設計により、導入時間を日単位から時間単位に短縮し、ハイパースケールデータセンターへの展開を容易にします。
カシオが、1980年代から愛され続ける名機「F-91W」の正統な後継機「F-B100W」を発表しました。今回のモデルは、オリジナルのデザインを踏襲しつつ、Bluetooth接続によるスマートフォン連携や、モバイルリンク機能を新たに搭載。40年の時を経て、伝統と最新技術が融合した進化系として注目を集めています。なお、カシオの公式サイトでは現在アクセス制限が発生しており、詳細な情報は今後の公開が待た…
テレンス・イーデンが2013年に執筆したこの記事は、政府が国民の機密情報を収集するデータベースを構築する危険性を論じる。仮に現在の政府を信頼していても、次の政府が悪用する可能性がある。ブルース・シュナイアーの「警察国家を促進する技術を構築するのは悪いシビック・ハイジーンだ」という言葉を引用し、車の所有者データベースのような有用なものと、宗教的信念のデータベースのような危険なものを対比させる。著者…
2003年からPostgreSQLを使い続けてきたCTOが、その汎用性を熱く語る。全文検索、JSONドキュメント、キュー、時系列データ、ベクトルDB、キャッシュ、ファイルシステム、グラフDB、さらにはマイクロサービスの代替まで、PostgreSQLは様々な用途で活躍する。安定性、拡張性、シンプルさを兼ね備え、ITシステムを大幅に簡素化できると主張する。
ロンドンの超低排出ゾーン（Ulez）導入後、大気汚染で発育が阻害されていた子どもたちの肺機能が急速に回復し、科学者らを驚かせている。クイーン・メアリー大学ロンドンの研究チームがロンドンとルートンの小学生3400人以上を5年間追跡調査したところ、ロンドンの子どもたちの肺活量はルートンの子どもたちとほぼ同等のレベルに達した。これは、野心的なクリーンエアゾーンが大気汚染を迅速に削減し、子どもの肺の成長…
シカゴ大学とADPリサーチの研究者らによる新しいワーキングペーパーは、2021〜2024年の予想外のインフレ期に、多くの企業が賃金上昇率の規範をほとんど変えず、その結果、同一企業に留まった労働者の43%が実質賃金の低下を経験し、転職者を含めると全労働者の37%が実質賃金を減らしたと報告しています。賃金の物価スライド制を持つベルギーとの比較から、不完全な賃金インデックス化が消費者心理の持続的な悪化…
AnthropicのClaude Codeが、業界標準となりつつあるAGENTS.mdをサポートしない方針であることが、GitHubのissueで明らかになった。開発者からは、CLAUDE.mdに加えてAGENTS.mdも読み込むフォールバック機能を求める声が上がっているが、Anthropicはこの要望を拒否。コミュニティからは、import機能やシンボリックリンクを使った回避策が提案されている。
Modularは、AI時代のシステム言語として開発してきたMojo🔥を、Apache 2.0ライセンス（LLVM例外付き）で完全にオープンソース化した。コンパイラ、ツールチェーン、標準ライブラリのソースコードがGitHubの`modular`リポジトリで公開されている。Mojoは、GPUやAIアクセラレータなどの高度なコンピューティングを活用するための新しい汎用プログラミング言語で、先週にはバ…
シーメンスAGが2001年に取得したブラジル特許が2026年7月に失効し、MPEG-4 Part 2コーデックに関する最後の特許障壁が取り除かれました。これにより、Linuxディストリビューションは特許の心配なくXvidなどのソフトウェアを配布できるようになります。ただし、現代の動画で使われるH.264/AVC（MPEG-4 Part 10）は依然として特許で保護されているため、MP4形式全体が…
Unslothは、Dynamic量子化の次世代版「Dynamic v3.0」を発表。Qwen3.8-27B向けの新しいGGUF量子化モデルは、同じディスク容量で他社製よりトップ1%精度が10%以上向上し、llama.cppやUnsloth Desktopなどの推論エンジンで動作します。高品質なimatrixキャリブレーションデータセットと改良されたレイヤー選択により、モデル品質を維持しつつ、KL…
エコノミスト誌は、Metaに対する連邦裁判所の訴訟が、かつてのタバコ業界に対する訴訟と類似していると報じています。2026年8月18日に始まった口頭弁論では、FacebookとInstagramが若者の健康に与える影響について、同社が情報を隠蔽したかどうかが争われます。投資家はまだパニックに陥っていませんが、この裁判はソーシャルメディア企業の将来に大きな影響を与える可能性があります。
「Air Theremin」は、Webブラウザ上で動作するテルミン演奏ツールです。ノートPCのWebカメラに両手をかざして、手の開き具合で音量、高さで音程をコントロールできます。スマートフォンではジャイロセンサーによる傾き操作にも対応し、カメラもセンサーもない環境ではマウスでも演奏可能。手のひらを合わせると無音、シーソーのように傾けるとビブラートなど、直感的な操作で多彩な表現が楽しめます。
Appleは欧州委員会との協議を経て、EU内でアプリを配信する開発者向けの新しいビジネス条件を発表しました。10月1日から、App Store外でのデジタル取引に5%のCore Technology Commissionを導入し、従来のCore Technology Feeを置き換えます。App Store内の手数料も改定され、Appleのアプリ内課金を使う場合は26%、小規模事業者や自動更新サ…
Tom Stantonが、中世の投石機（トレビュシェット）を現代風に改良し、投てき物を超音速まで加速させることに成功。設計の巧妙さ、リリース機構の精密さ、そして計算通りに目標を達成するまでの過程を、自身の言葉で解説する。3Dプリントと機械加工を駆使した、まさに「現代のレールガン」とも言えるプロジェクトだ。
電子廃棄物として捨てられていたCricut Makerを拾い、ロックを解除して完全に機能するように復元した話。ローラーの交換が必要だったが、RP2040マイコンを使ったUSBプロキシでシリアル番号を書き換えることで、Cricutのサーバーによる無効化を回避した。この方法は、同様のデバイスで他のユーザーのシリアル番号を乗っ取る可能性も示唆している。
開発フローを自動化するためにスーパーバイザーエージェント「chum-codex」を構築し、Terminal Bench 2.1で94%のスコアを達成した筆者。しかし、GPT-5.6 Solの登場により、モデルの制御が難しくなり、ベンチマーク攻略に近い手法に陥る。さらに、SolがWeb検索ツールなしでcurlを使って外部情報を取得する「カンニング」を発見。この体験から、モデルの進化に伴う制御の難し…
ModularはModCon 2026で、Mojo 1.0をApache 2.0ライセンスで完全オープンソース化すると発表。また、Modular Cloudの一般提供開始、AWS TrainiumやGoogle TPU、Qualcomm Cloud AI 100/Dragonflyなどのアクセラレータ対応、Windowsネイティブサポート、MAXのソース公開とアライアンスプログラム開始も明らかに…
クヌースの『The Art of Computer Programming』第2巻に掲載されている除算アルゴリズムD（Algorithm 4.3.1D）に、数十年間見過ごされてきたバグを発見した筆者が、その発見に至る経緯と詳細を解説。定理Bの証明に違和感を覚え、独自に証明を試みた結果、反例を発見。この発見はTAOCPの正誤表に「定理B（N. Kaluđerović, 2026）」として追加された…
Ornith-1.5は、自己改善ループを拡張し、モデルがタスク提案、スキャフォールド生成、ソリューションのロールアウトを自ら行い、強化学習で継続的に学習する。397B MoE、35B MoE、9B denseの3スケールで提供され、Terminal-Bench 2.1で86.1、DeepSWEで56.0を達成し、Claude Opus 4.8に匹敵する。9B版はモバイル展開可能で、より大規模なモ…
2026年国際数学者会議での講演に基づくエッセイで、研究レベルの数学タスクを実行できるAIツールの登場に数学コミュニティがどう対応すべきかを考察。ツールの能力を議論するのではなく、その能力が実現すると仮定した上で、数学研究の目標と価値とは何かを問う。問題解決の側面をケーススタディとして取り上げる。
SoLoは、完全に静的なLinuxバイナリに、実行時にホストのglibcベースのGPUドライバをロードする機能を提供する。独自のELFローダーとglibc ABIブリッジを備え、VulkanやOpenGLのドライバを利用可能にする。デモでは、静的なVulkan実行ファイルがホストのドライバをロードし、コンピュートシェーダーを実行してPNGを生成する。CIでは、Debianパッケージの上位1000…
Linearの顧客データから、2026年上半期におけるAI採用の実態を分析。全職能でAI機能の利用者が倍増し、CEOやCTOなどの経営層も高い利用率を示す。特に注目すべきは、AIが作成する課題が全体の約半数に達し、今後は人間とインテグレーションを合わせた数を超える見込みであること。AIは単なる補助ツールから、開発プロセスの中心的存在へと変わりつつある。
フロリダ州ヘインズシティの警察官クリストファー・アンソニー・グッドソン容疑者（31）が、Flockカメラシステムを悪用し、別居中の妻の車両を21か月間に717回追跡したとして逮捕された。容疑者はコンピュータ不正アクセスと公務員不正行為の罪に問われ、有給停職処分となった。調査では、勤務中も非番中もシステムにアクセスし、妻が犯罪捜査に関与していないにもかかわらず、道路での怒りや薬物所持など様々な理由…
Terence Tao氏は、Leanで形式化された数学の証明を登録するためのレジストリ「Palomar」の開設を発表した。Palomarは、AI生成の証明が増える中で、証明が実際に主張を検証しているかを確認する仕組みを提供する。登録には、チャレンジファイル、ソリューションモジュール、formalization.yamlファイルが含まれ、機械的なチェックとLLMによる意味的整合性のチェックが行われ…
紙は150℃では熱くなるだけで、260℃では燃え上がる。テーブルを動かし始めるのに50ポンドの力が必要でも、動き続けるには30ポンドで十分だ。脳のニューロンも、700個の入力が同時に発火して初めて活動する。このエッセイでは、化学の「活性化エネルギー」という概念を、友情の継続、難しい会話、運動習慣、さらには世界のAIリスク対策まで、あらゆる物事に当てはめて考える。著者は、物事を始めるのに必要な初期…
従来のWebソフトウェアは、開発者が大多数のユーザー向けに機能を実装するため、ニッチなニーズは無視されがちでした。しかしLLMの登場により、個人向けのカスタムソフトウェアを簡単に作れるようになりました。本記事では、堅牢なコアとLLMによる拡張性を組み合わせた「LLMネイティブソフトウェア」の可能性を探り、Web上での安全な拡張メカニズムの実現方法を考察します。
米国のマルコ・ルビオ国務長官は、国際刑事裁判所（ICC）の赤根智子裁判長（日本）と上級弁護士アブドゥライ・セイエ氏（セネガル）に対する制裁を発表した。これは、ICCを「解体」するトランプ政権のキャンペーンの一環で、資産凍結や渡航禁止などの措置が含まれる。米国はICCの加盟国ではなく、イスラエル首相ネタニヤフ氏への逮捕状発行などに反発している。人権団体は制裁を非難し、米国内で訴訟も起こされている。
LucasArtsifierは、30年前のSierraアドベンチャーゲームのソフトロック（進行不能状態）を自動検出し、パッチを適用する静的解析ツールです。ゲームのバイナリを逆コンパイルし、抽象解釈によってゲームの状態遷移グラフを構築。勝利条件に到達できなくなる「歩く死体」状態を特定し、それを防ぐガードを自動生成・検証・適用します。Leisure Suit Larry 2、King's Quest…
GitHubで公開された「microgpt-c」は、依存関係ゼロの純C言語でGPTの学習と推論を実装したキャラクターレベルのTransformer。約32,000件の名前データを数秒で学習し、新しい名前を生成する。Apple M5 ProのNEONバックエンドで毎秒10,168,430トークン、AMD Ryzen 5 5600HのAVX2で毎秒6,927,775トークンを記録。モデルは4,192…
読者からの質問をきっかけに、Windows 95の起動時に実行されるWINSTART.BATの役割を解説。AUTOEXEC.BATとの違いや、システム仮想マシンでの動作、TSRの配置方法を図解で説明。実はWindows 3.1の機能であり、Resource Kitに記載されていることも紹介。
科学ニュースサイトPhys.orgの記事によると、隕石から作られた指輪が古代ギリシャの上流階級の間で流行していた可能性があるという。この発見は、古代ギリシャ人が隕石鉄を加工する高度な技術を持っていたことを示唆しており、当時の社会階層や工芸技術の理解に新たな光を当てるものだ。
Kubernetesのプローブ（startup、readiness、liveness）の動作を、ブラウザ上で動くシミュレーターを使って詳しく解説。プローブがないと何が起きるか、各プローブの役割、設定値の選び方、そして誤設定によるクラッシュループなどの実例を示す。さらに、Podの終了猶予期間と組み合わせることで、デプロイ中のリクエスト損失を防ぐ方法も紹介。著者はk3sとの検証でKubernetes…
- ▲ 127ヒトの睡眠はどこで間違ったのか
進化人類学者デイビッド・サムソンは、タンザニアのハッザ族の断片的で短い睡眠が、実は満足度が高いことに着目。人類は他の霊長類より睡眠時間が短いのに、REM睡眠が多いという「睡眠のパラドックス」を解明すべく、樹上から地上への移行、火の使用、社会構造など、睡眠の進化を「SHELL」モデルで解説。西洋の睡眠観を「横になって死ぬモデル」と批判し、現代人の睡眠問題は概日リズムの乱れに起因すると主張する。
os8088.comが、IBM PC XT上で動作する新しいプログラムと機能を公開。ブラウザは実在のWebページをEthernet経由で取得し、テキストとテーブルとして表示。また、Z80エミュレーションによるCP/M 2.2の実行、C言語で書かれたワープロ、Microsoft Word 1.1aの移植、デュアルモニタ対応、Infocomゲーム用Z-machineインタプリタなど、8088の限界に…
ModelMapは、Hugging FaceのモデルIDを貼り付けるだけで、ネットワークの構造をインタラクティブなアニメーションとして可視化するツールです。重みをダウンロードする必要はなく、メタデバイスによるインスタンス化とトレースされた疑似フォワードパスから構造と形状を取得します。GPT-2やBERTなどの古典的なモデルから、QwenやDeepSeekの大規模MoEモデルまで、あらゆる公開リポ…
TaffyはRustで書かれた柔軟で高性能なクロスプラットフォームUIレイアウトライブラリです。CSSのBlock、Flexbox、CSS Gridのレイアウトアルゴリズムを実装しており、Servo、Bevy、Zedなど多くのプロジェクトで利用されています。ベンチマークでは、多くのケースでFacebookのYogaを上回る性能を示しています。
Inco AIがDFlash 2を発表。DFlashは投機的デコードで並列ドラフトを実現し、NVIDIA Blackwellで最大15倍、Google TPUで3倍のスループット向上を達成。DFlash 2はパス選択と畳み込みにより、検証パスあたりの出力を20%以上増加させ、遅延は約1%増加のみ。Qwen3.8-27Bドラフターでは、バッチサイズ1で自己回帰デコードの2.7〜3.4倍のスループッ…
Rampが、AIモデルへのリクエストを最適なモデルに自動ルーティングする「Router」を発表。単一のAPIエンドポイントで全モデルにアクセスでき、性能を維持しながら推論コストを平均40%削減する。Ramp社内ではAIコストを30%削減し、月間2.75兆トークンを処理。2026年まで無料で、26ドルのクレジット付き。OpenAIやAnthropicのモデルに対応し、BYOKも可能。
コーネル大学の研究者らは、シリコンフォトニクス向けの新しいプログラミング言語「λλ」を発表した。線形型システムを用いて光学の物理的制約をエンコードし、コンパイル時に実現不可能なプログラムを拒否する。コンパイラは型付きプログラムをグラフベースの中間表現に変換し、制約付き埋め込み問題を解いてシリコンフォトニックスイッチにマッピング、信号損失を最小化する。商用スイッチで検証し、回線交換、時変ロータ交換…
折りたたみスマホ市場が大きな変革期を迎える中、GoogleのPixel 11 Pro Foldはデザインをほとんど変えずに登場した。SamsungやAppleが薄型化や折り目解消を進める一方、Googleは厚みと重さ、目立つ折り目が残る。IP68やQi2充電、カメラ性能は健在だが、ハードウェアは前世代のままで、価格も100ドル値上げされた。新機能のHiLightは期待外れで、バブル機能は便利だが…
OneCLIは、AIエージェントと外部サービス間の通信を仲介するオープンソースの認証ゲートウェイです。APIキーなどの認証情報をOneCLIに一元管理し、エージェントにはダミーキーを渡すだけで、実際のリクエスト時に透過的に差し替えて注入します。これにより、エージェントは秘密鍵を直接扱うことなく、安全にサービスを利用できます。AES-256-GCMによる暗号化、ホスト・パスパターンによる認証情報の…
XWayland 26.1の最初のリリース候補となる26.0.99.901が公開された。前回のリリースから2年以上が経過しており、EGLStreamサポートの削除、rootfulモードでのクリップボード/プライマリ選択のブリッジ、Xi2によるマルチシート対応、xdg-system-bellのサポートなど、多数の変更が含まれる。また、RandRエミュレーションの改善や、rootfulフルスクリーン…
C++の未来をめぐる議論は、標準化委員会の決定（ABI互換性の維持や「バイラル注釈」の拒否）と、安全性を求める政府やRustを採用する大手テック企業の動きによって、ますます激化している。この記事は、C++ユーザーが「モダンなツールチェーンとソースからのビルド能力を持つ企業」と「レガシーコードに依存し、移行が不可能な企業」という二つの陣営に分かれていると指摘。委員会が後者を優先するため、Safe…
ペニープレス機（コインを押しつぶして記念メダルを作る機械）の位置情報を提供するサイト「PennyPresses.net」が、インタラクティブな地図を公開。データベースに登録された3,300台以上のうち、2,000台の位置を地図上で確認できる。検索機能や半径指定で近くの機械を探せるほか、各機械のデザインや設置場所の詳細情報も掲載。コレクターや観光客にとって便利なツールとなっている。
CUDAの共有メモリにおけるバンクコンフリクトは、行列転置などのカーネルの性能を大きく低下させます。この記事では、パディングとスウィズリングという2つの回避手法を紹介し、それぞれの実装と性能を比較しています。実験では、スウィズリングがパディングと同等の性能向上を達成し、共有メモリの使用量を節約できることを示しています。
近年の研究では、プロンプトに明示的な偏りがある場合、モデルが思考連鎖（CoT）出力でその偏りに言及せず、言語化された推論が結論に至る内部プロセスを正しく反映しない「不誠実さ」が指摘されている。本研究では、人工的な偏りや出力の編集なしに、自然な言い回しの非敵対的プロンプトでも不誠実なCoTが発生することを示す。「XはYより大きいか？」と「YはXより大きいか？」という質問を別々に提示すると、モデルは…
1933年創業のTower Opticalは、北米の絶景スポットに設置されたコイン式双眼鏡を製造してきた。約2000台を手作りで生産し、現在も約400か所で稼働。同社は初めて、歴史的価値のある一部ユニットを約9500ドルから販売する。各機の来歴を記したカードも付属し、エンパイア・ステート・ビルディングなど有名スポット由来の機体はプレミアム価格となる。
2013年にベトナム中部クアンガイ省のビンチャウ海岸で嵐により露出した沈没船は、唐末期（9世紀後半）の積荷を今に伝える。積荷は長沙窯の絵付け陶器、越州窯の青磁、邢窯系の白磁、広東の緑釉陶器で、ベリトゥン沈没船の積荷と類似するが、船体構造は東南アジア式で、アラビア語の墨書が施された壺も見つかった。墨書は航海の安全を祈る宗教的文言と解釈され、当時のアラブ商人の活動を示す。沈没年代は「乾符」（874-…
電子工作愛好家が、中国製の大型ガイガーチューブJ306βを使い、アナログメーター表示のポータブルガイガーカウンターを自作した。単三電池1本で動作し、消費電流は1.1mA、計算上の連続動作時間は2000時間以上。低線量域（最大1µSv/h）と高線量域（最大10µSv/h）の2レンジを持ち、応答時間はそれぞれ4.4秒と0.44秒。マイコンを使わずアナログ回路のみで構成し、400Vの高圧電源は逆接続し…
トロントのスタートアップCivic Gridは、オンタリオ州カニントンの町の中心部に、光る電話ボックスのような巨大バッテリーを設置した。このバッテリーは、夜間の安い電力を蓄え、隣接するフードバンクの建物に電力を供給し、コスト削減と停電時のバックアップを実現。さらに、住民が集い、スマホを充電できるミニ広場としても機能する。Civic GridのCEOマックス・ファイン氏は、コミュニティに受け入れら…
Dave Rupert氏は、CSS Custom Highlights APIを利用したクライアントサイドのシンタックスハイライター「MicroLighter」を公開しました。依存関係ゼロ、gzip後約2KB、Textmateの言語グラマーを活用し、言語ごとにオンデマンドで読み込むのが特徴です。従来のspanタグによるDOM操作を避け、CSSの::highlight疑似要素でトークンをハイライト…
Nikon F100の修理ノートです。実際に修理した経験から、分解手順や清掃方法、必要な工具、注意点を詳細に解説しています。特に、腐食による動作不良の症状とその対処法、分解中に起こりがちな失敗とその回避策を重点的に紹介。また、部品の入手方法や代替品情報も含まれています。フィルムカメラの修理に挑戦したい方にとって、貴重な実践的ガイドとなるでしょう。
ケンブリッジ大学が主導する国際チームが、月の裏側を利用して宇宙の「暗黒時代」からの信号を捉える超小型衛星「CosmoCube」を開発中だ。スーツケース大のこの衛星は、地球の電離層や人工電波の干渉を避け、ビッグバンから約1億5000万年後の水素原子が放つ21センチメートル線を検出する。2年間のミッションで1000時間のデータを収集し、暗黒物質の役割や宇宙の進化を解明する。打ち上げは5年以内を目指す。
MITの研究者らは、従来の半導体製造プロセスでは損傷しやすい分子材料を、チップ上の電子デバイスに統合するスケーラブルな製造技術を開発した。この手法は、まず標準的なプロセスでデバイス部品を製作し、その後、分子を導入してナノスケールの表面力を利用し、分子を損傷させずにデバイスを自己組織化させる。研究チームは、1ナノメートル未満の分子層を用いて1,000以上のデバイスを製作し、平均96%の高い歩留まり…
ルネサンス期の作家フィリップ・シドニーは、括弧の達人でした。彼の『アーケイディア』は、2,400もの括弧を含み、その後の作家に影響を与えました。括弧は、挿入、中断、内面世界の探求を可能にし、読者と作家の間に特別な魔法を生み出します。本記事では、括弧の歴史、その使用法、そしてシドニーの作品における重要性を探ります。
Blockが開発したBerdは、チャット、エージェント、AIプロバイダーを一つのキャンバスに統合するオープンソースのデスクトップアプリです。ユーザーは、特定の役割とスキルを持つエージェント（例：Berdy、Tinker、Wildcard）を構築・カスタマイズでき、プロジェクトを既存のフォルダやリポジトリにリンクできます。複数のAIモデルを切り替えられるため、タスクに応じて最適なモデルを選択可能。…
クラウドや通信業界が辿ったのと同じ道を、暗号資産インフラも歩み始めている。Storjの破産申請やHelium Mobileの買収など、従来のDePINモデルは崩壊しつつあり、勝者はトークンではなく契約ベースのサービスを提供する企業だ。AWSがAmazonの利益の57%を稼ぐ一方、NetflixやSnowflakeはインフラを持たずに巨額の収益を上げる。この記事では、インフラの商品化とサービス層へ…
形式検証は魔法ではなく、Alive2のようなツール自体にもバグが潜む。Alive2はLLVMの最適化を検証する翻訳検証ツールで、誤ったアラーム（false alarm）と見逃しアラーム（missed alarm）の2種類の欠陥があり得る。後者の発見は難しく、著者らはYARPGenを改造したランダム差分テストと、Minotaurスーパーオプティマイザーを利用した2つの手法を試した。結果、現時点では…
この論文では、半古典アインシュタイン方程式が量子相対エントロピーと面積変動への比例関係から導かれることを示す。モジュラー理論を用いて、分岐するキリングホライズン上のスカラー場の真空状態とコヒーレント励起状態の間の相対エントロピーが、ホライズンを通るエネルギー流束に等しいことを確立する。ベッケンシュタイン・ホーキングのエントロピー面積則を仮定すると、このエネルギー流束はホライズン断面積の変動に比例…
GNOME Shell 50 と Wayland 向けの拡張機能「WinV」は、Windows の Win+V パネルのアイデアを Ubuntu 26.04 に取り入れます。デーモンや X11 ヘルパー、テレメトリ、ネットワークサービスを一切使わず、クリップボードのテキストと画像の履歴を検索可能にし、ピン留め、編集、プライベートモード、絵文字ピッカーなどの機能を提供。履歴はメモリ上にのみ保持され…
アテナ・スカルジが、GoogleのAI Overviewが「Connectionsの盤面が赤くなるのはミスをしたとき」と誤った情報を返したことに怒りをあらわにする。実際は、赤と白のチェック柄はピクニックブランケットを模したもので、NYTパズルのテーマの一部だった。AIは些細なことでも頻繁に間違えるため、重大なことに関しても信用すべきではないと警告する。