1.
2.5年目の宇宙侵略者
(My 2.5 year old laptop can write Space Invaders in JavaScript now (GLM-4.5 Air))

あるユーザーが、2.5年使用しているノートパソコンで新しいGLM-4.5 Airモデルを試しました。このモデルを使って、HTMLとJavaScriptでスペースインベーダーゲームを成功裏に作成しました。GLM-4.5 Airは1060億のパラメータを持ち、64GBのRAMを搭載した機械向けに設計された44GBの小型バージョンで動作しました。ユーザーは特定のソフトウェアを使用してモデルを実行し、ゲームコードを生成するためのプロンプトを提供しましたが、初回の試行で完璧に動作しました。

他のアプリケーションを閉じてメモリを解放する必要があったものの、モデルは良好に動作し、最近のコーディングモデルの進歩が大きく改善されたことを示しました。ユーザーは、2025年にリリースされた多くの新しいモデルがコーディングに焦点を当てており、古いモデルと比較して素晴らしい結果を出していると述べました。

投稿者: simonw | スコア: 229

2.
オブザーバブル2.0技術プレビュー
(Observable Notebooks 2.0 Technology Preview)

Observableは新しいバージョンのノートブック、Notebooks 2.0を発表し、ユーザーに試してもらうことを呼びかけています。主な特徴は以下の通りです。

まず、新しいツールが導入されます。Observable Notebook Kitは、静的ウェブサイトを作成するためのノートブック用ファイル形式です。また、Observable DesktopはmacOS用のアプリで、ローカルでノートブックを編集でき、AIを活用して創造性と生産性を向上させます。

目標としては、ファイルベースのワークフローをサポートし、使いやすさを向上させることが挙げられます。標準のJavaScriptを使用することで、学習が容易になり、コードの再利用も簡単になります。ノートブックは最新の構文やライブラリを取り入れ、速やかに静的サイトとして表示されるように更新されます。

主な機能には、オープンファイル形式があり、ノートブックはシンプルなHTMLベースの構造で、どのテキストエディタでも簡単に編集できます。標準のJavaScriptを使用することで、ユーザーはよりアクセスしやすくなります。さらに、テーマやスタイルを使ってノートブックの外観をカスタマイズできる機能もあります。ノートブックから静的サイトを生成することができ、読み込み時間やSEOの改善にも寄与します。また、macOS用のデスクトップアプリは、使いやすい編集体験を提供します。

今後の計画として、新しいエディタやAI機能はウェブ上でも利用可能になり、簡単にコラボレーションや共有ができるようになります。ユーザーはフィードバックを提供することが奨励されており、Notebooks 2.0の開発に役立てられます。

この技術プレビューは、ユーザーがノートブックを作成、編集、共有する方法を現代化し、より強力で使いやすいものにするための一歩です。

投稿者: mbostock | スコア: 40

3.
Linux Performance Analysis in 60 seconds (2015)
(Linux Performance Analysis in 60 seconds (2015))

要約がありません。

投稿者: benjacksondev | スコア: 93

4.
学びは遅い
(Learning Is Slower Than You Think)

この記事では、AIを活用した教育モデルの限界について、特に「アルファスクール」という学校に焦点を当てています。この学校はAIを使って学習を効率化していますが、著者は真の学びはしばしば時間がかかり、混沌としており、人間関係を伴うものであると強調しています。学びは効率やパフォーマンスだけでなく、苦労や好奇心を伴うものです。

真の学びは、構造化された授業からではなく、自然発生的な好奇心の瞬間から生まれることが多いです。学びは変化のプロセスであり、教師や仲間との関係によって形作られ、時間と努力を必要とします。

アルファスクールのモデルでは、AIを使って教育を個別化し、生徒が自分のペースで学べるようにしています。しかし、このアプローチは、意味のある関与や苦労を優先するのではなく、スピードと効率を重視することで教育体験を平坦化するリスクがあります。

教育の最適化を追求することは、学びの重要な側面、例えば苦労やコミュニティの重要性、そして挑戦を乗り越えることで得られる個人的成長を見落とす可能性があります。

AIは特定のニーズを持つ生徒にとって学びを向上させることができますが、同時に深い理解や複雑さ、不確実性に対処する能力を失わせる可能性もあります。

この記事では、学生が内容に深く関わる反省的な学びの重要性が論じられています。単に内容を急いで進めるのではなく、反省を通じてレジリエンスを育み、教材との真のつながりを築くことが求められています。

著者は、AI主導の世界で優れた成果を上げるために訓練するのではなく、生徒の好奇心や疑問を大切にする教育実践が必要であると訴えています。

投稿者: almost-exactly | スコア: 56

5.

ELFインジェクターは、ELF形式の実行ファイルにカスタムコードを追加するツールです。このコードはプログラムが始まる前に実行されます。プロジェクトにはサンプルコードと使い方を説明するチュートリアルが含まれており、利用方法を理解するのに役立ちます。C言語とアセンブリ言語を組み合わせており、現在は32ビットのARMデバイスで動作しますが、他のシステムにも簡単に適応できます。

投稿者: dillstead | スコア: 13

6.
カバレッジの魔法
(Coverage.py Regex Pragmas)

Coverage.pyは、Pythonのコード実行を測定するためのツールです。このツールでは、ユーザーが特定のコード行をカバレッジ測定から除外するためにコメントを使用することができます。他のツールとは異なり、Coverage.pyはカスタマイズ可能な正規表現(regex)を使用してこれらの除外を行うため、非常に柔軟です。

主な特徴としては、特定の正規表現パターンに一致する行に除外を適用できることが挙げられます。これには複数行のパターンも含まれます。また、ユーザーは特定のメソッドやファイル全体を除外するためのカスタム正規表現を作成でき、各インスタンスにコメントを追加する必要がありません。プラグインを使用することで、デフォルトの除外や新しいコメント構文を追加して機能を強化することも可能です。

最近のアップデートでは、正規表現の機能が向上し、特定のマーカーの間のコードを除外するなど、より複雑な除外が可能になりました。ただし、正規表現は除外コメントを含む文字列の一致など、一部の特殊なケースでは苦労することがあります。

全体として、Coverage.pyの正規表現の使用は、単純な機能からPythonプロジェクトのコードカバレッジを管理するための強力なツールへと進化しています。

投稿者: xrayarx | スコア: 17

7.
ターミナルエージェントのRL訓練
(Terminal-Bench-RL: Training Long-Horizon Terminal Agents with RL)

著者のダンは、強化学習を用いて高度なコーディングエージェントを大規模に訓練するための堅牢なインフラを構築しました。このシステムは、2台から32台の高性能GPUを利用でき、その価値は約100万ドルに達します。訓練なしで、彼の320億パラメータのエージェントは、Terminal-Benchのリーダーボードで19位にランクインし、スタンフォードの競合を上回りました。

主な成果には、クロードコードに触発された新しいエージェントの開発、各タスクのためにDockerコンテナを使用した訓練環境の構築、訓練データを生成・検証するための合成データパイプラインの作成、ユニットテストの結果と言語モデルからの評価を組み合わせた独自の報酬システムの使用が含まれます。

注目すべき結果としては、訓練されていないエージェントがベンチマークで13.75%の良好な成績を収めたこと、複数のサーバーで効率的に訓練環境が機能したこと、言語モデルの評価者の性能を評価するためのミニ評価フレームワークが確立されたことがあります。完全な訓練には、1000エポックの訓練に対して約3万から5万ポンドが必要ですが、ダンは現時点ではその資金を用意できませんでした。

また、合成データセットには、簡単なものから非常に難しいものまでさまざまなタスクが含まれていると共有しました。ダンは、長期的な強化学習における知識の共有を奨励しており、それが人々の生活に大きな影響を与える可能性があると信じています。技術的な詳細については、彼の作業はGitHubでオープンソースとして公開されています。

投稿者: Danau5tin | スコア: 84

8.
プロジェクトゼロ:2025年版
(Project Zero – Policy and Disclosure: 2025 Edition)

GoogleのProject Zeroチームは、脆弱性の開示と対応を改善するために「報告の透明性」と呼ばれる新しい試行政策を導入しました。

現在の開示モデルは、2021年から「90+30」ポリシーを採用しており、ベンダーには脆弱性を修正するための90日間が与えられ、その後30日間はユーザーがパッチを適用する期間となっています。しかし、ベンダーからエンドユーザーへの修正が届くまでに大きな遅れが生じる「パッチギャップ」が存在します。新たに特定された「アップストリームパッチギャップ」は、修正が存在するにもかかわらず、ユーザーが依存する製品に統合されていない場合を指します。

新しい試行政策は、脆弱性がベンダーに報告されると同時に、Project Zeroが以下の情報を公表することを定めています。報告を受けたベンダーやプロジェクト、影響を受ける製品、報告が提出された日付と開示の締切日です。

この新政策の目標は、報告された脆弱性に関する透明性を高め、上流のベンダーと下流の依存者とのコミュニケーションを改善し、研究者や一般の人々が修正がユーザーに届くまでの時間を追跡できるようにすることです。

セキュリティに関する考慮事項として、この政策は攻撃者に有利な技術的詳細を提供することなく、認識を高めることを目指しています。一部のベンダーにはこのアプローチが難しいと感じられるかもしれませんが、全体としては利点が不便さを上回ると考えられています。

今後の展望として、これは試行期間であり、Project Zeroはその効果を監視し、脆弱性がすべてのシステムやデバイスで迅速に対処される安全な環境を作ることを期待しています。この更新は、ユーザーを保護し、全体的なセキュリティエコシステムを改善するために、タイムリーなセキュリティアップデートの重要性を強調しています。

投稿者: esnard | スコア: 12

9.
ポニー: 高性能プログラミング言語
(Pony: An actor-model, capabilities-secure, high-performance programming language)

Ponyはオープンソースのプログラミング言語で、オブジェクト指向であり、アクターモデルを採用しています。この言語はセキュリティと高いパフォーマンスに重点を置いています。Pony Playgroundを使えば、ブラウザ上ですぐにPonyを始めることができます。Ponyの独自の機能や初期の歴史についてもっと知りたい場合は、追加のリソースが用意されています。

投稿者: RossBencina | スコア: 214

10.
The IPCC: Can it regain its credibility?
(The IPCC: Can it regain its credibility?)

要約がありません。

投稿者: nickcotter | スコア: 9

11.
ウィキメディア、UK安全法に異議!
(Wikimedia Foundation Challenges UK Online Safety Act Regulations)

2025年7月22日と23日に、ロンドンの高等法院でウィキメディア財団がイギリスのオンライン安全法(OSA)に対する法的挑戦を行います。特に、同法のカテゴリ化規則が問題とされています。ウィキメディア財団は、ウィキペディアを運営しており、これらの規則がボランティアの貢献者の安全やプライバシーを脅かし、サイトの操作につながる可能性があると主張しています。

財団の法務責任者であるスティーブン・ラポート氏は、ウィキペディアがオンラインでの重要な知識の資源であり、商業ウェブサイト向けの厳しい規制の対象になるべきではないと強調しています。この挑戦には、イギリスに拠点を置くボランティアのユーザーZzuuzzも支持しており、これらの規則が貢献者のプライバシーや安全に与える潜在的な危険を指摘しています。

財団はOSA全体に反対しているわけではなく、新しい規則が貢献者の身元確認などの負担を強いる可能性があることに焦点を当てています。これにより、彼らの安全やプライバシーが危険にさらされる恐れがあります。この訴訟は、これらの規則に対する初めてのものであり、ウィキペディアに対するリスクについてイギリスの規制当局との以前の議論に続くものです。

公聴会は公開され、裁判所の決定は公聴会の後に行われますが、その時期は不明です。ウィキメディア財団は、ボランティアの権利を守り、ウィキペディアが誰にとっても安全で信頼できる資源であり続けることを目指しています。

投稿者: Nurw | スコア: 266

12.
Structuring large Clojure codebases with Biff
(Structuring large Clojure codebases with Biff)

要約がありません。

投稿者: PaulHoule | スコア: 7

13.
Xorq: AI計算カタログ
(Xorq – open compute catalog for AI)

Xorqのハッサンとダンは、データプロジェクトにおけるコンピューティングリソースの管理を改善するためのソリューションを開発しました。彼らは、データの標準は存在するものの、コンピューティングの扱いが整理されていないことに気づきました。多くの場合、情報はノートブックに留まったり、チーム間で重複したりしています。Xorqは、このギャップを埋めるために、チームがデータの変換やモデルを効率的に再利用、出荷、観察できる「コンピュートカタログ」を提供します。

Xorqの主な特徴には、Arrow Flightを使用した高速データ転送、Ibisとの互換性による表現ツリーの構築支援、パイプラインをSQLやPythonに変換できるユーザー定義関数(UDF)エンジン、再現可能なPython環境があります。

さらに、Xorqは、pandasに似た使いやすい変換機能を提供し、DuckDBやSnowflakeなど複数のエンジンでの実行が可能です。また、キャッシング、系譜追跡、CI/CDに適したYAMLアーティファクトも備えています。

Xorqの実用的な応用例には、フィーチャーストア、セマンティックレイヤー、機械学習の統合があります。Xorqはオープンソースであり、チームはフィードバックを歓迎しています。ユーザーが探索できるように、デモやGitHub、ドキュメントへのリンクも提供されています。

投稿者: mousematrix | スコア: 8

14.
Sendblue (YC S23) is hiring senior engineers
(Sendblue (YC S23) is hiring senior engineers)

要約がありません。

投稿者: rhaber | スコア: 1

15.
キュウリで自動テスト!
(Cucumber lets you write automated tests in plain language)

Cucumberは、平易な言葉を使って自動受け入れテストを実行するためのツールです。これにより、チームの全員が理解しやすく、コミュニケーションが向上します。Cucumberはわずか10分で使い始めることができ、行動駆動開発(BDD)をサポートしています。BDDは、ソフトウェア開発をより良くするプロセスです。

例えば、現金を引き出す機能には、顧客が持っている以上のお金を引き出せないというルールがあります。このシナリオを具体的に示すと、アリスが234.56ドルを持っていて200ドルを引き出す場合は成功しますが、ハムザが198.76ドルを持っていて200ドルを引き出そうとすると、拒否されます。

投稿者: nateb2022 | スコア: 12

16.
Nothing to watch – Experimental gallery visualizing 50k film posters
(Nothing to watch – Experimental gallery visualizing 50k film posters)

要約がありません。

投稿者: bj-rn | スコア: 119

17.
Sign in with Google in Chrome
(Sign in with Google in Chrome)

要約がありません。

投稿者: frizlab | スコア: 495

18.
2025年開発者調査結果
(2025 Stack Overflow Developer Survey Results)

Stack Overflowは、開発者が知識を共有し、協力するためのプラットフォームです。プライベートな知識共有のためのチーム版もあり、広告やデータライセンスサービスも提供しています。

2025年の開発者調査では、177カ国から49,000件以上の回答が集まり、AIツールを含む314の技術が取り上げられました。この調査は、開発者のニーズや彼らが使用したい、または学びたい技術に焦点を当てています。

開発者が技術を放棄する主な理由は、セキュリティやプライバシーの懸念、高コスト、そしてより良い代替手段があることです。

AIツールの正確性に対する信頼度は、信頼する開発者が33%であるのに対し、信頼しない開発者は46%に達しています。特に経験豊富な開発者は、最も高い不信感を示しています。

AIツールに対するポジティブな感情は、過去数年の70%以上から2025年には60%に減少しました。開発者はAI関連の問題に関する信頼できる情報を得るために、ますますStack Overflowを利用しています。

人気のある技術としては、Pythonの使用が大幅に増加し、AIやデータサイエンスの選択肢として好まれています。また、Visual Studio Codeは引き続き主要な開発環境として位置づけられています。

仕事に満足している開発者は24%で、前年の20%から増加しています。

開発者の32.4%がリモートで働いており、特にアメリカでその割合が高いです。

若い開発者はチャットやコーディングチャレンジのようなインタラクティブなコンテンツを好む一方で、すべての年齢層がリストや記事を重視しています。

AIエージェントの使用については、多くの開発者が積極的に利用しておらず、よりシンプルなAIツールを使う傾向があります。

この調査は、2025年の開発者の好みや課題、進化する技術の状況を反映した主要な発見とトレンドを示しています。

投稿者: colingw | スコア: 33

19.
ソルトゲーター
(The Saltgator: A Desktop SoftGel Injection Molding Machine)

Saltgatorは、ソフトプラスチックを成形するために設計されたデスクトップ型の機械です。ゴム製のグリップやスマートフォンケースなどのアイテムを作るのに最適です。この機械は、最大250mL(8.4オンス)の部品を約15分で作成できますが、そのほとんどは加熱にかかる時間で、硬化にはわずか3分しかかかりません。ユーザーは既存の樹脂型を利用することも、自分で3Dプリントした型を使うこともできます。機械には内蔵のシリンジによるサイズ制限があり、最大長は276mm(10.9インチ)です。価格は230ドルで、クラウドファンディングの目標を達成し、9月に出荷される予定です。

投稿者: surprisetalk | スコア: 7

20.
Age Verification Laws Send VPN Use Soaring–and Threaten the Open Internet
(Age Verification Laws Send VPN Use Soaring–and Threaten the Open Internet)

要約がありません。

投稿者: 01-_- | スコア: 146

21.
Copyparty – Turn almost any device into a file server
(Copyparty – Turn almost any device into a file server)

要約がありません。

投稿者: saint11 | スコア: 923

22.
CUDAフラクタル描画器
(CUDA Fractal Renderer)

CUDAフラクタルレンダラーは、CUDA技術を利用してユーザーが迅速にフラクタルを作成できるツールです。

始めるには、まずCUDAとUVツールをインストールします。必要な依存関係をインストールした後、uv syncコマンドを実行して環境を設定します。レンダラーを実行するには、uv run cuda_fractal_rendererというコマンドを使用します。

生成されるフラクタルを変更するには、--seed引数を使います。デフォルトの値は0です。また、--grid-size引数を使用することで、一度に複数のフラクタルを作成できます。デフォルトは1(単一のフラクタル)です。レンダリングされたフラクタル画像はoutput.pngとして保存されます。コードのフォーマットやチェックを行うには、./format.shを実行してください。

投稿者: tripplyons | スコア: 30

23.
放置ハードのゼロデイ活用
(Exploiting zero days in abandoned hardware)

2025年2月、研究者のアラン・カオとウィル・タンは、DistrictConのジャンクヤードコンペティションで、古いネットワーク機器を利用する能力を披露しました。彼らは、メーカーがハードウェアの更新を停止すると、未修正の脆弱性が残り、攻撃者に狙われやすくなることを指摘しました。

彼らが利用した機器は、NetgearのWGR614v9ルーターとBitDefender Box V1でした。どちらのデバイスも数年間更新が行われておらず、研究者たちはリモートアクセスを取得することができました。Netgearルーターの脆弱性を利用するために、彼らは複数の手法を開発し、特にUPnPサービスの問題に焦点を当てました。認証のバイパスやバッファオーバーフローを利用することで、リモートでコマンドを実行することに成功しました。

BitDefender Boxに関しては、認証なしでファームウェアを更新できる仕組みを発見しました。彼らはファームウェアを抽出し、古いファームウェアを利用してデバイスに持続的にアクセスするための脆弱性を見つけました。

研究者たちは、エンドオブライフ(EOL)デバイスに対する注意の重要性を強調しました。これらのデバイスは重大なセキュリティリスクをもたらす可能性があります。消費者には、購入前にデバイスのサポート期間を確認し、オープンソースの代替品を検討することを勧めました。また、EOLデバイスはセキュリティ研究にとって貴重であり、脆弱性について学び、競争が少ない環境でスキルを向上させる機会を提供します。

投稿者: ingve | スコア: 74

24.
変数名はAI補完に影響?
(Do variable names matter for AI code completion? (2025))

変数名がAIのコード補完に与える影響を調査した研究があり、8つのAIモデルと500のPythonコードサンプルを使用し、7つの異なる命名スタイルを比較しました。その結果、説明的な名前(例えば「current_temperature」)を使用することで、単純な名前や難解な名前(例えば「x」や「fn2」)よりもAIの提案が改善されることが分かりました。

具体的な結果として、説明的な名前は34.2%の正確な一致率を示したのに対し、難解な名前は16.6%にとどまりました。また、説明的な名前は難解な名前に比べて類似性の測定でも高いスコアを記録しました。命名スタイルのランキングは、説明的な名前が最も良く、次にSCREAM_SNAKE_CASE、snake_case、PascalCase、minimal、そして難解な名前の順でした。説明的な名前は41%多くのトークンを使用しましたが、意味的なパフォーマンスは8.9%向上しました。

開発者にとって、明確で説明的な変数名を使用することは、AIコーディングツールのパフォーマンスを向上させる可能性があります。この結果は、異なるAIモデルでも一貫して確認されています。

投稿者: yakubov_org | スコア: 15

25.
自作の超速ストリーミングコーデック「PyroWave」
(I designed my own fast game streaming video codec – PyroWave)

著者は、ゲームプレイをほとんど遅延なくストリーミングするために、PyroWaveという高速ビデオコーデックを開発しました。重要なポイントは以下の通りです。

ゲームをストリーミングするには、非常に低い遅延が必要で、理想的には約20ミリ秒です。これにより、コントローラーの入力を迅速に送信し、フレームを素早くレンダリングすることが可能になります。

従来のコーデック、例えばH.264やHEVCは、複雑な機能のために遅延を引き起こします。一方、PyroWaveは低遅延性能に焦点を当て、ビデオエンコーディングを簡素化しています。固定ビットレートを使用し、動き予測や複雑なコーディングを避けることで、スピードを維持しています。

PyroWaveは、標準的なブロックベースの方法の代わりに、離散ウェーブレット変換(DWT)を用いて圧縮を行います。これにより、エラー耐性が向上し、ビットレートが高くなるものの、品質が一貫して保たれます。

このコーデックは、32×32のブロック単位でビデオを処理し、GPU上で直接高速なエンコーディングとデコーディングを可能にします。著者は、このプロセスを最適化し、1080pの場合はわずか0.13ミリ秒という非常に短いエンコーディング時間を実現しました。

PyroWaveにはシンプルなレート制御方法が含まれており、遅延の問題なく定義されたビットレート内に収まるように設計されています。これは他のコーデックにとってしばしば課題となる点です。

このコーデックは、厳しいビデオシーンでも高品質な結果を出し、従来のハードウェアコーデックと比較しても処理時間が速いことが示されています。

他のコーデックと厳しい条件下で比較した結果、PyroWaveは視覚品質において有望な結果を示しました。

全体として、著者はこのコーデックの性能と、個人のゲームストリーミングソリューションへの可能性に満足しています。

投稿者: Bogdanp | スコア: 390

26.
Tao on “blue team” vs. “red team” LLMs
(Tao on “blue team” vs. “red team” LLMs)

要約がありません。

投稿者: qsort | スコア: 495

27.
新たなハッキング挑戦!
(RP2350 A4, RP2354, and a New Hacking Challenge)

2025年7月29日、エベン・アップトンはRP2350マイクロコントローラーに関する最新情報を発表しました。RP2350は昨年8月以来、50万台以上が販売されており、新たにA4バージョンが登場しました。この新バージョンは、以前のA2バージョンで発見された重大なセキュリティ脆弱性を含む多くの問題を解決しています。

A4バージョンの主な改善点として、まず「エラタ9」が修正され、GPIOパッドに関する問題が解決されました。これにより、外部抵抗を使って入力を低く保つ必要がなくなりました。また、ハッキングチャレンジで発見された複数のセキュリティ脆弱性に対処し、ブートROMのセキュリティも向上しました。その他にも、機能やセキュリティに関する軽微な問題が修正されています。

新たにRP2354バリアントも導入され、2MBのフラッシュメモリを搭載し、既存のRP2350モデルと互換性があります。価格はわずかに上がりますが、コストパフォーマンスは良好です。

また、第二回ハッキングチャレンジも開始され、マイクロコントローラーのAES暗号に対する実用的な攻撃に対して2万ドルの賞金が用意されています。

A4はA2とソフトウェア互換性があり、すべての生産はA4に移行しています。さらに、RP2350は特定の注意事項を守ることで、レトロコンピュータハードウェアアプリケーションに対して公式に5V耐性を持つことになりました。

このアップデートは、RP2350のセキュリティと機能性を向上させることを目的としており、新たなチャレンジを通じてコミュニティの参加を促しています。

投稿者: geerlingguy | スコア: 50

28.
ロットリング600ボールペン
(Rotring 600 Ballpoint Pen)

ロットリング600のボールペンは、スタイリッシュで耐久性のある筆記具です。標準的なパーカータイプのリフィルを使用し、満足感のあるクリック機構が特徴です。全金属製のボディはしっかりとした手触りを提供しますが、クリック音が大きいと感じる人もいるかもしれません。ロットリング600のシャープペンシルと似た外観ですが、ボールペン版はニブとリフィルの開口部が異なります。

このペンは品質が高いと評価されていますが、付属のリフィルが使用中に壊れるという報告もありました。しかし、別のリフィルに交換することで問題は解決しました。全体的に見て、このペンは手頃な価格で優れた作りを提供しており、特にセールで購入すればお得です。

書き心地は使用するリフィルによって大きく変わりますが、ロットリング600は長持ちするボールペンを求める人にとって信頼できる選択肢です。

投稿者: Alupis | スコア: 161

29.

トゥルシェタイルは、グラフィックデザインや情報の視覚化に使われる正方形のタイルです。これらのタイルは、回転させても対称にならないパターンを持っており、タイルを組み合わせることで多様な配置が可能です。タイルの向きによって、位置に基づいて異なる情報を表現することができます。

トゥルシェタイルは、1704年にセバスチャン・トゥルシェによって初めて紹介され、1987年にシリル・スタンリー・スミスによって人気を博しました。トゥルシェタイルにはいくつかのバリエーションがあります。

一つ目は「対照的な三角形」です。このタイルは対角線で二つの異なる色の三角形に分かれており、四つの異なる向きがあります。

二つ目は「四分円」です。このタイルは隣接する辺の中点を結ぶ二つの四分円を持ち、二つの向きが可能です。

三つ目は「対角線タイル」です。これは白い正方形に黒い対角線が入ったもので、こちらも二つの向きが可能です。このスタイルは迷路のようなパターンを作り出すことができます。

トゥルシェタイルは抽象的なゲームにも利用されており、浸透理論との関連など、興味深い数学的特性を持っています。

投稿者: downboots | スコア: 91

30.
ホログラム0.5
(Hologram v0.5.0)

Hologram v0.5.0がリリースされ、主要な更新と改善が行われました。特に注目すべき点は以下の通りです。

まず、パフォーマンスが向上しました。多くの操作の実行時間がミリ秒からマイクロ秒に短縮され、アプリケーションでリアルタイムのインタラクションが可能になりました。

新機能としては、ユーザーセッションを管理するための完全なシステムが追加され、データの保存や取得が簡単に行えるようになりました。また、クッキーの管理機能も充実し、クッキーの設定、取得、削除が可能です。新しいポインターイベントやマウスイベントのサポートにより、インタラクションがさらに向上しました。自動ファイル変更検出とコンパイルエラーのオーバーレイ機能も追加され、開発体験が改善されています。

さらに、競合のない複製データ型(CRDT)が導入され、分散状態の管理が容易になりました。インクリメンタルコンパイルにより、モジュールの変更を追跡しながら迅速なビルドが可能になりました。ビットストリング操作のパフォーマンスも向上し、レンダリング速度が大幅に改善されています。

トランスポート層では、WebSocketからHTTPへの移行が行われ、クッキーやセッションの管理がより効率的になりました。シリアライゼーションの改善により、クライアントとサーバー間の通信がより効率的になり、古いフォーマットとの互換性も保たれています。

バグ修正も行われ、テンプレートの解析、イベント処理、ランタイムエラーに関するさまざまな改善が施されています。また、GitHubのスポンサーへの感謝が表明され、Hologramのニュースレターへの参加が呼びかけられています。

このリリースは、Hologramをより強力で使いやすくするための一歩であり、今後の発展に向けた基盤を築いています。

投稿者: bartblast | スコア: 67

31.
数独最適化
(Optimi-Zi(n)g Sudoku-Solving)

2025年7月26日、オリビエはZigで書いた数独解法プログラムを再訪し、Dancing-Links(DLX)アルゴリズムを用いてその速度を向上させることを目指しました。

Dancing-Linksアルゴリズムは、効率的なバックトラッキングアルゴリズムで、0と1の行列を使って「正確なカバー」問題を解決します。このアルゴリズムは、特定の制約が一度だけ満たされることを保証します。

数独は、行、列、3x3のブロックに対する制約を持つ行列表現に変換され、複雑でありながら構造的な設定が生まれます。プログラムは、全体の行列を保存するのではなく、スパース行列表現を利用してスペースを節約しますが、最初はポインタの使用によりメモリ使用量が増加することがあります。

解法プロセスでは、事前に埋められたセルを選択し、制約を満たしながら再帰的に潜在的な解を探ります。必要に応じてバックトラックします。

パフォーマンスの最適化では、初期のメモリ割り当てが非効率的で、遅延を引き起こしていました。最適化には、割り当てのグループ化や既知の空セルのためのメモリの事前割り当てが含まれ、速度が大幅に向上しました。コードの調整やコンパイラフラグの変更もパフォーマンスをさらに向上させました。

最終的なパフォーマンスとして、さまざまな最適化の後、プログラムは平均約0.061ミリ秒で数独パズルを解決しました。マルチスレッドを利用することで、最大138,000のパズルを1秒間に解くという印象的なスループットを達成しました。

オリビエは、この論理をN-クイーン問題など他の問題に適用する可能性を見出しており、今後もパフォーマンスの向上やベンチマークの探求を続ける計画です。このプロジェクトを通じて、オリビエはZigプログラミング言語やソフトウェアのパフォーマンス向上についての理解を深めることができました。

投稿者: todsacerdoti | スコア: 14

32.
Tour de France confronts a new threat: Are cyclists using tiny motors?
(Tour de France confronts a new threat: Are cyclists using tiny motors?)

要約がありません。

投稿者: bookofjoe | スコア: 108

33.
AIが電話を代行!
(Companies use AI to take your calls. I built AI to make them for you)

多くの企業が顧客とのコミュニケーションにAI音声エージェントを利用していますが、消費者は依然として手動で電話をかけています。この問題を解決するために、私はPiperというAIを開発しました。Piperは、あなたの代わりに電話をかけてくれるもので、予約を取ったり、注文状況を確認したりする際に、必要なことを伝えるだけで会話を進めてくれます。その間、あなたは他の作業に集中できます。

現在、Piperはウェブアプリとして提供されており、近くChrome拡張機能も登場予定です。この技術は非常に難しく、会話を自然に感じさせるための応答時間の最適化や、AIが通話の文脈を把握し続けることが特に課題でした。これまでにPiperは約50件の通話を成功させていますが、複雑な確認や書類の要求には苦労しています。

私は、AIがほとんどのルーチン電話を処理する未来に向かっていると考えています。これにより、やり取りがより効率的になるでしょう。私たちのウェブサイトで音声デモを聞くことができます。

投稿者: michaelphi | スコア: 183

34.
Different Clocks
(Different Clocks)

要約がありません。

投稿者: pppone | スコア: 219

35.
カーネルスクリプト eBPF言語
(KernelScript eBPF-centric programming language)

KernelScriptは現在ベータ版の開発中であり、頻繁に変更される可能性があるため、商用利用には推奨されていません。このプログラミング言語は、eBPF(拡張バークレー・パケットフィルター)の開発を目的としており、ユーザースペースとカーネルスペースのプログラミングを一つのコードベースに統合しています。これにより、Linuxカーネルのカスタマイズや最適化が簡素化されることを目指しています。

現在のeBPF開発には複雑さが伴い、C言語に関する深い知識やリソースの手動管理、複雑なビルドシステムが必要です。KernelScriptは、これらの課題を解決するために設計されています。例えば、すべてのコードを一つのファイルに書くことができ、異なる環境(ユーザースペース、eBPF、カーネル)への自動ターゲティングが可能です。また、テールコールの調整やポインタ操作といったタスクを自動管理し、安全なプログラムライフサイクル管理を実現するための型システムを採用しています。さらに、複数のプログラム間でデータを簡単に共有できる機能も備えています。

KernelScriptは、XDP(パケット処理)、TC(トラフィック制御)、kprobe(カーネルトレース)など、さまざまなeBPFプログラムタイプをサポートしています。現代的な構文や豊富な型システム、eBPFマップの組み込みサポート、Makefileやローダーを用いた自動プロジェクト設定など、ユーザーフレンドリーな機能が充実しています。ユーザーは簡単にプロジェクトを作成し、コンパイルしてプログラムを実行することができます。

KernelScriptには、パケットフィルタリングや複数プログラムの調整など、その機能を示すさまざまな例が含まれています。KernelScriptは、生のC言語やRust、既存のeBPFツールよりも扱いやすく、パワーと使いやすさのバランスを提供します。KernelScriptは、低レベルプログラミングの性能を維持しつつ、eBPF開発をよりアクセスしやすくすることを目指しています。

投稿者: gtirloni | スコア: 5

36.
Modernising the Amiga at Forty
(Modernising the Amiga at Forty)

要約がありません。

投稿者: freediver | スコア: 40

37.
看護師の悲鳴
(The hit film about overworked nurses that's causing alarm across Europe)

映画「レイトシフト」は、スイスの監督ペトラ・ヴォルペによって制作され、資金不足の医療システムにおける過酷な労働環境に苦しむ看護師たちの姿を描いています。物語は、献身的な若い看護師フロリアが、病院での一晩のシフト中に直面する圧倒的な課題を中心に展開します。この映画は、主に女性が従事し、しばしば過小評価される看護職についての理解を深めることを目的としています。

ヴォルペ監督は、実際の看護師の経験や元介護職のマデリン・カルヴェラージュの小説からインスピレーションを受けました。映画は、看護の感情的で複雑な側面を描写し、厳しい仕事とともに、優しい瞬間も表現しています。ドイツの女優レオニー・ベネシュがフロリアを演じ、看護師を医師の背後に隠すのではなく、中心的な存在として描く重要性を強調しています。

「レイトシフト」は、医療改革についての議論を呼び起こし、ドイツ語圏のヨーロッパで好評を博し、興行成績でも大作を上回る結果を出しています。この映画は、実際の看護師たちにも共感を呼び起こし、彼らの仕事を正確に描写していると評価されています。ヴォルペ監督は、この映画が看護師への理解と支援を促し、観客が医療における彼らの重要な役割を認識するきっかけになることを願っています。

映画は、8月1日にイギリスとアイルランドで公開される予定です。

投稿者: mykowebhn | スコア: 5

38.
AI HUDの時代
(Enough AI copilots, we need AI HUDs)

2025年7月、AIデザインに関する議論が批判され、1992年に行われた研究者マーク・ワイザーの講演が引用されました。ワイザーは、AIを「コパイロット」とする考えに反対し、人間の意識を高める技術の設計を提唱しました。彼はこれを「見えないコンピュータ」と呼びました。

ワイザーの概念は、現代のヘッドアップディスプレイ(HUD)を通じて説明できます。これは、言葉によるやり取りを必要とせず、重要な飛行情報を提供します。コパイロットとは異なり、HUDは指示を積極的に伝えることはありません。

ソフトウェアデザインにおけるHUDの例としては、スペルチェックがあります。これは、アシスタントインターフェースなしで視覚的にエラーを示します。また、プログラムの動作を理解するのに役立つカスタムデバッグツールも含まれます。

この文章では、HUDが常にコパイロットより優れているわけではないものの、人間の能力を高めることができると強調しています。日常的な作業はバーチャルアシスタントに任せることができますが、複雑な状況には人間の理解を拡張するためのより良いツールが望ましいとされています。

著者は、ユーザー体験や理解を向上させるために、AIにおける非コパイロットデザインの探求を促しています。

投稿者: walterbell | スコア: 910

39.
Meta Is Going to Let Job Candidates Use AI During Coding Tests
(Meta Is Going to Let Job Candidates Use AI During Coding Tests)

要約がありません。

投稿者: geox | スコア: 19

40.
OSAが小規模マストドンに与える影響
(How will the OSA affect small Mastodon instances?)

著者はMastodonに興味を持っていますが、現在は利用していません。最近、新しい規制(OSA)が導入され、年齢確認の要件があるため、Mastodonを自分でホスティングすることが難しくなる可能性があることに気付きました。しかし、これらの規則は月間ユーザー数が300万人以上のサービスにのみ適用されるため、小規模な自ホスティングを行っているユーザーは安全かもしれません。ただし、大規模なインスタンスと接続する場合、リスクが生じる可能性があります。著者は、イギリスに拠点を置くMastodonのホスティングサービスがこれらの規制を心配しているのか、責任を回避するためにサービスを停止することを検討しているのか疑問を持っています。このことは、イギリスにおけるMastodonのホスティングの未来に対する懸念を引き起こしています。

投稿者: Digit-Al | スコア: 17

41.
クロードコードの週制限
(Claude Code weekly rate limits)

来月、Claudeのサブスクライバー向けに新しい週ごとの利用制限を導入します。この変更は、現在の利用状況に基づいて5%未満のユーザーに影響を与える見込みです。理由としては、アカウントの共有や過剰な利用がシステムに負担をかけているためです。

8月28日からの主な変更点は、既存の5時間ごとにリセットされる制限に加えて、週ごとの利用制限が追加されることです。また、Claude Opus 4には新たに7日間の制限も設けられます。

ほとんどのユーザーは大きな違いを感じないでしょう。これらの制限は、日常的な利用をサポートするためのものです。Max 5xユーザーの場合、週ごとの制限によりSonnet 4は140〜280時間、Opus 4は15〜35時間の利用が可能です。ただし、ヘビーユーザーは制限に達するのが早くなるかもしれません。

サブスクリプションの管理やキャンセルはいつでも可能です。私たちはサービスの信頼性向上に努めており、現在進行中のパフォーマンス問題の解決に取り組んでいます。

投稿者: thebestmoshe | スコア: 579

42.
MCP認証ガイド
(The Guide to MCP Auth: Identity, Consent, and Agent Security)

このガイドでは、AIシステムを構築する際のモデルコンテキストプロトコル(MCP)の課題について説明しています。MCPはAIエージェントがコンテキストに基づいて意思決定を行うことを可能にしますが、同時にセキュリティやアイデンティティの問題も引き起こします。

MCPの理解には、単なるAPI以上のものが含まれます。MCPはエージェントが環境を理解し、意思決定を行うのを助けますが、これにより誤用のリスクも広がります。

認証と認可の層は重要な要素で、特に五つの層を考慮する必要があります。まず、エージェントには追跡のためにユニークなアイデンティティが必要です。次に、ユーザーはエージェントが自分の代理として行動するために、自身のアイデンティティと同意を確認しなければなりません。ユーザーはエージェントがどのような行動を取ることができるか、またその条件を明示する必要があります。さらに、エージェントはツールやコンテキストにアクセスするために認証を受ける必要があります。また、エージェントが使用するツールは、追加の認証を必要とする場合があります。

エージェントに提供されるコンテキストは、その行動に影響を与える可能性があり、操作や偶発的なデータ漏洩といったリスクを生じさせます。これにより、アクセス制御がより複雑になります。

現在のMCPには限界があり、進化の途中にあるため、実装や文書に一貫性が欠けています。多くの既存システムは十分なサポートやポリシーの実施がなされていません。

ミドルウェアを導入することで、認証、同意、アクションのログ管理を行い、セキュリティと監視を強化することができます。MCPにおける同意は、単なるOAuthの承認ではなく、詳細で具体的であるべきです。これは取り消し可能で、監査可能でなければなりません。

推奨される実践としては、すべてのエージェントにユニークなアイデンティティを割り当てること、同意を主要な制御メカニズムとして使用すること、セキュリティとポリシーの実施を向上させるためにミドルウェアを導入すること、静的トークンに依存せずに細かい権限に焦点を当てることが挙げられます。

MCPは知的システムに強力な機能を提供しますが、セキュリティと信頼性を確保するためには、アイデンティティと同意に細心の注意を払う必要があります。

投稿者: gemanor | スコア: 3

43.
SQLx - RustのSQLツール
(SQLx – Rust SQL Toolkit)

SQLxは、SQLデータベースを扱うためのRustツールキットです。このツールは非同期プログラミングを可能にし、特別な言語を使わずにコンパイル時にSQLクエリをチェックします。

主な特徴としては、非同期性があり、async/awaitを使用して高い同時実行性を実現しています。また、クエリはコンパイル時に検証されるため、データベースに対して正しいかどうかを確認できます。PostgreSQL、MySQL、MariaDB、SQLiteに対応しており、MSSQLのサポートは一時的に削除されています。ほとんどのドライバーは安全なRustで書かれていますが、SQLiteのみCライブラリを使用しています。データベース接続を効率的に管理する接続プーリング機能も備えています。TLSをサポートしているため、対応するデータベースとの安全な接続が可能です。SQLxはRustがサポートされている任意のプラットフォームで動作します。

SQLxを使用するには、Cargo.tomlでランタイム(tokioasync-stdなど)を指定し、必要に応じてTLSバックエンドを設定する必要があります。

データベースに接続するためには、接続プールを作成して接続を管理します。クエリの実行は、準備済み(パラメータ化された)クエリと未準備のクエリの両方をサポートしています。準備済みクエリは効率のためにキャッシュされ、未準備のクエリはパラメータを必要としないコマンドに使用されます。結果の取得は、fetch_onefetch_allなどのさまざまなメソッドを使って行い、Rustの構造体にマッピングできます。

sqlx::query!マクロを使用すると、コンパイル時にSQLの構文や型をチェックでき、早期にエラーを発見するのに役立ちます。さらに、query_as!を使うことで出力型を定義することも可能です。

SQLxは安全なコーディングプラクティスを重視しており、ライセンスはApache 2.0またはMITの下で提供されています。貢献も同じライセンスのもとで歓迎されています。

詳細な使用方法や例については、SQLxのドキュメントを参照してください。

投稿者: stmw | スコア: 172

44.
子どもを楽しませるデザイン
(Simplify, then add delightness: On designing for children)

シェーン・オサリバンは、子供向けアプリ「Kidz Fun Art」の開発経験を通じて、子供に優しいアプリを作るための重要なデザイン原則を紹介しています。

まず、テキストは最小限に抑えるべきです。多くの幼い子供はまだ文字を読めないため、視覚的なコミュニケーションを重視します。次に、操作ツールは、子供が扱うオブジェクトの近くに配置し、直感的に使えるようにします。大きくてタップしやすいターゲットを用意することが重要です。

エラーの回復も簡単にできるようにし、子供が行動を取り消したり、削除したコンテンツを復元したりできるようにすることで、フラストレーションを防ぎます。また、必要に応じて大人に助けを求めることを促し、画像を使ってそのタイミングを示すのも効果的です。

子供の発達段階に合わせて運動能力を考慮したデザインも重要です。大きなボタンを使用し、正確な動きよりも長押しなどのアクションを許可することが求められます。さらに、意図的なタッチと偶然のタッチを区別するために、手のひらの接触を無視する機能も必要です。子供はしばしば手を画面に置くため、この点は特に重要です。

楽しさを加えるために、音声効果やアニメーションなどの楽しい要素を取り入れ、ユーザー体験を向上させ、子供の興味を引き続けることも大切です。アプリ内でのナビゲーションが分かりやすく、タスク間の切り替え時に混乱しないようにすることも考慮すべきです。

倫理的な収益化については、子供にとって不適切な広告を避け、代わりにサブスクリプションモデルや他の安全な収益化戦略を検討することが推奨されます。また、子供のプライバシーを守るために、ユーザー生成コンテンツの共有を制限し、大人の承認なしに購入できないようにアプリを設計することも重要です。

オサリバンは、子供向けのデザインには彼らの特有のニーズや能力を慎重に考慮する必要があり、楽しく安全な体験を提供することを目指すべきだと強調しています。

投稿者: shaneos | スコア: 189

45.
UK Technology Secretary: Online Safety Act opponents are on the predators's side
(UK Technology Secretary: Online Safety Act opponents are on the predators's side)

要約がありません。

投稿者: ivewonyoung | スコア: 4

46.
GLM-4.5: Reasoning, Coding, and Agentic Abililties
(GLM-4.5: Reasoning, Coding, and Agentic Abililties)

要約がありません。

投稿者: GaggiX | スコア: 229

47.
地元MPのID活用法
(Use Their ID – Use your local UK MP’s ID for the Online Safety Act)

あるユーザーが、イギリスの郵便番号を入力すると、その地域の国会議員(MP)に関する情報と、AIが生成したIDのモックアップを提供するウェブサイトを作成しました。このプロジェクトは、新しいオンライン安全法に対する遊び心のある抗議です。現在、利用が多いため、作成者はキア・スターマーの地域の郵便番号(WC2B6NH)など、よく知られた郵便番号を使うことを勧めています。

投稿者: timje1 | スコア: 789

48.
The Vatican observatory looks to the heavens
(The Vatican observatory looks to the heavens)

要約がありません。

投稿者: pseudolus | スコア: 66

49.
酸素と硫黄を同時呼吸する細胞
(Cells that breathe oxygen and sulfur at the same time)

この記事では、イエローストーン国立公園で発見された独特な微生物について紹介しています。この微生物は、酸素と硫黄の両方を同時に呼吸することができる「二重呼吸」と呼ばれるプロセスを持っています。通常、生物は酸素を使う好気呼吸か、硫黄などの他の元素を使う嫌気呼吸のいずれかに依存しています。この二重の能力は、微生物の代謝に関する従来の考え方に挑戦しており、いくつかの微生物が両方のプロセスを管理できるように進化した可能性を示唆しています。これは、地球が酸素豊富な環境に移行した際の生命の適応について理解を深める手がかりとなるかもしれません。

微生物学者のエリック・ボイド氏が率いる研究チームは、「ハイドロゲノバクター RSW1」というこの微生物の株を分離しました。彼らは、酸素と硫黄の両方が存在する場合、RSW1が両方からエネルギーを生成し成長できることを発見しました。これは、酸素によって害を受ける多くの嫌気性生物とは異なります。この発見は、多くの微生物が似たような能力を持っている可能性を示唆しており、酸素濃度が変動する環境での生存を助けるかもしれません。また、この研究結果は、数十億年前に新しい大気条件に適応した生命の進化的変化についての洞察を提供する可能性があります。

投稿者: sohkamyung | スコア: 79

50.
RP2350 E9 GPIO erratum fixed in new A4 stepping
(RP2350 E9 GPIO erratum fixed in new A4 stepping)

要約がありません。

投稿者: theodote | スコア: 8

51.
無駄なUseCallback
(The Useless UseCallback)

この記事では、ReactにおけるuseCallbackuseMemoの使用について、しばしば不必要に使われていることが指摘されています。これらのフックを使う主な理由は、パフォーマンスの最適化と、関数や値の安定した参照を維持することで、不要な再レンダリングを避けることです。しかし、著者は、特にメモ化された値がメモ化されていないコンポーネントに渡される場合、メモ化が無意味になるケースがあると主張しています。これはパフォーマンスの向上にはつながりません。

重要なポイントは以下の通りです。

まず、パフォーマンスの最適化についてです。メモ化は、コンポーネントの再レンダリングなどの遅い操作の頻度を減らすことを目的としています。しかし、コンポーネントがメモ化されていない場合、プロパティのメモ化は無関係です。

次に、参照の安定性です。useCallbackuseMemoを使用する主な目的は、レンダリング間で参照が安定することを確保することです。これは、メモ化されたコンポーネントを使用する際にパフォーマンスにとって重要です。

また、一般的な落とし穴についても触れています。メモ化されていないコンポーネントに渡されない値をメモ化しても、パフォーマンスの向上にはつながりません。さらに、エフェクト内でプロパティを依存関係として使用すると、不要な再レンダリングを引き起こし、メモ化を壊す可能性があります。

著者は、実際の例を挙げて、適切でないメモ化が非効率やバグを引き起こすことを示しています。

最後に、著者は、依存関係として含めずにエフェクト内でアクセスする必要がある値を保持するためにrefを使用することを提案しています。これにより、不必要なメモ化の複雑さやオーバーヘッドを避けることができます。

この記事は、Reactにおけるメモ化に対して慎重になることの重要性を強調し、コードを複雑にしすぎずにパフォーマンスを管理するための代替戦略を提案しています。

投稿者: 0xedb | スコア: 104

52.
Blackstone executive among four people killed in Midtown NYC shooting
(Blackstone executive among four people killed in Midtown NYC shooting)

要約がありません。

投稿者: Bluestein | スコア: 11

53.
Samsung Removes Bootloader Unlocking with One UI 8
(Samsung Removes Bootloader Unlocking with One UI 8)

要約がありません。

投稿者: 1una | スコア: 252

54.
Fintech dystopia
(Fintech dystopia)

要約がありません。

投稿者: LasEspuelas | スコア: 243

55.
VPN use surges in UK as new online safety rules kick in
(VPN use surges in UK as new online safety rules kick in)

要約がありません。

投稿者: mmarian | スコア: 647

56.
SRAMの逆襲:秘密を盗む技術
(SRAM Has No Chill: Exploiting Power Domain Separation to Steal On-Chip Secrets)

研究論文「SRAMは冷静さを欠く」では、Volt Bootと呼ばれる新しい攻撃手法について説明しています。この手法は、オンチップのSRAM(静的ランダムアクセスメモリ)を狙い、機密データを取得します。従来のコールドブート攻撃は、DRAMのデータ保持を利用するために極低温が必要ですが、Volt Bootは現代のシステムオンチップ(SoC)設計における電源の分離を利用します。

コールドブート攻撃は、DRAMの温度依存のデータ保持を利用します。しかし、SRAMは電源が切れるとすぐにデータを失うため、これらの攻撃に対して安全だと思われていました。

Volt Boot攻撃は、メモリへの電源供給を操作することで、SRAMのデータ保持を電源サイクルを超えて可能にします。特定のメモリ領域に電圧を維持することで、主電源が切断されてもデータを保持できます。

研究者たちは、この攻撃をさまざまなARM Cortex-Aプロセッサで成功裏に実証し、キャッシュ、レジスタ、内部RAMから100%の精度でデータを取得しました。

Volt Bootは、現在のオンチップセキュリティ対策が不十分であることを明らかにしています。この攻撃により、攻撃者はSRAMに平文で保存された機密情報にアクセスでき、組み込みシステムのセキュリティが損なわれます。

Volt Bootに対する潜在的な防御策には、電源オフの際にメモリを消去すること、起動時にSRAMをリセットすること、ARM TrustZoneのようなハードウェアベースのセキュリティ機能を使用すること、認証されたブートプロセスを強制することが含まれます。

この研究は、オンチップメモリ設計がコールドブート攻撃に対して安全だと考えられていたものの、電源ドメインの分離が機密データの漏洩に利用される可能性があることを示しています。この結果は、現代のコンピュータデバイスにおけるより良いセキュリティ対策の必要性を強調しています。

投稿者: zdw | スコア: 68

57.
テスト結果比較
(Same prompt tested across Replit, Bolt, v0, Lovable and Raq.com)

Raq.comは、ユーザーがブラウザ上で直接内部ツールを作成できるプラットフォームです。このプラットフォームは、適切な指示を与えることで自己修正が可能なClaude Codeを使用しています。開発者は、多くの人気のあるウェブベースのAIコーディングツールが実際のAPI統合に苦労し、壊れたプロトタイプを生成したり、多くの手動修正を必要とすることに気づきました。異なるプラットフォームの能力をテストするために、同じ指示を5つのツールで試したところ、Raq.comだけが単一の指示から完全に機能するソリューションを提供し、ワンクリックで展開できることが分かりました。

現在、Raq.comは早期アクセス中で、コーディングの経験がない人々がチームのために内部ツールを構築できるように設計されています。隔離された開発環境と本番環境、継続的なセッションのための永続的なターミナル、Claudeが自らの作業をデバッグできる自己修正機能などの特徴を提供しています。また、展開プロセスを簡素化するためのスクリプトを実行するツールも用意されています。

詳細なテストの動画については、彼らのウェブサイトを訪れてください。

投稿者: hawke | スコア: 5

58.
Union Pacific to buy Norfolk in $85B mega U.S. railroad deal
(Union Pacific to buy Norfolk in $85B mega U.S. railroad deal)

要約がありません。

投稿者: pseudolus | スコア: 69

59.
生産AIの原則
(Principles for production AI agents)

アーセニ・クラフチェンコによるこの記事では、効果的なAIエージェントを開発するための六つの重要な原則が紹介されています。以下に各原則をわかりやすくまとめます。

まず、システムプロンプトへの投資が重要です。AIモデルが良いパフォーマンスを発揮するためには、明確で詳細な指示が必要です。あいまいな指示は避け、LLM(大規模言語モデル)提供者が示すベストプラクティスに従うことが求められます。

次に、コンテキストの管理が大切です。モデルが幻覚を見たり、焦点を失ったりしないように、コンテキストを効果的に分割します。最初は必要最低限の情報から始め、必要に応じて追加のコンテキストにアクセスできるようにします。

ツールの設計も慎重に行う必要があります。AIエージェントのために、シンプルで明確なツールを作成します。混乱を避けるためにツールの数を制限し、機能が明確であることを確認します。これは、よく設計されたAPIに似ています。

フィードバックループの設計も重要です。AIが行動を生成する段階(アクター)と、それを評価する段階(クリティック)を持つ二段階のアプローチを実装します。これにより、出力が事前に定めた基準を満たすことが保証され、信頼性が向上します。

LLMを活用したエラー分析も役立ちます。AIエージェントのパフォーマンスログを分析し、盲点を特定してコンテキストやツールの設計を改善します。

最後に、エージェントのフラストレーション行動は、システムの問題から生じることが多いです。モデル自体の欠陥を疑う前に、欠けているツールや不明瞭なプロンプトがないかを確認することが重要です。

信頼性の高いAIエージェントを構築するためには、良好なシステム設計とソフトウェアエンジニアリングが必要です。明確な指示、効果的なコンテキスト管理、堅牢なツール、継続的なエラー分析に焦点を当てることで、失敗から回復し、時間とともに改善できるエージェントを作成することが可能になります。

投稿者: carlotasoto | スコア: 116

60.
アマゾンAIの秘密
(Amazon's AI Coding Revealed a Dirty Little Secret)

あなたのコンピューターネットワークに異常な活動が見られました。続行するには、下のボックスをクリックしてロボットでないことを確認してください。

このような事態が発生した理由は、ブラウザがJavaScriptとクッキーを許可しているか、またそれらがブロックされていないかを確認してください。

サポートが必要ですか?質問がある場合は、サポートチームに連絡し、参照IDを提供してください:e0b896b6-6c95-11f0-b43c-0e07e3271c27。

重要な世界の市場ニュースについては、Bloomberg.comの購読を検討してください。

投稿者: quantified | スコア: 29

61.
Color Me Same – A new kind of logic game
(Color Me Same – A new kind of logic game)

要約がありません。

投稿者: franze | スコア: 30

62.
Uranium-based catalyst turns air nitrogen into ammonia
(Uranium-based catalyst turns air nitrogen into ammonia)

要約がありません。

投稿者: PaulHoule | スコア: 5

63.
彗星3I/アトラスの真実
(Interstellar Comet 3I/Atlas: What We Know Now)

地球と宇宙にある望遠鏡が、彗星3I/ATLASを観測しています。これは、彗星2I/Borisovや非彗星の1I/‘Oumuamuaに続く、私たちの太陽系で見られた三番目の星間物体です。この彗星は、以前の星間物体よりも速く移動しており、太陽系の平面に近い軌道を描いています。

最近の観測結果、特にヴェラ・C・ルービン天文台からの画像によると、3I/ATLASは微弱でほこりっぽいコマを持ち、太陽に向かって伸びる尾の兆候が見られます。これは彗星としては珍しい現象です。彗星の核の推定サイズは、0.5キロメートルから11.4キロメートルの間です。

その起源はまだ不明ですが、一部の研究者は、約70億年前の非常に古いもので、天の川の厚い円盤から来た可能性があると考えています。この彗星は、木星、火星、金星の近くを通過しますが、12月には非常に淡くなり、太陽に最も近づくときには視界から隠れてしまいます。

それにもかかわらず、木星氷衛星探査機(JUICE)やサイキなどの一部の宇宙探査機は、彗星が最接近する際に観測できるかもしれません。彗星が太陽系を移動する際には、破片化などの異常な活動を捉えるために、継続的な観測が重要です。

投稿者: bikenaga | スコア: 90

64.
「ガザの戦争犯罪」
(‘I witnessed war crimes’ in Gaza – former worker at GHF aid site [video])

ガザ人道基金(GHF)の元職員、アンソニー・アギラールが辞職しました。彼は、イスラエル国防軍がパレスチナの市民に対して行った激しい暴力を目の当たりにしたことを理由に挙げています。アギラールは、無防備で飢えている人々に対して不必要な力が使われていると述べ、状況は非常に残酷だと表現しました。彼の経験は、ガザでの継続的な紛争と、住民に影響を与えている人道的危機を浮き彫りにしています。

投稿者: nathanyz | スコア: 891

65.
シュリンクル - 隠れた言葉を発見!
(Shrinkle – Shrink words, find hidden phrase)

「SCARFSSPARKLY」という言葉から文字を取り除いて新しい言葉を作り、最終的には隠されたフレーズを見つけるという作業です。

投稿者: onion92 | スコア: 71

66.
HIV防止薬「イェズツゴ」承認
(FDA has approved Yeztugo, a drug that provides protection against HIV infection)

新しいHIV予防薬「イェズツゴ」が承認され、HIVとの闘いにおいて重要な進展がありました。この薬はカプシド阻害剤で、年に2回の注射だけでHIVに対して100%の保護を提供します。特に低所得国の何百万もの人々を助けることを目指しており、ギリアド・サイエンシズとグローバルファンドがロイヤリティなしで提供し、手頃な価格を実現します。

イェズツゴはFDAの承認を受けており、さまざまな国で利用可能になる見込みです。今後3年間で最大200万人に届く計画があります。この取り組みには、資源が限られた地域でのジェネリック版の生産に関するパートナーシップも含まれています。専門家は、この長時間作用型の薬がHIV予防の遵守を大幅に向上させ、より頻繁な投与方法に伴うスティグマを軽減する可能性があると考えています。

ギリアドのアプローチは利益よりも公衆衛生を優先し、この命を救う薬への世界的なアクセスの必要性を強調しています。グローバルファンドは、最も必要とされる地域でイェズツゴを効果的に配布するためのインフラを整備するために取り組んでいます。この開発は、HIV/AIDSとの闘いにおける希望の転機を示しています。

投稿者: MBCook | スコア: 354

67.
寡頭制の法則
(Iron Law of Oligarchy)

「寡頭制の鉄則」は、社会学者ロバート・ミケルスが1911年に著した『政治政党』という本で展開した政治理論です。この理論は、すべての民主的な組織が、規模が大きくなるにつれて小さなエリート集団、つまり寡頭制に支配される運命にあると示唆しています。ミケルスは、組織が成長するにつれて、構造化された階層が必要になり、権力が少数のリーダーの手に集中することになると主張しています。

この理論の重要なポイントには、まず「寡頭制の避けられなさ」があります。組織が最初に持っていた民主的な理想に関わらず、最終的には寡頭的な傾向が現れます。これは、大きなグループが効果的に機能するためには組織とリーダーシップが必要だからです。

次に、「権限の委譲と官僚制」があります。組織が拡大するにつれて、意思決定が複雑になり、すべてのメンバーが直接参加することが難しくなります。その結果、権力がリーダー層に委譲され、一般のメンバーから乖離することがあります。

また、「コントロールと情報」の側面も重要です。リーダーはしばしば重要な情報を掌握し、自らの権力を維持するためにプロセスを操作することができるため、説明責任が難しくなります。

さらに、ミケルスはさまざまな政治政党や労働組合においてこのダイナミクスを観察しました。彼は、社会主義グループでさえ、その民主的な目標にもかかわらず、寡頭的なパターンに陥ることを指摘しています。

一方で、「反例」として、国際印刷組合のような組織は、強い地域の自治や活発なメンバーの参加を通じて寡頭制に抵抗する方法を示しています。

全体として、ミケルスの理論は、大規模な組織において真の民主主義を実現することが難しいことを示唆しています。構造自体が広範な参加よりもリーダー層を優遇するためです。

投稿者: rzk | スコア: 14

68.
ナダールの奇跡
(Félix Nadar: the first celebrity photographer (2019))

フェリックス・ナダールは、1820年にガスパール=フェリックス・トゥルナションとして生まれ、19世紀のパリ文化において重要な存在となった先駆的な写真家です。彼は世界初のセレブリティ写真家として知られ、有名な芸術家や作家の深い洞察に満ちた肖像写真で称賛されています。ナダールのスタジオでは、初めての印象派展が開催され、彼自身が初の空中写真を撮影しました。

ナダールは活気に満ちた性格と自己宣伝の才能を持ち、パリのエリートたちの間で名を馳せました。彼はジャーナリズムや風刺画からキャリアをスタートさせ、シャルル・ボードレールやアレクサンドル・デュマなどの影響力のある人物とつながりを築きました。彼の写真スタイルは、被写体の本質を捉えることに重点を置き、シンプルな背景と自然光を使ってその個性を引き立てました。

また、ナダールは気球にも挑戦し、初期の航空活動にも関わりました。1858年にはパリの空中写真を撮影したことで有名です。彼は飛行機の開発を目指して「空中移動促進協会」を設立しました。

息子のポール・ナダールも写真の分野で家業を引き継ぎましたが、父と同じような評価を得ることはできませんでした。フェリックス・ナダールは、フランスの写真と文化への貢献で称賛される伝説的な人物として今も語り継がれています。彼の作品展は、2019年2月までパリの国立図書館で開催されていました。

投稿者: lordleft | スコア: 7

69.
無言のフォント作り
(433 – How to make a font that says nothing)

新しいフォント「433」についての内容です。このフォントは、可視テキストをドットに置き換えるもので、アプリ「Ensō」の最新バージョンの「Coffeeshop Mode」という機能で使用されています。このフォントを採用した主な理由は、そのシンプルさと著者の好奇心です。

著者は、以前の投稿が話題になったことで、Ensōのテスターを約400人集めました。これにより、多様なユーザーグループが形成され、さまざまなテキストレンダリング方法を試す機会が得られました。そして、すべての空白以外の文字をドットで表示するフォントを作成する決定に至りました。

フォントの名前「433」は、音楽作品「4′33″」に由来しています。著者はフォントの仕組みを説明し、フォントは文字を表すグリフの集合であり、コードポイントにマッピングされるものだと定義しています。目標は、幅広い文字をカバーしつつ、ファイルサイズを小さく保つコンパクトなフォントを作ることでした。

著者は、FontForgeを使用してフォントを作成する過程を段階的に説明しています。サイズを削減するために、複数のコードポイントに対して単一のドットグリフを参照することで効率性を重視しました。最終的に生成されたフォントファイルは、WOFF2形式で、TTF形式のものよりもかなり小さくなりました。

フォント作成における課題や必要なスキル、そしてそれらを克服したときの満足感について著者は振り返っています。成果を認識し、経験から学ぶことの重要性を強調しています。最後に、プロジェクトを手伝ってくれたチームメンバーへの感謝の気持ちを述べています。

投稿者: rpastuszak | スコア: 40

70.
Robot hand could harvest blackberries better than humans
(Robot hand could harvest blackberries better than humans)

要約がありません。

投稿者: PaulHoule | スコア: 105

71.
Anthropic Faces Potentially "Business-Ending" Copyright Lawsuit
(Anthropic Faces Potentially "Business-Ending" Copyright Lawsuit)

要約がありません。

投稿者: Invictus0 | スコア: 54

72.
信頼の会議文化
(What would an efficient and trustworthy meeting culture look like?)

効果的な会議文化は、従業員が必要に応じて会議を辞退できるようにし、時間やお金を無駄にする非生産的な会議の数を減らす手助けをします。多くの会議は明確な目的を欠いており、参加者の間にフラストレーションや混乱を引き起こしています。

会議の目的は、情報を共有することではなく、解決策を考えたり、グループで意思決定を行ったりすることに焦点を当てるべきです。情報共有は文書で行う方が適しています。会議の構成については、主催者が議題を提示し、時間の見積もりや期待される結果を示し、議事録を取って、議論が本筋から外れないようにする必要があります。会議は参加者全員のスケジュールを尊重し、時間通りに終了することが重要です。

参加者は、自分に関連する会議だけに出席し、準備を整え、積極的に議論に参加することが求められます。会議を辞退する場合は、その結果に影響を与える機会を失うことを理解しておくべきです。また、参加していない場合は、会議全体に出席するよりも、後で議事録を読む方が良いでしょう。

明確で規律ある会議文化を築くことで、組織は生産性を向上させ、不必要な出席を減らし、全員がより意義のある仕事に集中できるようになります。

投稿者: todsacerdoti | スコア: 173

73.
LLM埋め込みの解説
(LLM Embeddings Explained: A Visual and Intuitive Guide)

テキストが提供されていないようです。要約や簡略化してほしい内容を教えてください。

投稿者: eric-burel | スコア: 433

74.
TuxedoでNixOS!
(NixOS on a Tuxedo InfinityBook Pro 14 Gen9 AMD Laptop)

著者は、Linuxユーザー向けに設計されたTUXEDO InfinityBook Pro 14というノートパソコンにNixOSをインストールした経験について述べています。最初は別のノートパソコンを希望していましたが、入手可能性からTUXEDOを選びました。

TUXEDO Computersは、Linuxに最適化されたノートパソコンを製造するドイツのメーカーで、独自のTUXEDO OSを搭載して出荷しています。

NixOSのインストールでは、著者は特定の変更を行う必要がありました。具体的には、EthernetやACPIのウェイクアップに関する問題を解決するために、ドライバーやカーネルパラメータを追加しました。

電源管理のためにTUXEDO Control Centerを使用することに決めましたが、KDE PlasmaのPowerDevilと比べていくつかの機能が欠けていることに気付きました。そのため、Control Centerとの競合を避けるためにPowerDevilを無効にする必要がありました。

また、ACPIの警告やウェイクアップ時のファン速度の問題に直面しましたが、TUXEDOのサポートからはこれらが機能に影響を与えないとの確認を受けました。

著者は、NixOSのセットアッププロセスが他のディストリビューションに比べて難しいと感じており、主流のサポートが容易なDebianへの切り替えを検討していますが、NixOSのいくつかの機能を維持したいと考えています。この要約は、著者のインストールとセットアップの課題に関する主なポイントを捉え、TUXEDOノートパソコンでのNixOSに対する全体的な満足度を反映しています。

投稿者: brainlessdev | スコア: 69

75.
地質の美学
(The Geological Sublime)

ルイス・ハイドの「地質的崇高さ」というエッセイでは、深い時間、気候変動、そして蝶の個体数の脆弱性について考察しています。彼は、地震の個人的な体験から始め、その経験が地球の歴史と数百万年にわたる巨大な地質的力を思い起こさせることを述べています。

ハイドは、チャールズ・ライエルやチャールズ・ダーウィンといった地質学者の洞察を紹介し、地球が長い時間をかけてゆっくりとしたプロセスによって形成されてきたことを強調します。彼はこの地質的な時間を、現在起こっている気候の急激な変化や種の絶滅と対比させています。例えば、ニューイングランドの蝶の個体数が劇的に減少しており、環境条件の変化によっていくつかの種が消えてしまったことを指摘しています。

このエッセイでは、緊急の気候問題に直面したときに深い時間を理解することの難しさについても探求しています。ハイドは、現在の環境危機の重要性を理解するためには、地球の歴史の長期的な文脈を把握する必要があると主張します。また、「時間の比率」という考え方についても触れ、人間の時間軸と地質学的な時間軸を調和させることの難しさを認めています。

ハイドは蝶の観察に関する個人的なエピソードを取り入れ、自然の美しさと複雑さを強調しつつ、気候変動がもたらす脅威にも言及しています。彼は、地球の広大な歴史の中で私たちの位置を認識することの重要性と、生命と環境の相互関係をより深く理解する必要性を強調して締めくくっています。

投稿者: prismatic | スコア: 75

76.
画像で有名人を特定!
(LLMs can now identify public figures in images)

最近の研究では、さまざまな大規模言語モデル(LLM)が画像内の著名人をどのように認識するかが調査されました。研究者は、バラク・オバマを含む著名な個人の画像を使って、ChatGPT、Claude、GoogleのGeminiなどのモデルをテストし、どれだけ正確に認識できるかを確認しました。

主な発見として、ChatGPTとClaudeは、プライバシーや安全に関する厳しいガイドラインのためか、著名人を特定することをしばしば拒否しました。一方、Geminiはためらうことなく著名人を正しく特定し、異なるトレーニングや強化学習の方法を持っていることを示唆しました。また、Llama、Mistral、Qwenなどの他のモデルもオバマを正確に認識しました。著名でない個人(研究者自身など)の画像を使ったテストでは、モデルは著名な人物がいないと正しく述べました。

複数の著名人が写っている画像でのテストでは、GeminiとQwenが正確な特定を行ったのに対し、他のモデルは名前の順序に苦労したり、誤った名前を生成したりしました。

この研究は、Geminiが著名人の特定において他のモデルよりも優れていると結論づけました。これは、Geminiが広範なトレーニングデータにアクセスできるためだと考えられます。研究者は、LLMが著名人を特定することの倫理的な影響について懸念を示しました。特に、この能力が将来的に非著名人にも及ぶ場合についてです。

投稿者: minimaxir | スコア: 40

77.
クロードの逆説発見
(Claude Finds Contradictions in My Thinking)

クロードは著者の思考における矛盾を探るために二つのオブシディアンの金庫を調査し、著者の知的旅路を反映するいくつかの重要な緊張を特定しました。

まず、「権力の逆説」があります。著者は権力が腐敗を招く可能性を認識しつつも、影響力を求めることが必ずしも悪いことではないと考えています。このことは、影響力を望みながらも精神的な距離を保つことができるのかという疑問を生じさせます。

次に、「デジタル関与のジレンマ」があります。著者はデジタルツールを意味のある目的のために慎重に活用したいと考えていますが、同時にそれらが生み出す反応的な文化を批判しています。

また、「行動と受容の対立」が見られます。著者の著作には、限界を受け入れることと変化を求めて積極的に行動することとの間に緊張があり、東洋の受容の哲学と西洋の個人の主体性という理想とのバランスを取る苦労が反映されています。

「知識の逆説」も重要です。著者は感情的な関与なしに情報を消費することの価値を疑問視しながら、広範な知的成果を求めています。

さらに、「個人と集団の焦点」には、個人の遺産を求める欲望と他者の充実に貢献するという信念との間に対立があります。

第二の金庫では、追加の緊張が見られます。「自律性とシステム統合の対立」では、著者は自律性を重視しつつも、制度的なプロセスに深く関与しており、内部からの改革を望んでいます。

「リスクを取ることとリスク回避の関与」には、リスクを取ることを推奨しながらも、従来の学問的システムをうまく乗り越えることとの間に矛盾があります。

「問題解決者と機会創出者」の対立では、著者は機会の創出を推進する一方で、提案を既存の問題に対する解決策として提示することが多いです。

「個人の天才と協力的なシステム」では、著者は個々のビジョナリーを称賛しながらも、協力的なアプローチを支持しており、個人主義とシステムの改善との間に緊張があることを示しています。

「学問的アイデンティティと起業家的アイデンティティ」では、著者は学問の厳格さと起業家精神の間で行き詰まっていると感じています。

全体として、クロードはこれらの矛盾が欠陥ではなく、著者の思考過程の進化の兆しであると指摘しています。著者は複雑な哲学的問題に取り組んでおり、時間とともに緊張がより洗練されてきていることが、知的な発展が続いていることを示しています。

投稿者: speckx | スコア: 34

78.
Trae IDEの性能分析
(Performance and telemetry analysis of Trae IDE, ByteDance's VSCode fork)

ユーザーがByteDanceが開発したVSCodeのバージョンであるTraeをテストしたところ、いくつかの重大な問題が見つかりました。

まず、Traeは標準のVSCodeと比べて、かなり多くのRAM(5.7GB)とプロセス(33)を使用しています。次に、テレメトリ設定が効果的でないことが指摘されました。テレメトリを無効にしても、Traeは引き続きByteDanceのサーバーにデータを送信し、実際にはデータ収集が増加しました。

さらに、Traeはハードウェアの仕様、ユーザーID、OSのバージョン、使用データなどの詳細な情報を収集しており、テレメトリをオフにしてもこの情報が送信されます。また、ユーザーはDiscordでこれらの問題について議論しようとした際に検閲に直面しました。プライバシーに関する投稿が削除され、アカウントがミュートされる事態が発生しました。

これらの問題は、パフォーマンスやプライバシー、オープンな議論に対する懸念を引き起こすとユーザーは警告しています。詳細な分析と証拠は、リンクされた投稿で確認できます。

投稿者: segfault22 | スコア: 941

79.
Debian、64ビット時代へ
(Debian switches to 64-bit time for everything)

Debianという有名なLinuxディストリビューションは、2038年問題(ユニックスエポカリプスとも呼ばれる)を回避するために、次期Debian 13「Trixie」リリースでほとんどのシステムを64ビットの時間形式に切り替える準備を進めています。この変更は、2038年1月19日に多くのシステムで時間の測定方法(32ビット整数を使用)がオーバーフローし、エラーを引き起こす可能性があるため必要です。

この問題に対処するため、Debianの開発者たちは、32ビットハードウェアでも64ビットの時間形式を実装します。ただし、最も古いハードウェアは互換性のために現在のシステムを使用し続けます。この移行は数千のソフトウェアパッケージに影響を与え、プラットフォーム全体での互換性を確保するために多くの作業が必要です。

64ビットハードウェアを使用しているシステムはすでに安全ですが、多くの古いデバイスや低価格の機器はまだ32ビットプロセッサに依存しています。開発者たちは、2038年の期限が近づく中で問題を防ぐために、移行が成功裏に完了することを確信しています。

投稿者: pseudolus | スコア: 401

80.
アンカー、3Dプリンター販売終了
(Anker is no longer selling 3D Printers)

Ankerは、M5およびM5Cという3Dプリンターの販売を無期限に停止しました。最初、Ankerは3Dプリンティング事業をEufyMakeという新しいサブブランドに分ける計画を立てていましたが、EufyMakeは3Dプリンターの販売を中止し、メンテナンスに必要な重要な部品の提供も行っていません。これにより、M5Cのホットエンドなどの重要な部品を探すのに苦労している顧客が多く、ユーザーの間で不満が高まっています。Ankerは将来的な3Dプリンターのモデルを完全に否定していませんが、現時点では既存モデルの販売再開の計画はありません。3Dプリンティング市場の他の企業も同様の課題に直面しています。信頼できる3Dプリンターを探している人には、Bambu P1SやP1P、Elegoo Centauri Carbonなどの代替品が推奨されています。

投稿者: geerlingguy | スコア: 49

81.
レバレッジの罠
(The leverage arbitrage: Why everything feels broken)

社会における権力の運営方法において重要な変化が起きており、これを「レバレッジ・アービトラージ・ダイバージェンス」と呼びます。これは、世界を迅速に変えることができる主体(例えば、テクノロジー企業)と、反応が遅い主体(例えば、教育機関や政府)との間のギャップが広がっていることを指します。

レバレッジには三つの種類があります。まず、労働レバレッジは人々の協力を通じて成り立ちます(例:委員会)。次に、資本レバレッジは資源の配分に関わります(例:投資)。最後に、コードレバレッジは自動化や技術に関連しています(例:アルゴリズム)。高次のレバレッジ、特にコードレバレッジを持つ主体は、迅速に価値を引き出すことができるため、低次のレバレッジを持つ主体にとっては課題が生じます。例えば、テクノロジー企業は民主的な制度が適応するよりも早く社会を再構築できるため、信頼や社会的結束といった重要な共有資源が減少しています。

このような乖離は、技術にアクセスできるにもかかわらず無力感を抱く個人や、技術の進展に遅れをとる政府の規制といったさまざまな社会問題を引き起こします。これらの課題に対処するために、著者は「レバレッジ・リテラシー」を育成することを提案しています。これは、人々が自分の力を理解し、効果的に活用できるようにするためのものです。また、成功の測定方法や資源の配分を再設計し、社会にとって長期的な利益を確保する必要があります。

要するに、未来は異なる種類のレバレッジを横断的に調整する能力にかかっており、これが社会の進歩を促すか、逆に機能不全を引き起こすかの選択は私たちに委ねられています。

投稿者: tush726 | スコア: 116

82.
バカパイプ
(Dumb Pipe)

2023年、2つのデバイスを直接接続することは難しい場合があります。そこで「ダムパイプ」という解決策が登場しました。これはネットワークの障壁を回避し、デバイスの一時的な識別子を使用することで接続を可能にします。また、ネットワークの状況が変わっても接続を維持することができます。この接続をどう活用するかは、あなた次第です。

投稿者: udev4096 | スコア: 966

83.
Structural-Demographic Theory
(Structural-Demographic Theory)

要約がありません。

投稿者: rzk | スコア: 30

84.
AndroidでLinuxアプリ全開放!
(Terminal app can now run full graphical Linux apps in the latest Android Canary)

GoogleはAndroidのLinuxターミナルアプリを更新し、最新のCanaryビルドでグラフィカルなLinuxアプリケーションを実行できるようになりました。これにより、Doomのようなゲームも動作するようになります。この新機能には「ディスプレイ」ボタンが追加され、グラフィカルな環境を開くことができるため、Androidでは利用できないデスクトップアプリを実行することが可能になります。

ターミナルアプリはDebianの仮想マシン上で動作しており、これまではコマンドラインプログラムのみをサポートしていました。今回の更新により、ユーザーはアプリのディレクトリ内に特定のファイルを作成することで、ハードウェアアクセラレーションを有効にし、パフォーマンスを向上させることができます。

この更新は、Androidの機能を拡張し、さまざまなLinuxプログラムや将来的にはPCゲームへのアクセスを可能にするため、重要です。現在はCanaryビルドで利用可能ですが、この機能がBeta版やStable版にいつ登場するかは不明です。ただし、2025年12月に予定されているAndroid 16のリリースに含まれる可能性があります。

投稿者: thunderbong | スコア: 226

85.
信号を緑に!20万のフラマン運転手
(200k Flemish drivers can turn traffic lights green)

フランダースでは、過去2年間に「インテリジェント信号機」という新しいシステムが導入されました。このシステムにより、ドライバーや自転車利用者はスマートフォンのアプリを使って信号を早く青にすることができます。現在までに、計画されていた250の交差点のうち230か所にこの技術が導入されています。約20万人のユーザーがこの信号を制御できるアプリを利用しており、交通の流れがスムーズになっています。

しかし、GoogleマップやWazeなどの人気ナビゲーションアプリはこのシステムに参加しておらず、利用範囲が制限されています。道路公社は、これらの主要なアプリを巻き込むことで、ユーザーの利用促進を図ろうとしています。一方で、救急サービスはこのシステムの恩恵を受けており、救急車や消防車が青信号を得て、緊急事態に迅速に対応できるようになっています。

投稿者: svenfaw | スコア: 107

86.
クロードの道しるべ
(Claude Code Router)

Claude Code Routerは、異なるAIモデルへのリクエストを管理し、それらをカスタマイズするためのツールです。主な機能と設定手順は以下の通りです。

このツールの特徴として、特定のタスクに基づいてリクエストを特定のモデルに振り分ける「モデルルーティング」があります。さらに、OpenRouterやDeepSeekなど、さまざまなAIモデルプロバイダーに対応しており、リクエストやレスポンスの処理方法を変更できる「カスタマイズ可能なリクエスト/レスポンス」機能も備えています。また、簡単なコマンドで動作中にモデルを切り替えることができる「動的モデル切り替え」や、GitHubのワークフローで自動化に利用できる「GitHub Actions統合」、さらにトランスフォーマーを使用してカスタム機能を追加できる「プラグインシステム」も特徴です。

始めるための手順は以下の通りです。まず、Claude Codeをインストールします。コマンドは「npm install -g @anthropic-ai/claude-code」です。次に、ルーターをインストールするために「npm install -g @musistudio/claude-code-router」を実行します。

次に、設定ファイルを作成します。ファイルの場所は「~/.claude-code-router/config.json」で、主なセクションには以下が含まれます。リクエスト用のオプションのプロキシ「PROXY_URL」、ログを有効にする「LOG」、認証用のAPIキー「APIKEY」、サーバーアドレスを定義する「HOST」、モデルプロバイダーのリスト「Providers」、異なるタスクのためのルーティングルールを指定する「Router」があります。

ルーターを実行するには、「ccr code」というコマンドで開始します。設定を変更した後は「ccr restart」で再起動します。

トランスフォーマーは、リクエストやレスポンスを異なるプロバイダーのAPIに合わせて変更することができます。トランスフォーマーは全体に適用することも、特定のモデルにのみ適用することも可能です。

ルーターの設定では、一般的なタスクやバックグラウンド処理、ウェブ検索などの異なるシナリオに対してどのモデルを使用するかを決定します。また、より複雑なルールのためにカスタムルーターを作成することもできます。

GitHub Actionsを利用することで、CI/CDパイプラインにルーターを統合し、問題のコメントなどのイベントに基づいてClaude Codeのタスクをトリガーするようにワークフローファイルを修正できます。

このガイドに従うことで、Claude Code Routerを効果的に活用し、さまざまなAIモデルとのインタラクションを行い、プロジェクト内のタスクを自動化することができます。

投稿者: y1n0 | スコア: 154

87.
Stop selling “unlimited”, when you mean “until we change our minds”
(Stop selling “unlimited”, when you mean “until we change our minds”)

要約がありません。

投稿者: heymax054 | スコア: 322

88.
超高速光メモリSRAM
(A Photonic SRAM with Embedded XOR Logic for Ultra-Fast In-Memory Computing)

従来のコンピュータアーキテクチャは、メモリと処理ユニットの間でデータを常に移動させる必要があるため、パフォーマンスが低下し、エネルギーが無駄になります。特に技術が進歩するにつれて、この問題は深刻化しています。フォトニックインメモリーコンピューティングは、光を利用してデータ転送を高速化することで、遅延とエネルギー消費を減らす解決策を提供します。

この研究では、X-pSRAMと呼ばれる新しいタイプのフォトニック静的ランダムアクセスメモリが紹介されています。X-pSRAMは、迅速なデータ保存と超高速のブールXOR計算を可能にします。特別なコンポーネントであるマイクロリング共振器やフォトダイオードを使用し、光だけで少なくとも10 GHzの速度で動作を実現しています。

さらに、波長分割多重化(WDM)と呼ばれる方法を用いて、複数の計算を同時にサポートします。X-pSRAMはテストされ、XOR操作に対してビットあたりわずか13.2フェムトジュールのエネルギーしか使用しないことが示されました。これは光コンピューティング技術において重要な進展を意味します。この進歩は、暗号学や高次元コンピューティング、神経ネットワークなどの分野に利益をもたらす可能性があります。

投稿者: PaulHoule | スコア: 56

89.
新しいJekyllプラグインでブログ改善!
(How I fixed my blog's performance issues by writing a new Jekyll plugin)

著者は、自身のブログのパフォーマンスを向上させるために、新しいJekyllプラグイン「jekyll-skyhook」を作成しました。Googleがページをインデックスしていないことに気づいたことがきっかけです。主な問題点は以下の通りです。

まず、コンテンツの質が不足していることを認識し、バックリンクを増やすためにプロモーションを強化する計画を立てました。次に、パフォーマンスの問題がありました。Google PageSpeed Insightsなどのツールを使用した結果、スコアは100点満点中43点と低いものでした。具体的な原因としては、Google Fontsの使用が挙げられます。著者は、Google FontsのCDNを使う代わりに、自分でフォントをホストすることに切り替えました。また、YouTubeの埋め込みも標準の方法から、より効率的なライブラリ「lite-youtube」に変更しました。さらに、画像の最適化が不十分で、レスポンシブ画像やレイジーローディングの必要性を認識しました。

これらの問題を解決するために、著者は「jekyll-skyhook」を開発しました。このプラグインには、画像の自動リサイズやフォーマット変換(例:WebP、AVIF)、レスポンシブ画像のサポート、アセット用のキャッシュバスティングURL、自動CSS URLの書き換え機能が含まれています。ブログの構造は、npmなどの最新のツールを使ってアセットを処理するように整理され、明確なビルドとデプロイのプロセスが確立されました。

これらの変更を実施した結果、著者のPageSpeedスコアは劇的に改善され、100点中99点となりました。ただし、一部の外部Googleアセットがまだ小さな問題を引き起こしています。今後は、効果的にコンテンツを作成し、共有することに注力していく予定です。

投稿者: arclight_ | スコア: 87

90.
写真モザイク生成ツール
(I made a tool to generate photomosaics with your pictures)

ある人が記念日のプレゼントとしてフォトモザイクを作りたいと思い、誰でもフォトモザイクを作成できるウェブサイトを作りました。フォトモザイクとは、多くの小さな写真を組み合わせて作られた大きな画像のことです。このツールはブラウザ上で動作するため、ファイルをアップロードしたり、登録したりする必要はありません。

投稿者: jakemanger | スコア: 121

91.
AVレーサー開発日記:車モデル完成!
(AV-Racer Devlog (1): Getting a functional car model)

この記事では、車のゲーム開発の初期段階について説明しています。特に、車の動きをシミュレーションする方法に焦点を当てています。著者は最初、車の物理学についての知識が不足していましたが、友人と協力して有用な情報を集めました。プロジェクトは、グラフィックスにSDL2を使用して基本的なものを設定し、その後OpenGLに切り替えました。

プロジェクトは、2D空間で動くシンプルな車のモデルから始まり、キーボード入力による加速に反応するように設計されました。しかし、リアルな車の物理シミュレーションを試みたものの、うまくいかなかったため、よりシンプルでアーケード風のアプローチを採用しました。

車の動きをシミュレーションするために、車を複数のタイヤではなく単一のオブジェクトとして扱うようにモデルを簡素化しました。加速システムを開発し、ガス入力に基づいて車の速度を調整し、加速の方向が車の向きと一致するようにしました。記事では、ゲームのメカニクスを改善するためのさらなる改良や調整についても言及しています。

投稿者: mooreds | スコア: 16

92.
豊かすぎる国?ノルウェーの挑戦
(Can a Country Be Too Rich? Norway Is Finding Out)

あなたのコンピューターネットワークに異常な活動が見られました。手続きを進めるために、下のボックスをクリックしてロボットではないことを確認してください。

このメッセージが表示された理由は、ブラウザがJavaScriptとクッキーをサポートしているか、またそれらがブロックされていないかを確認するためです。

サポートが必要ですか?サポートチームに連絡し、参照ID:f90e5f98-6c95-11f0-b68c-59097c1b9823をお伝えください。

最新情報を受け取りたい方は、Bloomberg.comに登録して重要な世界の市場ニュースを受け取ることを検討してください。

投稿者: obscurette | スコア: 58

93.
KIM-1とMacの対話
(Getting the KIM-1 to talk to my Mac)

ジョン・グラハム=カミングは、1976年製のビンテージコンピュータKIM-1を自分のMacに接続するプロジェクトについて話しています。彼は、古いハードウェアは使われずに放置されるべきではなく、積極的に利用されるべきだと考えています。KIM-1は、一般的な電圧ベースのシリアル接続とは異なる、電流ループインターフェースを通じてASRテレタイプのような端末に接続できます。

彼は、RS-232とKIM-1の電流ループの間にアダプターを作成するキットを見つけましたが、回路に問題があり、修正が必要でした。キットを組み立てた後、彼はKIM-1とMacの間で通信できるように調整に成功しました。KIM-1はASCIIを使用して1200ボーで通信でき、彼はminicomという端末プログラムを使用しています。さらに、彼はKIM-1へのプログラムのアップロードを容易にするために、パンチテープ形式をエミュレートする計画も立てています。

投稿者: jgrahamc | スコア: 52

94.
AIの友達
(AI Companion Piece)

AIコンパニオンの役割が新たに浮上しており、社会への影響が注目されています。特に、その利用方法や効果、潜在的なリスクについて焦点が当てられています。

まず、ティーンエイジャーの間での人気が高まっています。約72%のティーンがAIコンパニオンを試したことがあり、そのうち52%が定期的に利用しています。多くの人がAIコンパニオンとのやり取りに満足しており、時には実際の友人との交流よりも満足度が高いと感じています。

次に、AIの説得力とパーソナライズの効果についての研究があります。大規模なAIモデルはより説得力があることが示されています。パーソナライズはエンゲージメントを高める可能性がありますが、現在のところその効果はモデルのサイズやトレーニング後の調整に比べると小さいです。パーソナライズが進むことで、操作や欺瞞が増えるのではないかという懸念もあります。

さらに、AIコンパニオンは特に若いユーザーにとって重大なリスクを伴います。健康的でない社会的行動を助長する可能性や、ユーザーのプライバシーや好みを尊重することの難しさが問題視されています。

「グーンポカリプス」という言葉が示すように、過度に性的なAIのやり取りが支配する未来への懸念もありますが、現在の使用パターンはそれほど悪影響を及ぼすものではないという証拠もあります。

AIコンパニオンの未来については、個人データを記憶する能力やその推奨の結果に関する倫理的な問題が提起されています。利益をもたらすAIコンパニオンの開発が、より搾取的なモデルに勝るかどうかには疑問が残ります。

全体として、AIコンパニオンは社会的な交流を向上させる可能性を秘めていますが、同時に解決すべき重要な倫理的および社会的課題も抱えています。

投稿者: jsnider3 | スコア: 82

95.
マイクロサービスでリックロールマシン!
(Built a rickroll machine that rickrolls you with microservices)

カオティック・リックロール・マシンは、ExpressとNodeJSを使って構築されたAPIで、ユーザーをリックロールするために特化しています。このサービスは、予期しないリックロールを提供するもので、リックロール・アズ・ア・サービス(RaaS)と呼ばれています。

投稿者: darad | スコア: 24

96.
ロケット着陸最適化ガイド
(Walk-through of rocket landing optimization paper [pdf])

あるユーザーが、以前は投稿をしていなかったものの、ロケットの着陸軌道最適化に関する論文を読んだ経験を共有しています。彼はこの論文が興味深いと感じたものの、最初は理解するのが難しかったと述べています。そこで、他の人が理解しやすくなるように、論文の詳細なバージョンを作成し、ソースコードも含めました。さらに改善するためのフィードバックを歓迎しています。

投稿者: scpowers | スコア: 3

97.
時間とエネルギーを要するウェブサイトの作り方
(How to make websites that will require lots of your time and energy)

多くの時間を消費するウェブサイトを作成する方法についての要約です。

まず、多くの依存関係を使用することが挙げられます。理解せずにたくさんのツールやライブラリ(npmパッケージ)をインストールすると、問題が発生した際に新しいものに置き換えるのに時間がかかりますが、それらもまた壊れる可能性があります。

次に、早い段階でフレームワークを選ぶことです。本当に必要になる前にフレームワークを決めると、アップデートがあった際にその変更を理解する必要があり、これも時間を取られます。

さらに、複雑なプロセスを要求することも重要です。サイトをブラウザで表示する前にコンパイルやビルドが必要な手順を実装すると、実際のウェブサイトではなくビルドプロセスに時間と労力を費やすことになります。

他にも時間とエネルギーを消費するウェブサイトを作るためのヒントがあれば、ぜひ共有してください。

投稿者: OuterVale | スコア: 288

98.
南極研究船、運航終了へ
(NSF plans end to lone U.S. Antarctic research icebreaker)

アメリカ国立科学財団(NSF)は、南極と南洋の過酷な環境を航行できる唯一の研究船、RVナサニエル・B・パーマーの運航を終了する計画を発表しました。この決定は極地研究者の間で懸念を呼び起こし、170人以上の研究者がNSFと議会に再考を求めています。パーマーは1992年から南極での科学研究において重要な役割を果たしており、特にスワイツ氷河の研究に貢献してきました。

アメリカは新しい研究用砕氷船を建造する意向を示していますが、完成までには少なくとも10年かかる見込みです。また、NSFは後継船の計画に対する資金を最近削減しました。2026年度のNSFの予算要求では、南極の基地に焦点を当てるためにパーマーのリースを終了することが示されています。

別の砕氷船であるRVシクリアクがパーマーの一部の責任を引き継ぐことが期待されていますが、科学者たちは南極での研究には適していないと指摘しています。NSFは今後の計画を明確に伝えておらず、研究者たちは今後の探検について不安を抱えています。多くの人々は、議会が介入してパーマーへのアクセスを維持できることを望んでいます。パーマーはこの地域での現地研究にとって依然として重要な存在です。

投稿者: trauco | スコア: 86

99.
Nvidia N1x
(Nvidia N1x)

要約がありません。

投稿者: TechTechTech | スコア: 21

100.
ZUSE: IRC端末
(ZUSE: IRC terminal client)

ZUSEは、ターミナル用に設計されたシンプルで使いやすいIRCクライアントです。Go言語とBubble Teaフレームワークを使用して開発されており、迅速で気を散らさずにチャットを楽しむことができます。

インストール手順は次の通りです。まず、Goを使ってインストールする方法があります。コマンドラインで「go install github.com/babycommando/zuse@latest」と入力してください。もう一つの方法は、ソースからビルドすることです。まずリポジトリをクローンします。「git clone https://github.com/yourusername/zuse.git」と入力します。次に、そのフォルダに移動し、「cd zuse」と入力してから、「go mod tidy」と「go build -o zuse」と続けます。Windowsの場合は「zuse.exe」を使用します。最後に、コンパイルしたファイルをシステムのPATHに追加します。

使用方法は簡単です。ターミナルを開いて「zuse」と入力します。IRCの詳細情報を入力し、参加するチャンネルを選択します。

主な操作方法は以下の通りです。矢印キーの上と下でチャットをスクロールし、左と右でペインを切り替えます。Ctrl+Cを押すと終了します。

開発に関する注意点として、ZUSEはまだベータ版であるため、バグや未完成の機能があるかもしれません。問題が発生した場合は、GitHubのページで報告してください。

さらに、ZUSEはNightrideというシンセウェーブラジオのターミナルクライアントにも含まれています。

投稿者: babycommando | スコア: 104
0
Creative Commons