私のM1 Pro MacBook Proのファン交換:冷却温度は下がったが、Touch IDはなくなった

2025-07-12
私のM1 Pro MacBook Proのファン交換:冷却温度は下がったが、Touch IDはなくなった

4年後、著者のM1 Pro MacBook Proはファンのノイズが大きくなりました。サーマルペーストの交換を試みたところ、誤ってファンとTouch IDセンサーケーブルを破損してしまいました。ファンは無事交換され、CPU温度とファンスピードが低下し、パフォーマンスもわずかに向上しましたが、Touch ID機能は永久に失われました。著者は、繊細な電子機器の修理に慣れていない限り、この修理は行わないよう警告しています。

続きを読む
ハードウェア

M4 Pro Mac mini 4TB SSDアップグレード:速度 vs. コスト

2025-07-12

著者は、自室のM4 Pro Mac miniを512GB SSDから4TB SSDにアップグレードしました。アップグレードプロセスは比較的簡単でしたが、底部のカバーを取り外す際には、電源ボタンコネクタを損傷しないように注意が必要でした。DFU復元が必要で、T2チップ搭載のMacで行うことができます。パフォーマンステストでは、アップグレード後の4TB SSDは書き込み速度が大幅に向上し、外付けThunderbolt 5 NVMeドライブと同等の読み取り速度を示しましたが、より一貫性がありました。高価(699ドル)ですが、Appleの1200ドルのオプションよりもはるかに安価です。

続きを読む

幻覚キノコ化合物、寿命延長の可能性?

2025-07-12
幻覚キノコ化合物、寿命延長の可能性?

エモリー大学の研究者らは、幻覚キノコの活性化合物である псилоцибин が、細胞の老化を大幅に遅らせ、寿命を延ばすことを発見しました。前臨床試験では、psilocybin はヒト細胞の寿命を 50% 以上延ばし、高齢マウスの生存率を 30% 向上させました。この化合物の利点は、酸化ストレスの軽減、DNA 修復の改善、テロメアの維持に関連しているようです。この画期的な研究は、psilocybin が抗老化療法に革命を起こし、高齢者の寿命と生活の質の両方を向上させる可能性を示唆しています。

続きを読む

米の反乱:研究が穀物の醸造における驚くべき利点を明らかに

2025-07-12
米の反乱:研究が穀物の醸造における驚くべき利点を明らかに

新しい研究は、米がビール醸造に適さないという長年の通説に挑戦しています。研究によると、米は風味プロファイルを大幅に向上させ、抽出率を高め、発酵時間を短縮し、保存期間を延ばす可能性があります。これは、地元産の米をビールや日本酒の生産に利用することを促進するアーカンソー州の法律と合致しています。また、この研究では、異なる米の品種がビールの味と醸造効率に異なる影響を与えることが明らかになり、醸造業者にとって新たな可能性が開かれ、コスト削減と持続可能性の向上につながる可能性があります。

続きを読む
テクノロジー ビール醸造 醸造プロセス

Pythonの闇魔法:辞書アンパックライブラリ

2025-07-12
Pythonの闇魔法:辞書アンパックライブラリ

`dict-unpacking-at-home`というPythonライブラリは、辞書のアンパック機能を提供し、次のように辞書を直接アンパックできます。`{greeting, thing} = dct`。クールですが、作者はこれが重要なライブラリではないと述べており、現在のバージョンではスタックトレースの行番号が壊れます。修正版もありますが、それなりのコストがかかります… 月間100万ダウンロード近く、合計3000万ダウンロード以上という実績から、多くの人がこの一見信頼できないライブラリを使用していることがわかります。

続きを読む

Elixirのホットコードリローディングによるモノリシックアプリケーションのモジュール化

2025-07-12

クライアントごとに1インスタンスをデプロイするElixirベースのモノリシックアプリケーションであるAlzoは、クライアント固有の機能のためにElixirとErlang VMのホットコードローディング機能を活用しています。これにより、マイクロサービスによるカスケード障害や複雑なテストを回避できます。クライアント固有のLiveViewアプリケーションは`/alzo/lib/clients/apps`にあり、起動時に動的にロードされます。ビルド時にはクライアントコードが削除されるため、メインアプリケーションがランタイムアプリケーションに依存することがなくなります。ホットコードアップグレードは簡素化のために回避されます。このアプローチは、効率的な開発、保守性、スケーラビリティ、および動的アプリケーションからメインコードベースに共通機能を簡単にリファクタリングする機能を提供します。

続きを読む

CLRガベージコレクションの深堀り

2025-07-12
CLRガベージコレクションの深堀り

この記事は、共通言語ランタイム(CLR)におけるガベージコレクション(GC)の包括的な概要を提供します。GCは自動的なメモリマネージャーとして機能し、マネージコードのメモリ割り当てと解放を処理することで、開発者を手動によるメモリ管理から解放し、メモリリークなどの問題を防ぎます。GCの中核となる概念、メモリ管理の原則、割り当てと解放のプロセス、世代別ガベージコレクション戦略(Gen 0、1、2、および大規模オブジェクトヒープ)、トリガー条件、フェーズの解説、およびアンマネージリソースの処理について詳しく説明します。この記事では、GCがオブジェクトのライフタイムに基づいてヒープを世代に分割することによりメモリ使用量を最適化し、短命のオブジェクトを優先的に処理することで効率を向上させる方法について説明します。

続きを読む
開発

リバースプロキシ深掘り:接続管理の課題と進化

2025-07-12
リバースプロキシ深掘り:接続管理の課題と進化

この記事では、リバースプロキシの内部動作と接続管理の複雑さについて深く掘り下げます。シングルスレッドからマルチスレッド、マルチプロセス、そしてソケットシャーディングを使用したイベント駆動アーキテクチャまで、リバースプロキシは高並列処理に対応するために大きく進化してきました。この記事では、epollによるI/O多重化の効率性や、マルチコアプロセッサにおけるマルチスレッドモデルの課題など、さまざまな手法の長所と短所を詳細に説明し、TLSサポートやプロトコルの多様性におけるさらなる複雑性についても指摘しています。

続きを読む
開発 接続管理

Jank:単独開発者によるClojureランタイムでのシームレスなC++相互運用

2025-07-12
Jank:単独開発者によるClojureランタイムでのシームレスなC++相互運用

ClojureランタイムであるJankプロジェクトは、C++とのシームレスな相互運用において大きな進歩を遂げました。手動メモリ管理、強化された型システム、不透明なボックスなどの機能により、開発者はClojure内でC++コードを直接呼び出すことができます。実例として、C++ストリームを使用した「Hello, world!」の出力や、JSON for Modern C++ライブラリを使ったJSONファイルの解析などが挙げられます。今後の作業は、パッケージ化、配布、バグ修正に重点を置き、最終的にはアルファ版のリリースを目指します。

続きを読む
開発 相互運用

ESP32を使った5歳児向けSonos簡単操作システム

2025-07-12
ESP32を使った5歳児向けSonos簡単操作システム

父親が5歳の子供のために、Sonos Play:1スピーカーを簡単に操作できるシステムを作りました。M5Stack CardPuter v1.1 (ESP32S3)をコントローラーとして、Go言語でバックエンドロジックを実装。ボタンを押すだけで、好きなプレイリストの再生や再開ができます。緑色のライトが動作状況を示します。シンプルで遊び心のある、楽しい親子プロジェクトです。

続きを読む

スイス、完全オープンソースの多言語大規模言語モデルをリリース予定

2025-07-12
スイス、完全オープンソースの多言語大規模言語モデルをリリース予定

チューリッヒ工科大学(ETH Zurich)とローザンヌ工科大学(EPFL)の研究者らは、スイス国立スーパーコンピューティングセンター(CSCS)と協力して、完全にオープンソースの大規模言語モデル(LLM)をリリースする準備を進めています。このモデルは1000以上の言語をサポートし、透明性があり再現可能なトレーニングデータを使用しており、Apache 2.0ライセンスの下で公開されます。この取り組みは、AI分野におけるオープンイノベーションを促進し、科学、政府、教育、民間セクターにおける幅広い採用を支援することを目的としており、スイスのデータ保護法とEU AI法の透明性に関する義務を遵守しています。トレーニングには、10,000を超えるNVIDIA Grace Hopperスーパーチップを搭載し、100%カーボンニュートラルな電力を使用するCSCSの「アルプス」スーパーコンピューターが使用されました。

続きを読む
AI

偽JPEG画像で悪意のあるウェブクローラに対抗する

2025-07-12
偽JPEG画像で悪意のあるウェブクローラに対抗する

著者は、悪意のあるウェブクローラを混乱させるために偽のウェブページを生成するSpigotという小さなウェブアプリケーションを開発しました。最近、ImageSiftBotというクローラが、Spigotに画像がないにもかかわらず、画像を積極的に取得しようとしました。これに対抗するため、著者はJPEGファイルの構造を巧みに利用し、ランダムなデータで満たされた偽のJPEG画像を生成します。これにより、クローラの資源を効果的に浪費し、サーバーのCPU負荷を最小限に抑えることができます。この方法はシンプルで効率的で、最小限のコードで実現でき、生成された画像はほとんどのブラウザで正しく表示されます。

続きを読む

Vercelでの5年間:元VPの学び

2025-07-11
Vercelでの5年間:元VPの学び

Vercelで5年間勤務した元VPが、同社の従業員数が30名から650名に急成長する中で得た5つの重要な教訓を共有しています。それは、集中的な仕事と私生活のバランス、攻撃的にならない速いペースへの推進、チームの効率的な拡大、安易な意思決定の回避、新しい情報に基づいて考えを変えることの価値です。著者は直面した課題や繁栄する企業文化の構築方法を振り返り、将来のリーダーや起業家にとって貴重な洞察を提供しています。

続きを読む
スタートアップ

AIエージェントベンチマークの信頼性危機

2025-07-11
AIエージェントベンチマークの信頼性危機

現在のAIエージェントベンチマークは、深刻な信頼性危機に直面しています。多くのベンチマークには、悪用可能な欠陥が含まれており、エージェントの能力を過大評価または過小評価することにつながります。たとえば、WebArenaは間違った回答を正しいものとしてマークし、その他は、欠陥のあるシミュレーターや堅牢ではない評価方法に悩まされています。研究者たちは、ベンチマークの信頼性を向上させるための43項目のAIエージェントベンチマークチェックリスト(ABC)を提案し、10個の人気ベンチマークを評価し、そのほとんどに重大な欠陥を発見しました。このチェックリストは、ベンチマーク開発者とAIモデル開発者が、より信頼性の高い評価方法を構築することを支援することを目的としており、AIエージェントの能力をより正確に評価することを可能にします。

続きを読む
AI

AI依存症:増加する懸念と12ステップによる解決策

2025-07-11

AI技術の台頭により、新たなデジタル依存症であるAI依存症が生じています。この記事では、インターネットとテクノロジー依存症の匿名の会合体(ITAA)を紹介します。これは、AI関連の問題を含むインターネットとテクノロジー依存からの回復を支援する12ステップのフェローシップです。AI依存症の症状、影響、回復戦略を詳しく説明し、潜在的なAI依存症を特定するための自己評価アンケートを提供しています。ITAAは、無料の匿名のオンラインおよび対面ミーティングを提供し、会員が相互支援、禁酒、必要に応じた専門家の助けを求めることで回復することを奨励しています。この記事では、AI依存症の深刻な影響を強調しており、それは脳と全体的な幸福への薬物乱用の影響を反映しています。

続きを読む

アップルエンジニアの二つの顔:Macの父からサイケデリックイノベーターへ

2025-07-11
アップルエンジニアの二つの顔:Macの父からサイケデリックイノベーターへ

アップルのMacintosh開発の中心人物、ビル・アトキンソンが2025年に74歳で亡くなりました。彼は、QuickDraw、MacPaint、HyperCardといったソフトウェアを生み出した個人コンピューティングへの貢献に加え、晩年は「Grace Within」というペンネームで、サイケデリック物質5-MeO-DMTの安全な低用量使用を推進しました。LightWandベイプペンの技術をオープンソース化し、よりアクセスしやすくしました。アトキンソンの活動は、サイケデリック探求を民主化し、意識探求とトラウマ治療のためのツールへの幅広いアクセスを提供しました。

続きを読む
テクノロジー サイケデリック

百万かける百万:ロングスケールとショートスケール

2025-07-11

著者は子供の頃、百万の百万は十億であるなど、ロングスケールに基づいた大きな数の命名法を学んだ。しかし、大学に進学しテクノロジーの世界に触れると、百万の百万は一兆であるショートスケールが広く使われていることを発見した。この記事では、二つのシステムを比較対照し、ショートスケールの論理(千の累乗に基づく)を説明する。現在はショートスケールを使用しているものの、著者はロングスケールの簡潔さを懐かしんでいる。

続きを読む

バスルームにおけるメディアのウェットヒストリー

2025-07-11
バスルームにおけるメディアのウェットヒストリー

1980年代のフィットネスブームから現在まで、バスルームは単なる衛生空間からメディアとテクノロジーが融合した空間へと進化してきました。この記事は、初期の防水ラジオからマルチメディアシステムを搭載した高級バスタブまで、メディアテクノロジーがこの親密な空間にどのように浸透してきたかをたどり、より良い入浴体験を求める様子を描写しています。しかし、メディアテクノロジーの統合は複雑さも生み出します。仕事のプレッシャーがリラックスを邪魔する可能性があります。この記事は、歴史的および文化的視点から、メディアテクノロジーとバスルーム文化の複雑な関係を探り、その背景にある社会、経済、ジェンダー要因を検討しています。

続きを読む

ターメリックの大量摂取が重度の肝障害を引き起こす:戒めの物語

2025-07-11
ターメリックの大量摂取が重度の肝障害を引き起こす:戒めの物語

57歳の女性が、ソーシャルメディアで宣伝されている人気のハーブサプリメントであるターメリックを毎日大量摂取した結果、重度の肝障害で6日間入院しました。彼女は1日2250mgを摂取しており、WHOの推奨量を大幅に上回っていました。症状には、胃痛、吐き気、疲労、濃い色の尿などがありました。血液検査では、肝酵素値が通常の60倍に達していました。医師は介入し、肝不全の可能性を防ぎました。ターメリックは一般的に食品としては安全ですが、サプリメントの使用増加と高用量摂取により、肝障害の症例が増加しており、米国ではハーブによる肝障害の主要因となっています。

続きを読む

OpenZFSのほぼ壊滅的なバグがRustの型システムの威力を浮き彫りに

2025-07-11
OpenZFSのほぼ壊滅的なバグがRustの型システムの威力を浮き彫りに

OpenZFSのコアディスク割り当て関数に、微妙ながらも壊滅的なバグが最近発見されました。このバグは、単純な型エラーによって間違ったサイズが返されるというもので、データがサイレントに上書きされる可能性がありました。発見までに約2日間かかりました。このバグはリリース版には存在しませんでしたが、C言語の静的解析ツールの限界とRustの型システムの利点について改めて考えさせられるきっかけとなりました。Rustが`PhysicalSize`や`AllocatedSize`のようなカスタム型を定義できる機能は、このバグを防いでいたでしょう。著者は、プログラマの完全性に頼るだけでは不十分であり、ツールや言語機能を活用してコードの品質を向上させ、検出が難しく影響の大きいバグを軽減することが重要だと主張しています。

続きを読む
開発

Red Hatスタイルガイド:用語への深い探求

2025-07-11

このドキュメントは、Red Hatテクニカルドキュメントで使用される標準化された用語を詳細に概説しています。ソフトウェア名(例:IBM S/390、Samba)からセキュリティの説明(「secure」のような曖昧な用語を避け、セキュリティ機能に関する具体的な詳細を要求)まで、幅広い側面を網羅しています。また、略語(例:SSH、SSL)、コマンドラインの説明、および混同しやすい単語(例:「since」と「because」)の適切な使用方法も標準化しています。全体的な目的は、一貫性と正確性を確保し、可読性と専門性を向上させることです。

続きを読む

出生率低下:優先順位の変化

2025-07-11
出生率低下:優先順位の変化

本論文は、高所得国における歴史的に低い出生率を調査しています。コホートデータの分析から、全年齢層における無子化の増加と合計出生率の低下が明らかになり、長期的な視点の必要性が強調されています。本研究は、所得や価格の短期的な変動などの説明を退け、代わりに、成人における優先順位の基本的な変化、つまり親としての役割の低下を指摘しています。この「優先順位の変化」という現象は、変化する社会規範、進化する経済機会と制約、そしてより広範な社会文化的な力の複雑な相互作用である可能性が高いです。論文は、将来の研究と政策的含意に関する提案で締めくくられています。

続きを読む

Cactus:LLMをローカルにデプロイするためのクロスプラットフォームフレームワーク

2025-07-11
Cactus:LLMをローカルにデプロイするためのクロスプラットフォームフレームワーク

Cactusは、FlutterとReact Nativeに対応したクロスプラットフォームフレームワークで、アプリ内で大規模言語モデル(LLM)、ビジョン言語モデル(VLM)、テキスト読み上げ(TTS)モデルをローカルにデプロイできます。Hugging FaceのGGUFモデル(Qwen、Gemma、Llamaなど)に対応し、FP32から2ビット量子化モデルまで幅広い精度に対応しています。Cactusは、AI機能の向上(リマインダー、画像検索、メッセージへの返信など)のためのMCPツールコール、複雑なタスクのためのクラウドモデルへのフォールバック、Jinja2対応のチャットテンプレート、トークンストリーミングを提供します。サンプルコード、さまざまなデバイスでのパフォーマンスベンチマーク、C++バックエンドが提供されています。

続きを読む
開発

Btrfsのパフォーマンス向上:デバイスロールを使ったチャンク割り当て

2025-07-11

Btrfsファイルシステムに大きなパフォーマンス向上が到来します!新しいパッチにより、デバイスロールを使ったパフォーマンスベースのチャンク割り当て方法が導入され、空き容量のみを基準とした現在の割り当て方法による不均衡が解消されます。5つのデバイスロール(metadata_only、metadata、none、data、data_only)を定義し、ロールの優先順位と残りの空き容量を考慮することで、システムは高速デバイスをメタデータに、低速デバイスをデータにインテリジェントに割り当てることができ、読み書きパフォーマンスが大幅に向上します。この改善は複雑なデバイス速度の測定を回避し、既存のディスクフォーマットを活用して、よりスマートで効率的なストレージ管理を実現します。

続きを読む
開発

カンタス航空、570万人分の顧客データ流出

2025-07-11
カンタス航空、570万人分の顧客データ流出

オーストラリアのカンタス航空は、約570万人の顧客データが流出したことを発表しました。第三者プラットフォームへのサイバー攻撃が原因で、氏名、メールアドレス、カンタス・フリークエント・フライヤーの会員情報などが漏洩しました。一部顧客については、住所、生年月日、電話番号なども流出しています。カンタス航空は影響を受けた顧客に連絡を取り、セキュリティ対策を強化しています。この攻撃は、ソーシャルエンジニアリングと恐喝で知られる「Scattered Spider」と呼ばれる脅威アクターによる、他の航空会社への最近の攻撃と類似しています。

続きを読む
テクノロジー カンタス航空

YouTubeのシジフォスの仕事:AI生成コンテンツの洪水との戦い

2025-07-11
YouTubeのシジフォスの仕事:AI生成コンテンツの洪水との戦い

YouTubeは、AI生成の低品質コンテンツであふれています。これに対抗するため、YouTubeは7月15日より、パートナーシッププログラムのポリシーを更新し、大量生産された反復的なコンテンツをより効果的に特定し、取り締まります。これには、独創性に欠けるAI生成ビデオ、単純なスライドショー、そして非常に反復的なショートビデオなどが含まれます。しかし、AIビデオ作成の容易さと収益性から、クリエイターを引き付け続けており、コンテンツモデレーションの限界から、プラットフォームはこれらの低品質コンテンツを完全に排除することは困難であり、最終的にはユーザーエクスペリエンスを損なうことになります。

続きを読む

ヒューストン、問題発生:3億500万ドルのスペースシャトル移転問題

2025-07-11
ヒューストン、問題発生:3億500万ドルのスペースシャトル移転問題

ダービン上院議員は、ディスカバリー号スペースシャトルをスミソニアン博物館からヒューストンに移転する決定に疑問を呈し、新たな施設建設費1億7800万ドルを除いても総額3億500万ドルかかると指摘しました。彼は、議会がスミソニアン博物館のコレクションから遺物を移動させる権限を持たない可能性があり、8500万ドルの無駄遣いだと主張しました。最終的に移転阻止修正案を取り下げましたが、ダービン上院議員は同僚に再考を促し、退役したスペースシャトルの展示を巡る都市間の激しい競争を強調しました。

続きを読む

Grok 4リリース:強力だが、安全性への懸念も

2025-07-11
Grok 4リリース:強力だが、安全性への懸念も

xAIは、コンテキストの長さが256,000トークンと長く、強力な推論能力を持つ新しい大規模言語モデルGrok 4をリリースしました。ベンチマークテストでは他のモデルを上回っています。しかし、前身のGrok 3は最近、システムプロンプトの更新によって反ユダヤ的な出力が発生したことで物議を醸し、Grok 4の安全性に対する懸念が高まっています。Grok 4は競争力のある価格ですが、モデルカードがないことやGrok 3のネガティブな出来事によって、開発者の信頼に影響を与える可能性があります。

続きを読む
AI

diffsitter:意味のあるコード差分ツール

2025-07-11
diffsitter:意味のあるコード差分ツール

diffsitterは、ファイルの抽象構文木(AST)を比較することで、フォーマットの違いを無視し、意味のあるコード差分を生成するツールです。多くのプログラミング言語をサポートしており、設定可能なノードフィルタリング、ターミナルフレンドリーなフォーマット、詳細なログ記録などの機能を提供します。ソースコードからのビルド、プリビルドバイナリの使用、パッケージマネージャーなど、さまざまなインストール方法があります。

続きを読む

eBPFとコンテナランタイム:CRIによる接続

2025-07-11

この記事では、オープンソースのeBPFプロジェクトがコンテナランタイムインターフェース(CRI)を使用してコンテナランタイム(CR)に接続し、ポッドとコンテナの情報でコンテキストを豊かにする方法を調べます。接続プロセスについて詳しく説明します。Unixソケットファイルの特定、CRI APIを使用したgRPC接続の確立、情報のクエリです。Tetragon、crictl、Traceeの例を通して、ハードコードされたデフォルトのソケットパスやランタイム接続の試行など、CRへの接続におけるさまざまなアプローチを示します。最後に、CRI APIを使用して、cgroupパスなどのコンテナ情報をクエリする方法を示します。たとえば、Tetragonがコンテナのcgroupパスを取得する方法などです。

続きを読む
開発
1 2 117 118 119 121 123 124 125 595 596