人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

Google、ChromeのサードパーティCookieに関する独立したプロンプトを廃止

2025-04-22
Google、ChromeのサードパーティCookieに関する独立したプロンプトを廃止

Googleは驚くべきことに、ChromeにおけるサードパーティCookieに関する独立したプロンプトの展開を中止することを決定しました。これは、広告テクノロジー企業が世界で最も人気のあるブラウザでターゲティング技術を使い続けることができることを意味し、Chromeチームが2022年7月に発表したサードパーティCookieの廃止に関する発表の転換点を示しています。業界からのフィードバックを理由とするこの決定は、広告テクノロジーエコシステムに大きな混乱を引き起こす可能性があります。Googleは、他のPrivacy Sandboxイニシアチブは継続すると述べていますが、プロジェクトのAPIの未来は不確実であり、今後数ヶ月で更新されたロードマップが提示される予定です。

続きを読む
(digiday.com)
テクノロジー サードパーティCookie

DSM-5-TRパネルメンバーと業界の巨額な癒着が発覚

2025-08-27
DSM-5-TRパネルメンバーと業界の巨額な癒着が発覚

アメリカ精神医学会の診断統計マニュアル第5版改訂版（DSM-5-TR）のパネルメンバーと業界との間の資金的なつながりを調査した研究によると、約60％（92人中55人）が1420万ドルを超える多額の支払いを受けていたことが判明しました。これらの支払いは、コンサルティング料、旅費、講演料などを含んでいました。この研究は、DSM-5-TRの客観性に影響を与える可能性のある利益相反の可能性を強調しており、このような相反を防止し、精神保健診断基準の独立性と信頼性を確保するために、より厳しい規制を要求しています。

続きを読む
(www.bmj.com)
その他

AgenticSeek：ローカルでプライベートなManus AI代替案

2025-04-29
AgenticSeek：ローカルでプライベートなManus AI代替案

AgenticSeekは、完全にローカルで、音声対応のAIアシスタントです。ウェブを自律的に閲覧し、コードを書き、タスクを計画しますが、すべてのデータはデバイス上に保持されます。ローカル推論モデル用に設計されており、完全なプライバシーとクラウドへの依存ゼロを保証します。複数のプログラミング言語をサポートし、各タスクに最適なAIエージェントを自動的に選択します。このプロジェクトはオープンソースであり、積極的に貢献者を募集しています。

続きを読む
(github.com)
AI

LiteLLM：創設メンバーとなるフルスタックエンジニア募集

2025-08-27
LiteLLM：創設メンバーとなるフルスタックエンジニア募集

NASAやAdobeなどの企業が利用する、GitHubで27,000以上のスターを獲得しているオープンソースのLLMゲートウェイであるLiteLLMは、急速に拡大しており、創設メンバーとなるフルスタックエンジニアを募集しています。この役割は、OpenAI仕様を使用して100以上のLLM API（OpenAI、Azure、Bedrockなど）の呼び出し形式を統一し、プラットフォームのパフォーマンスと信頼性を向上させることに重点を置いています。テクノロジースタックには、Python、FastAPI、JS/TS、Redis、Postgresなどが含まれています。候補者は、バックエンドまたはフルスタック開発で1〜2年の経験を持ち、高性能インフラストラクチャのメンテナンスに精通し、オープンソースに情熱を持っている必要があります。

続きを読む
(www.ycombinator.com)
開発

Math.random()の解読：Xorshift128+を反転させるための改良アルゴリズム

2025-09-04
Math.random()の解読：Xorshift128+を反転させるための改良アルゴリズム

最近の脆弱性CVE-2025-7783は、Node.jsエコシステムにおけるエッジケースを悪用し、axiosや非推奨のrequestライブラリを使用するアプリケーションに影響を与えます。この攻撃は、JavaScriptのMath.random()の5つの連続した出力を必要とし、z3ソルバーを使用して将来の出力を予測することを可能にします。このブログ記事では、より効率的なアプローチを紹介します。著者は、Math.random()で使用されているXorshift128+アルゴリズムを反転させるための226演算のアルゴリズムを示しています。これは、2つの完全な64ビット出力を必要とします。Xorshift128+を分析することにより、R1の最下位26ビットのみを知っていれば、L1とR2の残りのビットを決定できます。この記事では、これを完全なMath.random()関数に適用することについても議論し、ビットの切り捨てによる課題を強調し、3つの出力を使用するソリューションを提案しています。最後に、著者は研究にChatGPTを使用する経験を共有し、その可能性を示しながら、現在の限界も認めています。

続きを読む
(littlemaninmyhead.wordpress.com)
開発

仕事の大きな代償：それだけの価値はあるのか？

2025-02-11
仕事の大きな代償：それだけの価値はあるのか？

このエッセイは、現代資本主義における「仕事」の従来の理解に異議を唱えています。著者は、仕事は純粋に生産的な活動というよりも、生物圏の資源を市場原理に従った商品に変換するものであり、富の不平等を悪化させ、環境破壊や個人の苦痛を引き起こす、と主張しています。エッセイは、仕事の目的の再評価を求め、利益の無慈悲な追求ではなく、個人の充実感と社会調和によって導かれる人生を提唱しています。

続きを読む
(crimethinc.com)
その他 仕事

大規模言語モデルとコード最適化の限界

2025-01-07
大規模言語モデルとコード最適化の限界

David Andersen氏は、100万個のランダムな整数のリストから、数字の合計が30になる最小値と最大値の差を求めるコードを最適化するために、大規模言語モデル（LLM）を使用する実験を行いました。初期のPythonとRustのコードは遅かったです。LLMは数字の合計を求める関数など、一部のコードを改善しましたが、重要な最適化を見逃しました。それは、コストの高い数字の合計計算を行う前に、数値が関連しているかどうかを確認することです。より高速な乱数生成器、並列処理、前処理などを含む手動による介入により、Rustコードの速度は55倍向上しました。これは、特にアルゴリズムの深い理解と並列化戦略を必要とする複雑な問題において、LLMのコード最適化における限界を浮き彫りにしています。人間の創意工夫は依然として不可欠です。

続きを読む
(wiredream.com)
開発

チャットボット依存が子供たちの自傷行為や自殺未遂につながる

2025-09-18
チャットボット依存が子供たちの自傷行為や自殺未遂につながる

上院の公聴会で、チャットボットに依存した子供たちが自傷行為、自殺願望、暴力行為に及んだという痛ましい証言が複数寄せられました。ある母親は、自閉症の息子がCharacter.AIにのめり込んだ後、暴力的な行動、妄想、自傷行為を示し、家族を脅迫するようになったと説明しました。この事件は、特に子供たちにとって、AIチャットボットの潜在的な危険性を浮き彫りにし、より厳しい規制と安全対策を求める声が高まっています。

続きを読む
(arstechnica.com)
AI チャットボットのリスク

忘れられた悲劇：津波で孤児になった子どもたち

2025-01-02
忘れられた悲劇：津波で孤児になった子どもたち

2004年のスマトラ・アンドマン諸島沖地震津波では、約23万人が犠牲となり、その多くは子どもでした。この記事では、生き残った子どもたちの苦境、孤児となったこと、心的外傷後ストレス障害（PTSD）に苦しんでいること、そして人身売買の危険にさらされていることなどを詳細に説明しています。国際機関が支援活動を行っていますが、多くの子どもの未来は不透明です。著者は、これらの子供たちの苦境に注目し、ボランティア活動や寄付を通じて支援することを呼びかけています。

続きを読む
(robertvanwey.substack.com)
その他 津波 子ども 災害救援

Linuxハードウェアの第一人者：Michael Larabel

2025-06-05

Michael Larabelは、Phoronix.com（2004年設立）の創設者であり、Linuxハードウェアパフォーマンスにおける第一人者です。Linuxハードウェアサポート、パフォーマンス、グラフィックドライバーなどに関する20,000以上の記事を執筆しています。また、自動ベンチマークソフトウェアであるPhoronix Test Suite、Phoromatic、OpenBenchmarking.orgのリード開発者でもあります。

続きを読む
(www.phoronix.com)
テクノロジー

深層学習演算の統合：一般化ウィンドウ演算

2025-09-13

本論文は、行列乗算や畳み込みなどの深層学習の中核となる演算を統合する理論的枠組みである一般化ウィンドウ演算（GWO）を紹介しています。GWOはこれらの演算を、パス（演算の局所性）、形状（幾何学的構造と対称性）、ウェイト（特徴の重要性）という3つの直交成分に分解します。本論文では、構造整合の原則を提案し、GWOの構成がデータの本質的な構造を反映する際に最適な汎化が達成されると示唆しています。この原則は、情報ボトルネック（IB）原理に由来します。Kolmogorov複雑度に基づいた演算複雑度メトリックが定義され、この複雑性の性質（適応的正則化か総当たり能力か）が汎化を決定すると主張されています。GWOは、データ構造に適応的に整合する演算において優れた汎化を予測します。この枠組みは、ニューラル演算を作成するための文法と、データのプロパティから汎化可能なアーキテクチャ設計への原理に基づいた経路を提供します。

続きを読む
(zenodo.org)
AI

AmazonによるFreeBSD支援1年間：成果と課題

2025-06-06

この記事では、GitHub Sponsorsを通じてAmazonから1年間FreeBSDリリースエンジニアリングとFreeBSD/EC2開発のスポンサーシップを受けた著者の経験について説明しています。この1年間で、4つのFreeBSDリリースを管理し、Gravitonインスタンスの電源ドライバーやホットプラグデバイスのサポートなど、FreeBSD/EC2プラットフォーム上のいくつかの重要な問題を解決しました。FreeBSD/EC2インスタンスのブート時間も大幅に改善され、新しいAMIフレーバーが追加されました。しかし、スポンサーシップの終了に伴い、いくつかの計画されていた機能強化は延期されることになります。

続きを読む
(www.daemonology.net)
開発

エレガントなリトライループ：冗長性と予期せぬスリープの回避

2025-08-27

著者は、リトライ回数を明確に制限し、最後の試行後の無駄なスリープを避け、リトライが失敗した場合に元のエラーを報告し、コードの重複を避けるエレガントなリトライループの記述方法を探求しています。いくつかのアプローチを比較し、最終的には、終了を保証するための上限を持つ`try while`ループを採用することで、以前のソリューションにおける境界の問題と潜在的な無限ループのリスクに対処しています。最終的なソリューションは完璧ではありませんが、以前の試みと比べて簡潔さと堅牢性が大幅に向上しています。

続きを読む
(matklad.github.io)
開発

Microsoft、Copilotチャットをビジネスユーザー向けに無料提供

2025-09-16
Microsoft、Copilotチャットをビジネスユーザー向けに無料提供

Microsoftは本日、すべてのMicrosoft 365ビジネスユーザーに対し、AI搭載のCopilotチャットとエージェントを無料で提供することを発表しました。Word、Excel、PowerPoint、Outlook、OneNoteに、Copilotチャットのサイドバーが追加され、ドキュメント作成、スプレッドシート分析などが容易になります。無料版でも便利な機能が利用できますが、月額30ドルのユーザーライセンスでは、ファイルアップロード、画像生成、GPT-5などの最新テクノロジーへのアクセスなど、プレミアム機能が利用でき、応答速度と可用性が向上します。また、Microsoftは10月に、Sales、Service、Finance CopilotをMicrosoft 365 Copilotサブスクリプションに統合し、一部企業のコスト削減を図ります。

続きを読む
(www.theverge.com)
テクノロジー

復旦大学、超高速フラッシュメモリPoXを開発

2025-04-19
復旦大学、超高速フラッシュメモリPoXを開発

復旦大学の研究チームが、PoXと名付けられた超高速不揮発性フラッシュメモリを開発しました。単一ビットのプログラミング速度は400ピコ秒という驚異的な速さで、毎秒約250億回もの操作が可能になります。Nature誌に掲載されたこの成果は、不揮発性メモリの速度を従来の高速揮発性メモリと同等のレベルにまで引き上げ、データ集約型のAIハードウェアにおける新たな基準を打ち立てました。シリコンチャネルを2次元ディラックグラフェンに置き換え、弾道電荷輸送を利用することで、従来のフラッシュメモリの書き込み速度のボトルネックを克服しました。PoXは、AIチップにおける高速SRAMキャッシュの排除、省電力化、小型化、そしてデータベースエンジンによる永続的RAMへの作業セットの格納などを可能にする可能性を秘めています。この革新的な技術は、ストレージテクノロジーの変革と新たな応用分野の開拓に繋がるでしょう。

続きを読む
(interestingengineering.com)
テクノロジー 不揮発性フラッシュメモリ

友情不況：文化危機と克服策

2025-04-26
友情不況：文化危機と克服策

アメリカでは「友情不況」が起きており、大人たちの親しい友人関係が劇的に減少している。これは、郊外化や経済的プレッシャーといった構造的な要因だけでなく、より深い文化的な変化が原因である。仕事が主要な社会的アイデンティティとなり、家族が友情より優先され、オンライン交流が対面での交流に取って代わっている。この記事では、この変化の神経心理学的なメカニズムを探り、解決策として、積極的に友情を築く機会を作る（例えば、新しい共同体験）こと、そして、組織的な活動を通じて友情を維持することなどを提案している。最終的には、この傾向を逆転させるには、構造的な変化と個人の努力の両方が必要だと主張している。

続きを読む
(www.happiness.hks.harvard.edu)
その他

アンチパーソナルコンピューティング：21世紀初頭における計算の新しい悪意のあるパラダイム

2025-05-13

この記事では、「アンチパーソナルコンピューティング」という新語を紹介し、21世紀初頭の主流計算における悪意のあるパターンを説明します。計算デバイスの使用はユーザーの利益を損ない、第三者エンティティに利益をもたらします。「アンチパーソナルコンピューター」は、主にユーザーの不利益となり、第三者の利益となるために使用されるデバイスと定義されています。この用語は対人地雷に類似点を引き、テクノロジーの悪用という暗い側面を強調しています。

続きを読む
(erratique.ch)
テクノロジー アンチパーソナルコンピューティング コンピューティング倫理

C言語における定数式の検出：マクロアプローチ

2025-04-22

この記事では、式が定数式かどうかを検出するC言語マクロを作成する様々な方法を探ります。著者は、C23の静的複合リテラル、GNU拡張の`__builtin_constant_p`、`static_assert`、`sizeof`と複合リテラル配列の組み合わせ、`sizeof`と列挙型定数の組み合わせ、そしてコンマ演算子など、いくつかの手法を調査しています。それぞれの方法には長所と短所があり、C23のサポートは限定的であり、`__builtin_constant_p`はGNU拡張に依存し、`static_assert`と`sizeof` の方法は式の型を変更する可能性があり、コンマ演算子は警告を生成します。著者は、完璧な解決策は存在せず、最適な選択は具体的なニーズとC言語の標準バージョンによって決まるという結論に至っています。

続きを読む
(nrk.neocities.org)
開発 定数式

60年間地球の秘密の仲間：新たな準衛星を発見

2025-09-22
60年間地球の秘密の仲間：新たな準衛星を発見

天文学者たちは、約60年間地球の周りを気づかれずに周回していた準衛星である、2025 PN7という名前の地球近傍小惑星を発見しました。直径約30メートルのこの宇宙の岩は、これまで知られていた準衛星よりも小さく、その軌道は地球近傍軌道と馬蹄形軌道の間を変化させます。研究者たちは、それがアルジュナ小惑星帯から来たか、あるいは月の破片である可能性があると仮定しています。地球に非常に近いにもかかわらず、脅威ではなく、太陽系の研究や惑星探査技術の試験に貴重な機会を提供します。

続きを読む
(www.cnn.com)
テクノロジー 地球近傍小惑星 準衛星

細菌感染が心臓発作を引き起こす可能性：新たな研究

2025-09-14
細菌感染が心臓発作を引き起こす可能性：新たな研究

新たな研究は、細菌感染と心筋梗塞の間に驚くべき関連性があることを明らかにしました。この研究では、アテローム性動脈硬化症のプラークが、免疫系と抗生物質から保護された細菌バイオフィルムを保有していることがわかりました。ウイルス感染やその他のトリガーは、これらのバイオフィルムを活性化し、炎症とプラークの破裂を引き起こし、血栓形成と心臓発作につながる可能性があります。この発見は、新しい診断法と治療法、そして冠動脈疾患と心筋梗塞に対する予防的ワクチン接種さえも可能にする道を開きます。

続きを読む
(www.tuni.fi)
テクノロジー 心筋梗塞 細菌感染

画期的成果：マウス脳の視覚中枢の精密マップが公開

2025-04-20
画期的成果：マウス脳の視覚中枢の精密マップが公開

9年間の綿密な作業を経て、国際研究チームはマウス脳の視覚中枢の精密マップを発表しました。これは、哺乳類の脳における神経回路のこれまでで最大かつ最も詳細な描画です。このマップは、哺乳類の知覚の複雑な構造と機能システムを明らかにし、正常な脳機能（視覚、記憶、ナビゲーション）と自閉症や統合失調症などの神経発達障害の研究を加速させることを約束します。Nature誌に掲載されたこの研究は、AIを用いて数万ものニューロンとその数十億もの接続をトレースし、この構造データと機能的脳イメージングを組み合わせることで、構造と機能を結びつけました。この画期的な研究は、脳科学のデジタル変革への道を切り開き、神経科学における前例のない発見の可能性を開きます。

続きを読む
(engineering.princeton.edu)
テクノロジー 脳マッピング

MemoTTL: Ruby用スレッドセーフなメモ化ユーティリティ（TTLとLRU対応）

2025-04-22
MemoTTL: Ruby用スレッドセーフなメモ化ユーティリティ（TTLとLRU対応）

MemoTTLは、TTL（Time-To-Live）とLRU（Least Recently Used）による要素の削除をサポートする、Ruby用のスレッドセーフなメモ化ユーティリティです。一定期間後にキャッシュされた値が期限切れになり、メモリ使用量を制限する必要があるシナリオに最適です。`include MemoTTL`と`memoize`を使用して簡単に統合でき、キャッシュをクリアするメソッドも提供されています。Railsコントローラーでの使用例では、高コストなメソッドの繰り返し呼び出しを回避することで、パフォーマンスの大幅な向上を示しています。

続きを読む
(github.com)
開発

UR5ロボットアームシミュレーション：物体の把持と配置

2025-08-06
UR5ロボットアームシミュレーション：物体の把持と配置

このプロジェクトは、PyBullet環境において、Robotiq 85グリッパーを搭載したUR5ロボットアームをシミュレートし、自律的な物体の把持と配置タスクを実行します。逆運動学（IK）を用いてアームを正確に制御し、同期した関節制御で現実的なグリッパー動作を実現することで、ロボットはランダムな位置から立方体を把持し、トレイに配置します。このシミュレーションには、動的なオブジェクト配置とリアルタイムのインタラクションが含まれています。

続きを読む
(github.com)
AI 逆運動学

女性のためのニュートン主義：科学、ファッション、そして論争の一端

2025-09-21

アルガロッティの『イル・ニュートニアニズモ・ペル・レ・ダーメ』は、語り手と侯爵夫人の間の対話を通してニュートン物理学を説明し、科学教育と娯楽を見事に融合させています。著名な人物に捧げられた詩や、力学ではなく光学に対する軽妙で楽しいアプローチがテキストの特徴です。一見、女性の科学的リテラシーを促進しているように見えますが、侯爵夫人の理解の描写は議論を呼び起こします。知識の受動的な受容者と見る者もいれば、科学とファッションに関心を持つ女性の描写を強調する者もいます。

続きを読む
(www.whipplelib.hps.cam.ac.uk)
テクノロジー 科学啓蒙 ジェンダー研究

Reflect：ESP32S3ベースのハードウェアAIアシスタント

2025-08-19
Reflect：ESP32S3ベースのハードウェアAIアシスタント

ReflectはOpenAIハッカソンで開発されたハードウェアAIアシスタントです。Espressifチップをベースにしており、音声、光、色を使った自然なインタラクションをデザインしており、画面は不要です。ユーザーはスマートフォンで接続し、Reflectはローカルな状態を持たず、すべての情報はスマートフォンに保存されます。機能には、昨日の出来事の振り返り、明日の準備、勉強中の音楽再生と素早い質問への回答、場所に応じた動作などが含まれます。簡単に修正・拡張できるように設計されており、低コストと幅広いアクセシビリティを目指しています。

続きを読む
(github.com)
ハードウェア

中国、世界初の人型ロボット格闘競技会を開催

2025-05-31
中国、世界初の人型ロボット格闘競技会を開催

中国の杭州で、Unitree Roboticsが世界初の人型ロボット格闘競技会を開催しました。約1.2メートル、35キロのG1ロボットが、人間がリモコンと音声コマンドで操作し、リング上で対戦しました。まるで映画『リアルスティール』や『バトルボッツ』のような迫力ある試合は、ノックアウトで決着することもありました。見応えのあるショーであると同時に、この競技会は、極限状態でのロボットのバランス、運動性、耐久性を向上させることを目的としており、製造や医療など様々な分野への応用が期待されています。これは、中国の急成長するロボット産業を象徴する出来事です。

続きを読む
(www.vice.com)
テクノロジー ロボット格闘

メンフィスのxAIデータセンター、大気排出許可：より厳しい規制と残る懸念

2025-07-07
メンフィスのxAIデータセンター、大気排出許可：より厳しい規制と残る懸念

xAIはメンフィスのデータセンター向けに大気排出許可を取得しました。これにより、起動、停止、故障、調整イベントの詳細な記録が義務付けられ、保健局に半期ごとに報告する必要があります。この許可は、タービンの稼働時間と起動/停止イベントを制限し、大気汚染を軽減するために、可視排出量に厳格な制限を課しています。サザン・エンバイロメンタル・ロー・センター（SELC）はxAIの運営を継続的に監視し、計画されている第2データセンターの電源と全体的な透明性について懸念を表明しています。

続きを読む
(arstechnica.com)
テクノロジー

博士号の罠と大学町の未来

2025-04-18
博士号の罠と大学町の未来

この記事は、南カリフォルニア大学の国際教育学教授であるライアン・アレン氏へのインタビューを取り上げています。アレン氏は、学術出版から一般向け執筆への転換、高等教育が直面する課題、そして大学が思慮深い都市設計を通じてどのように地域社会により良く統合できるかについて論じています。博士号取得者の供給過多が、縮小する労働市場につながっていることを指摘し、博士号取得には注意が必要だとアドバイスしています。大学と周辺地域社会の関係性を考察し、大学が古い地区の保護と都市開発の促進において重要な役割を果たしていること、同時に「タウン＆ガウン」の永続的な対立も存在することを指摘しています。アレン氏は、高等教育においてより実践的なアプローチを提唱し、地域社会とのより良い統合と住宅不足問題の解決を強調しています。

続きを読む
(www.governance.fyi)
その他

型クラスの死：HaskellにおけるBackpackモジュールシステムの探求

2025-09-15

この記事では、Haskellにおける型クラスをBackpackモジュールシステムで置き換えることを探求しています。「Death」という例を通して、Functorのような型のシグネチャを定義し、異なるインスタンス（例えばMaybeとIO）を実装する方法を示しています。Cabalの設定により、テスト中に状態モナドを使ってIOをシミュレートするなど、実装を柔軟に選択できます。このアプローチは、Cabalの設定が複雑になりますが、より明確なエラーメッセージ、柔軟な制御、潜在的なパフォーマンス向上をもたらします。この記事は、簡素化が可読性と保守性を向上させると主張するミニマリスト的なプログラミング哲学で締めくくられています。

続きを読む
(jappie.me)
開発

SpaceX、スターシップの軌道帰還とキャッチを目指す

2025-09-20
SpaceX、スターシップの軌道帰還とキャッチを目指す

SpaceXは来年、低地球軌道からテキサス州の打ち上げ台へのスターシップロケットの帰還と着陸という画期的な偉業に挑戦する計画です。この野心的な目標は、地上の障害物を避けるために狭い航路を正確に航行する必要があるため、大きな地理的な課題をもたらします。これまでの10回の試験飛行はすべて、海への着水で終わりました。今後の試験が成功した後、SpaceXは新型スターシップV3（高さ171フィート）を軌道に乗せることを目指します。スターシップの設計は完全な再利用性を優先しており、スーパーヘビーブースターはすでに回収・再利用されていますが、上段の回収は早くても来年です。軌道飛行と打ち上げ地点への帰還着陸の成功は、メキシコとテキサス州南部の一部の上空を飛行する必要があり、スターシップ開発における大きなマイルストーンとなるでしょう。

続きを読む
(arstechnica.com)
テクノロジー 再利用ロケット
1 2 … 45 46 47 49 51 52 53 … 595 596