1.
キオクシアとデル、2RUサーバーに10PB搭載!
(Kioxia and Dell cram 10 PB into slim 2RU server)

KioxiaとDellは、KioxiaのLC9高容量QLC SSDを使用して最大10PBのデータを保存できるスリムな2RUサーバーを開発しました。Dellは、245.76TBのNVMe SSDを40台統合したPowerEdge R7725xdサーバーをAMD EPYC 9005で動かしています。このサーバーは、最大5つの400 Gbpsネットワークインターフェースカードをサポートしており、高速なデータ転送が可能です。

Dellによると、この組み合わせは高いストレージ密度とエネルギー効率を提供し、AIインフラのスケーリングにおいてパフォーマンスを維持するために重要です。20台のこれらのサーバーを搭載したラックは、最大196PBのデータを保存できます。Kioxiaは、これらのサーバーが効率的なデータ管理を可能にし、大量のデータストリームやバックアップの取り扱いを容易にすると強調しています。他の企業も同様の高容量SSDの開発に取り組んでいます。

投稿者: rbanffy | スコア: 30

2.
SANA-WM: 2.6Bの世界モデル
(SANA-WM, a 2.6B open-source world model for 1-minute 720p video)

SANA-WMは、高品質で制御可能な1分間の動画を720p解像度で生成する先進的なオープンソースの世界モデルです。このモデルは26億のパラメータを持ち、単一のGPUで効率的に動作し、より大規模な産業システムに匹敵する詳細な動画を作成できます。

このモデルの主な特徴の一つは、最大1分間の動画を作成できる「ロングローアウト」です。動画の一貫性と視覚的品質を保ちながら生成します。また、正確なカメラの動きを実現するために、6自由度(6-DoF)のカメラ制御をサポートしており、高い忠実度で軌道を追従します。さらに、長い動画を洗練させる「ツーステージ生成」により、最終出力のテクスチャや動きに焦点を当てて動画の品質を向上させます。

効率性も大きな特徴です。このモデルは、15日間にわたって64台のGPUでトレーニングを行い、単一の高性能GPUで1分間の動画をわずか34秒で生成できます。SANA-WMは、公開されている動画クリップをトレーニングに利用し、アクション追跡や動画生成の一貫性を確保するための強力な手法を実装しています。従来のモデルと比較して、高いスループットと改善されたアクション追従精度が際立っています。

投稿者: mjgil | スコア: 237

3.
Linuxの窓口
(Windows 9x Subsystem for Linux)

WSL9x、つまりWindows 9x用Linuxサブシステムは、ユーザーがWindows 9xと同時に最新のLinuxカーネル(バージョン6.19)を再起動なしで実行できるようにします。この統合により、両方のオペレーティングシステムからのページング、メモリ保護、スケジューリングなどの機能が提供されます。

主な構成要素には、まずパッチが適用されたLinuxカーネルがあります。これはWindows 9xのカーネルAPIを使用するように修正され、スーパーバイザーモードで動作します。次に、VxDドライバーがあり、これがWSL9xを初期化し、メモリを管理し、LinuxとWindows間の通信を処理します。また、wsl.comクライアントプログラムという小さなDOSプログラムがあり、これによりMS-DOSプロンプトとターミナルウィンドウとしての対話が可能になります。

機能としては、ドライバーがLinux環境を設定し、ページフォルトやシステムコールなどのイベントを処理します。Linuxカーネルは、Windows 9xシステムと効果的に通信できるように動作します。

WSL9xを構築して実行するには、特定のツールと事前にインストールされたWindows 9xイメージが必要です。Linux用のツールチェーンとWindowsコンポーネント用のOpen Watcomを使用します。構築後、MS-DOSでwslコマンドを実行することでWSL9xを使用開始できます。

このプロジェクトはGPL-3のライセンスの下で提供されています。

投稿者: ibobev | スコア: 79

4.
オーストラリアの天文革命
(How an Australian Teen Team Is Making Radio Astronomy Affordable for Schools)

ウェブサイトmag.openrockets.comは、ユーザーが人間であるかボットであるかを確認するためにセキュリティサービスを利用しています。サイトにアクセスすると、確認プロセスが表示されます。続行するためには、ユーザーはブラウザの設定でJavaScriptとクッキーを有効にする必要があります。確認が成功すると、ページが反応します。

投稿者: openrockets | スコア: 81

5.
US Is Starting to See Heavy Job Losses in Roles Exposed to AI
(US Is Starting to See Heavy Job Losses in Roles Exposed to AI)

要約がありません。

投稿者: elsewhen | スコア: 67

6.
Accelerando (2005)
(Accelerando (2005))

要約がありません。

投稿者: eamag | スコア: 180

7.
Why is Charlie Stross's site named Antipope?
(Why is Charlie Stross's site named Antipope?)

要約がありません。

投稿者: turadg | スコア: 4

8.
CSS再構築の旅
(Moving away from Tailwind, and learning to structure my CSS)

著者は、Tailwind CSSからより伝統的なアプローチであるセマンティックHTMLとバニラCSSに移行する過程を振り返っています。彼らの経験からの主なポイントは以下の通りです。

最初にTailwindを使ったのは8年前で、著者はそのおかげで混沌としたCSSを整理し、小さなサイトを作るのに役立ったと感じていました。しかし最近、彼らはTailwindからの移行を始めました。

Tailwindから学んだこととして、CSSの構造、レイアウト、コンポーネント、色、フォントについての理解が深まったと述べています。新しいCSSアプローチでは、Tailwindの組織的なシステムのいくつかを取り入れる予定です。

CSSの構造については、リセットスタイルをTailwindからコピーし、要素間のサイズを一貫させることに役立てています。また、コンポーネントごとにユニークなクラスと別々のファイルを持たせることで、競合を避けるようにしています。色に関しては、すべての色変数を一覧にした専用のファイルを作成し、一貫性を保っています。フォントサイズについては、Tailwindのシンプルさに触発されてCSS変数を作成しました。ボタンなどの一般的なスタイルはユーティリティとして分類し、サイトが圧倒されないように最小限のグローバルスタイルを定義しています。また、以前の方法と比べて、パディングやマージンに対するより体系的なアプローチを模索しています。レスポンシブデザインに関しては、メディアクエリへの依存を減らすためにCSSグリッドレイアウトを探求しています。

ビルドシステムについては、複雑なビルドシステムなしで@importやネストされたセレクタなどの現代的なCSS機能を使用していますが、esbuildを使ってプロダクション用にCSSをバンドルすることも可能です。

Tailwindから移行した理由として、ビルドシステムへの依存が増えたこと、CSSスキルの向上、スタイリングの柔軟性を求める気持ち、セマンティックHTMLを書くことへの好奇心を挙げています。

著者はCSSの専門性を重視する重要性を強調し、フレームワークに頼るのではなく、CSSの理解を深めたいと考えています。

全体として、著者のTailwindからより伝統的なCSSアプローチへの移行は、CSSを強力な技術として再評価する貴重な学びの経験となっています。

投稿者: mpweiher | スコア: 291

9.

この記事は「HTMLを知らないあなたへ」シリーズの第2部で、HTMLのリストに焦点を当てています。HTMLには5種類のリストがあります。それは、順序付きリスト、順序なしリスト、定義リスト、メニュー、コントロールリストです。

順序付きリスト(<ol>)は、項目の順番が重要な場合に使用します。例えば、レシピの手順などです。順序なしリスト(<ul>)は、項目の順番が関係ない場合に使います。例えば、名前のリストなどです。定義リスト(<dl>)は、用語とその定義を示すために使用します。メニュー(<menu>)は、インタラクティブなコントロールやコマンドのために使います。コントロールリストには、固定された選択肢のために< select>と<option>を使用するか、提案のために<input><datalist>を組み合わせて使用します。

適切なリストを選ぶ際は、固定リストには< select>と<option>を使用し、提案には<datalist>を使います。順番が重要な場合は<ol>を、定義やメタデータには<dl>を、ツールバーやコマンドリストには<menu>を使用します。

順序付きリストは、属性を使って逆順にしたり、特定の番号から始めたりすることができます。定義リストは、メタデータやJSONのデバッグにも利用できます。メニューは、よりインタラクティブなユーザー体験を提供します。

この記事では、視覚的な外観ではなく、アクセシビリティや意味的な正確さのために正しいリストタイプを使用する重要性が強調されています。全体として、HTMLのさまざまな目的に応じたリストの効果的な使い方を深く理解することを目指しています。

投稿者: speckx | スコア: 202

10.
Δメモ: 大規模言語モデルの新記憶
(Δ-Mem: Efficient Online Memory for Large Language Models)

大規模言語モデルは、特に長期的なアシスタントシステムにおいて、過去の情報を効果的に記憶し活用する必要があります。単にモデルのコンテキストウィンドウを大きくすることはコストがかかり、うまく機能しないことが多いです。この研究では、既存のモデルに軽量なメモリシステムを追加する新しい手法「δ-mem」を紹介しています。

δ-memは、小さなメモリ状態を使用して過去の情報を保存し、シンプルな学習ルールを用いて更新します。このメモリは、タスク実行中のモデルの注意計算を改善するのに役立ちます。わずか8×8のメモリを使用することで、δ-memは従来のモデルよりも1.10倍、他のメモリシステムよりも1.15倍の性能を発揮します。特にメモリを多く使用するタスクでは、MemoryAgentBenchで1.31倍、LoCoMoで1.20倍のスコアを達成し、さらなる改善が見られます。全体として、δ-memはコンパクトなメモリシステムが、モデルに大規模な変更を加えなくても性能を向上させることができることを示しています。

投稿者: 44za12 | スコア: 159

11.
フロンティアAI、CTF形式を打破!
(Frontier AI has broken the open CTF format)

著者は、AIの進歩、特にClaude Opus 4.5やGPT-5.5のようなツールの影響で、キャプチャー・ザ・フラッグ(CTF)シーンが衰退していることを懸念しています。これらのAIモデルは多くのCTFチャレンジを簡単に解決できるため、競技における人間のスキルの重要性が薄れています。CTFに強いバックグラウンドを持つ著者は、AIが多くのチャレンジを解決するにつれて、スコアボードが真の人間の能力を反映しなくなり、「課金して勝つ」ような状況に感じられると述べています。

初心者がCTFから学ぶことができると考える人もいますが、著者は競争の性質や学習プロセスが損なわれていると主張しています。従来のCTF形式は、成長やスキルを測る手段としての価値を失いつつあります。多くの経験豊富なプレイヤーやチームが興味を失い、参加者やチャレンジの質が低下しています。

著者はCTFコミュニティの重要性を強調し、競技形式が変わるかもしれないが、CTFから得られるつながりや学びの経験は、ミートアップや学習プラットフォームなどの別の方法で保存されるべきだと提案しています。

投稿者: frays | スコア: 283

12.
ロックスカイ:音楽発見の新時代
(Rocksky – Music scrobbling and discovery on the AT Protocol)

Rockszyは、ATプロトコルを使用した分散型の音楽トラッキングおよび発見プラットフォームです。主な機能は以下の通りです。

Rockszyは、Last.fmやListenBrainzと互換性のあるスコロビングAPIを提供し、音楽の再生を追跡できます。ユーザーは自分のリスニング履歴を確認したり、他のユーザーが現在再生している曲を見ることができます。また、トップアーティストやトラック、アルバムの個人化されたチャートを提供し、ユーザー同士の交流ができるシャウトボックスも用意されています。SpotifyやJellyfinなどのプラットフォームと連携し、音楽の再生を簡単に追跡できるのも特徴です。さらに、MeiliSearchを活用した迅速な音楽検索機能も備えています。

今後の機能としては、Discordや他のアプリケーションとの統合のためのウェブフック、音楽発見のための個別フィード、Last.fmからのスコロビルのミラーリング機能、リモート再生やマルチソースライブラリの機能、カスタム拡張機能や再生設定の同期が予定されています。

Rockszyをセットアップするには、Node.js、Deno、Rust、Go、Turbo、Dockerなどの特定のツールが必要です。始めるには、リポジトリをクローンし、依存関係をインストールします。次に、環境変数を設定し、Dockerコンテナを起動してデータベースのマイグレーションを実行します。その後、Spotifyアプリを設定し、さまざまなサービスを開始します。

詳細については、ユーザーが完全なドキュメントを参照したり、フィードバックを提供したり、Discordを通じて貢献することができます。Rockszyは、リスナーの音楽トラッキングとコミュニティの交流を向上させることを目指しています。

投稿者: tsiry | スコア: 22

13.
グーテンベルク進化中
(Project Gutenberg – keeps getting better)

プロジェクト・グーテンベルクは、75,000冊以上の電子書籍を提供する無料のオンライン図書館です。主に著作権が切れた古い文学作品に焦点を当てています。ユーザーは、料金や登録なしでこれらの電子書籍をダウンロードしたり、オンラインで読むことができます。この図書館は1971年に設立され、ボランティアによってテキストのデジタル化や校正が行われています。

主な特徴としては、ePubやKindleなどのさまざまな形式での読み方が選べること、大規模な書店と似たカテゴリー分け、さらに厳選された読書リストがあります。また、著者、タイトル、テーマなどでの検索も可能です。

人気のあるタイトルには、「高慢と偏見」、「フランケンシュタイン」、「白鯨」などの古典が含まれています。

さらに、プロジェクト・グーテンベルクではオーディオブックも提供しており、コレクションの改善に協力するボランティアを歓迎しています。デジタル化のさらなる取り組みを支援するために寄付も受け付けています。詳細については、サイト内のヘルプセクションやFAQを参照できます。

投稿者: JSeiko | スコア: 1101

14.
クラスターの個人化
(Clusters become personal (like PCs did))

近い将来、多くの人々が「パーソナルクラスター」を使い始めるでしょう。パーソナルクラスターとは、複数のコンピュータが一つのユニットとして協力して動作するシステムで、現在のパソコンの使い方に似ています。クラスターは、複数のコンピュータを必要とする作業において、性能や信頼性を向上させることができます。

クラスターとは、複数のコンピュータが協力して動作するグループのことです。これらはソフトウェア(例えばKubernetes)によって管理され、複数のコンピュータが必要なサービスや、一台が故障しても運用を続ける必要がある場合に重要です。

パーソナルクラスターは、個人が使うために多くのコンピュータを組み合わせた強力なシステムです。これはパソコンに似ていますが、より高度な機能を持っています。

パーソナルクラスターが普及する理由はいくつかあります。まず、企業がクラスター技術を導入することで、従業員が入社時にパーソナルクラスターを受け取ることが増えるでしょう。また、技術愛好者がオープンソースのクラスターオペレーティングシステムを作成し、共有することで、他の人が使いやすくなります。さらに、家庭にコンピュータが増えることで、ゲーミングコミュニティが進化し、創造的で協力的なゲーム体験が生まれるでしょう。

著者は、パーソナルクラスターの成長を支援するために、clusterdOSというパーソナルクラスターオペレーティングシステムを開発し、オープンソースとして公開しました。

パーソナルクラスターは、個人が強力な技術を利用できる次のステップを示しています。これは、過去にパソコンがもたらしたような変革をもたらすでしょう。

投稿者: druid | スコア: 24

15.
深層探求再燃
(DeepSeek-V4-Flash means LLM steering is interesting again)

新しいモデル「DeepSeek-V4-Flash」についての内容です。このモデルは、エンジニアが言語モデル(LLM)の内部の活性化をリアルタイムで操作することで、出力を「操る」ことを可能にします。この方法により、ユーザーはモデルの応答をより簡潔にしたり、逆に詳細にしたりすることができます。このモデルは、エンジニアがローカルで実行できるように設計されており、よりアクセスしやすくなっています。

操るというプロセスは、モデルの内部状態から特定の概念を抽出し、推論中にそれを調整することを含みます。これには基本的な方法と、より高度な方法があり、後者はより多くのリソースと専門知識を必要とします。操ることは、従来のプロンプト技術よりもモデルの挙動をより簡単に制御できる可能性があるため、魅力的です。

しかし、操る技術はあまり広く採用されていません。その理由の一つは、大手AIラボが操るよりも直接的なモデル操作を好むことです。また、多くのユーザーはAPIを通じてモデルとやり取りするため、必要なモデルの詳細にアクセスできないことも影響しています。基本的な操るアプリケーションは、プロンプトの調整と似たような結果をもたらすことが多いです。

著者は、「知性」のような複雑な概念に対する操る技術の実用性に懐疑的であり、その利点が必要な努力に見合わない可能性があると指摘しています。しかし、オープンソースコミュニティが操る技術をさらに探求し始める中で、特にDwarfStar 4のようなモデルが機能を強化する特徴を取り入れることができれば、今後数ヶ月で有用なアプリケーションの可能性があるかもしれません。

投稿者: Brajeshwar | スコア: 137

16.
ギリシャ文字カード
(Greek Alphabet Cards)

著者は中国に住んでおり、子どもたちにギリシャ語を他の二つの言語と一緒に教えています。子どもたちが学ぶ手助けをするために、彼らが三歳半のときに遊び心のあるフラッシュカードを作りました。最初のバージョンのカードには、アルファベットの各文字に対応する物の絵が描かれており、「Aは飛行機」といった内容でした。最初のバージョンを作った後、著者は新しいアイデアを思いつきました。

投稿者: ricochet11 | スコア: 75

17.
名声の誤解
(Fame! A Misunderstanding: A new translation of Albert Camus's complete notebooks)

ライアン・ブルームによるアルベール・カミュの完全なノートの新しい翻訳が、1960年の彼の死以来誤解されてきた著者についての理解を正すことを目指しています。カミュの作品は数多く翻訳されていますが、彼はしばしば実存主義者や不条理の哲学者としてのみ見られています。ブルームの712ページにわたるこの本には、1935年から1959年までのノートがまとめられており、「異邦人」や「シジフォスの神話」を執筆していた重要な時期の未発表のメモも含まれています。

これらのノートは、カミュが自分自身を主に芸術家として捉えていたことを示しており、彼の著作は抽象的なアイデアよりも人間の経験の重要性を強調しています。また、カミュが不条理や希望といった概念に取り組んでいたことも明らかになり、特に彼自身の苦悩や自殺を考えた瞬間に関連しています。

カミュの作品に対する誤解は、ジャン=ポール・サルトルのような同時代の人々による誤読を通じて広まってきました。サルトルはカミュを実存主義に結びつけましたが、カミュ自身はそのレッテルを明確に拒否していました。この誤解は、カミュの評判を影絵のように捉えるマーケティング戦略や学術的な教育を通じて続いています。

この記事は、カミュの作品と遺産の再評価を求めており、彼の考えを適切な文脈で理解する必要性を強調しています。新しいノートの翻訳は、彼の貢献を評価するための明確さを提供し、現代の議論における誤解の流れに抵抗する手助けとなるかもしれません。

投稿者: Caiero | スコア: 9

18.
例で学ぶフuthark
(Futhark by Example)

この文書は、プログラミング言語Futharkの実用的な入門書として、複雑さが増す一連の例題を通じて紹介しています。ユーザーはこれらのプログラムをインタープリターに読み込んで実験することができます。正式な入門書としては「Parallel Programming in Futhark」が推奨されています。

この文書では、基本的な言語機能として関数、配列、数学的操作が取り上げられています。また、行列の掛け算やソートアルゴリズム、検索技術といった高度なプログラミング手法も紹介されています。さらに、数学的計算のための自動微分法や、ドキュメントやグラフを生成するためのリテラルFutharkも含まれており、ヒストグラムを作成する例も示されています。

Futharkを使用したいくつかのプロジェクトも紹介されています。例えば、粒子シミュレーターゲームの「Diving Beet」、レイトレーシングを用いたゲーム「Futball」、ウェブカメラフィルターアプリ「Futcam」、レイトレーサーの「Futracer」、フラクタル生成器の「Futswirl」、Filecoinのためのハッシュ関数実装「Neptune」、流体力学シミュレーションの手法「Palathark」、そしてピーター・シャーリーの書籍に基づくレイトレーシングプロジェクトなどがあります。

これらの例は、Futharkがコンパイラーのテストにとどまらず、さまざまなアプリケーションでの多様性を示しています。

投稿者: tosh | スコア: 96

19.
加速せよ!
(Accelerate)

Data.Array.Accelerateは、高性能な配列計算のために設計されたHaskellのライブラリです。このライブラリを使うことで、ユーザーはマルチディメンショナルな配列に対して、マップ、リダクション、パーミュテーションといったシンプルな関数を用いて操作を行うことができます。これらの計算は、GPUを含むさまざまなハードウェア上でコンパイルして実行することが可能です。

このライブラリの目的は、Haskellにおける効率的な配列計算を実現することです。例えば、2つのベクトルのドット積は、通常のHaskellコードと同様の形で表現できますが、性能向上のための最適化が施されています。ライブラリはHackageやGitHubで入手でき、Haskellプロジェクトに簡単に追加することができます。

特定のタスクに対応するための追加パッケージもいくつか用意されており、例えば高速フーリエ変換や画像処理などが含まれています。ユーザーが始めるための詳細なガイドや例も提供されており、利用しやすくなっています。また、Accelerateチームは、ユーザーからの意見やバグ報告、貢献を歓迎しています。研究目的でAccelerateを使用する場合は、関連する論文を引用することが推奨されています。

全体として、Accelerateは高性能コンピューティングタスクにHaskellを活用したい開発者にとって、強力なツールとなっています。

投稿者: tosh | スコア: 62

20.
キーバー、創業マーケター募集!
(Kyber (YC W23) Is Hiring a Founding Marketer)

Kyberは、規制のある業界で企業が複雑な規制通知を効率的に作成、レビュー、送信できるよう支援しています。例えば、Branch Insuranceは、請求の詳細をKyberにアップロードすることで、迅速にさまざまな草案を生成し、時間を節約し、品質を向上させています。Kyberは、文書のワークフローにおける責任と追跡可能性を高めます。

Kyberでは、コンテンツとコミュニティの取り組みをリードする創業マーケターを募集しています。理想的な候補者は、創造的であり、AIを活用して生産性を向上させ、革新的なプロジェクトを楽しむ人です。重要なスキルには、イベント制作、コンテンツ作成(動画やポッドキャストなど)、コミュニティ構築、AIを活用したマーケティングが含まれます。

主な責任には、独自のコンテンツとコミュニティ戦略の開発と実施、一般的なベンダーの設営とは異なる印象的なイベント体験の創出、顧客間での共有を促す魅力的なコンテンツの生成、AIを活用して効率を向上させ、マーケティングの創造的な側面に集中すること、成功した戦略を継続的に最適化し、その効果を追跡することが含まれます。

求める人物像は、さまざまなチャネルでの経験を持ち、マーケティング戦略を生み出し、改善できるマーケティングの一般職、AIを効果的に活用できるオペレーター、影響力のあるイベントを組織する才能を持つコミュニティビルダー、プロジェクトをユニークで魅力的にすることを目指す創造的な思考者、迅速に作業し、変化に適応できる人です。

私たちの価値観は、証拠をもって仮定に挑戦すること、顧客満足を優先すること、自分の仕事に誇りを持つこと、高い基準を設定し、それを超える努力をすること、楽しく支え合う職場環境を育むことです。

福利厚生には、競争力のある給与と株式オプション、包括的な医療、歯科、視力保険が含まれます。

Kyberでの仕事は、先進的なAI技術を用いて企業の文書プロセスを革新することに貢献します。あなたの仕事は、企業が重要な業務や顧客とのやり取りを管理する方法に大きな影響を与えるでしょう。

応募するには、同僚にあなたの履歴書またはLinkedInプロフィールを簡単な推薦文とともにanna [at] askkyber.comに送信してもらってください。推薦はあなたのスキルや人柄を強調するため、重要視されます。企業の文書管理を変革するために、今すぐ応募してください。

投稿者: asontha | スコア: 1

21.
8年ぶりの再構築!PyTorch曲率ライブラリ
(After 8 years, I rewrote my open-source PyTorch curvature library)

pytorch-hessian-eigenthingsモジュールは、PyTorchモデルのヘッセ行列や他の曲率行列の固有分解を効率的かつスケーラブルに計算するためのものです。このモジュールは、ランチョス法や確率的冪反復法などの手法を用いて、主要な固有値や固有ベクトルを取得するためのメソッドを提供します。また、トレース推定やスペクトル密度の計算も可能です。

ヘッセ行列の固有値と固有ベクトルは、ニューラルネットワークの一般化を理解する上で重要です。通常、ヘッセ行列の完全な計算はメモリを大量に消費しますが、このモジュールは効率的な手法を用いてメモリ使用量を削減します。インストールは、pip install hessian-eigenthingsで行えます。追加のトランスフォーマーサポートが必要な場合は、pip install "hessian-eigenthings[transformers,transformer-lens]"を使用してください。

使用方法としては、モデルからHessianOperatorを作成し、ランチョス法などのアルゴリズムを使って固有値と固有ベクトルを計算します。このモジュールはさまざまな曲率演算子をサポートしており、特定のパラメータ分析も可能です。大規模な言語モデルに対して最適化された計算を提供し、メモリ使用量を大幅に削減し、速度を向上させることができます。詳細なドキュメントや例は、公式ウェブサイトで確認できます。

このプロジェクトはオープンソースで、GitHubで入手可能です。作業で使用する場合は、提供された引用形式を使って引用することができます。このライブラリはUCバークレーのチームによって開発され、さまざまな研究者からの貢献があります。ライセンスはMITです。

投稿者: noahgolmant | スコア: 44

22.
WKRP、ついに実現!
(Nearly 50 Years Later, WKRP in Cincinnati Becomes a Real Radio Station)

シンシナティのクラシックなテレビシットコム「WKRP in Cincinnati」が、実際のラジオ局として再登場しました。FM局「ザ・オアシス」が、ノースカロライナ州の非営利団体からWKRPのコールサインを取得しました。新しい局の開局を祝うために、番組のテーマソングを6時間にわたって流し、1960年代から1980年代のクラシックロック音楽を放送します。これは番組のサウンドトラックに似た内容です。番組でプログラムディレクターを演じたゲイリー・サンディは、新しいWKRPのためにプロモーションメッセージを録音しました。元のシリーズに興味がある方は、YouTubeでエピソードを視聴できます。

また、オープンカルチャーへの寄付を通じて支援を促すメッセージもあり、これにより無料の教育リソースが提供されています。

投稿者: bookofjoe | スコア: 76

23.
お気に入りのバグ: 無効なサロゲートペア
(My Favorite Bugs: Invalid Surrogate Pairs)

著者は、TipTapとYjsを使ってレガシーエディタを共同作業ツールに移行する際に遭遇した厄介なバグについての話を共有しています。このバグは、エディタがコンテンツを静かに保存しなくなり、編集内容が失われる原因となりましたが、診断が難しいものでした。特定の絵文字を隣接して挿入すると、基盤となるCRDTライブラリに問題が発生し、絵文字のサロゲートペアが分割され、同期時にエラーが生じることが判明しました。

ここで使われる重要な用語を説明します。コードユニットとは、JavaScriptで文字列を保存するために使用される生の16ビット値です。コードポイントは、文字のUnicode表現であり、単一のコードユニットでは収まりきれない大きさのものもあり、そのためサロゲートペアに分割されることがあります。グラフェムクラスタは、人間が単一の文字として認識するもので、複数のコードポイントから成り立つことがあります。

このバグは、特定の編集時にのみ発生し、目に見えるエラーが表示されなかったため、デバッグが非常に難しかったです。一時的な解決策としては、オフラインサポートを追加し、エラーを追跡する方法がありましたが、根本的な解決策はライブラリを修正し、エディタ内で絵文字を不可分な単位として扱うことでした。

著者は、将来的に同様の問題を避けるために、JavaScriptで適切な文字列操作技術を使用する重要性を強調しています。この話は、警告の教訓であると同時に、ソフトウェアの課題がどのように記憶に残る経験になるかの一例でもあります。

投稿者: meysamazad | スコア: 68

24.
ポイントの謎
(Points are a weird and inconsistent unit of measure)

ポイントという単位の定義が、LaTeXやInkscapeなどの異なるデジタルツールで一貫していないことについて説明しています。

ポイントは、もともと1517年に定義された印刷用の単位ですが、時代や国によって異なる定義が存在します。アメリカでは19世紀末にポイントの標準化が行われましたが、その結果、解釈に違いが生じています。

LaTeXではポイントを1/72.27インチ(約0.3515ミリメートル)と定義しています。一方、Inkscapeでは1/72インチ(約0.3528ミリメートル)を使用しています。この差はわずか0.4%ですが、標準化が進んでいないことを示しています。

ポイントの定義は進化してきた歴史があり、さまざまな情報源から矛盾する情報が提供されています。NISTによる公式な標準では、ポイントは0.013837インチと定義され、1インチあたり72.27ポイントとなっていますが、計算の簡便さからTeXなどのシステムでは調整されています。

InkscapeはPostScriptの定義に従い、ポイントを1/72インチとしているため、CSSやSVGなどのデジタルフォーマットで一般的な標準となっています。

著者は、測定単位を正確に扱うために設計されたプログラミング言語Frinkを使用することで、これらの不一致を解決する方法を提案しています。

全体として、デジタルデザインや組版におけるポイントの測定の複雑さや歴史的な特異性を示しています。

投稿者: danborn26 | スコア: 52

25.
AIの狂気企業
(I believe there are entire companies right now under AI psychosis)

提供されたリンクは、ミッチェルというユーザーのソーシャルメディア投稿に関連しています。しかし、残念ながら、その投稿の具体的な内容はリクエストに含まれていません。要約するためには、投稿のテキストや主要なアイデアについての詳細な情報が必要です。要約してほしいテキストを提供してください。

投稿者: reasonableklout | スコア: 1740

26.
自閉症に糞便移植成功
(Fecal transplants for autism deliver success in clinical trials)

アリゾナ州立大学の最近の研究によると、糞便移植が子供の自閉症症状を大幅に軽減できることが示されました。この2年間の研究では、治療後に症状が最大45%減少したことが確認されました。この治療法は、糞便微生物移植を通じて新しい腸内細菌を導入するものです。

自閉症の子供たちは、しばしば消化器系の問題も抱えており、これが自閉症の症状を悪化させることがあります。研究では、治療前にほとんどの参加者が腸内の微生物の多様性が低いことが症状と関連していると指摘されています。治療後には、行動や腸の健康に改善が見られ、多くの子供が重度の自閉症から軽度の形態に移行しました。

ASUのチームは、治療をさらに検証し、FDAの承認を得るために、より大規模な第3相試験の準備を進めています。彼らは自社の細菌製剤を特許取得し、この治療に特化した会社「微生物移植療法(MTT)」を設立しました。また、自閉症の成人を対象とした試験でも、プラセボ群と比較して症状の改善が期待できる結果が得られています。

投稿者: breve | スコア: 231

27.
オルトラス-Qwen3の革新
(Orthrus-Qwen3: up to 7.8×tokens/forward on Qwen3, identical output distribution)

Orthrusは、自動回帰型大規模言語モデル(LLM)と拡散モデルを組み合わせた効率的なトークン生成のための新しいシステムです。このシステムは、高品質な出力を迅速に、かつ最小限のメモリ使用で提供することを目指しています。

Orthrusは、トークン生成の速度を大幅に向上させ、従来の方法と比較して最大7.8倍の速さを実現しています。また、出力は元のモデルの予測と正確に一致します。メモリ効率も優れており、自動回帰プロセスと拡散プロセスの両方に同じメモリキャッシュを使用するため、メモリのオーバーヘッドが最小限に抑えられています。

Orthrusには、異なるサイズのモデルがいくつか用意されており、Orthrus-Qwen3は1.7B、4B、8Bのサイズで提供され、それぞれが印象的な速度向上を実現しています。Orthrusをセットアップするには、最適化されたパフォーマンスのためにflash-attnなどの特定のPythonパッケージをインストールする必要があります。

ユーザーは、モデルの読み込みやトークン生成を含む簡単なコードスニペットを使って、プロジェクトにOrthrusを容易に実装できます。Orthrusは、推測デコーディングや従来の拡散モデルと比較して、特に複雑なタスクにおいて精度を維持しながら優れた性能を発揮します。

今後、vLLMやSGLangなどの追加フレームワークへのネイティブサポートも予定されています。Orthrusを利用する際は、元の論文を引用することが推奨されています。

全体として、Orthrusは並列トークン生成の分野において重要な進展を示しており、速度と精度のバランスを取りながらリソースの使用を最小限に抑えています。

投稿者: FranckDernoncou | スコア: 203

28.
アップル・グーグル以外のスマホ購入ガイド
(Where to buy a non-Apple, non-Google smartphone)

この記事では、AppleとGoogleのスマートフォンの代替品について取り上げています。両社がデバイスに対する管理を厳しくする中、2026年9月から未登録のアプリをブロックする新しい措置を導入するGoogleに対抗する形で、「Keep Android Open」キャンペーンが注目を集めています。このキャンペーンは、ユーザーが自分のスマートフォンをコントロールできなくなっていることを強調しています。

いくつかの企業が、Googleのオペレーティングシステムを使用しないスマートフォンを提供しています。例えば、Murenaは、Googleを排除したAndroid版の/e/OSを搭載したスマートフォンを販売しています。Punktは、ミニマリストなデザインの電話を提供しており、MC03モデルが有名です。Vollaは、Googleを排除したAndroidやUbuntu Touchを選べるスマートフォンを提供しています。Jollaは、Sailfish OSを搭載したデバイスを展開しています。Furilabsは、Debianを動作させるFLX1およびFLX1sモデルを提供しています。Purismは、プライバシーに重点を置いたLibrem 5というスマートフォンを製造しています。Pine64は、オープンソースのファームウェアを動かす低スペックのPinePhoneを販売しています。

これらの代替品は、ユーザーが自分のデバイスやデータをコントロールできるようにします。多くのオペレーティングシステムは、仮想マシンを通じてAndroidアプリを実行することも可能です。この記事は、主要なテクノロジー企業がモバイルソフトウェアに対する支配を強める中で、これらの選択肢を探ることを読者に促しています。

投稿者: _____k | スコア: 188

29.
進化の果ての鳥の目
(The bird eye was pushed to an evolutionary extreme)

この記事では、鳥の目、特に網膜に関する驚くべき発見が紹介されています。鳥の網膜は非常にエネルギーを消費しますが、血管がありません。通常、網膜のような組織は血管を通じて供給される酸素に依存してエネルギーを得ますが、鳥はこの酸素なしで生き残るために、嫌気性解糖というプロセスを利用しています。この方法は効率が劣りますが、網膜が効果的に機能することを可能にしています。

研究からの重要な発見は以下の通りです。まず、鳥の網膜は酸素なしで機能できることが分かりました。これは、これまで代謝が活発な組織にとって不可能だと考えられていました。次に、鳥の目に特有の構造である「ペクテンオクリ」も重要です。この構造は網膜にグルコースを供給し、嫌気性代謝を支援します。

また、この適応は恐竜の時代に進化した可能性があり、特に酸素が少ない高地での狩猟や採餌において、鳥が鋭い視力を維持するのに役立ったと考えられています。さらに、鳥が酸素なしで生き延びる方法を理解することは、脳卒中などの人間の組織における酸素不足に関連する医療研究にも役立つかもしれません。

この研究は、鳥が低酸素環境で生き残るために視覚システムを独自に進化させてきたことを示しており、高い代謝活動を持つ組織に酸素が必要であるという従来の考え方に挑戦しています。

投稿者: sohkamyung | スコア: 193

30.
プルーピービーン:全PC対応トラックポイント
(Ploopy Bean: a trackpoint for every computer)

Ploopy Bean Pointing Stickは、高精度のポインティングスティックとして機能する3Dプリントのマウスです。4つの反応性ボタンが搭載されており、QMKやVIAに対応しているため、簡単にカスタマイズできます。デバイスは完全に組み立てられており、価格は69.99カナダドルです。

予約注文の詳細については、発送の段階がいくつかあります。早期アクセスの場合は即時発送され、Tier Aでは2026年5月6日の発売から8週間以内に発送されます。Tier Bでは20週間以内に発送されます。

購入には、完全に組み立てられたポインティングスティック、オプションのUSB-AからUSB-Cケーブル、さまざまな電子部品やハードウェアが含まれています。

ファームウェアについては、QMKファームウェアが事前にインストールされています。ファームウェアの更新は簡単で、コンピュータがあれば行えます。

発送はChit Chatsを通じて行われ、チェックアウト時に推定の配送時間が提供されます。返品は30日間可能ですが、送料は含まれません。また、ハードウェアが改造された場合は無効となる1年間の限定保証があります。

詳細については、ウェブサイトを訪れることで、組み立て手順やファームウェアガイド、モッダーガイドを確認できます。

投稿者: jibcage | スコア: 155

31.
キャンパス全機器掌握
(Gaining control of every projector and camera on campus)

著者はコロラド鉱山学校の学生で、キャンパス内のデバイスがネットワークに接続するとユニークなサブドメインを取得することを発見しました。このことがきっかけで、これらのデバイスをマッピングし、アクセスする方法を探求する興味を持ちました。

最初は、DNSレコードを取得するためにゾーン転送や証明書、ブルートフォース技術などの異なる方法を考えましたが、最終的にはブルートフォースアプローチを選び、Pythonでサブドメインの組み合わせを生成するプログラムを書きました。しかし、この方法は遅かったため、より良いパフォーマンスを求めてRustに切り替えました。

プログラムを最適化した後、メモリリークの問題に直面し、これが原因でキャンパス全体のDNSがダウンする事態が発生しました。また、PTRレコードを発見し、大学に直接関連するIPをスキャンすることで、さらに多くのデバイスを見つけることができました。

その後、著者はポートスキャナーを開発しました。最初は基本的な方法を使用し、後にLinuxカーネルの機能であるAF_XDPを利用してスキャン速度を向上させました。テスト中に、キャンパスのカメラやプロジェクターにアクセスできることがわかり、セキュリティ上の理由からIT部門に報告しました。

要するに、著者はキャンパスのネットワークデバイスを探求し、DNS列挙やポートスキャンのためのプログラムを開発し、予期せずにさまざまなキャンパス機器を制御することができましたが、それを責任を持ってIT部門に報告しました。

投稿者: ednaordinary | スコア: 95

32.
古代呪詛の謎
(What Were Ancient Greco-Roman Curse Tablets?)

古代ギリシャ人やローマ人は、「呪いの板」を使用していました。これは、敵に害を及ぼすことを目的とした呪文が刻まれた鉛の板です。スポーツや法律、恋愛などの分野で使われました。特に注目すべき例として、4世紀の呪いがあり、戦車競技者ユケリオスの失敗を願う内容でした。

これらの呪いの板は「デフィキシオネス」として知られ、紀元前500年から紀元後500年まで広く使われていました。アテネやローマ、イギリスなど、さまざまな場所で発見されています。最初はシンプルでしたが、プロの魔術師が関与するようになると、魔法的なイメージや複数の神々への訴えが含まれるようになり、より複雑になりました。

呪いの板はしばしば隠され、特定の場所に釘付けにされました。これにより、その力が強まると信じられていました。学者のキンバリー・ストラットンは、古代の人々がこれらの行為を魔法として認識していたことを強調しています。これは、伝統的な宗教儀式とは異なり、主に害を願うものでした。

呪いの対象には、アスリートや弁護士、恋愛のライバルが含まれていました。呪いの効果を信じる人々は、望む結果を引き出すために比喩的な言葉を使い、しばしば墓や浴場に板を置きました。これらの場所は、生者と死者をつなぐ境界的な空間と考えられていました。

投稿者: speckx | スコア: 12

33.
ピクセル10の脆弱性
(A 0-click exploit chain for the Pixel 10)

2026年5月、研究者たちはGoogle Pixel 10向けのエクスプロイトチェーンを開発しました。これは、以前のPixel 9向けのものに似ています。彼らは、Dolbyの0クリックエクスプロイトという既存の脆弱性を更新しましたが、Pixel 10のアーキテクチャの変更によりいくつかの課題に直面しました。

研究者たちは、Pixel 10用にDolbyエクスプロイトを特定のコードオフセットを調整することで適応させました。以前の方法が使えなかったため、異なる初期化コードを使用することで回避策を見つけました。

Pixel 10には、Pixel 9で使用されていたBigWaveドライバーがありません。その代わりに、ビデオデコーディング用の新しいVPUドライバーが搭載されており、これに深刻な脆弱性が見つかりました。このVPUドライバーは、本来アクセスすべきでないメモリにアクセスできるため、カーネルのセキュリティが脅かされる可能性があります。

この脆弱性は非常に簡単に悪用でき、攻撃者は最小限のコードでカーネルを制御することが可能です。

この脆弱性は2025年11月に報告され、高い深刻度として評価されました。71日以内にパッチが適用され、Androidがセキュリティ問題に迅速に対応する姿勢が改善されていることを示しています。

脆弱性への対応速度が向上した一方で、この事件はAndroidドライバー開発におけるより良いセキュリティ対策の必要性を浮き彫りにしています。ユーザーを潜在的な脅威から守るためには、堅牢なセキュリティの確保が不可欠です。

全体として、この研究はソフトウェア開発における積極的なセキュリティ対策の重要性を強調しており、脆弱性がエンドユーザーに届かないようにする必要があります。

投稿者: happyhardcore | スコア: 422

34.
シグモイドの罠
(The sigmoids won't save you)

技術の成長、特にAIの能力は、シグモイド曲線に沿って進むことが多いとされています。この曲線は、初めは急速に成長し、その後物理的または実用的な限界に達することで成長が鈍化する特徴があります。すべての指数関数的なトレンドは最終的にシグモイドに変わるものの、この移行は即座に起こるわけではなく、予測可能でもありません。

シグモイド成長については、指数関数的な成長が限界に達するとシグモイドに変わることがあり、これは感染症が最初は急速に広がり、その後大部分の人が感染することで速度が落ちるのに似ています。

誤った予測の例として、出生率の低下や太陽光発電の導入が早すぎる段階で平坦化すると誤解されたことが批判されています。

AIの成長については、一部の専門家は成長が数年間続くと考えていますが、その基盤となるプロセスには不確実性があります。AIの進展を深く理解していない場合、予測は大きく異なる可能性があります。

リンディの法則によれば、不確実性のある状況では、あるトレンドがすでに続いている限り、そのトレンドは今後も続く可能性が高いとされています。AIに関しては、最近の急速な進展を考慮すると、今後数年間は大きな成長が期待できるかもしれません。

AIの成長が特定の閾値に達しないと主張する人々は、詳細なモデルを用いるか、AIを未知の量として扱うかにかかわらず、しっかりとした根拠を示す必要があります。

全体として、この文章はAIの進展に対する慎重な楽観主義を強調しつつ、その未来を予測する際の複雑さや不確実性を認識しています。

投稿者: Tomte | スコア: 280

35.
ロボ狼不足、クマ対策危機
(Japan runs out of robot wolves in fight against bears)

日本ではクマの問題が深刻化しており、ロボットのカカシ「モンスターウルフ」の需要が高まっています。このロボットは、クマやその他の野生動物を遠ざけるために設計され、2016年に導入されました。リアルな特徴を持ち、赤いLEDの目や人間の声を模した音を出すことで人気を集めています。カスタムメイドのユニットは約4,000ドルで、ソーラーパネルやセンサーが搭載されていますが、製造元の大田は需要に追いつけず、顧客には2〜3ヶ月の納期を待つようお願いしています。

日本では都市開発がクマの生息地を侵食し、食料供給が減少したため、クマとの遭遇が大幅に増加しています。2025年だけで200件以上のけがと13件の死亡事故が発生し、政府は過去最多のクマを捕獲し安楽死させる事態に至りました。モンスターウルフは主に農家によって使用されていますが、ゴルフ場やその他の農村地域からの注文も増えています。将来的には、クマを追いかけるための車輪付きモデルや、アウトドア愛好者向けの手持ち型モデルも考えられています。その間、クマとの遭遇に関する政府の安全対策を守るよう人々に呼びかけられています。

投稿者: bookofjoe | スコア: 3

36.
P2Pメスの実態
(The main thing about P2P meth is that there's so much of it (2021))

メタンフェタミンの生産がエフェドリンからP2P(フェニルアセトン)合成に移行した背景について、特に2006年から2008年の規制の変化が影響しています。P2Pメタンフェタミンは化学的に異なると考えられ、特に2017年以降、精神的健康問題の増加と関連付けられています。

まず、エフェドリンからP2P合成への移行により、より入手しやすい化学物質を使って生産が容易になりました。この変化により、メタンフェタミンの量と純度が大幅に増加しました。

次に、P2Pメタンフェタミンは当初、活性型のd-メタンフェタミンと不活性型のl-メタンフェタミンの両方を含んでいましたが、時間が経つにつれてd-メタンフェタミンの割合が増加し、より強力になっています。

また、国境での押収や下水の測定など、さまざまな指標からメタンフェタミンの使用が劇的に増加していることがわかります。特に重度の使用者の間での増加が顕著で、過剰摂取による死亡者数も急増しており、深刻な公衆衛生の危機を示しています。

さらに、P2Pメタンフェタミンの不純物や汚染物質が精神的健康問題を引き起こしているという理論には反論があり、重度の使用の増加が統合失調症の報告増加の主な要因であると指摘されています。

全体として、P2Pメタンフェタミンの主な問題は、その入手の容易さと強力さの増加であり、それがユーザーの増加と過剰摂取率の上昇につながっています。

投稿者: tomjakubowski | スコア: 176

37.
OpenClaw Creator Spent $1.3M on OpenAI Tokens in 30 Days
(OpenClaw Creator Spent $1.3M on OpenAI Tokens in 30 Days)

要約がありません。

投稿者: eamag | スコア: 103

38.
自然の準結晶
(Naturally Occurring Quasicrystals)

準結晶は、結晶に似ているが繰り返しのない独特な構造を持っています。自然界では非常に珍しく、隕石の衝突や雷の直撃、原子爆発などの極端な条件下で形成されます。

最初に知られている自然の準結晶は、ロシアのカチリカからの隕石の中で発見されました。この隕石は金属アルミニウムを含んでおり、高速の隕石衝突によって形成されたため、特異です。この隕石から見つかった三種類の準結晶は次の通りです。

一つ目は「アイコサヘドライト(Al63Cu24Fe13)」です。この準結晶は複雑なアイコサヘドラル対称性を持ち、六次元格子を用いた高度な数学的手法で形成されています。

二つ目は「デカゴナイト(Al71Ni24Fe5)」で、二次元で十重の対称性を持ち、三次元では周期的に積み重なっています。これも特定の数学的格子から派生しています。

三つ目は「i-Phase II(Al62Cu31Fe7)」で、アイコサヘドライトに似たアイコサヘドラル対称性を持ちますが、組成が異なります。

さらに、ネブラスカ州では、砂に雷が落ちてできた岩石であるフルグライトの中に準結晶が発見されましたが、近くの電力線の影響があるため、その自然性については議論があります。この準結晶は複雑な化学式を持ち、十二重の対称性を示します。

他のほとんどの準結晶は、実験室で合成されています。全体として、準結晶は極端な条件下で生じる複雑な構造を垣間見る興味深い存在です。

投稿者: lukeplato | スコア: 122

39.
N64の加算ブレンド
(Additive Blending on the Nintendo 64)

ドミニク・ザブレフスキーは、爆発などのエフェクトがオリジナルのプレイステーション(PSX)でより良く見えた理由を説明しています。PSXは加算ブレンディングという技術を使用しており、グラフィックスの色を組み合わせることで、視覚効果をより明るく、鮮やかにしました。一方、ニンテンドー64(N64)もブレンディングをサポートしていますが、制限があり、効果があまり効果的ではありませんでした。

PSXには4つのブレンディングモードがあり、最もシンプルなものはソースカラーを既存の色に加える方法です。この方法では、エフェクトが明るくなることが保証されます。N64は、カラーコンバイナーというより柔軟で複雑なシステムを使用していましたが、結果が制限されず、望ましくない結果を招くことがありました。

この問題を解決するために、ザブレフスキーは32ビットのバッファを使用して色のブレンディングを行い、明るさを失わない方法を提案しました。彼は、スプライトを低い強度で描画し、その後、標準の16ビット形式に戻して表示することを提案しました。この方法は、色のラッピング問題を効果的に回避し、より豊かな視覚効果を実現します。

N64のRSP(コプロセッサ)を使用して、彼は変換プロセスを最適化し、速度の大幅な向上を達成しました。この技術により、システムのメモリ制限にもかかわらず、N64のゲームで印象的な加算ブレンディング効果が可能になります。さらに、ブレンディングが必要な要素のみを選択的に描画することで、さらなる最適化が可能です。

この技術を紹介するデモプロジェクトは、GitHubで公開されています。

投稿者: ibobev | スコア: 158

40.
極限ジャグリングの物理学
(The Physics–and Physicality–Of Extreme Juggling (2018))

ロビー・ゴンザレスの記事では、極限のジャグリングにおける身体的な要求と課題について、世界最高のジャグラーであるアレックス・バロンに焦点を当てています。バロンは、最適な条件で練習するためにスカッシュコートを利用し、14個のボールをジャグリングすることは身体的にも精神的にも非常に厳しいと感じています。彼は2011年に13個のボールをジャグリングする記録を達成し、2017年には14個のボールをフラッシュする様子を動画で初めて撮影しました。

この記事では、ジャグリングコミュニティ内でのスポーツの限界についての議論も取り上げています。1997年にジャグラーのジャック・カルバンが発表した論文では、14個のボールが限界かもしれないと示唆されましたが、他のジャグラーたちは15個のボールをフラッシュする可能性があると主張しています。カルバンのさらなる研究では、ボールの数が増えるにつれて、成功には手の速さだけでなく正確さが重要であることが強調されています。

カルバンとの会合中、バロンと著者はテストに参加し、バロンの手の速さが理論的には25個のボールをジャグリングするのを支えることができることが明らかになりました。しかし、そのような偉業を達成するには、何年もの練習と技術、運の組み合わせが必要です。記事は、バロンが記録を破る可能性を秘めている一方で、成功の鍵は持続的な努力と偶然にあると結論づけています。

投稿者: ColinWright | スコア: 24

41.
イングランドの石碑
(England Runestones)

イングランドのルーン石は、主にスウェーデンにある約30のルーン石の集まりで、バイキング時代にイングランドへの航海を記念しています。これらのルーン石は、バイキングの旅行に言及しているため重要であり、ギリシャやイングヴァルのルーン石と並んで、海外遠征に言及する最大のグループの一つです。

多くのルーン石は、10世紀末から11世紀初頭にかけて、アングロサクソンの支配者がバイキングに支払った「ダネゲルド」と呼ばれる金銭の記録をしています。例えば、イッテルギャルデのルーン石は、ボレスタのウルフがダネゲルドを三度受け取ったことを伝えており、最後はカヌート大王からのもので、彼は一部のバイキングを「シングメン」と呼ばれるボディーガードとして保持していました。

イングランドのルーン石のほとんど(27石)は、現代のスウェーデン、特にメーラレン湖周辺にあります。一方、デンマークにはロンドンに言及する石が一つあり、ノルウェーやドイツにもいくつかの石があります。これらの石は、バイキングの遠征に参加した個人を称えるもので、その中にはイングランドを超えた地域を攻撃した者も含まれています。

ルーン石には、古ノルド語で若いフuthark文字を使った碑文が刻まれており、バイキングの生活や旅行についての洞察を提供しています。この時代における彼らの戦士や商人としての役割を強調しています。

投稿者: cl3misch | スコア: 79

42.
Texas county passes 1-year data center construction ban
(Texas county passes 1-year data center construction ban)

要約がありません。

投稿者: cdrnsf | スコア: 4

43.
How to Write to SSDs [pdf]
(How to Write to SSDs [pdf])

要約がありません。

投稿者: matt_d | スコア: 165

44.
カリフォルニア、ゲーム守る法案進展
(Bill to block publishers from killing online games advances in California)

カリフォルニア州で、オンラインゲームを保護することを目的とした法案が、州議会の予算委員会を通過し、全体投票に向けて準備が進んでいます。この「ゲームを守る法案」は、ゲームの出版社に対し、オンラインサービスを終了する場合には返金を行うか、独立してプレイできるバージョンを提供することを求めています。また、サービスを終了する60日前にはプレイヤーに通知する必要があります。

この法案は、2024年に人気ゲームが終了した後に結成された草の根団体「ゲームを殺すなを止めよう」に支持されています。彼らは、プレイヤーが購入したゲームに引き続きアクセスできるべきだと主張しています。しかし、主要なゲーム出版社を代表するエンターテインメントソフトウェア協会は、この法案に反対しており、ゲームの配信方法を誤解させるものであり、出版社に対してライセンス権に関する非現実的な要求を課すと主張しています。

この法案は他の委員会からも支持を受けていますが、州議会と上院での課題が残っており、知事の署名を得るにはまだ時間がかかる見込みです。カリフォルニア州での進展は、ゲーム保存運動にとっての後押しとなっており、特にイギリスでの同様の取り組みが停滞している中で重要な意味を持っています。

投稿者: Lihh27 | スコア: 555

45.
I 3D Printed Origami [video]
(I 3D Printed Origami [video])

要約がありません。

投稿者: Teever | スコア: 8

46.
Charity – Categorical programming language (1998)
(Charity – Categorical programming language (1998))

要約がありません。

投稿者: matteodelabre | スコア: 25

47.
テスラ、ロボタクシー事故報告
(Tesla reveals two Robotaxi crashes involving teleoperators)

テスラのロボタクシーは、2025年7月以降、テキサス州オースティンで少なくとも2件の事故に関与しています。これらの事故はリモート操作中に発生し、どちらも低速で、安全監視者が同乗していました。車両には乗客はいませんでした。

テスラは、リモートオペレーターが時速10マイル(約16キロメートル)以下で車両を操作できるため、困難な状況で迅速に対応できると説明しています。これまでテスラは事故の詳細を公表していませんでしたが、最近になって国家道路交通安全局(NHTSA)に対して、昨年以降の事故が合計17件であることを明らかにしました。

2025年7月の事故では、車両が停止した際にテレオペレーターが操作を引き継ぎ、その結果、フェンスに衝突しました。2026年1月の別の事故では、同様の支援要請の後に車両が建設用バリケードに接触しました。他にも、犬や鎖などの障害物との軽微な接触事故が報告されています。

ウェイモなどの他の企業と比較すると、テスラの事故件数は少ないとされていますが、イーロン・マスクは安全への懸念が自動運転配車サービスの拡大を遅らせていることを認めています。

投稿者: Brajeshwar | スコア: 48

48.
画像爆発:1枚の画像から3D環境を生成!
(Image-blaster: Creates 3D environments, SFX, and meshes from a single image)

Image-Blasterは、単一の画像から迅速に3D環境、音響効果、モデルを作成するツールです。このツールは、画像を完全な3Dセットアップに変換するのに5分以内で済むため、3Dプロジェクトを始めるのに最適です。

始めるには、まずターミナルを開き、リポジトリをクローンします。コマンドは「git clone https://github.com/neilsonnn/image-blaster」です。次に、ディレクトリに移動します。「cd image-blaster」と入力します。その後、Claudeをインストールするために「curl -fsSL https://claude.ai/install.sh | bash」を実行します。APIキーをClaudeに提供し、入力ディレクトリに画像をアップロードします。画像の処理をClaudeに依頼し、各ステップを確認します。

Image-Blasterの特徴には、動的オブジェクト用の3Dモデル(.glb、.obj)の作成、静的環境用のガウススプラット(.spz)の生成、環境音や特定の音響効果(.mp3)の制作があります。

このツールは、UnityやUnreal、Godotなどのゲームエンジン、Blenderやウェブアプリなど、さまざまなプラットフォームに統合できます。

高度なオプションとして、環境の作成や画像のクリーンアップなど、異なるタスクに対して複数のモデルを使用します。ユーザーは、モデル作成のためのパラメータをカスタマイズでき、面の数、素材の種類、ポリゴンの種類を設定できます。

使用例としては、ビデオゲームのレベルデザイン、個人のスペースの再現、ロボティクス用の環境開発、映画のロケ地のスカウト、建築レンダリングの作成などがあります。

開発に関する注意点として、ClaudeがReactビューワーを変更できるようにするには、.claudeignoreファイルから「/app」を削除してください。

投稿者: MattRogish | スコア: 176

49.
ナブルCPUで計算機設計
(I designed a nibble-oriented CPU in Verilog to build a scientific calculator)

このプロジェクトはFPGA(フィールドプログラマブルゲートアレイ)を使用して科学計算機を作成するものです。カスタムソフトCPU、マイクロコードファームウェア、さまざまなサポートツールが特徴です。

プロジェクトの構成は以下の通りです。verilogフォルダにはCPUとテスト用のVerilog/SystemVerilogファイルが含まれています。ucodeフォルダにはソフトCPU用のマイクロコードが格納されています。quartusフォルダにはFPGA合成用のファイルが含まれ、modelsimフォルダはModelSimを使用したシミュレーションの設定がされています。QtフォルダにはQtに基づくシミュレーターとデバッガーがあり、calctestフォルダにはハードウェアテスト用のコマンドラインツールがあります。toolsフォルダにはマイクロコード用のアセンブラとスクリプトコンパイラが含まれ、Pathfindingフォルダにはアルゴリズムに関連する研究プロジェクトがあります。

計算機をすぐに試すための手順は、まずQtシミュレーターをビルドします。WSL2でプロジェクトディレクトリに移動し、make qtを実行します。その後、Qt CreatorでQt/Calculator.proを開いてビルドします。

必要なツールには、Verilogシミュレーション用のVerilator、アプリ開発用のQt(バージョン6.9以上)、FPGA合成用のQuartus(バージョン13.0 SP1)、シミュレーション用のModelSim(オプション)、C++コンパイル用のVisual Studio 2022、アセンブラとツール用のPython 3があります。

ビルド対象には、Qtシミュレーターはmake qtでビルドし、Calctestはmake calctestでビルドします。ModelSimの自己テストはmake test_selfでビルドでき、FPGAハードウェアはmake revBでアセンブルします。

Pathfindingプロジェクトは、独立した研究とアルゴリズムテストのためのプロジェクトです。

このプロジェクトはクリエイティブ・コモンズのライセンスのもとで提供されており、適切なクレジットを付けることで共有や改変が可能ですが、商業利用はできません。

投稿者: gdevic | スコア: 115

50.

著者は読書が好きですが、印刷された本のフォントやレイアウトの違いが原因で、ディスレクシアの影響を受けやすいため、電子書籍を好んでいます。最近、XTEINK X4という小型の電子リーダーを購入しましたが、いくつかのデザイン上の欠点があるものの、全体的にはしっかりとした作りだと感じています。著者は、ディスレクシアに優しいフォントを使えるようにするために、Cross Pointというサードパーティ製のファームウェアを使用しています。

X4は、ちょっとした空き時間にカジュアルに読むのに便利で、例えば列に並んでいるときなどに役立っています。一方で、より深く読み込むためには別の電子リーダーを使っています。X4の購入は衝動的だったと認めていますが、「暇つぶしの読書」に役立つアイテムだと感じており、時々本によってフォーマットの問題があるものの、全体的には満足しています。

投稿者: louismerlin | スコア: 53

51.
スネークを学ぶAI
(Watch a neural net learn to play Snake)

この文章は、tinygradを使ったブラウザでのPPO(近接ポリシー最適化)トレーニングのデモについて説明しています。このデモでは、TinyJitを利用してWebGPUカーネルを実行します。また、正常に動作させるためにはWebGPUが必要です。

投稿者: c1b | スコア: 181

52.
ASCIIの魅力
(ASCII by Jason Scott)

申し訳ありませんが、外部リンクに直接アクセスすることはできません。ただし、要約してほしいテキストを提供していただければ、喜んでお手伝いします。

投稿者: bookofjoe | スコア: 199

53.
バンラストの危機
(Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust")

ユーザーがGitHub上の「bun」というRustプロジェクトのコードベースに問題を報告しました。彼らは、unsafeコードを使用した際に「未定義の動作」というエラーに直面し、ダングリング参照が発生しました。この問題は、コードがメモリを適切に管理していないために起こり、深刻なバグを引き起こす可能性があります。

問題を引き起こしている具体的なコードは、生のポインタからスライスを作成しようとしていますが、その有効性を確認していないため、クラッシュや予測不可能な動作を引き起こす恐れがあります。ユーザーは、AIツールが安全なRustコードを書くのに苦労していることを強調し、より良いコード品質のために経験豊富なRust開発者を雇うことを推奨しました。

全体として、この問題はRustコードベースにおける重要な安全性の懸念を浮き彫りにしており、プロジェクトで使用されているunsafeコードの徹底的な見直しを促しています。

投稿者: ndiddy | スコア: 455

54.
手軽な8chバイオセンサー
(ESP-EEG is an affordable 8-channel biosensing board)

Cerelogは、ESP-EEGという8チャンネルの生体センサー基板を発表しました。この基板は、脳波(EEG)、筋電図(EMG)、心電図(ECG)の機能を備えており、趣味で使う人にも手が届きやすい価格で提供されています。価格は、OpenBCI Cytonなどの既存の選択肢の半分以下です。基板には、テキサス・インスツルメンツのADS1299チップが搭載されており、真のクローズドループアクティブバイアスにより、よりクリーンな信号を提供します。

この基板は、OpenBCIやBrainflowのソフトウェアをサポートしており、元SpaceXのエンジニアであるサイモン・ハキミアンが開発しました。ただし、BluetoothやWiFiのハードウェアサポートはありますが、ファームウェアはまだ準備が整っていないため、現在はUSB接続のみで使用可能です。

プロジェクトの資料には、ライセンスに関する少し混乱を招く詳細があります。ファームウェアはMITライセンスの下でオープンソースですが、ハードウェアの回路図は非商用ライセンスの下にあり、簡単にクローンされるのを防いでいます。

サイモンは、この基板をゼロから設計した理由として、性能と機能を向上させることを挙げており、特にWiFiストリーミングや追加機能に重点を置いています。

詳細情報や製品ページ、ファームウェアリポジトリ、使用ガイドへのリンクも用意されています。

投稿者: surprisetalk | スコア: 64

55.
ズリップ財団
(The Zulip Foundation)

2026年5月15日、ティム・アボットは、オープンソースプロジェクト「Zulip」とその背後にある企業「Kandra Labs」に関する重要な変更を発表しました。彼はフルタイムのリーダーシップから退き、他の3人のシニアチームメンバーと共に「Anthropic」に参加します。Kandra Labsは新たに設立された非営利団体「Zulip Foundation」に寄付され、この団体がプロジェクトを監督し、長期的な持続可能性と公共の利益に沿った運営を確保します。

Zulipは、整理されたチームチャット機能で知られ、多くのユーザーを抱えています。最近のリリースには、世界中から160人以上の貢献者が参加しました。財団は、さまざまな組織のチャット体験を向上させることに重点を置き、安定したガバナンスを提供することを目指しています。Kandra Labsは、顧客サービスに大きな変更を加えることなく、Zulipの運営とサポートを続けます。

Zulip Foundationの初期の理事会には、ティム・アボット、グレッグ・プライス、アリヤ・アボット、ジョシュ・トリプレットが名を連ねており、さまざまな分野の専門家を招いて助言委員会を拡充する計画があります。キム・バンディバーがKandra Labsの暫定社長に任命され、スムーズな移行を確保します。

新しい体制により、Zulipは資金をより効果的に調達し、助成金を申請し、寄付を受け入れることができるようになります。ティム・アボットが退く決断をしたのは、AIの責任ある開発に貢献したいという思いからです。

Kandra Labsの既存のチームはZulipの開発を続け、チームの文化は大きな強みと見なされています。アボットは貢献者として関与し続ける予定です。これらの変更に関するコミュニティの質問に答えるため、5月19日にQ&Aセッションが予定されています。

投稿者: boramalper | スコア: 292

56.
ジャンクPSP購入!
(I Bought a “Junk” PSP From Japan)

著者は、日本から中古のPSP(プレイステーションポータブル)を購入した体験を共有しています。このデバイスの魅力や、購入をプロジェクトとして楽しむ過程について述べています。PSPのデザインを評価し、自分で復元したいと思ったそうです。

購入の際、最適なプラットフォームはBuyeeで、日本のオンラインマーケットプレイスにアクセスできるサービスです。これにより、より良い価格と品質の製品を手に入れることができます。「ジャンク」と表示された商品は、実際には小さな修理だけで済むことが多く、お得な買い物になることがあります。

著者は、「未テスト」として約38オーストラリアドルでPSP 2000を購入しました。Buyeeを利用したことで、購入からオーストラリアへの到着までの配送がスムーズで、約1週間で届きました。

到着したPSPは問題なく起動し、古いカスタムファームウェアといくつかのゲームがプリインストールされていました。著者は、前のユーザーの設定やゲームを発見するのが面白く、まるでタイムカプセルのように感じたと述べています。

また、著者は交換用のバッテリーとカバーも購入する必要がありましたが、これらは手頃な価格でした。PSPの復元にかかった総費用は約62オーストラリアドルでした。

PSPを使ってみた著者は、その触感や美しさを楽しみました。現代のエミュレーションは便利ですが、オリジナルのハードウェアを使うことには独特の満足感があると感じたそうです。

著者は、PSPが今でも素晴らしい携帯ゲーム機であると信じており、他の人が購入や復元を考える際の実用的なアドバイスを提供しています。この記事は、クラシックなゲームコンソールを復活させるためのガイドであり、レトロゲームの楽しさとヴィンテージ技術の取得と復元のプロセスを強調しています。

投稿者: Kate0CoolLibby | スコア: 81

57.
ラディクル:独立したコードの鍛冶場
(Radicle: Sovereign {code forge} built on Git)

Radicleは、Gitを基盤とした分散型のオープンソースプラットフォームで、コードの共同作業を行うためのものです。従来のコードホスティングサービスとは異なり、ユーザーは中央の権限なしに自分のデータやワークフローを管理できます。

主な特徴には、ピアツーピアのコラボレーションがあります。コードや成果物はユーザー同士で直接共有されるため、ネットワークを一つの組織が支配することはありません。また、データのセキュリティも重視されており、すべての貢献は暗号技術を使って検証されるため、真正性と所有権が保証されます。さらに、ローカルファーストのアプローチを採用しており、ユーザーはオフラインでも作業でき、いつでもデータにアクセスできます。開発者はRadicleのモジュラー設計を活用して、独自のコラボレーションツールを作成することも可能です。

Radicleを始めるには、Linux、macOS、BSDシステムに簡単なコマンドでインストールできます。また、グラフィカルな体験を提供するデスクトップクライアントも用意されています。Radicleはオープンソースであり、コミュニティからの貢献を歓迎しています。

Radicleの最新のリリースやコミュニティのニュースは、ソーシャルメディアやコミュニティチャンネルを通じて確認できます。

投稿者: KolmogorovComp | スコア: 250

58.
ChatGPTが銀行口座と連携
(OpenAI is connecting ChatGPT to bank accounts via Plaid)

OpenAIは、ChatGPTのユーザーがPlaidというプラットフォームを通じて自分の銀行口座を接続できるようになったと発表しました。これにより、ChatGPTはユーザーの財務情報、例えば残高や取引履歴、投資の詳細にアクセスできるようになります。その見返りとして、ユーザーは支出ダッシュボードや個別の財務アドバイスを受け取ることができます。

重要なポイントとして、ChatGPTは銀行口座に変更を加えたり、口座番号を完全に見ることはできません。また、ユーザーはいつでも口座の接続を解除できますが、OpenAIは解除後最大30日間データを保持することができます。さらに、OpenAIがこの財務データをどのように使用するかについてプライバシーの懸念があります。特に、以前に健康データへのアクセスを可能にする機能を導入したことがあるためです。

このサービスは現在、月額200ドルのProサブスクライバー向けに提供されており、将来的には他のユーザーにも拡大する予定です。この機能は便利な財務管理ツールを提供することが期待されますが、データのプライバシーと保護に関する重要な問題も提起しています。

投稿者: steveharing1 | スコア: 96

59.
アナログテープのカビ影響調査
(Research on mildew contamination affecting the sound quality of analog tapes)

この記事では、カビの汚染がアナログテープアーカイブの音質に与える影響についての研究が紹介されています。1947年以降、アナログテープはさまざまな分野で音声録音に広く使用されてきましたが、テープ上にカビが生えると、その保存状態や音質が脅かされます。研究者たちは、ATR-FTIRやSEMといった技術を用いてテープの物理的および化学的特性を分析し、ペニシリウムやアスペルギルスといったカビのサンプルを調査しました。異なるカビの被覆レベルが音質にどのように影響するかを、スペクトル特性や音響パラメータを通じて検証しました。この研究の結果は、カビが音質に与える悪影響についての洞察を提供し、音声アーカイブをより良く保存するための方法を提案しています。

投稿者: crousto | スコア: 31

60.
NYTと電子タバコの真実
(NYT and vaping: How to lie by saying only true things (2022))

2022年のニューヨークタイムズの記事についての批評があり、この記事は若い女性の肺の怪我が合法的なニコチンの電子タバコによるものだと誤解を招く形で読者に伝えていると指摘しています。実際には、その怪我は違法なTHC(テトラヒドロカンナビノール)を含む電子タバコ製品によるものでした。著者は、記事内のすべての発言が技術的には正しいものの、事実の提示の仕方が誤解を生む物語を作り出していると述べています。

この記事では、2019年に発生したEVALI(電子タバコ関連肺損傷)アウトブレイクについても触れています。このアウトブレイクは不純物を含むTHC電子タバコによって引き起こされ、合法的なニコチン電子タバコに対する厳しい監視や規制が強化されました。ニコチン製品とEVALIとの関連を示す証拠はないにもかかわらず、メディアはTHCとニコチンの電子タバコを混同し、それが公衆の認識や政策に影響を与えました。

著者は、ニューヨークタイムズの記事が「アジェンダ・ジャーナリズム」の一例であると指摘しています。これは、ライターが言葉を慎重に選び、読者を誤った結論に導くように文を構成する手法です。この文章は、特に科学ジャーナリズムにおいて、メディア報道を批判的に分析する重要性を強調しています。誤解を招く言葉によって真実が隠されることがあるからです。

要するに、このテキストは、特に電子タバコのような公衆衛生問題に関する報道を解釈する際には、慎重に読み、懐疑的である必要があることを強調しています。

投稿者: Ariarule | スコア: 106

61.
マイクロソフトハック!
(Microsoft Exchange, Windows 11 hacked on second day of Pwn2Own)

2026年5月14日から16日までベルリンで開催されたPwn2Ownハッキングコンペティションでは、セキュリティ研究者たちがWindows 11やMicrosoft Exchangeを含むさまざまな製品の15件のゼロデイ脆弱性を成功裏に悪用し、2日目には合計385,750ドルの現金報酬を獲得しました。

このイベントは企業向け技術やAIのテストに焦点を当てており、参加者は複数のカテゴリーで完全に更新された製品をハッキングすることで100万ドル以上を獲得するチャンスがあります。特に注目すべき成果として、チェン・ダ・ツァイがMicrosoft Exchangeの脆弱性を悪用して20万ドルを獲得し、他の参加者もWindows 11やRed Hat Enterprise Linuxをハッキングして追加の賞金を得ました。

初日には、Windows 11やMicrosoft Edgeに対する複数の成功したハッキングが見られました。3日目には、Microsoft SharePointやその他のAIツールに対する攻撃が続く予定です。

Pwn2Ownはゼロデイイニシアティブの一部であり、コンペティション後に開示された脆弱性を修正するためにベンダーに90日間の猶予を与えています。

投稿者: Brajeshwar | スコア: 13

62.
リナックス愛、ウィンドウズ離れられず
(I love Linux, but I can't quit Windows)

著者は、20年間にわたりLinuxを使うことに苦労してきた経験を語っています。FedoraやUbuntuなど、さまざまなディストリビューションを試してきましたが、Linuxの魅力やコミュニティには感心しつつも、しばしばWindowsに戻ってしまいます。その理由は、Linuxの遅いウェブサイトの読み込みや、更新ツールが正常に動作しないといった問題が、特に新しくインストールしたばかりの状態でも発生するからです。

Windowsの予測可能性を評価しており、Microsoftの広告などの煩わしい機能はあるものの、Linuxの予測不可能な問題に比べれば管理しやすいと感じています。著者はMicrosoftにも欠点があることを認識していますが、現在のニーズに対してWindowsの信頼性を重視しています。若い頃に比べて問題を解決するための時間が少なくなったためです。将来的には再びLinuxに挑戦するつもりです。

投稿者: speckx | スコア: 86

63.
2024 RAV4改造計画
(Removing the modem and GPS from my 2024 RAV4 hybrid)

ブログ記事では、著者が2024年モデルのRAV4ハイブリッドからモデムとGPSを取り外した経験について述べています。現代の車両、特にRAV4のようなモデルは、多くの個人データを収集し、送信するため、セキュリティやプライバシーに関する懸念が高まっています。記事では、さまざまな自動車メーカーによるデータ漏洩やプライバシー侵害の例が挙げられています。これには、リモートアクセスの脆弱性や不適切なデータ共有が含まれます。

著者は、車がデータを送信しないようにするために、データ通信モジュール(DCM)とGPSを取り外しました。取り外しの手順や必要な工具、部品について詳しく説明しています。この作業は、オーバー・ザ・エアのアップデートや緊急サービスなど、一部の機能に影響を与える可能性がありますが、著者はDCMバイパスキットを使用することで、車内マイクなどの重要な機能を維持する方法を説明しています。

モデムを取り外すことで、特定の保証が無効になる可能性があることにも触れていますが、車の基本的な機能は正常に動作することを強調しています。また、CarPlayなどの機能を使用する際には、有線接続を利用することで、トヨタにテレメトリーデータが送信されないようにすることを勧めています。取り外し作業を終えた後、著者は車がデータを送信できなくなったことを確認しました。

著者はこの改造に満足しているものの、将来的に車両におけるこのような技術の統合や、より強力なプライバシー法の必要性について懸念を示しています。

投稿者: arkadiyt | スコア: 1065

64.
エリクサー29.0
(Erlang/OTP 29.0)

Erlang/OTP 29.0が2026年5月13日にリリースされ、いくつかの新機能と改善が導入されましたが、一部の互換性の問題もあります。主なポイントは以下の通りです。

まず、安全性に関する機能が追加されました。新しい-unsafe属性により、関数が安全でないことを示し、その呼び出しに対してコンパイラが警告を出します。また、セキュリティを強化するために、特定のサービスに対してSSHデーモンがデフォルトで無効になりました。

次に、SSLの改善があります。デフォルトの鍵交換グループが、量子コンピュータの脅威に対してより安全なハイブリッドアルゴリズムに変更されました。

新しいモジュールと関数も追加されました。io_ansiモジュールでは、ターミナルのテキストに色やスタイルを追加できるようになりました。また、ct_doctestモジュールは、ドキュメントの例が正確であるかをテストします。

言語の強化も行われました。ネイティブレコードが実験的なデータ型として導入され、新しいガード関数is_integer/3が特定の範囲内で値が整数かどうかを確認します。さらに、多値のコンプリヘンションがサポートされるようになりました。

コンパイラとJIT(Just-In-Time)コンパイラの改善もあります。JITコンパイラは特定の操作に対してより良いコードを生成し、マップコンプリヘンションに対してコンパイラの効率が向上しました。

新しいコンパイラ警告がデフォルトで有効になり、非推奨の機能に対しても警告が表示されますが、必要に応じてこれらの警告を無効にすることも可能です。

最後に、標準ライブラリの更新として、リストをランダムにシャッフルするための新しい関数が追加されました。

詳細な情報や変更の完全なリストについては、READMEを参照してください。

投稿者: pyinstallwoes | スコア: 238

65.
High dimensional geometry is transforming the MRI industry (2017) [pdf]
(High dimensional geometry is transforming the MRI industry (2017) [pdf])

要約がありません。

投稿者: nill0 | スコア: 104

66.
取引詐欺を見抜くSQLパターン
(SQL patterns I use to catch transaction fraud)

この記事では、取引詐欺を検出するための6つのSQLパターンについて説明しています。主に取引データを分析して疑わしい活動を特定することに焦点を当てています。

まず、「速度」というパターンがあります。これは短時間内に高い取引数をチェックします。詐欺師は盗まれたカードを使ってすぐに資金を使い果たそうとするため、SQLクエリを使って取引を時間ごとや分ごとにグループ化し、こうした急増を特定できます。

次に「不可能な移動」というパターンがあります。これは、短時間内に遠く離れた2つの場所でカードが使用される状況を検出します。通常、これは不可能です。SQLクエリはタイムスタンプと場所を比較して、こうした異常を見つけます。

「金額の異常」というパターンも重要です。1ドルや100ドル未満の特定の取引金額は、詐欺(例えば、カードテスト)に関連していることが多いです。クエリはこれらの疑わしい金額をフラグ付けします。

「疑わしい商人」というパターンでは、特定の商人からの取引が突然増加することが問題です。特に複数のユニークなカードが関与している場合、カードリーダーが侵害されている可能性があります。SQLは商人の取引パターンを分析して、こうした急増を特定します。

「営業時間外の支出」も詐欺を示唆する可能性があります。ほとんどの人は定期的な支出パターンを持っていますが、異常な時間に行われる取引は詐欺の兆候かもしれません。SQLクエリはカード保有者の行動を特定し、こうした不規則性をフラグ付けします。

最後に、「ウィンドウ関数による連鎖信号」という技術があります。これにより、アナリストは複数の信号を組み合わせて、より効果的な詐欺検出が可能になります。SQLフィルターを通じてさまざまな詐欺ルールを適用するプロセスを簡素化します。

この記事は、これらのパターンを組み合わせて使用することで、詐欺活動を特定する可能性が高まり、誤検知を最小限に抑えられることを強調しています。初心者には速度パターンから始めることを勧めており、より効率的な分析のためにウィンドウ関数への投資を提案しています。また、詐欺検出の取り組みにおいて、誤検知の扱いやプライバシーの懸念、コストの考慮が重要であることも指摘しています。

投稿者: redbell | スコア: 297

67.
EMiX: FPGAの限界を超えて
(EMiX: Emulating Beyond Single-FPGA Limits)

FPGAレベルのエミュレーションは、チップ設計を生産前にテストするために重要ですが、大規模なマルチコアシステムは、単一のFPGAが提供できる以上のリソースを必要とすることがよくあります。この問題を解決するために、複数のFPGAが協力して複雑なマルチコアRISC-Vシステムをエミュレートできるフレームワーク、EMiXを開発しました。EMiXは、大きな設計を小さな部分に分割し、それらを複数のFPGAに分配することで、効率的にプロセスを進めることができます。これにより、大規模な再設計を必要とせずに作業が可能になります。私たちは、8つのAlveo U55c FPGAを使用して64コアシステムでEMiXをテストし、Linuxを含むフルシステムを正常に動作させることに成功しました。EMiXはオープンソースソフトウェアとして提供される予定です。

投稿者: PaulHoule | スコア: 15

68.
OSSセキュリティの新時代
(Welcome to the Strip Mining Era of OSS Security)

オープンソースソフトウェア(OSS)は、2026年に大きな課題に直面しています。特に、メンテナやユーザーにとって厳しい状況です。

まず、セキュリティ問題の報告が急増しています。1月以降、Metabaseのセキュリティ問題の報告件数は月10件から週10件に増加しました。これは、脆弱性の発見が質的に向上していることを示しており、主に自動スキャンツールの改善によるものです。

新しいツールは、高度な言語モデルを活用しており、公開されたソースコードの脆弱性をより効果的に発見することができます。その結果、報告される問題の量と信頼性が増しています。

脆弱性の発見は、バルクスキャンによって行われることが増えており、誰でも利用可能なコードの問題を見つけやすくなっています。

OSSのメンテナは、公開された脆弱性は他の人にも知られている可能性が高いことを認識し、迅速に問題を修正することを優先する必要があります。オープンソースの特性上、脆弱性が公にされるタイミングをコントロールすることはできません。

非商業的なOSSプロジェクトは、商業的な組織に比べてセキュリティに専念できるリソースが不足しているため、特に苦労する可能性があります。

ソフトウェア開発者への推奨事項としては、セキュリティ問題の増加を予想し、頻繁にスキャンを行うことが挙げられます。また、定期的なセキュリティパッチの実施や、ユーザーがアップグレードしやすい環境を整えることが重要です。堅牢なセキュリティアーキテクチャを確保し、脆弱性は即座に修正する必要があります。クローズドソースの開発者は、コードの漏洩に注意を払うべきです。

OSSユーザーにとってのベストプラクティスとしては、依存関係のアップグレードが頻繁に必要になることを想定し、OSSコンポーネントを積極的に監視・維持することが重要です。また、ログ記録やアクセス制御を含むセキュリティ対策を強化することも求められます。

自動化された脆弱性検出の増加は、長期的にはより安全なソフトウェアにつながるでしょうが、短期的にはOSSのメンテナやユーザーにとって厳しい未来が待っています。

投稿者: salsakran | スコア: 122

69.
ウェイモ、ロボタクシーを更新!
(Waymo updates 3,800 robotaxis after they 'drive into standing water')

ウェイモは、約3,800台のロボタクシーをリコールしています。これは、ソフトウェアの問題により、車両が浸水した地域に進入する可能性があるためです。最近、テキサス州オースティンで、これらの車両が浸水した道路を走行し、交通問題を引き起こしている様子が見られました。このリコールは、ウェイモの第5世代および第6世代の自動運転システムを使用している車両に影響を与えます。

ウェイモはこの問題を認識しており、再発防止のために「追加のソフトウェア保護策」を含む修正を実施しています。また、極端な天候時のロボタクシーの運行を制限しています。ウェイモは、サンフランシスコやロサンゼルスなどの主要都市を含む11の米国市場でサービスを展開しています。現在、サンアントニオでのサービスは、一台のロボタクシーが洪水に流される事故があったため、一時的に停止しています。ウェイモは、早期の運行再開に向けて取り組んでいます。安全性は、サービスを拡大する中で最も重要な優先事項です。

投稿者: drob518 | スコア: 202

70.
米司法省、車改造アプリの10万人超を暴け!
(U.S. DOJ demands Apple and Google unmask over 100k users of car-tinkering app)

アメリカ合衆国司法省は、EZ Lynk Auto Agentアプリの10万人以上のユーザーに関する個人情報をAppleとGoogleに開示するよう求めています。これは、車両の排出ガス違反に関する調査の一環です。司法省は、EZ Lynkが排出ガス規制を回避するためのデバイスを販売していると主張しており、これはクリーンエア法に違反するとしています。

EZ Lynkはこれらの主張を否定しており、同社のアプリは車両の性能監視や診断を目的としているもので、違法な排出ガス操作のためではないと説明しています。また、召喚状にはEZ Lynkのハードウェアの販売に関するAmazonやWalmartからのデータ提供も求められています。

EZ Lynkの弁護士は、司法省の要求は過剰であり、プライバシー権を侵害していると主張しています。AppleとGoogleは、召喚状に対して異議を唱えることを検討しています。プライバシー擁護者たちは、ユーザーデータを共有することの影響について懸念を示しており、多くのユーザーがアプリの利用規約を十分に理解していない可能性があることも指摘しています。

この事件は、政府がアプリストアのデータにアクセスしようとする動きが増えていることを示しており、デジタルプライバシーに関する重要な問題を提起しています。この状況の結果は、同様のケースにおけるユーザーデータの取り扱いに関する重要な前例を作る可能性があります。

投稿者: tencentshill | スコア: 455

71.
一人起業家のSOC2準拠法
(How to be SOC2 Type 2 compliant as a solo-entreprenuer?)

その人は、自分のアプリ「パーフェクトウィキ」が信頼できることを証明する方法を探していますが、20,000ドル以上の監査費用をかけたくありません。顧客からアプリの認証について多くの質問が寄せられており、その信頼性を示す成功事例や方法を求めています。

投稿者: sochix | スコア: 145

72.
ABC News has taken all FiveThirtyEight articles offline
(ABC News has taken all FiveThirtyEight articles offline)

要約がありません。

投稿者: cmsparks | スコア: 366

73.
PETスキャンの核物理学
(The nuclear-physics infrastructure behind PET scans)

1940年代、ロスアラモスの科学者たちは核分裂に注力していた一方で、命を救うために使用される医療用同位体の可能性も発見しました。同位体とは、同じ数の陽子を持ちながら中性子の数が異なる元素の変種であり、そのため安定性や挙動が異なります。この理解により、研究者たちは安定した同位体を作成することができ、例えば炭素-13はMRIや他の分子測定技術において重要な役割を果たしています。

ロスアラモスは安定同位体の生産において先駆者となり、大規模な分離方法を開発しました。現在、安定同位体の生産は産業に移行していますが、研究所は依然として医療用画像診断や治療に欠かせない不安定な放射性同位体を生産しています。例えば、ストロンチウム-82(Sr-82)はルビジウム-82(Rb-82)に崩壊し、心臓の機能をリアルタイムで可視化する心臓画像診断に使用されます。

この研究所の医療用放射性同位体プログラムは、Sr-82やゲルマニウム-68を含む医療用同位体の生産において重要な役割を果たしています。また、腫瘍細胞を正確に標的にして破壊できる治療用同位体であるアクチニウム-225(Ac-225)なども取り入れています。

ロスアラモスは、重要な同位体の国内供給を確保しながら、新しい科学者の育成にも力を入れ、アメリカの医療を支え続けています。これにより、公共の健康と国家の安全保障における役割を強化しています。

投稿者: LAsteNERD | スコア: 55

74.
UMatrixの後継開発
(Building a UMatrix Replacement)

この文章では、ウェブサイトの権限を管理するためのuMatrix拡張機能から、uMatrixが廃止された後のuBlock Origin(uBO)への移行について説明しています。uBOにはいくつかの似た機能がありますが、現在はレガシー拡張機能となっており、その新しいバージョンであるuBO Liteでは重要な機能が削除されています。

著者は、新しいMV3拡張フレームワークの下でuMatrixを再構築する可能性を探っています。MV3はウェブリクエストの処理方法を変更し、各リクエストに対してスクリプトを実行するのではなく、より宣言的なアプローチを強調しています。以前の方法と比べていくつかの機能は制限されていますが、著者はそれでも自分のニーズを満たすことができると考えています。

ウェブサイトの権限を管理するために、著者はContent Security Policy(CSP)とdeclarativeNetRequestルールを組み合わせて使用することを提案しています。これにより、ブラウザがセキュリティ違反を処理し、ユーザーが許可または拒否できるリソースのリストを更新することが可能になります。

著者はこの新しいツールの基本設計を示し、名前をmatrix³としています。現在はプロトタイプの形であり、ウェブ開発コミュニティからのフィードバックや支援を求めています。

投稿者: taviso | スコア: 64

75.
ターミナルでRSS読もう!
(Feedr v0.8.0 – a TUI RSS reader, now read the full article from your terminal)

Feedrは、Rustで開発されたターミナルベースのRSSフィードリーダーで、使いやすいテキストインターフェースを備えています。これにより、RSSフィードの管理や閲覧が簡単に行えます。

主な機能としては、すべてのフィードから最新の記事を時系列で表示するダッシュボードビューがあります。また、複数のRSSフィードに簡単に登録したり、整理したりすることができます。URLを貼り付けると、FeedrがそのRSSフィードを見つけて登録を提案する自動発見機能も搭載しています。後で読むために記事を保存できるスター付き記事機能や、フィードをカスタムカテゴリに整理する機能もあります。さらに、記事を年齢や著者、既読状態などのさまざまな基準でフィルタリングする高度なフィルタリング機能も利用できます。テーマはダークモードとライトモードから選べ、フィードのタイトルや内容を瞬時に検索する機能もあります。読んだ記事と未読の記事の状態をセッションをまたいで追跡することができ、マウスを使ってアイテムをナビゲートしたり選択したりすることも可能です。

インストールにはRustとCargoが必要で、cargo install feedrを使うか、Arch LinuxのAURからインストールできます。また、ソースからビルドすることもできます。

基本的な使い方は、Feedrを開いて「a」を押してフィードのURLを追加することから始まります。矢印キーや「j/k」を使ってナビゲートし、「o」を押すとブラウザで記事を開くことができます。

設定はTOMLファイルを通じてカスタマイズ可能で、テーマやリフレッシュ間隔などを調整できます。キーボードショートカットのリマッピングもサポートしています。

ユーザーデータは標準の場所に保存され、古いバージョンからの移行もスムーズに行えます。FeedrはGitHubを通じての貢献も受け付けています。

Feedrは、ターミナルから直接RSSフィードを効率的に管理したいユーザーに向けて設計されています。

投稿者: bahdotshxx | スコア: 57

76.
ジャイロフロー:映像安定化の新技術
(Gyroflow: Video stabilization using gyroscope data)

Gyroflowは、ジャイロスコープからの動作データを利用して動画を安定化するためのアプリケーションです。ジャイロスコープは、GoProやSony、Insta360などの現代のカメラに内蔵されていることが多く、外部のジャイロデータソースとも連携できます。

このアプリの主な特徴には、リアルタイムでの動画プレビューやパラメータ調整、GPU処理による迅速なレンダリングとマルチスレッドアルゴリズムの利用があります。また、ローリングシャッター補正やAdobe Premiere、DaVinci Resolveなどのさまざまな動画編集ソフトへの対応も行っています。安定化されたGoPro動画との互換性があり、最大32ビットの高品質な動画出力にも対応しています。設定のカスタマイズやジャイロデータの視覚化、さらには水中撮影のサポートも特徴です。さらに、Windows、Linux、Mac、Android、iOSなど、複数のプラットフォームで利用可能です。

インストールは、Windows、Mac、Linux、Android、iOSの各アプリストアからダウンロードするか、直接ダウンロードすることができます。

対応するデバイスは、GoPro、Sony、Insta360、DJIなどのさまざまなカメラに対応しており、カメラに内蔵ジャイロがない場合でも他のデバイスからのジャイロデータを利用できます。

ユーザーはGyroflowのDiscordに参加してサポートやディスカッションを行うことができ、プロジェクトの向上のために貢献や翻訳も歓迎されています。

GyroflowはRustで開発されており、高性能と最小限の外部依存性に重点を置いています。このプロジェクトはオープンソースで、コミュニティの参加を促進しています。

ライセンスはGPLv3のもとで配布されており、アプリストアでの配布に関しては例外があります。

詳細については、Gyroflowのホームページを訪れるか、インストール手順や機能についてのドキュメントを確認してください。

投稿者: nateb2022 | スコア: 170

77.
ウィキペディアXP風探索
(Explore Wikipedia Like a Windows XP Desktop)

この文書では、サミ・スミスによる「エクスプローラー」というプロジェクトが紹介されています。このプロジェクトにはいくつかの機能があります。

まず、「ウィキペディアエクスプローラー」では、ユーザーがウィキペディアのカテゴリをフォルダーのようにブラウズできます。ほとんどのコンテンツにアクセス可能ですが、一部のページはカテゴリがないためアクセスできません。

次に、「メディアエクスプローラー」では、ユーザーがウィキメディアコモンズの画像を探索でき、右クリックで任意の画像をデスクトップの背景に設定できます。

「ジオファイルエクスプローラー」は進行中のプロジェクトで、ユーザーがコンピュータ上で地球をフォルダーとして探索できるようにします。ユーザーは画像をアップロードしたり、メモを書いたりできます。

また、サミへの連絡方法として、メールやTwitter、Blue Skyなどのソーシャルメディアプラットフォームを通じて連絡が可能です。

このプロジェクトは、情報やデジタルコンテンツを探索することに関連するさまざまなウェブサイトやプロジェクトからインスピレーションを受けています。

最後に、ユーザーはウィキペディアやウィキメディアの構造を改善するために編集を手伝うことが奨励されています。

全体として、このプロジェクトはウィキペディアやメディアの探索をよりインタラクティブで使いやすくすることを目指しています。

投稿者: smusamashah | スコア: 522

78.
Epiq: 分散型課題管理
(Epiq – Distributed Git based issue tracker TUI)

Epiqは、問題追跡をターミナルに直接統合することで、より使いやすく改善しました。これにより、複数のユーザーがgitを使って共同作業を行うことができ、イベントの記録をメモリ内でアクセスできるようになります。目的は、作業の流れを向上させ、問題の追跡を簡単にすることです。ぜひ、あなたの意見を教えてください。

投稿者: jolaflow | スコア: 81

79.
Amazon workers under pressure to up their AI usage are making up tasks
(Amazon workers under pressure to up their AI usage are making up tasks)

要約がありません。

投稿者: hackernj | スコア: 372

80.
太陽と睡眠の新常識
(Solar-based sleep patterns compared to modern norms)

伝統的な地中海社会の睡眠パターンは、現在の標準的な8時間睡眠とは異なっていました。昔の人々の睡眠は、昼と夜の自然なサイクルに影響されており、多相睡眠と呼ばれるパターンが見られました。

夏の間は、昼間の暑さで働けない時間に昼寝をするシエスタが行われ、夕方の涼しい時間帯に仕事を再開していました。冬には、早く寝て真夜中に家事のために目を覚まし、再び日の出まで眠るという生活をしていました。

ギリシャでは、これらの古い習慣が今でも残っており、午後に数時間の休息を取るために商店が閉まることがあります。著者は、現代の労働時間や人工照明がこれらの自然なリズムを乱していると考えており、シエスタの伝統が続くことを望んでいます。

この文章は、日常生活を自然のサイクルに合わせることの重要性を強調し、シエスタという文化的な習慣の価値を伝えています。

投稿者: James72689 | スコア: 115

81.
「26Mモデルの真髄」
(Needle: We Distilled Gemini Tool Calling into a 26M Model)

Cactusのヘンリーは、関数呼び出しタスク向けに設計された2600万パラメータのモデル「Needle」のオープンソースリリースを発表しました。このモデルは、スマートフォンやスマートウォッチなどの一般的なデバイスで効率的に動作します。Needleは、複雑な推論ではなく、情報を取得して組み立てる「ツール呼び出し」に焦点を当てているため、性能が限られたデバイスにも適しています。

Needleは、2000億トークンで訓練され、関数呼び出しデータの20億トークンで微調整されています。従来のニューラルネットワークの要素を使わず、注意機構のみに基づいたシンプルなアーキテクチャを採用しています。このモデルは、単発の関数呼び出しにおいて優れた性能を発揮し、特定のタスクではより大きなモデルを上回る結果を出しています。

ユーザーは、提供されたGitHubのリンクを通じてNeedleを自分のデバイスで試したり、微調整したりすることができます。プロジェクト全体はMITライセンスの下で公開されています。詳細については、発表にリンクされたアーキテクチャの詳細やその他のリソースを確認できます。

投稿者: HenryNdubuaku | スコア: 755

82.
法務のクラウド
(Claude for Legal)

Claude for Legalは、法律専門家が商業、企業、雇用、プライバシー、訴訟、規制、AIガバナンスなどのさまざまな分野で活用できるツールやプラグインを提供しています。主なインストール方法は、Claude Coworkのプラグインとして、またはManaged Agents APIを通じて利用することができます。

このシステムの特徴には、特定のタスクに対応したスキルを持つプラグインやエージェントが含まれています。例えば、契約レビュー、コンプライアンスの追跡、訴訟支援などの機能があります。エージェントは、締切の監視や文書管理などのワークフローを自動化します。また、ユーザーはコールドスタートインタビューを通じてツールをカスタマイズし、個別のプラクティスプロファイルを作成することができます。

プラグインからの出力はドラフト形式であり、弁護士によるレビューが必要です。ツールには、情報源の明示や管轄権の認識といった安全機能が備わっており、法的な正確性が確保されています。さらに、SlackやGoogle Drive、DocuSignなどの生産性向上や法律特化型のプラットフォームと接続し、ワークフローを効率化します。

法学生向けの学習ツールも用意されており、学習計画ツール、ケースブリーフ、試験予測ツールなどが含まれています。これらは学習体験を向上させることを目的としています。

ユーザーは、簡単な指示やビデオガイドに従って迅速にシステムをインストールし設定できます。信頼性のある引用のために、研究ツールとの統合も推奨されています。

全体として、Claude for Legalは法律業務の効率を向上させることを目指しつつ、法律専門家が自らの出力に責任を持つことを重視しています。

投稿者: Einenlum | スコア: 209

83.
微小サーミット反応
(Microscale Thermite Reaction)

マイクロスケールのサーミット反応は、楽しく安全な実験で、2つの錆びた鉄球(1つはアルミホイルで包まれています)を打ち合わせることで火花や光を生み出します。この小規模なサーミット反応は、アルミニウムが錆(酸化鉄)と反応して酸化アルミニウムと溶融鉄を生成し、大量の熱を放出する化学プロセスです。

反応の過程では、錆びた鉄球が衝突することで反応を開始するのに十分なエネルギーが生まれ、熱や大きな音、火花が発生します。この反応は次のようにまとめられます。2つのアルミニウムと1つの酸化鉄が反応して、酸化アルミニウムと鉄、そして熱を生成します。反応の温度は約2200℃に達し、鉄を溶かすことができるほどの高温になります。

安全対策としては、常に安全ゴーグルと実験用コートを着用することが重要です。火花は最大で約1メートル飛ぶ可能性があるため、実験は指導者が行うのが最適です。実験の準備と実施では、アルミホイルが無傷であることを確認し、鉄球をしっかりと打ち合わせて火花を発生させます。反応を促進するために、鉄球を回転させて新しい表面を露出させることも効果的です。

実験後の片付けでは、鉄球は再利用するか、不要になった場合はゴミとして処分できます。この反応は、テキサスA&M大学のラリー・ペックによって初めて実演され、制御された環境でのエネルギーのある化学反応の魅力的な例です。視覚的なデモンストレーションとして、オンラインで動画も公開されています。

投稿者: krunck | スコア: 71

84.
Prepare for an AI Jobs Apocalypse
(Prepare for an AI Jobs Apocalypse)

要約がありません。

投稿者: wiseowise | スコア: 23

85.
ギットはダメだ
(Git Is Not Fine)

Gitは人気のあるバージョン管理システムですが、その欠点についての議論があります。著者は、代替ツールである「jj」を強く推奨しており、Gitの十分さは誤解を招くものであり、実際には大きな欠陥があると考えています。

Gitはソースコードのリポジトリとワークフロー管理ツールの両方の役割を果たしています。コードの保存には優れていますが、現代の分散型コラボレーションに適したワークフロー機能は十分に設計されていません。

異なるタイムゾーンにいるチームと作業する際、Gitは複数のプルリクエスト(PR)を効果的に管理するのが難しいです。著者は「スタックされたPR」という概念を挙げ、Gitがこれをうまく扱えないことを指摘しています。

また、Gitはコミット間の明確な関係を維持していないため、変更の履歴や依存関係を追跡するのが難しく、混乱や非効率を招くことがあります。

変更の管理も複雑で、ステージングや作業ディレクトリなどの異なる状態があるため、ワークフローが複雑化し、開発者が自分の作業を管理するのが難しくなります。

さらに、Gitは異なるブランチからの変更を統合するなど、特定の開発シナリオに対応するのが難しく、この制約が生産性を妨げることがあります。

著者は、Gitのモデルが今日の非同期開発の実践には時代遅れであると主張しています。過去には革新的でしたが、現代のワークフローのニーズにはもはや応えられません。

全体として、著者はGitの限界を感じている人々に代替ツールを探すことを勧めており、jjのようなツールが分散型開発においてより良い体験を提供する可能性があると示唆しています。

投稿者: steveklabnik | スコア: 53

86.
ゼニス:地元密着のプラネタリウム
(Zenith: a live local-first fixed viewport planetarium)

ゼニスは、あなたの真上にある星々をリアルタイムで表示し、地球の自転に伴う星の動きを示します。ズームインした視点では、星がより速く動いているように見えますが、これは時間を早めたり、タイムラプスにしたりしているわけではありません。これは、地図を拡大して詳細を確認するのに似ています。

ズームインすると視野は狭くなりますが、動きが速く見えます。ゼニスでは、約180倍の拡大率があり、これは腕の長さで持った米粒ほどの大きさの空の一部を観察するのに相当します。望遠鏡は、赤道儀と呼ばれるモーター式のシステムを使用して星を追跡し、地球の自転にもかかわらず星を視界に保ちます。

ゼニス・トラックでは、毎恒星日(23時間56分)ごとに繰り返される狭い空の帯を表示します。この視点はあなたの緯度に特有であり、数マイル北または南に移動すると異なる帯が見えます。一方、東や西にいる人々は異なる時間に同じ帯を見ることになります。

表示される画像は、ハワイのパンスターズ望遠鏡から2010年から2014年にかけて収集されたものです。これらの画像は良好な解像度とカバレッジを提供しますが、主に動く物体を検出するために設計されているため、明るい星の過剰露出などの問題が生じることがあります。

このプロジェクトでは、インタラクティブな地図作成にLeaflet.jsを使用し、パンスターズの画像をSIMBADデータベースの天文学データと整合させています。画像は白いエッジを取り除き、ノイズをフィルタリングするために処理されますが、過剰露出の課題に対処するためにチームが取り組んでいます。

このプロジェクトは、赤道儀なしで望遠鏡を通して天体を観察する体験からインスピレーションを得ており、地球の自転が星の見え方にどのように影響するかを強調しています。

投稿者: surprisetalk | スコア: 71

87.
トークン燃焼!
(Burn, baby, burn (those tokens))

「Burn, Baby, Burn」は、AIトークンを迅速かつ効果的に活用するためのツールで、組織内での生産性と可視性を向上させることができます。

このツールの機能としては、簡単なコマンドを使ってトークンを消費することができます。例えば、「burn 50000」と入力すると、意図的に50,000トークンを使用します。インストールはわずか20秒で完了し、特別な権限は必要ありません。使用するトークンの量はニーズに応じて調整でき、効率性を考慮したさまざまなモデルが用意されています。

このツールを使うことで得られる利点には、CEOに生産性をアピールできること、会社のAI能力を示して投資家を引き付けること、トークン使用における社内ランキングを上げること、パフォーマンス目標(OKR)を強化すること、来年度のAI予算増額のリクエストをサポートすることが含まれます。

実際の利用者の声によれば、このツールを使うことでチームの生産性が大幅に向上し、昇進や資金の増加につながる可能性があるとのことです。

今後の計画としては、追加機能を備えたエンタープライズ版の開発が進められています。このツールはMITライセンスのもとで提供されており、責任を持って使用することが求められています。

投稿者: dtnewman | スコア: 112

88.
イベントソーシングの新言語
(A SQL-Inspired Query Language Designed for Event Sourcing (2025))

イベントソーシングはデータ管理の一般的な手法ですが、イベントストリームを効果的にクエリするのは難しいことがあります。従来のデータベースは、独自の構造や特性を持つイベントデータに最適化されていません。EventQLは、SQLに似たクエリ言語を提供し、イベントソーシングの課題に対応しています。

EventQLの主な特徴には、イベントメタデータ(タイプ、主題、時間、データなど)を重要な要素として扱い、効率的なフィルタリングやインデックス作成を可能にすることが含まれます。また、イベントを階層的に整理できるため、特定のカテゴリー(例えば、特定の本に関連するイベント)に絞ったクエリが容易になります。さらに、EventQLは、WHERE句やソート、グルーピング、ページネーションなど、馴染みのあるSQLの構文を使用しており、複雑なクエリを実行できます。

ユーザーはPROJECT INTO句を使って抽出するデータを明示的に指定する必要があり、これによりイベントデータの再構成が可能になります。また、この言語はインデックスを活用できるクエリを促進し、パフォーマンスを向上させます。

EventQLの開発には、Rustで作成された堅牢なパーサーがあり、強力なエラーハンドリングと型推論機能を備えています。これにより、クエリが実行される前に正確であることが保証されます。

EventQLは、SQLとイベントソーシングの間のギャップを効果的に埋め、データクエリを直感的かつ効率的に行えるようにします。イベントソーシングシステムに関わるすべての人にとって貴重なツールであり、そのRustパーサーはすぐに利用可能です。

投稿者: goloroden | スコア: 38

89.
Meta to cut 8000 employees despite $26B Q1 net income
(Meta to cut 8000 employees despite $26B Q1 net income)

要約がありません。

投稿者: stackghost | スコア: 26

90.
カストロ起訴計画、キューバ侵攻の序章
(US Government openly schemes to indict Raúl Castro as prelude to invading Cuba)

アメリカは、元キューバ大統領ラウル・カストロを1996年の事件における役割で起訴することを検討しています。この事件では、カストロが人道支援のための飛行機二機を撃墜するよう命じ、その結果、アメリカ市民三人を含む四人が死亡しました。この起訴が行われれば、キューバの政権交代に向けた圧力が高まり、最近のベネズエラでのアメリカの軍事行動のように、軍事行動につながる可能性もあります。

一部の専門家は、この起訴がカストロに対する武力行使を正当化するための戦術であると考えていますが、アメリカ法および国際法の下でのこうした行動には法的な不確実性があります。批判者は、アメリカがこの起訴を侵略や強制の口実として利用しているのではないかと指摘しており、最近のニコラス・マドゥロのような指導者に対する軍事行動を例に挙げています。

カストロに対する潜在的な起訴は物議を醸しており、一部の共和党指導者は彼の起訴を支持していますが、軍事介入の合法性については懸念があります。状況は依然として不透明であり、アメリカ政府の行動の真の意図について多くの疑問が残っています。

投稿者: ck2 | スコア: 11

91.
「防げない現実」
('No way to prevent this,' says only package manager where this regularly happens)

最近、npmレジストリに対するサプライチェーン攻撃が発生し、数百万のアプリケーションが影響を受け、数十億のユーザー記録が漏洩しました。JavaScriptコミュニティの開発者たちは、このような事件が避けられないと不満を表明しています。彼らは、多くの未確認のパッケージに依存しているため、攻撃を予測したり防いだりすることは不可能だと考えています。特に、古いパッケージが乗っ取られ、有害なコードが挿入されるケースが懸念されています。

一方、GoやRustなどの言語を使用している開発者たちは、そのような問題は報告されていません。これらの言語は、より強力な標準ライブラリとセキュリティ対策を備えているためです。npmの広報担当者は、この状況を認め、攻撃を防ぐためのポリシーや対策は存在しないと述べ、継続的な脅威に対してレジリエンス(回復力)が必要であることを強調しました。

投稿者: alligatorplum | スコア: 397

92.
テスラ壁充電器のハック
(Tesla Wall Connector bootloader bypasses the firmware downgrade ratchet)

この記事では、テスラのウォールコネクタ第3世代におけるセキュリティの脆弱性について、特にアンチダウングレード機能がどのように回避されたかに焦点を当てています。

以前の記事では、古い脆弱なファームウェアをデバイスにロードできるエクスプロイトについて説明されていました。これは、ダウングレードを防ぐチェックがなかったためです。テスラは、古いファームウェアのインストールを防ぐために、アンチダウングレードメカニズムを導入しました。

新しいアンチダウングレードチェックは、更新時にファームウェアのバージョンを分析し、古いものは拒否します。しかし、著者は更新プロセスの操作順序を利用して、このチェックを回避する方法を見つけました。

重要なポイントとして、更新プロセスには認証、パッシブスロットの準備、ファームウェアの検証が含まれます。また、アンチダウングレードチェックは更新ルーチンが呼び出されたときのみ強制されるため、抜け道が存在します。著者は、更新の順序を慎重に管理することで、最新のファームウェアを消去し、古いバージョンに置き換えることができました。

このエクスプロイトの実行には約30分かかり、攻撃者は充電器の制御を取り戻すことができます。この脆弱性はテスラに報告され、その後のアップデートで修正されました。著者は、今後同様のエクスプロイトを防ぐためにブートローダーのセキュリティを強化する重要性を強調しています。

投稿者: p_stuart82 | スコア: 131

93.
深層探索V4: 恐れられたオープンソースモデル
(DeepSeek V4: The Open-Source Model Frontier Labs Feared)

DeepSeek V4は、新しいオープンソースのAIモデルで、他の主要なモデルと比べて大幅に安価で、性能も競争力があります。出力トークン1百万あたりのコストは0.30ドルで、Claude Opus 4.7の83分の1の価格です。また、SWE-bench Verifiedベンチマークでは80.6%のスコアを記録しました。

主な特徴としては、アーキテクチャに1.6兆のパラメータを持ちながら、トークンごとに49億のパラメータのみを活性化するため、効率的です。性能面では、LiveCodeBenchで最高スコアの93.5を達成し、Codeforcesでは3206の評価を得て、GPT-5.4などの他のモデルを上回っています。また、MITライセンスのもとでHugging Faceで利用可能で、自己ホスティングが容易ですが、かなりのインフラが必要です。

ただし、いくつかの懸念点もあります。ベンチマークの透明性は、AnthropicやGoogleなどの競合他社と比べて弱いです。また、このモデルは中国の研究所によって開発されているため、一部のユーザーにとってデータ管理の問題が懸念されるかもしれません。さらに、多くのパラメータを持つため、自己ホスティングは複雑になる可能性があります。

全体として、DeepSeek V4は高品質なコーディングインテリジェンスの新しい低価格を設定し、競合他社が価格や機能を見直すきっかけになるでしょう。

投稿者: HelloAi | スコア: 75

94.
GGUFの真実とは?
(What's in a GGUF, besides the weights – and what's still missing?)

GGUFは、言語モデル用の単一ファイル形式で、llama.cppによって使用されます。この形式は、複数のファイルを必要とする他の形式に比べて管理が簡単です。GGUFには、いくつかの重要な要素が含まれています。

まず、チャットテンプレートがあります。これは、会話の構造を定義するもので、Jinja2というスクリプト言語を使用します。モデルによっては、さまざまな機能に応じた異なるテンプレートが用意されています。

次に、特別なトークンがあります。これは、会話の流れを管理するためのユニークなマーカーで、シーケンスの開始や終了を示す役割を果たします。

さらに、サンプラー設定も含まれています。これは、モデルが確率に基づいて次のトークンを選択する方法を決定します。GGUFでは、サンプラー設定をモデルファイルに直接含めることができるようになりました。

しかし、GGUFにはいくつかの機能が欠けています。まず、ツール呼び出し形式が異なるモデルによってさまざまなため、標準化された文法があれば便利です。また、思考プロセスと主要な出力を分けるための「思考トークン」のフィールドが現在のGGUF変換にはありません。さらに、画像などの非テキスト入力を処理するモデルをGGUF形式でまとめることで、使いやすさが向上します。最後に、各モデルのサポートされている機能の明確なリストがあれば、機能に関する混乱を避けることができます。

全体として、GGUFはユーザーフレンドリーで拡張性のある形式であり、さらなる改善に向けた作業が進められています。最新情報については、Hugging Faceやllama.cppのイシュー掲示板をフォローすることが推奨されます。

投稿者: bashbjorn | スコア: 187

95.
Rustで学ぶML理論
(Building ML framework with Rust and Category Theory)

この本は「Rustにおける小規模機械学習のためのカテゴリ理論」というタイトルの作業草案で、カテゴリ理論、Rustプログラミング、そして小規模な機械学習システムの交差点を探求しています。機械学習を単なる数値計算ではなく、オブジェクトや変換、数学的枠組みを含む構造的なプロセスとして理解する手助けを目的としています。

この本では、カテゴリ理論をエンジニアリングの実用的なツールとして扱い、数学的概念をRustの型や実行可能なコードに変換しています。現在は草案の段階であり、一般からのフィードバックを受け付けており、GitHubリポジトリを通じて意見を投稿できます。

著者のハムゼ・ガレビとファルザド・ジャファラニは、それぞれAIアーキテクチャと数学研究の専門知識を持ち、複雑なアイデアを理解しやすく、実際のシナリオで応用できるようにすることに焦点を当てています。この本はオープンアクセスで、個人の学習や読者からのフィードバックを受け入れていますが、商業的な再利用には許可が必要です。

読者は内容に参加し、例を実行し、書籍が進化する中で自分の見解を貢献することができます。また、さらなる議論のための公開ワークショップも予定されています。

投稿者: adamnemecek | スコア: 99

96.
ソフトのエマックス化
(The Emacsification of Software)

2026年には、ソフトウェア開発におけるMarkdownの普及に伴い、優れたMarkdownビューアの需要が高まっています。ターミナルベースのMarkdownビューアも存在しますが、読みづらく、ターミナルのデザインに制約されることが多いです。一方、グラフィカルなMarkdownエディタは使いやすいですが、従来の作業フローを乱すことがあります。

著者は、AIの支援を受けてわずか30分でMDV.appという優れたMarkdownビューアを開発しました。このツールは、テキスト選択、検索可能なインデックス、カスタマイズ可能なテーマなどの機能を提供し、読書体験を大幅に向上させます。

AIの進化はソフトウェアの作り方を変え、より簡単で個人的なものにしています。この「エマックス化」とは、多くのソフトウェアツールが個々のユーザーに合わせて調整されることを意味し、Emacsユーザーがカスタムソリューションを作成するのに似ています。これらのツールの中には広く使われるものもありますが、重要なのはそれらの背後にあるアイデアであり、ソースコードそのものではありません。

AIはソフトウェア開発をより楽しく、アクセスしやすくしました。これにより、開発者は個人プロジェクトを完成させたり、特定の問題を解決するツールを作成したりすることが可能になりました。著者は、この傾向がより興味深いソフトウェアの誕生につながり、ユーザーが既存のアプリケーションを簡単かつ楽しく改善できるようになると考えています。

投稿者: rdslw | スコア: 448

97.
スペインの魅力都市
(Why Spain has the greatest cities)

スペインの都市は、他のヨーロッパや北アメリカの都市とは異なり、独自の特徴を持っています。これらの都市は密度が高く、コンパクトで、住民の多くがアパートに住んでいます。スペインでは約3分の2の人々がフラットに住んでおり、都市部ではその割合が80%を超えています。これは、アイルランドのようにフラットに住む人が10%に満たない国々とは大きな違いです。また、スペインの都市は交通による排出量が少なく、多くの人が徒歩や公共交通機関を利用して通勤しています。

このような都市構造は、偶然の要素も含まれています。スペインは他の国々よりも遅れて工業化が進んだため、郊外の広がりが一般的になる前に、早期の都市密度の問題に対処することができました。その結果、スペインは高い都市計画の水準を維持し、混合用途の地域や効果的な公共交通システムを持つ整然とした都市を形成しました。

歴史的に見ても、スペインの都市は自動車の所有が限られており、公共交通機関に重点が置かれていたため、他の国の郊外開発とは対照的に密度が保たれていました。経済的な困難な時期であっても、住宅の構造は主に賃貸アパートのままで、単一家族住宅にはなりませんでした。

現在、スペインの都市は効率的な交通システムとインフラのおかげで成功を収めています。公共交通機関の利用率が高く、マドリードやバルセロナのような都市では優れた地下鉄サービスがあります。しかし、最近の計画規制により、需要に応じた十分な住宅を建設することが難しくなり、物件価格が上昇し、手頃な価格の住宅が不足しています。

スペインの経験は、都市の密度と混合用途の開発が豊かさと共存できることを示しており、特にラテンアメリカやアジアの国々が都市地域を発展させる際のモデルとなる可能性があります。

投稿者: devitoria | スコア: 46

98.
RTX 5090とM4 MacBook Air: ゲームは?
(RTX 5090 and M4 MacBook Air: Can It Game?)

NVIDIAのRTX 5090グラフィックスカードをM4 MacBook Airに接続して、ゲームやAIのパフォーマンスを向上させる可能性について説明しています。

まず、RTX 5090はThunderboltドックを使ってMacBook Airに接続できます。このドックはPCIeをThunderboltに変換しますが、Apple SiliconではmacOSがNVIDIAドライバーをネイティブにサポートしていません。

TinygradはmacOS用のeGPUドライバーを提供していますが、ゲームやAI推論には適していません。パフォーマンスがネイティブオプションに比べて劣るため、仮想マシン(VM)上でLinuxを実行する方が良い解決策となりますが、こちらにも独自の複雑さがあります。

著者は、GPUをVMで動作させるための技術的な詳細を説明しています。これにはメモリのマッピングやダイレクトメモリアクセス(DMA)の管理が含まれます。AppleのDARTハードウェアの制限に直面し、DMAリクエストを効果的に処理するためのカスタムソリューションを作成する必要がありました。

プロジェクトでは、Cyberpunk 2077やCrysisのような要求の高いゲームを実行できることが分かりましたが、パフォーマンスはネイティブのPCセットアップに比べて大幅に低下しました。仮想化、エミュレーション、Thunderbolt接続によるオーバーヘッドが原因で、GPUをPCに直接接続した場合と比べて2〜4倍のパフォーマンス低下が見られました。

著者は、さまざまなゲームで異なる解像度でのベンチマークを実施しました。その結果、eGPUセットアップはMacBook Air単体よりもパフォーマンスを向上させましたが、従来のゲーミングPCには劣ることが分かりました。

AIタスクにおいては、RTX 5090はMacの統合ソリューションを大きく上回るパフォーマンスを発揮し、eGPUセットアップはAIアプリケーションにとって価値があることが示されましたが、ゲームパフォーマンスは最適ではありませんでした。

このプロジェクトは、RTX 5090をMacBook AirでゲームやAIに使用できることを示しましたが、複雑なセットアップによるパフォーマンスの制限や、最適なパフォーマンスのためには直接PCIe接続が必要であることも明らかにしました。最終的には、プロジェクトは実現可能であるものの、パフォーマンスの面では専用のゲーミングPCが優れた選択肢であることを示唆しています。

投稿者: allenleee | スコア: 685

99.
ナノTDB: Golang専用時系列DB
(NanoTDB – Golang Append-Only Time Series DB)

NanoTDBは、Raspberry PiやIoTゲートウェイのようなリソースが限られたデバイス向けに設計された軽量の時系列データベースです。外部依存関係なしで動作し、すべてのデータを単一のディレクトリ内のプレーンファイルに保存します。

主な特徴として、時系列データを追加すると、NanoTDBは自動的に異なる期間の要約を作成できます。これにより、クエリの速度が向上し、長期的なデータ分析のコストが削減されます。

アーキテクチャは、単一のエントリーポイントを持ち、データベースエンジンが複数の名前付きデータベースを管理します。ストレージ層には、データが保存される前にサンプルを記録する書き込み前ログ(WAL)、メトリック名をIDや値のタイプにマッピングするカタログ、圧縮された不変データページを含むデータファイルがあります。

データは特定のラインプロトコルに従って取り込まれ、データベース名、メトリック名、値、オプションのタイムスタンプが含まれます。タイムスタンプは順序通りでなければならず、順序が乱れたサンプルは拒否されます。データベースを開く際には、WALが再生され、すべてのデータが最新であることが確認されます。

クエリは特定の時間範囲のデータを取得するために行うことができ、関連するデータファイルのみを処理してパフォーマンスを最適化します。

設定ファイル(engine.toml)は自動的に作成され、サーバーアドレス、WALサイズ、耐久性プロファイルなどの設定が含まれています。ロールアップジョブを定義することで、指定された間隔で集約データを作成し、結果を指定のデータベースに保存することができます。

バイナリには、設定ファイルを使って起動できるメインサーバー実行ファイルの「nanotdb」と、データベースと直接対話するためのコマンドラインツール「nanocli」があります。このツールを使って、データの検査、インポート、エクスポートが可能です。

NanoTDBは、リソースが限られたシステム上で時系列データを効率的に管理するためのシンプルでありながら強力なデータベースソリューションです。

投稿者: aymanhs72 | スコア: 56

100.
DS4の魅力
(A few words on DS4)

もちろんですが、「DS4」についての具体的なテキストが提供されていないようです。要約してほしいテキストを共有していただけますか?

投稿者: caust1c | スコア: 430
0
Creative Commons