1.
EuroLLM: LLM made in Europe built to support all 24 official EU languages
(EuroLLM: LLM made in Europe built to support all 24 official EU languages)

要約がありません。

投稿者: NotInOurNames | スコア: 158

2.
The AirPods Pro 3 flight problem
(The AirPods Pro 3 flight problem)

要約がありません。

投稿者: andrem | スコア: 53

3.
A brief history of random numbers
(A brief history of random numbers)

要約がありません。

投稿者: todsacerdoti | スコア: 56

4.
Vitamin D reduces incidence and duration of colds in those with low levels
(Vitamin D reduces incidence and duration of colds in those with low levels)

要約がありません。

投稿者: cachecrab | スコア: 77

5.
Sick: Indexed deduplicated binary storage for JSON-like data structures
(Sick: Indexed deduplicated binary storage for JSON-like data structures)

要約がありません。

投稿者: pshirshov | スコア: 68

6.
Ubiquiti SFP Wizard
(Ubiquiti SFP Wizard)

要約がありません。

投稿者: eXpl0it3r | スコア: 61

7.
Washington Post editorials omit a key disclosure: Bezos' financial ties
(Washington Post editorials omit a key disclosure: Bezos' financial ties)

要約がありません。

投稿者: ilamont | スコア: 183

8.
The next chapter of the Microsoft–OpenAI partnership
(The next chapter of the Microsoft–OpenAI partnership)

要約がありません。

投稿者: meetpateltech | スコア: 207

9.

これは、コマンドラインシェルであるbashを使って作成されたさまざまなスクリーンセーバーやビジュアライゼーションを集めたGitHubプロジェクトです。

投稿者: attogram | スコア: 118

10.
Text2SQL is dead – long live text2SQL
(Text2SQL is dead – long live text2SQL)

要約がありません。

投稿者: exagolo | スコア: 15

11.
ISS in Real Time – 25 Years Aboard the International Space Station
(ISS in Real Time – 25 Years Aboard the International Space Station)

要約がありません。

投稿者: bfeist | スコア: 71

12.
Austrian Ministry Kicks Out Microsoft in Favor of Nextcloud
(Austrian Ministry Kicks Out Microsoft in Favor of Nextcloud)

要約がありません。

投稿者: buyucu | スコア: 162

13.
謝罪を待つウィキペディア
(Hi, It's Me, Wikipedia, and I Am Ready for Your Apology)

ウィキペディアが擬人化されて語るユーモラスで風刺的なモノローグでは、その進化とこれまでの批判について振り返っています。かつては学術界から知識への脅威と見なされていたウィキペディアですが、今では混沌とした情報の中で貴重なリソースとなっています。批判者たちがかつてはウィキペディアを怠惰な研究の源と見なしていたのに対し、今ではそのアクセスしやすく、事実に基づいたコンテンツを求めているという皮肉を指摘しています。

このモノローグは、今日の情報の状態を批判しています。誤情報や信頼できないプラットフォームが増えている中で、ウィキペディアは振り返ってみるとより信頼性があるように見えます。また、AIの進展や疑わしいジャーナリズムの実践といった現在の出来事の不条理についても言及しています。最終的に、ウィキペディアはデジタル時代におけるその重要性が証明されたことを楽しんでいるようで、批判者たちを軽くあしらっています。

投稿者: imichael | スコア: 78

14.
エミリー・リールの新理論
(Emily Riehl is rewriting the foundations of higher category theory (2020))

エミリー・リエールは、高次カテゴリー理論の発展に注力している著名な数学者です。彼女は、カテゴリー理論の役割をオーケストラにおけるヴィオラに例え、音楽に深みを加える重要性を強調しています。カテゴリー理論は、数学において従来の「等しい」という概念を「同値」という考え方に置き換え、数学的対象間の関係をより微妙に理解する手助けをします。

1945年にサミュエル・アイレンバーグとソーンダース・マクレーンによって導入されて以来、カテゴリー理論は大きな注目を集め、代数幾何学や数学的物理学などの分野に欠かせないものとなっています。リエールは、無限カテゴリーの複雑なアイデアを数学者にとってより理解しやすくするための本を共著しています。彼女は、これらの概念をより明確に理解する必要性を信じています。

リエールはキャリアを通じて、数学における包括性の重要性を訴えてきました。彼女はLGBTQ+の数学者のための団体「スペクトラ」を共同設立し、社会正義の取り組みを積極的に支援しています。彼女は、数学者がすべての学生にとって包括的な環境を育む責任があると強調し、分野における少数派グループが直面する課題を認識しています。

投稿者: perihelions | スコア: 47

15.
SSH鍵の確認は?
(Do Users Verify SSH Keys? (2011) [pdf])

SSH(セキュアシェル)の鍵確認に関するセキュリティ問題について述べています。多くのSSHユーザーがサーバーの鍵を確認せずに受け入れてしまうため、セキュリティの脆弱性が生じる可能性があります。

重要な点として、ユーザーはSSHサーバーに接続する際に表示される長い16進数の鍵フィンガープリントを確認しないことが多く、これにより攻撃に対して脆弱になります。攻撃者は、ユーザーが正しいサーバーに接続していると思い込ませるために、似たようなフィンガープリントを持つ偽の鍵を作成するツールを使用できます。「ファジーフィンガープリント」と呼ばれる特定の攻撃手法では、攻撃者が正規の鍵に非常に近い偽の鍵を生成し、通常の確認チェックを回避することが可能です。

研究によると、二つの組織では、ユーザーがSSHサーバーの鍵を確認したことが一度もなかったことが明らかになり、重要なセキュリティのギャップが浮き彫りになりました。この結果は、SSHとPKI(公開鍵基盤)の両方のアプローチがユーザー確認に関して同様のセキュリティの弱点を持っていることを示唆しています。

結論として、どちらの方法もユーザーが鍵を確認しない限り、より良いセキュリティ保証を提供しないことが示されています。

投稿者: 8organicbits | スコア: 15

16.
ロック訴訟の波紋
(10M people watched a YouTuber shim a lock; the lock company sued him – bad idea)

申し訳ありませんが、外部のコンテンツ、特に動画にはアクセスできません。ただし、動画のテキストや主なポイントを教えていただければ、それをまとめるお手伝いができます。

投稿者: Brajeshwar | スコア: 1438

17.
747を作る方法
(How to build a 747 – A WorldFlight Story)

デラニー・バイロンは、カリフォルニア州サンノゼにいるフライトシミュレーション愛好者のグループ「ジュラシック・ジェッツ・チーム」の取り組みを紹介しています。このチームは、2025年のワールドフライトイベントに向けて、ボーイング747-200のコックピットをゼロから作り上げています。メンバーのジャスティンやカイルを含むこのチームは、エンジニアリングと航空のバックグラウンドを活かし、非常にリアルなシミュレーター体験を提供することを目指しています。

ワールドフライトは、毎年行われるチャリティイベントで、世界中のフライトシミュレーションファンが参加し、1週間のバーチャルな旅を楽しみます。このイベントは1990年代後半から始まり、これまでに100万ドル以上の寄付を集めてきました。2025年のイベントは、オーストラリアのシドニーを出発点として、11月1日から8日まで行われます。

ジュラシック・ジェッツ・チームは、747を選んだ理由として、その歴史的な重要性と独特の飛行体験を挙げています。彼らは、実際の寄付機であるMSN23640を使用しており、この機体は日本航空やその後のトランサエロと深い関わりがあります。チームは、実機のコックピットをシミュレーターに変換する際に、広範な配線やエンジニアリングの専門知識が必要な課題に直面しています。

コックピットの構築には、X-Planeソフトウェアとのインターフェースや、すべての計器が元の航空機と同様に機能するようにするなど、複雑な作業が含まれます。チームは、プロセス全体を通じてコミュニティの協力と学びを重視しています。

今年の資金調達活動は、全米腎臓財団を支援するもので、2,500ドルの寄付を目指しています。チームは、サポーターに自分たちの旅を見守り、イベント中のプレゼント企画に参加するよう呼びかけています。

この物語は、象徴的な航空機を再現するために協力し合う航空愛好者たちの献身と情熱を強調しており、フライトシミュレーションの世界における強いコミュニティ意識を示しています。

投稿者: hggh | スコア: 5

18.
プログラミング言語の森
(The Programming Languages Zoo)

Programming Languages Zooは、さまざまなプログラミングの概念や技術を紹介するために設計された小さなプログラミング言語のコレクションです。自分自身のプログラミング言語を作りたい人や、プログラミング言語の設計について学びたい人にとって、非常に役立つリソースです。

このコレクションの主な特徴には、関数型、宣言型、オブジェクト指向、手続き型などの異なるタイプの言語が含まれています。また、ソースコードの解析や追跡、値の整形表示、対話型および非対話型の処理が可能です。型システムも多様で、型なし、静的型付け、動的型付けがサポートされています。型チェックや部分型、多態性も実装されています。さらに、異なる評価戦略や再帰、例外処理のサポートもあります。インタプリタやコンパイラも含まれています。

このコレクションには、minimlminihaskellminiprologなどの言語が含まれており、それぞれ特定のプログラミング概念を示しています。これらの言語は完全に機能しますが、主に教育目的で使用されており、ユーザーはよくコメントされたソースコードを学ぶことが奨励されています。

インストール手順も提供されており、ユーザーはさまざまなコマンドラインオプションを使って言語を実行できます。このプロジェクトはMITライセンスのもとでオープンソースであり、貢献が歓迎されています。興味のある方は、問題を報告したり、修正を提出したり、新しい言語を提案したりすることができます。

プロジェクトの著者は、アンドレイ・バウアーとマティヤ・プレトナルです。

投稿者: alabhyajindal | スコア: 84

19.
眠りの脳科学
(How the brain's activity, energy use and blood flow change as people fall asleep)

マス・ジェネラル・ブライガムの新しい研究によると、私たちが眠りに落ちる際の脳の変化が明らかになりました。この研究では、先進的な画像技術を用いています。研究者たちは、ノンレム睡眠中に運動や感覚入力を担当する脳の領域は活発であり、思考や記憶に関連する部分は活動が減少し、エネルギーの使用も少なくなることを発見しました。この研究は、睡眠中に意識を失っても脳が外部の刺激に反応し続ける仕組みを明らかにしています。

研究では、23人の健康な成人が短い昼寝をしている間の脳の活動を、脳波(EEG)、磁気共鳴画像法(MRI)、および陽電子放出断層撮影(PET)を組み合わせて観察しました。結果は、睡眠が深くなるにつれてエネルギーの使用が減少し、血流がより活発になり、脳脊髄液の流れが増加することを示しています。これは、睡眠が脳の廃棄物を排除しつつ、感覚入力に対して警戒を保つ役割を果たしていることを支持しています。

研究者たちは、今後の研究ではより大規模で多様なグループを対象にし、異なる睡眠段階に焦点を当てるべきだと提案しています。この研究は『ネイチャー・コミュニケーションズ』に掲載され、さまざまな助成金や機関の支援を受けています。

投稿者: XzetaU8 | スコア: 112

20.

厳密に必要なクッキーは、ウェブサイトが正しく機能するために欠かせません。これらのクッキーは、セキュリティを強化し、不正行為を防ぎ、購入を可能にします。ブラウザでこれらのクッキーをブロックすることもできますが、その場合、サイトの一部が正しく動作しなくなる可能性があります。

投稿者: kjhughes | スコア: 10

21.
アムステルダム3D模型
(3D printed maquette of Amsterdam on scale 1:2000)

不動産起業家のコル・ファン・ザデルホフが、アムステルダムの750周年を祝うために、70平方メートルの詳細な3Dプリントモデルを作成しました。このモデルは、ズイダスのWTCにあるタワー1と2のロビーに展示されており、メイヤーのフェムケ・ハルセマに贈呈される予定です。

このモデルは、市の職員の協力を得て作られ、スケールは1:2000で、全ての建物が含まれています。小さな庭の物置まで再現されています。このプロジェクトに関わった建築家ロベルト・マイヤーは、作業の複雑さを指摘し、専任のチームと20台の3Dプリンターを継続的に使用する必要があったと述べています。

訪問者は、タッチスクリーンを使って特定の建物を探したり、スポーツ施設や地下鉄の路線などのさまざまな特徴を強調したりすることができます。また、2030年までの開発計画が含まれています。ファン・ザデルホフは、このモデルがアムステルダムのさらなる都市開発の可能性を示していると強調しています。モデルは毎年更新され、来週からは一般公開される予定です。

投稿者: fjfaase | スコア: 20

22.
Easy RISC-V
(Easy RISC-V)

要約がありません。

投稿者: todsacerdoti | スコア: 342

23.
Claude for Excel
(Claude for Excel)

要約がありません。

投稿者: meetpateltech | スコア: 641

24.
レオナルドの全デジタル化
(Complete Digitization of Leonardo da Vinci's Codex Atlanticus)

レオナルド・ダ・ヴィンチは「ルネサンスの人」と呼ばれることが多いですが、この表現は誤解を招くことがあります。彼の時代では、芸術と科学は密接に結びついており、人々は両方の脳を使うことを考えていませんでした。レオナルドは美術と工学を融合させることに優れ、すべての作品に技術者の視点で取り組みました。彼の芸術は数学的な精密さと注意深い観察を活かしています。

レオナルドのプロジェクトは実験的で、時には失敗したり放棄されたりすることもありましたが、彼は常に徹底的に計画を立てていました。彼の広範なノートにその様子が見られます。最近、これらのノートの多くがデジタル化され、彼の考え方を知る手がかりが得られました。その中でも特に注目されるのが「アトランティック・コデックス」で、1478年から1519年までのキャリアを通じた1,119ページの図面や文章が収められています。

このコレクションには、工学の図面、解剖学の研究、芸術的なスケッチ、さらには軍事技術者としての資格を示す手紙も含まれています。アトランティック・コデックスは、レオナルドの革新的な問題解決能力を示しており、彼が芸術的表現だけでなく、技術的な解決策に主に焦点を当てていたことを強調しています。

投稿者: emmelaich | スコア: 109

25.
最悪の.NET脆弱性解明
(Understanding the Worst .NET Vulnerability)

2025年10月14日、マイクロソフトはASP.NET Coreに深刻な脆弱性があることを発表しました。この脆弱性はCVE-2025-55315と呼ばれ、深刻度は10点満点中9.9と非常に高い評価を受けています。この問題は「リクエストスムーグリング」と呼ばれ、攻撃者がサーバーとプロキシ間でのHTTPリクエストの処理の不一致を利用することを可能にします。具体的には、攻撃者は正当なリクエストの中に悪意のあるリクエストを隠すことができ、セキュリティチェックを回避したり、アプリケーションの制限された領域にアクセスしたりすることができる可能性があります。

リクエストスムーグリングは2005年から知られている問題で、通常はプロキシサーバーと目的のサーバーがあいまいなHTTPリクエストを異なる解釈をする際に発生します。例えば、攻撃者が矛盾するContent-Lengthヘッダーを持つリクエストを送信すると、一方のサーバーがそれを二つの別々のリクエストとして処理することになります。

CVE-2025-55315の具体的な問題は、ASP.NET Coreが「チャンク」転送エンコーディングを処理する方法に関連しています。この方法ではデータをチャンク単位で送信できるのですが、これらのチャンクの処理における寛容さが脆弱性を引き起こしました。問題は、チャンクヘッダーの無効な行末がプロキシとサーバーで異なる扱いを受けることで、攻撃者がセキュリティ対策を回避するリクエストを作成できるようになる点です。

この脆弱性を軽減するために、ユーザーはできるだけ早く最新のサポートされているASP.NET Coreのバージョンにアップデートすることを強く推奨します。特に.NET 8未満の古いバージョンは脆弱で、パッチも提供されません。アップグレードができない場合は、悪意のあるリクエストをフィルタリングするために安全なプロキシを設置することが重要です。

ASP.NET Coreを使用している場合は、自分のバージョンを確認し、この重大なセキュリティの欠陥からの潜在的な悪用を避けるためにアップデートを行うことが必要です。

投稿者: ingve | スコア: 167

26.
しわの幾何学と物理学
(Geometry and Physics of Wrinkling (2003) [pdf])

E. セルダと L. マハデヴァンの研究は、薄い弾性シートのしわについて探求しています。しわは、細胞基板の微細なパターンから布の大きなしわまで、さまざまなスケールで発生することがあります。著者たちは、曲げと引っ張りの影響を受けるしわの一般的な理論を構築し、しわの波長や振幅を説明する単純なスケーリング法則を導き出しました。これにより、薄い膜の機械的特性を特徴づける手助けができます。

主な発見として、薄い弾性シートが臨界ひずみを超えて引き伸ばされると、端の制約によりバッキングが発生し、しわが形成されることが挙げられます。また、しわの波長は材料の剛性や加えられる張力によって影響を受け、特定の数学的関係が導かれます。この研究は、人間の皮膚のしわや柔らかい表面上の細胞の挙動など、さまざまな生物学的および物理的現象に応用可能です。

著者たちは、これらの発見が実用的な応用につながる可能性があると示唆しています。たとえば、しわのパターンを利用して細胞が生成する力を評価したり、薬物送達に使用される小胞のような材料を特徴づけたりすることが考えられます。全体として、この研究は幾何学、力学、生物学の概念を統合し、薄い材料におけるしわの挙動を包括的に理解する手助けをしています。

投稿者: o4c | スコア: 37

27.
コードをシンプルに!
(Simplify your code: Functional core, imperative shell)

コードを簡素化するためには、コアロジックと副作用を分けることが重要です。ビジネスロジックとデータベースの呼び出しやメール送信などの外部とのやり取りを混ぜると、コードが複雑になり、管理が難しくなります。

コードをよりクリーンでテストしやすくするためには、「ファンクショナルコア」を使用して純粋でテスト可能なロジックを実装し、「インペラティブシェル」を使って副作用を処理します。

例えば、ロジックとメール送信を混ぜた以下のような複雑なコードを考えてみましょう。

このコードでは、ユーザーのサブスクリプションが終了しているかどうかを確認し、条件に合うユーザーにメールを送信しています。しかし、ロジックと副作用が混在しているため、理解しづらくなっています。

これを分けて整理することができます。まず、ファンクショナルコアとして、サブスクリプションが終了したユーザーを取得する関数と、メール内容を生成する関数を作成します。

次に、インペラティブシェルとして、生成したメールを一括送信する関数を使用します。このようにすることで、新しい機能を追加する際も、既存の関数を再利用するだけで簡単に実装できます。このアプローチにより、コードはより整理され、保守性が高く、柔軟に対応できるようになります。

投稿者: reqo | スコア: 377

28.
Poker Tournament for LLMs
(Poker Tournament for LLMs)

要約がありません。

投稿者: SweetSoftPillow | スコア: 209

29.
難問解決の極意
(SATisfying Solutions to Difficult Problems)

この記事では、ブール充足可能性問題を解決するために設計されたプログラムであるSATソルバーについて説明しています。ブール充足可能性問題はNP完全問題の一種で、これらの問題は「はい」または「いいえ」の答えを必要とします。解決策を迅速に検証することは可能ですが、見つけることはより難しいです。

NP完全問題とは、解決策を多項式時間で検証できる複雑な意思決定問題ですが、解決策を多項式時間内に見つけることができない場合があります。ナップサック問題や数独がその例です。

ブール充足可能性問題(SAT)は、論理式の変数に真偽値を割り当てて、その式が満たされるかどうかを問う問題です。論理式は、ANDやORを使った特定の形式で表現されることが多いです。

SATソルバーは、ブール式に対して満たす割り当てを見つけるツールです。これらはSAT問題として表現されたNP完全問題を効果的に解決することができます。

記事では、数独のルールをブール式に変換する方法を示し、SATソルバーが有効な解を見つける手助けをすることを説明しています。

SATソルバーで使用されるアルゴリズムには、DPLL(デイビス・プタム・ロゲマン・ラブランド)やCDCL(コンフリクト駆動型節学習)、確率的局所探索があります。DPLLはバックトラッキングを用いてSAT問題を解決しますが、大規模な問題には苦労します。CDCLはDPLLの進化版で、衝突から学習して効率を向上させます。確率的局所探索はよりランダムなアプローチで解を見つけることができますが、結果を保証するものではありません。

SMT(理論に関する充足可能性)ソルバーは、SATソルバーを拡張して、算術や他の理論を含むより複雑な問題を扱います。

記事は、SATおよびSMTソルバーがさまざまな問題を解決するために役立つことを強調し、プログラミングや問題解決の文脈における重要性を示しています。

投稿者: atilimcetin | スコア: 78

30.
Front-Panel Booting an ATmega88 Microcontroller
(Front-Panel Booting an ATmega88 Microcontroller)

要約がありません。

投稿者: robin_reala | スコア: 33

31.
Study finds growing social circles may fuel polarization
(Study finds growing social circles may fuel polarization)

要約がありません。

投稿者: geox | スコア: 201

32.
リモート操作の新常識
(JetKVM – Control any computer remotely)

Jet KVMの製品は、彼らのウェブサイトで購入できます。ウェブサイトのアドレスはjetkvm.com/productsです。

投稿者: elashri | スコア: 365

33.
1938年のパイレックスカタログ
(Pyrex catalog from from 1938 with hand-drawn lab glassware [pdf])

コーニングガラス社は、「PYREX」ブランドの実験用ガラス器具のカタログを発表し、その高品質な製品を強調しました。「PYREX」の商標は、コーニングが製造したガラス器具であり、厳しい品質基準を満たしていることを示しています。

第二次世界大戦中、ヨーロッパからの供給が限られていたため、アメリカでは実験用ガラス器具の需要が大きくなりました。コーニングは、革新的なガラス技術と化学者との協力により、この需要に応えることができ、「PYREX」が世界的な標準として広く受け入れられるようになりました。

「PYREX」ガラスの主な特徴には、低い熱膨張率があり、温度変化による破損を最小限に抑えます。また、低アルカリ含量により、ガラスと接触する溶液の汚染を減少させます。さらに、「PYREX」は滅菌方法にも耐えられる耐久性を持っています。

カタログには価格や注文方法の詳細が記載されており、大量購入に対する割引が強調されています。また、すべての製品は元のパッケージで販売されることが明記されています。特別なカスタムガラス器具のニーズについては、顧客に連絡を促しています。

全体として、「PYREX」ガラス器具は、実験室での安全性、正確性、品質が認められています。

投稿者: speckx | スコア: 353

34.
月の裏側、希少な水分豊富な隕石の痕跡発見
(Dust samples from moon's far side show debris from rare, water-rich meteorites)

申し訳ありませんが、外部のウェブサイトや特定の文書にアクセスすることはできません。もし研究論文の主なポイントや重要な抜粋を提供していただければ、それを要約するお手伝いをさせていただきます。

投稿者: gmays | スコア: 40

35.
自殺相談、週100万人超
(OpenAI says over a million people talk to ChatGPT about suicide weekly)

OpenAIは最近、ChatGPTのユーザーのうち約0.15%が深刻なメンタルヘルスの問題、特に自殺の考えについて話しているというデータを発表しました。週に8億人以上のユーザーがいるため、毎週100万人以上が影響を受けている可能性があります。また、同社は、何十万人ものユーザーがチャットボットとの会話中に深刻な感情的苦痛や精神病の兆候を示していることも指摘しています。

OpenAIは、これらの問題のある会話は稀であり、定量化が難しいと主張していますが、ChatGPTがメンタルヘルスのトピックを扱う方法を改善するための措置を講じています。170人以上のメンタルヘルスの専門家と相談し、チャットボットの応答を向上させる取り組みを行っています。最新のChatGPTは、以前のバージョンよりもこれらの問題に対処する能力が向上していると報告されています。

しかし、これらの改善にもかかわらず、メンタルヘルスの課題を抱えるユーザーに対するAIチャットボットの潜在的な悪影響についての懸念は残っています。OpenAIは、AIと自殺の考えを共有したティーンエイジャーの両親からの訴訟を含む法的な調査に直面しています。

新しいバージョンのChatGPT、GPT-5は、以前のモデルと比べてメンタルヘルスの問題に対して65%の確率でより適切に応答することが報告されています。OpenAIは、子供向けのペアレンタルコントロールやメンタルヘルスの課題に対する評価方法の改善など、新しい安全対策も導入しています。

しかし、ChatGPTからの一部の応答は依然として望ましくないと見なされており、これらの課題がどれほど持続するかは不透明です。OpenAIは、古いモデルや安全性が低い可能性のあるモデルも引き続き提供しています。

助けが必要な方には、全国自殺防止ライフラインなどのリソースが利用可能です。

投稿者: jnord | スコア: 334

36.
ビーバー狩りとアンチハイドラ
(Why Busy Beaver hunters fear the Antihydra)

この記事では、研究者たちが第六のビジービーバー数BB(6)を特定する際に直面する課題について述べています。この数は、アンチハイドラという複雑なプログラムに関連しています。ビジービーバーゲームは、チューリングマシンを使用した単純なコンピュータプログラムが行う計算の複雑さを測定します。各ビジービーバー数は、特定のルールを持つマシンが最も長く動作する時間を表しています。

最近、BB(5)の値が47,176,870であることが明らかになったものの、アンチハイドラが停止するかどうかを理解することは、BB(6)を見つけるために重要です。この作業は、特定の数列が出発点に関係なく常に1に到達するかどうかを問う未解決の数学問題であるコラッツ予想に似ているため、複雑です。アンチハイドラは、停止するか無限に動作し続けるかを判断するのが難しいルールの下で動作します。

研究者たちは、アンチハイドラを数十億ステップシミュレーションしましたが、停止しない可能性が高いことを示唆していますが、確定的に証明することはできません。この不確実性は、数学におけるより広範な問題を反映しており、アンチハイドラのような問題は「クリプティッド」と呼ばれ、その捉えどころのない性質を示しています。ビジービーバー数がBB(5)を超える探求は困難ですが、研究者たちはチューリングマシンにおける関連する質問や予期しない挙動を引き続き探求しています。

投稿者: Bogdanp | スコア: 227

37.
ユーザーモードLinux
(Linux VM without VM software – User Mode Linux)

この記事では、UserMode Linux(UML)について説明しています。UMLは、既存のLinuxカーネル内でユーザースペースアプリケーションとしてLinuxカーネルを実行する方法です。この革新的なアプローチは、従来の仮想化ソフトウェアやルートアクセスを必要とせず、さまざまな用途に利用できる点が特徴です。

Linuxカーネルはハードウェアを抽象化し、CPUやメモリなどのリソースを管理することで、複数のタスクを効率的に実行できるようにしています。UMLは、カーネルをプロセスとして実行することで、この機能を活用しています。これにより、ハードウェア上で直接動作するのではなく、仮想的な環境で動作します。

UMLは、パラ仮想化されたカーネルと見なされます。これは、ホストのユーザースペースとやり取りを行い、入力や出力、ストレージに関してはハードウェアリソースの仮想版を使用します。UMLカーネルは、特にx86プラットフォーム向けに構築することができます。このプロセスでは、カーネルを設定し、コンパイルしてUMLバイナリを作成します。

UMLを効果的に使用するためには、ユーザースペースが必要です。この記事では、Buildrootを使用してUMLカーネル用の最小限のユーザースペースを作成することを提案しています。UMLを実行する方法についても説明されており、仮想ディスクを作成し、UMLカーネルをブートして、通常のLinux環境のように操作することができます。仮想ディスクにデータを書き込み、ホストシステムからそのデータを確認する手順も示されています。

UMLは、別のカーネルインスタンスを実験するための興味深い方法を提供しますが、KVM仮想化やコンテナと比較すると、実際の運用環境には適していないかもしれません。UMLの主な強みは、カーネルのデバッグや実験にあります。全体として、UMLは従来の仮想化手法の負担を軽減しながら、Linuxカーネルの機能を探求したい開発者にとって魅力的なツールです。

投稿者: arunc | スコア: 114

38.
Criminal complaint against facial recognition company Clearview AI
(Criminal complaint against facial recognition company Clearview AI)

要約がありません。

投稿者: latexr | スコア: 128

39.
Sieve (YC X25) is hiring engineers to build video datasets for frontier AI
(Sieve (YC X25) is hiring engineers to build video datasets for frontier AI)

要約がありません。

投稿者: mvoodarla | スコア: 1

40.
スマホが操る感情
(Smartphones manipulate our emotions and trigger our reflexes)

スマートフォンは私たちの生活の重要な一部となり、私たちの注意を引きつけ、感情的なつながりを生み出しています。特に若者の間でスマートフォンの使用が増加しているため、カナダやアメリカの一部の学校では、メンタルヘルスや学業成績への影響を懸念してスマートフォンの使用を禁止する動きが見られます。

コンコルディア大学の助教授、スティーブン・モンテイロによれば、スマートフォンやスマートウォッチは、私たちの存在や感情に反応するアニメーションのような仲間の役割を果たしています。顔認識や位置情報、タッチスクリーンなどの機能を利用して親密感を生み出し、私たちに注意を向けさせるように仕向けています。この結果、実際には振動していないのに、スマートフォンが振動していると感じる「ファントムバイブレーション」と呼ばれる現象が起こることもあります。

スマートフォンの多くの機能は元々他の目的で開発されたものですが、今や私たちの日常生活に欠かせないものとなっています。これらのデバイスは、私たちの行動データ、特に睡眠パターンを継続的に収集するため、プライバシーに関する懸念も高まっています。

スマートフォンへの依存を管理するためには、デバイスの設定を変更したり、通知を制限したり、よりシンプルな「ダムフォン」を使うことを考えたりすることができます。また、製造業者はデザインにおいてユーザーのプライバシーを優先すべきです。最終的には、スマートフォンが私たちの生活に与える影響について、ソーシャルメディアやゲームにとどまらず、より広範な議論が必要です。

投稿者: PaulHoule | スコア: 192

41.
位置情報ソフトウェア
(Situated Software – Clay Shirky (2004))

2004年3月、クレイ・シャーキーはエッセイの中で「状況に応じたソフトウェア」という概念について論じました。彼はニューヨーク大学のインタラクティブ・テレコミュニケーション・プログラムで教えており、学生たちは技術とアートを融合させています。シャーキーは、状況に応じたソフトウェアは特定の社会的文脈に合わせて設計されていると指摘し、従来のソフトウェアが広範なスケーラビリティや一般的な使用を目指すのとは対照的であると述べています。

まず、状況に応じたソフトウェアは特定の社会集団に向けられており、一般的なオーディエンスを対象にするのではありません。そのため、小規模なユーザーベース向けに開発しやすく、開発コストも低く抑えられることが多いですが、意図した文脈の外ではうまく機能しないことがあります。

シャーキーは「Teachers on the Run」というアプリの成功例を挙げています。このアプリは学生たちが教授を評価するために作成したもので、RateMyProfessors.comのような他の選択肢よりもシンプルですが、ITPコミュニティ内で繁栄しました。

学生たちが開発するプロジェクトは、しばしば既存の社会的ダイナミクスやインフラを活用しています。例えば、評判システムや共同の関心を利用することで、特定のユーザーグループにとってより関連性が高く、機能的なものになります。

シャーキーは、技術の進歩やインターネットユーザーの増加により、以前の制約が緩和され、より個人的で地域に特化したソフトウェア開発が可能になったと指摘しています。

将来的には、小規模で目的に特化したアプリケーションが増加すると予想しています。これらは従来のソフトウェアと同じような長寿命や大規模なユーザーベースを持たないかもしれません。この変化は、特定のコミュニティやニーズにおけるソフトウェアの役割に対する新たな理解を反映しています。

全体として、シャーキーは状況に応じたソフトウェアがソフトウェア開発における重要な新たなトレンドを示しており、スケーラビリティや一般性よりもコミュニティの関連性や特定のユーザーのニーズを優先していると主張しています。

投稿者: Quizzical4230 | スコア: 22

42.
Picture gallery: Amiga prototype "Lorraine" at the Amiga 40 event
(Picture gallery: Amiga prototype "Lorraine" at the Amiga 40 event)

要約がありません。

投稿者: doener | スコア: 161

43.
イロブロブ
(Iroh-blobs)

Iroh-blobs 0.95のアップデートでは、blobsプロトコルやIroh全般のユーザーにとって重要な機能がいくつか追加されました。

新しい接続プール機能により、複数のエンドポイントへの接続を管理し、同時接続数を制限することができます。これにより、過剰な接続を防ぎ、リソースを効率的に利用できるようになります。基本的な使い方は、必要に応じて接続を取得または確立するためのプールを作成することです。

ユーザーは、アイドルタイムアウトや接続タイムアウト、保持する接続の最大数など、さまざまなパラメータを設定できるようになりました。また、接続を使用する前にチェックを行う機能も追加され、パフォーマンスと信頼性が向上します。

新たに追加された特性により、送信および受信ストリームを圧縮・解凍するためにラップすることが可能になりました。これにより、データの取り扱いが改善され、不要なコピーを作成することなくデータストリーム全体を圧縮することができます。

プロバイダー側のイベントも強化され、プロバイダーのアクションに関する詳細な通知が提供されるようになりました。これにより、どのリクエストを処理するかをより細かく制御できるようになります。

今後のアップデートでは、複数のプロバイダーからのblobのダウンロードを改善する機能が追加される予定です。これらの機能の多くは、Iroh 1.0がリリースされると、別のIrohユーティリティクレートに移行される予定です。

全体として、これらのアップデートはIroh-blobsの効率性と使いやすさを向上させ、開発者にとってより強力なツールとなることを目指しています。

投稿者: janandonly | スコア: 120

44.
MCPサーバー脆弱性スキャン
(MCP-Scanner – Scan MCP Servers for vulnerabilities)

MCPスキャナーは、MCP(モデルコンテキストプロトコル)サーバーやツールのセキュリティ問題を特定するために設計されたPythonツールです。このツールは、Cisco AI Defense inspect API、YARAルール、LLM-as-a-judgeの3つのスキャンエンジンを組み合わせて、悪意のあるツールを効果的に検出します。

主な特徴としては、コマンドラインインターフェース(CLI)ツールまたはREST APIサーバーとして使用できる複数のモードがあります。また、3つのスキャンエンジンを一緒に使用することも、個別に使用することも可能です。MCPツール、プロンプト、リソースのセキュリティ脆弱性を包括的にチェックします。詳細な認証オプションも提供しており、OAuthのサポートも含まれています。ユーザーは特定のパターン検出のために独自のYARAルールを追加することができ、セキュリティの発見に関する詳細なレポートを提供します。

インストールには、Python 3.11以上が必要で、uvパッケージマネージャーも必要です。オプションとして、Cisco AI Defense APIキーとLLMプロバイダーAPIキーがあります。

クイックスタートとしては、まず環境とAPIの設定を行い、CLIコマンドを使用してローカルまたはリモートのMCPサーバーをスキャンします。スキャナーは、ツール、プロンプト、リソースをさまざまな形式(要約、詳細、表形式など)で出力することができます。

MCPスキャナーは、アプリケーションへの統合のためにREST APIも提供しており、ツール、プロンプト、リソースをスキャンするためのさまざまなエンドポイントと健康チェック機能をサポートしています。

詳細な情報については、プロジェクトのディレクトリにあるドキュメントを参照できます。これには、システムアーキテクチャ、認証、プログラム的な使用法、APIリファレンスが含まれています。

プロジェクトリンクはMCPスキャナーのGitHubページで、ライセンスはApache 2.0ライセンスです。

投稿者: hsanthan | スコア: 162

45.
AIコーディングの新常識
(The new calculus of AI-based coding)

過去三ヶ月間、ジョー・マゲラモフと彼のエンジニアチームは、アマゾン・ベドロックでアマゾンQやキロといったAIエージェントの助けを借りてソフトウェアを開発してきました。彼らは「エージェンティックコーディング」と呼ばれる手法を用いており、AIが人間のエンジニアと協力し、すべてのコードがコミットされる前に人間によってレビューされ、承認されることを確実にしています。

ジョーは、彼のコードの約80%がAIによって生成されていると述べており、これにより生産性が大幅に向上しています。彼のチームは、通常の高性能チームの10倍の速度でコードを作成しています。しかし、この速度の向上はバグの頻発という懸念を引き起こします。より多くのコードがコミットされることで問題が増える可能性があるため、ジョーは迅速なテストとフィードバックループの改善が必要だと強調しています。

テストを強化するために、ジョーは航空業界で使われる手法を推奨しています。具体的には、高精度のシミュレーションや「風洞」スタイルのテストです。彼のチームは、ソフトウェアを効果的にテストするために外部システムの偽のバージョンを実装しています。

また、チーム内のコミュニケーションの重要性も強調しています。コーディングの速度が上がるにつれて意思決定が増えるため、迅速な対面での議論が遅延を最小限に抑え、調整のボトルネックを避けるのに役立ちます。

最終的に、ジョーはエージェンティック開発の利点を最大限に活用するためには、ソフトウェア開発のライフサイクルを進化させる必要があると考えています。これには、テスト、デプロイメント、コミュニケーション戦略を再設計し、コード生産の速度に追いつくことが含まれます。本当の機会は、AIを使ってコードを書く速度を上げるだけでなく、高度なエンジニアリングプラクティスを実現可能で効果的にすることにあります。

投稿者: todsacerdoti | スコア: 168

46.
画像のディザ技術
(Image Dithering: Eleven Algorithms and Source Code (2012))

この記事では、ディザリングという技術について説明しています。ディザリングは、限られた色数のディスプレイを扱うためにグラフィックスプログラミングで使用される手法で、現代の技術においても重要です。この技術は、古いコンピュータやプリンターなど、色数が少ないデバイスで画像の見栄えを改善するのに役立ちます。利用可能な色を混ぜ合わせることで、存在しない色の錯覚を生み出し、画像をより詳細に見せることができます。

ディザリングとは、利用可能な色を混ぜ合わせて色を近似する技術です。特にウェブデザインや印刷において、色数を減らしながらも品質を損なわずに画像を表現するのに役立ちます。

ディザリングは主に誤差拡散に依存しています。これは、色の近似から生じた誤差を隣接するピクセルに広げることで、元の画像の表現を改善する方法です。

二次元の誤差拡散は、一方向のアプローチとは異なり、誤差を水平方向と垂直方向の両方に広げます。これにより、出力における気になるパターンを最小限に抑えることができます。

この記事では、フロイド・スタインバーグをはじめとする11のディザリングアルゴリズムが紹介されています。フロイド・スタインバーグは、周囲のピクセルに誤差を広げることで知られたアルゴリズムです。また、ジャービス、ジュディス、ニンケは、フロイド・スタインバーグよりも複雑で滑らかな結果を提供します。さらに、スタッキ、アトキンソン、バークスなどの他のアルゴリズムも、品質や処理速度を向上させるためのさまざまな技術を用いてディザリングを強化しています。

ディザリングの品質には、誤差追跡方法や色のにじみの軽減、処理の方向など、いくつかの要因が影響します。

著者は、さまざまなアプリケーションに適応できる汎用ディザリングエンジンのコードも紹介しています。これにより、カラー画像を含むさまざまな用途に利用可能です。

全体として、ディザリングはグラフィックスにおいて重要な技術であり、限られた色数のデバイスでも画像が視覚的に魅力的であり続けることを保証します。

投稿者: Bogdanp | スコア: 107

47.
全天候ドライバー育成
(Creating an all-weather driver)

Waymoは、雪や氷などの冬の条件を含むさまざまな天候に対応できる信頼性の高い自動運転システムの開発に取り組んでいます。現在の技術では、Waymoの自動運転車は雨や霧などの厳しい気象条件をすでに乗り越えていますが、今後は雪や氷への対応力を強化することを目指しています。

雪は、軽い積もりから激しい吹雪まで、さまざまな課題をもたらします。Waymoは、ニューヨーク州北部やミシガン州などの雪の多い地域で技術をテストし、豊富な経験を積んできました。

Waymoの自動運転システムは、カメラ、レーダー、ライダーといった高度なセンサーを使用して周囲を認識し、さまざまな条件で効果的に運転できるよう設計されています。この技術により、リアルタイムの道路状況に応じて運転を適応させることが可能です。

Waymoは、実際の運転や閉鎖されたコースでのテスト、シミュレーションを通じて技術の安全性と効果を検証しています。特に冬の天候においても安全に運転できることを確認しています。

サービスを拡大する中で、Waymoは安全性と乗客の体験を最優先に考え、冬の条件に合わせて運行を調整し、寒冷地でも運転できるように車両を準備しています。Waymoは、特に冬の間も信頼できる交通手段を提供し続けることを目指し、自動運転技術の開発と改善を進めています。

投稿者: boulos | スコア: 117

48.
トゥーン:トークン指向オブジェクト
(TOON – Token Oriented Object Notation)

TOONは、構造化データを効率的に大規模言語モデル(LLM)に渡すために設計された新しいフォーマットです。従来のJSONなどのフォーマットよりも少ないトークンで済むように最適化されています。TOONはLLMへの入力専用で、同じ構造を持つ複数のフィールドを含むデータに特化しています。

TOONの主な特徴には、トークンの効率性があります。JSONよりも30~60%少ないトークンを使用します。また、ホワイトスペースを利用して構造を整理しているため、読みやすさが向上しています。句読点を最小限に抑えているため、フォーマットがすっきりとしています。さらに、タブular配列を使用することで、キーを一度定義するだけでデータ行の繰り返しを避けることができます。

具体例として、JSONとTOONの比較があります。JSONでは、ユーザー情報を含むデータが26,379トークンを使用しますが、TOONでは同じ情報を13,418トークンで表現できます。TOONは、さまざまなデータセットにおいてJSONやXMLと比較して大幅にトークンを節約し、データ取得タスクの精度も向上させます。均一な構造や大規模な配列に対して優れた性能を発揮し、特定のデータタイプに最適です。

TOONは、効率性と人間の可読性が重要なLLMへの入力に推奨されます。一般的なAPIやデータストレージのJSONの代替としてではなく、構造化データの入力専用のフォーマットとして使用されます。TOONは、さまざまなプログラミング環境(例えば、npmやPython)で簡単なコマンドでインストールできます。

TOONは、LLM向けに構造化データをフォーマットするためのコンパクトで効率的な方法であり、トークンの使用と可読性を改善します。AIアプリケーションにおいて貴重なツールとなるでしょう。

投稿者: royosherove | スコア: 152

49.
アップル、サービス収益1000億ドル突破へ!
(Apple's Services Revenue Expected to Top $100B for First Time)

アップルのサービス収益が初めて1000億ドルを超える見込みで、昨年は約1086億ドルに達し、前年より約13%の増加となります。この収益は、ディズニーやテスラの年間売上を上回る規模です。アナリストによると、サービス部門はアップルの収益の4分の1、利益の最大50%を占める可能性があります。

アップルのサービスには、App Store、iCloud、Apple Music、Apple TV+、Apple Arcade、AppleCare、Apple Payが含まれています。また、アップルデバイスのデフォルト検索エンジンとしてグーグルとの重要な契約があるため、恩恵を受けています。

App Storeの運営に関する法的な課題に直面しているにもかかわらず、アナリストはサービス部門の成長を予測しています。特に、最近のフォーミュラ1レースのストリーミング契約など、ライブスポーツへの進出が期待されています。10年後には、サービスがアップルの総収益の30%以上を占め、1750億ドルに達する可能性がある一方で、iPhoneの売上は会社全体の収益の約50%を維持すると見込まれています。

投稿者: mgh2 | スコア: 9

50.
値渡しのコスト
(Pass-by-Value Overhead)

データをプログラミングで渡す際のパフォーマンスについて、特に値渡しと参照渡しのどちらを使うべきかが議論されています。著者は好奇心から、これらの方法がどれほど効率的かを調べるために、ベンチマークを実施しました。対象はC言語とx86アセンブリです。

著者は、値渡しによるデータのコストを理解するために、グラフ作成ライブラリとベンチマークを作成することにしました。一般的な発見として、256バイト以下の小さな構造体を値渡しするのは非常に効率的で、特別なレジスタを使用します。一方、256バイトを超える大きな構造体の場合、rep movsという方法が使われますが、これにはパフォーマンスの問題があります。

特定のサイズの構造体を渡す際には、パフォーマンスが著しく低下することが見られます。例えば、4065バイトの構造体は4064バイトのものよりもかなり時間がかかります。この問題は、特定のAMD CPUの動作に関連しているようで、マイクロコードに潜在的なバグがあることを示唆しています。

結論として、256バイトまでの構造体は安価で迅速に渡すことができますが、4046バイトから4080バイト、8161バイトから8176バイトのサイズは避けるべきです。特にAMD Ryzen CPUでは注意が必要です。ベンチマークでは、数百万の小さな構造体を迅速に渡すことが可能ですが、大きな構造体はパフォーマンスを大幅に低下させる可能性があります。

投稿者: todsacerdoti | スコア: 53

51.
JSONクエリ
(JSON Query)

著者は、ユーザーがJSONドキュメントを照会できるツールを開発しています。この作業において、jqの機能を高く評価していますが、自分自身で必要なjqコマンドを作成するのに苦労しています。そこで、同じような課題に直面した他の人々にアドバイスを求めており、どのようなツールやプログラミング言語を使ってこの機能をユーザーに提供したのかを尋ねています。

投稿者: wofo | スコア: 140

52.
ミゼと相性抜群のFnox
(Fnox, a secret manager that pairs well with mise)

新しい秘密管理ツール「fnox」が発表され、開発者が機密データを管理する方法が向上しました。このツールは「mise」と連携して動作します。

fnoxの主な機能には、さまざまな環境(開発、CI/CD、本番)向けの暗号化された秘密を管理する「秘密管理」、AWS Secrets ManagerやAzure Key Vaultなどのクラウドサービスやパスワードマネージャーをサポートする「リモートストレージ」、複数のユーザーが個別のキーを使って同じ秘密に安全にアクセスできる「チームコラボレーション」、シェルコマンドやオフライン機能を使ってワークフローに簡単に統合できる「開発者フレンドリー」があります。

fnoxを使う理由は、miseが基本的な秘密管理を提供する一方で、fnoxはより複雑なニーズに対応し、開発プロセスを遅らせることなく機密情報への安全で効率的なアクセスを提供する点です。

インストールと設定は簡単で、ユーザーはシンプルなコマンドを使って秘密を作成・管理できます。

fnoxとmiseは独立して動作しますが、互いに補完し合う関係にあります。fnoxは秘密管理に特化し、miseは環境設定を担当します。

fnoxは開発ワークフローにおける秘密管理のための堅牢なソリューションを提供するよう設計されており、既存のツールの限界を克服します。詳細については、GitHubのページやドキュメントを参照するように案内されています。

投稿者: bpierre | スコア: 171

53.
高速スタックコルーチン
(Stackful Coroutine Made Fast)

「Stackful Coroutine Made Fast」という記事では、スタックフルコルーチンの改善について述べています。スタックフルコルーチンは、関数が実行を一時停止し、再開できるプログラミングの構造です。この記事では、これらのコルーチンをより速くすることに焦点を当てており、プログラミング作業における効率とパフォーマンスを向上させることを目指しています。内容は簡潔で明瞭であり、これらの進展をわかりやすく説明することを目的としています。

投稿者: todsacerdoti | スコア: 5

54.
PSF、150万ドル提案撤回
(PSF has withdrawn $1.5M proposal to US Government grant program)

テキストを提供してください。翻訳いたします。

投稿者: lumpa | スコア: 674

55.
子供にハッキングを教える理由
(Why I'm teaching kids to hack computers)

ポール・ハドソンは、若い頃に好奇心と実験を通じてコンピュータについて学んだ経験を振り返っています。彼は、現代の若者にも同様の学びの機会を提供するために、ハッキングスキルを楽しく体系的に教えるゲーム「ハクティベート」を作りました。このゲームは、13歳以上の子供たちを対象としています。

ハクティベートには、SQLインジェクションや暗号学、ステガノグラフィーなどのトピックを扱った240のチャレンジが含まれています。これらは、古典的なゲームの要素と現実のサイバーセキュリティスキルを組み合わせています。多くの既存のハッキングリソースは、理論的すぎたり、アクセスが限られていたり、指導が不足していることが多いですが、ハクティベートはこれらのギャップを埋めることを目指しています。

このゲームはAppleデバイスで動作し、データ処理や暗号学、ブラウザの脆弱性、ターミナルコマンド、ネットワーキングなどを教えるさまざまなチャレンジが用意されています。すべては安全なサンドボックス環境内で行われます。また、アプリはプライベートで、広告やトラッカーはありません。将来的には、スクリーンリーダーのサポートを強化し、リーダーボード機能を追加する予定です。

ハドソンの目標は、悪意のある目的のためにハッカーを育てることではなく、サイバーセキュリティへの興味を喚起し、子供たちがオンラインで自分を守るためのスキルを学ぶ手助けをすることです。ハクティベートはApp Storeで利用可能で、10の無料チュートリアルチャレンジと追加コンテンツをアンロックするための有料オプションがあります。ハドソンは、このゲームがサイバーセキュリティについての学びを楽しいものにし、生徒たちに貴重なスキルを身につけさせることを期待しています。

投稿者: twostraws | スコア: 266

56.
GLP-1 Therapeutics: Their Emerging Role in Alcohol and Substance Use Disorders
(GLP-1 Therapeutics: Their Emerging Role in Alcohol and Substance Use Disorders)

要約がありません。

投稿者: PaulHoule | スコア: 32

57.
整列ライブラリZig
(Ordered – A sorted collection library for Zig)

Zigでソートされたコレクションのためのライブラリの初期バージョンを作成しました。ソートされたコレクションは、データを特定の順序で保持するもので、Javaのjava.util.TreeMapやC++のstd::mapのような構造を含みます。これらは、個々のアイテムを素早く見つけたり、範囲検索を行ったりするのに便利です。このライブラリはGitHubで公開しています。リンクはこちらです: GitHubリポジトリ

投稿者: habedi0 | スコア: 17

58.
無限3Dワールド生成
(WorldGrow: Generating Infinite 3D World)

WorldGrowは、無限の3D環境を生成する新しい手法です。この方法では、小さなブロックから始めて、全体のレイアウトと詳細な特徴を組み合わせるプロセスを通じて、世界を拡張していきます。生成された空間は、ナビゲーションが容易にできるように設計されています。

WorldGrowの特徴として、無限でリアルな3D世界を生成できる点があります。環境は、単一のシードブロックから階層的なフレームワークを通じて成長します。また、生成されたシーンは歩行可能で、計画やナビゲーションに適しています。現在、このプロジェクトは開発中であり、今後、公開コードや追加リソースの提供が予定されています。生成された屋内世界の大規模な例も示されています。

詳細については、プロジェクトページを訪れると、ビジュアルやメトリクスを確認できます。

投稿者: cdani | スコア: 83

59.
ブロックチェーンの秘密
(Full details of how blockchain blocks are chained together)

ブロックチェーンは、前のブロックの暗号学的ハッシュを含めることでブロックをつなげていますが、この説明はプロセスを単純化しすぎています。ビットコインのブロック920993と920994を詳しく調べると、920994ブロックには920993ブロックの全体ではなく、ヘッダーのハッシュが含まれていることがわかります。

ビットコインのブロックのヘッダーは、特定のバイトで構成されており、ユニークなマジックナンバーから始まります。最初の80バイトがよく参照されますが、完全なヘッダーは技術的には5バイト目から84バイト目までです。ヘッダーのハッシュを求めるために、ビットコインはダブルSHA256ハッシュ法を使用します。

920993ブロックのヘッダーのハッシュを計算すると、結果のハッシュが多くのゼロで終わることがわかります。これは、マイナーがブロックをブロックチェーンに追加するために解決しなければならないプルーフ・オブ・ワークプロセスによるものです。また、ハッシュ内のバイトの順序は逆になっており、これはリトルエンディアン形式と呼ばれています。

要するに、あるブロックのハッシュが次のブロックのヘッダーに使用される一方で、ハッシュプロセスやブロックの相互接続には複雑な要素が存在します。

投稿者: ibobev | スコア: 14

60.
私たちの世界
(This World of Ours (2014) [pdf])

著者はセキュリティ研究の複雑さや不条理について考えを述べており、ユーモアや皮肉を交えています。

まず、著者は暗号技術やセキュリティに関するメールが非常に複雑で、日常生活には関係のない内容に感じることを指摘しています。セキュリティ研究者を、非現実的なシナリオに備えて訓練するアスリートに例え、彼らが obscureな脅威に過度に焦点を当てていると批判しています。実際には、強くて覚えやすいパスワードを作るような実用的な解決策にもっと注目すべきだと述べています。

また、セキュリティ理論と現実のアプリケーションとの間にギャップがあることも強調しています。研究者が高度なトピックを議論している一方で、一般の人々は基本的なパスワード管理に苦労しているのです。

著者はセキュリティの脅威を二つのカテゴリーに分けています。一つは深刻な脅威(例えばモサドのような組織)で、もう一つは日常的な懸念(元パートナーがメールをハッキングするなど)です。ほとんどの人は強力なパスワードと常識を使うことで自分を守れると主張しています。

さらに、著者は安全なシステムを実装する際の複雑さについても言及し、公開鍵システムに関する研究者の非現実的な前提や、一般ユーザーがそれを管理できるという考えを批判しています。

ユーモアを交えながら、著者はセキュリティ実践の非現実的な側面に対するフラストレーションを表現し、技術においてよりユーザーフレンドリーな解決策が必要であると訴えています。セキュリティ研究者には、実際のユーザーのニーズに応える実用的でアクセスしやすい解決策に焦点を移すことが求められています。

投稿者: xeonmc | スコア: 239

61.
ナイジェリアのGMO受容
(Why Nigeria accepted GMOs)

この記事では、ナイジェリアやグローバルサウスにおける遺伝子組み換え生物(GMO)の受け入れが高まっていることについて、特に気候変動や食料安全保障といった課題への対応として取り上げています。

農業は何千年にもわたり進化してきました。人間はより良い作物を得るために種を選んできましたが、現在の課題は、限られた資源を使いながら食料生産を増やすことです。気候変動は農業にとって脅威であり、耕作可能な土地や水の利用可能性が減少しています。それにもかかわらず、世界の人口は増え続けています。

遺伝子技術の進歩、特にCRISPRのような遺伝子編集技術により、科学者たちは干ばつや害虫に強い改良作物を作り出すことが可能になりました。これにより、環境への影響を抑えつつ、より高い収穫量が期待できます。

ナイジェリアは以前はGMO作物に対して抵抗がありましたが、2019年にBtカウピの栽培を承認しました。この作物は成功を収め、経済的にも利益をもたらしています。その後、干ばつや害虫に強いように設計されたTELAトウモロコシが導入されました。

GMO技術の成功した導入には、公共の教育と規制機関への信頼が必要です。ナイジェリアでは、農家をプロセスに巻き込み、安全性と透明性を確保する努力がなされています。グローバルノースとは異なり、ナイジェリアは食料不安に直面しており、GMO技術の導入が急務となっています。

他のグローバルサウスの国々でもGMOの受け入れが始まっており、世界の農業慣行は相互に関連しています。GMO作物は、自国で栽培していない国でも輸入されています。

ナイジェリアのような国がGMO技術を採用することで、新しい農業技術から生じる課題を管理し、日常生活に統合する重要性が浮き彫りになっています。民主的な説明責任を促進することで、GMO技術に対する公共の信頼を築くことができ、より広範な受け入れに繋がると示唆されています。

投稿者: surprisetalk | スコア: 69

62.
午前2時・3時の避け方
(Avoid 2:00 and 3:00 am cron jobs (2013))

日曜日の午前2時や午前3時にcronジョブを設定するのは避けた方が良いです。これは、夏時間の変更による問題があるためです。夏時間が始まったり終わったりする際に、cronジョブが短時間に複数回実行されることがあり、混乱や余分なメールが発生する可能性があります。例えば、午前3時に設定されたジョブは、夏時間の変更時に何度も実行されることがあります。

この問題を防ぐためには、サーバーのタイムゾーンをUTCに設定することを検討すると良いでしょう。これにより、夏時間の変更を完全に避けることができます。また、最も良い解決策は、夏時間を完全に廃止することです。より良いジョブスケジューリングツールが広く普及するまで、これらの時間帯にcronジョブを設定するのは避けるのが安全です。

投稿者: pera | スコア: 314

63.
RustのクロスプラットフォームGPU部品
(Rust cross-platform GPUI components)

GPUIコンポーネントは、Rustを使用してデスクトップアプリケーションを作成するためのツールキットです。主な特徴は以下の通りです。

まず、豊富なUIコンポーネントがあり、macOSやWindowsのデザインにインスパイアされた60以上のクロスプラットフォームのUIコンポーネントを提供しています。これらのコンポーネントはシンプルで、状態を持たないため、使いやすさが特徴です。また、複数のテーマや設定をサポートしており、カスタマイズが可能です。

レイアウトも柔軟で、さまざまなパネル配置やサイズ変更オプションが用意されています。高性能で、大規模なデータセットを効率的に処理できるように設計されており、仮想化されたテーブルやリストを利用しています。さらに、Markdownや基本的なHTMLをネイティブでレンダリングできる機能も備えています。

データの可視化のためのチャートツールも含まれており、強力なコードエディタは最大20万行をサポートし、構文ハイライトなどの機能を提供しています。

GPUIコンポーネントを使用して最初に開発されたアプリケーションはLongbridge Proで、マルチテーマのサポートを示しています。現在、GPUIとGPUIコンポーネントはまだ開発中で、ユーザーは使用するために依存関係を手動で追加する必要があります。

実験的なWebView要素も利用可能ですが、特定の機能フラグを有効にする必要があります。アイコンも含まれていますが、ユーザーは必要に応じて独自のSVGファイルを追加することができます。

他のフレームワーク、例えばIcedやQTと比較すると、GPUIコンポーネントはモダンなUIスタイル、チャートサポート、Tree Sitterを使用した構文ハイライトなどのユニークな特徴が際立っています。ツールキットはApache 2.0ライセンスの下で提供されています。

さらなる例や詳細については、ギャラリーや提供されているドキュメントを参照することをお勧めします。

投稿者: xvilka | スコア: 493

64.
エルドス:AIデータ科学IDE
(Erdos – open-source, AI data science IDE)

Lotasのホルヘとウィルは、AIを活用したオープンソースのデータサイエンスIDE「Erdos」を開発しました。このツールは、Python、R、SQL、Juliaに対応しており、データサイエンスのコミュニティ全体に適しています。

Erdosの主な機能には、さまざまなファイルタイプを読み書きし、検索できるAIが含まれています。また、Python、R、Julia用の組み込みコンソールや、視覚化を整理するためのプロットペイン、SQLやFTPデータソース用のデータベースペイン、変数やパッケージを管理するための環境ペインも備えています。さらに、Python、R、Juliaのドキュメントへのアクセスや、SSHやコンテナを通じたリモート開発機能も提供されています。簡単にサインインできるAIアシスタントも用意されています。

Erdosは、データサイエンティストにとって使いやすい体験を提供することを目指しています。既存のIDEはソフトウェア開発者向けに設計されていることが多いため、データサイエンティストにとっては使いづらいことがあります。Erdosは公式ウェブサイトやGitHubで試すことができ、ソースコードも公開されています。ユーザーからのフィードバックは、ツールのさらなる改善に役立てられます。

投稿者: jorgeoguerra | スコア: 78

65.
ウェルビーイング日記
(Dlog – Journaling and AI coach that learns what drives wellbeing (Mac))

ヨハンは、ユーザーが自分の性格や日々の経験、幸福感を時間をかけて追跡できるジャーナリングアプリ「Dlog」を開発しました。このアプリは、彼の起業家の幸福に関する博士研究に基づいています。

Dlogの使い方は簡単です。ユーザーは日記をつけたり目標を設定したりできます。アプリは、入力された内容を分析して感情を評価し、個人のモデルを更新します。また、構造方程式モデル(SEM)を使用して、毎週の幸福感に影響を与える要因を評価します。AIコーチは、ユーザーのデータに基づいて、仕事に最適な時間などの個別のアドバイスを提供します。

Dlogは、いくつかの問題を解決します。多くのAIコーチは、個々の性格を考慮せずに一般的なアドバイスを提供します。また、従来のジャーナリングでは幸福感に影響を与えるパターンを明らかにできません。既存の幸福アプリは、個人の違いを見落としがちです。

ヨハンの研究によると、性格特性やその他の要因は、時間とともに各人に独自の相互作用を持つことがわかりました。Dlogは、これらのユニークな相互作用から学ぶことを目指しており、平均的な解決策を提供するのではありません。

Dlogの主な特徴は、ローカルでのジャーナリングと週ごとの分析を組み合わせていることです。ユーザーは、自分の目標や経験に基づいたカスタマイズされた提案を受け取ります。

初期のユーザーからは、ジャーナリングから得た洞察を基に仕事のスケジュールを調整することで、気分や生産性が向上したというポジティブなフィードバックが寄せられています。

技術的な詳細として、アプリはmacOSで利用可能で、データはローカルに保存されます。AIコーチは、高度な推論を行い、ジャーナルの生データをデバイス外に送信することはありません。ユーザーは、コーチがアクセスするデータを管理できます。

ヨハンは、オンボーディングプロセスやコーチのガイダンスの有用性、分析の正確性についてのフィードバックを求めています。

Dlogは最初の14日間は無料で、その後は月額1.99ドルです。ただし、HNの読者はヨハンに直接連絡することで、無料の生涯ライセンスを取得できます。

デモを見たい方は、Dlogのデモ動画を訪問するか、アプリをダウンロードしてください。

投稿者: dr-j | スコア: 42

66.
バイブ拒否宣言
(Your vibe coded slop PR is not welcome)

AIコーディングツール、特にGitHub Copilotの登場により、コードを迅速に生成することが容易になりましたが、オープンソースのメンテイナーにとっては新たな課題も生まれています。AIが生成したコードのレビューは非常に時間がかかるため、メンテイナーが貴重な貢献に費やす時間が減ってしまいます。

この状況を管理するためには、AIを活用した貢献に関する明確な枠組みが必要です。この枠組みでは、提出物を二つのタイプに分けるべきです。一つ目は「プロトタイプ」で、これはアイデアを示すための簡単なデモであり、コーディング基準を満たさず、問題を抱えている可能性があります。プロトタイプは探索や議論のためのもので、正式なレビューには適していません。二つ目は「レビュー可能なプルリクエスト(PR)」で、これはプロジェクトのガイドラインに従い、完全にテストされた貢献です。これらは徹底的なレビューの準備が整っています。

メンテイナーは、提出物がプロトタイプか完全なPRかに焦点を当てることで、自分の時間を守るべきです。プロトタイプはPRとして提出するべきではなく、貢献者はアイデアを伝えるためにブランチや動画を通じて共有することが望ましいです。

プロトタイピングはよりアクセスしやすくなり、プロダクトマネージャーやデザイナーなど、さまざまな役割の人々がアイデアを試すことができるようになりました。しかし、チームはプロトタイプを使用するタイミングやラベル付けについて慎重に考慮し、混乱や不満を避ける必要があります。

要するに、AIツールは創造性やスピードを向上させることができますが、貢献者はレビューのプロセスやメンテイナーの時間を尊重し、プロトタイプと正式な貢献を明確に区別することが重要です。

投稿者: keybits | スコア: 198

67.
マイクロソフト訴訟 365の誤解
(Microsoft in court for allegedly misleading Australians over 365 subscriptions)

2025年10月27日、オーストラリア競争・消費者委員会(ACCC)は、マイクロソフトオーストラリアとその親会社を提訴することを発表しました。この訴訟は、AIアシスタント「Copilot」の導入後に、マイクロソフト365のサブスクリプションオプションや価格の引き上げについて誤解を招かれた可能性のある約270万人のオーストラリアの顧客に関するものです。

ACCCは、2024年10月31日以降、マイクロソフトがMicrosoft 365のパーソナルおよびファミリープランの加入者に対し、Copilotを統合した高価格のプランを受け入れるか、サブスクリプションをキャンセルするかの二択を提示したと主張しています。しかし、実際には「クラシック」プランという第三の選択肢があり、これを利用すればCopilotなしで既存の機能を低価格で維持できたにもかかわらず、この情報は明確に伝えられていませんでした。

マイクロソフトのメッセージにはクラシックプランについての言及がなく、加入者はキャンセル手続きを始めた後に初めてこの選択肢を知ることになりました。ACCCは、マイクロソフトがこの情報を隠して、より多くの顧客を高価格プランに誘導しようとしたと考えています。

Copilotの統合以降、Microsoft 365のパーソナルプランの価格は45%(109ドルから159ドルへ)、ファミリープランは29%(139ドルから179ドルへ)上昇しました。ACCCは、誤解を招く情報によって経済的損害を被った消費者への罰金や補償を求めています。

この訴訟は、家庭用のMicrosoft 365パーソナルおよびファミリープランに焦点を当てており、ビジネス向けのプランは含まれていません。オーストラリア消費者法に違反した場合の最大の罰金は、裁判所の判断によって大きな額になる可能性があります。

ACCCは、企業に対し、消費者法を遵守するためにサービスに関する正確な情報を提供するよう呼びかけています。

投稿者: edwinjm | スコア: 288

68.
自動筆記と検出
(Artificial Writing and Automated Detection [pdf])

ブライアン・ジャバリアンとアレックス・イマスによるこの作業論文は、人工知能(AI)ツールを用いた文章生成の増加と、人間が書いたテキストとAIが生成したテキストを区別するための効果的な検出方法の必要性について論じています。

AIによって生成されたテキストが教育や消費者レビューなどさまざまな分野で一般的になっているため、書かれた作品の信頼性を確保する必要性が高まっています。効果的な検出は、課題やレビューの基準を維持するのに役立ちます。

この論文では、検出ツールを評価するための重要な指標として、二つの統計に焦点を当てています。一つは「誤検出率(FNR)」で、AI生成テキストが人間のものと誤って識別される割合を示します。もう一つは「誤陽性率(FPR)」で、人間が書いたテキストがAI生成のものと誤って識別される割合です。

著者たちは、商業用の検出ツールであるPangram、OriginalityAI、GPTZeroの三つと、オープンソースのツールであるRoBERTaを評価しました。その結果、Pangramは他のツールに比べて大幅に優れた性能を示し、さまざまなタイプのテキスト、特に短い文章において非常に低いFNRとFPRを達成しました。

論文では、意思決定者が特定のニーズに基づいて許容できる誤陽性と誤検出のレベルを設定できるフレームワークを紹介しています。Pangramは、厳しい検出要件を効果的に満たす唯一のツールとして強調されています。

AI生成テキストの検出にはトレードオフが伴います。検出の閾値を低く設定すると、より多くのAIテキストを捕捉できる一方で、より多くの人間のテキストが誤ってフラグされる可能性もあります。閾値の選択は、誤検出を最小限に抑えることと誤陽性を最小限に抑えることのどちらを優先するかによって異なります。

著者たちは、AI技術が進化する中で、検出ツールの継続的な監視と適応の必要性を強調しています。検出ツールのパフォーマンスを定期的に監査し、ポリシーを調整して効果的な基準を維持することが提案されています。

この研究は、AI生成の文章に対処しながらAI検出ツールを導入しようとする機関や企業にとって、重要な洞察を提供しています。

投稿者: mathattack | スコア: 45

69.
『モビー・ディック 800万部』
(Eight Million Copies of Moby-Dick (2014))

ニコラス・ムガベロの『モビー・ディック、またはクジラ』の八百万部は、全ページがテキストではなくグレーのパターンだけで構成された独特な本です。最初は混乱を招く内容ですが、ハーマン・メルヴィルのオリジナル『モビー・ディック』の表紙を模しており、読者に期待感を与えます。ページをめくるにつれて、繰り返されるパターンに対してフラストレーションを感じるかもしれません。これは、キャプテン・エイハブのクジラへの執着に似ています。

この本は、読者が意味を求める過程についての考察を提供し、私たちの持続力や自我について考えさせます。この体験は、誤解を招くIQテストを受けるようなもので、努力すればするほど得られるものが少なくなるという感覚を味わいます。最終的に、ムガベロの作品は、読者が『モビー・ディック』について直接語るのではなく、自分自身の動機や期待に向き合うことを促します。これは、読書体験そのものを探求する、フラストレーションと洞察に満ちた作品です。

投稿者: awalias | スコア: 39

70.
データセンター隣生活
(Life next to 199 data centres)

バージニア州ラウドン郡には199のデータセンターがあり、住民はこれらの施設による騒音公害や電気料金の上昇に悩まされています。データセンターは地元経済に数十億ドルの貢献をし、数千の雇用を生み出すなど、経済的な利点が大きい一方で、多くの住民は生活の質への影響を懸念しています。これらのセンターは広大な土地を占有し、環境を破壊し、住民が大切にしている穏やかな郊外の生活様式を脅かしています。地元住民の反対にもかかわらず、データセンター業界は政府関係者などの強力な支持者によって支えられており、特に人工知能の分野での経済成長の可能性が期待されています。エミリー・カサビアンのような住民は、新たな開発に反対するために積極的にロビー活動を行っており、データセンターの急速な拡大がコミュニティの魅力や住みやすさをさらに損なうことを恐れています。

投稿者: easton | スコア: 62

71.
古典力学の解釈
(Structure and Interpretation of Classical Mechanics (2014))

このテキストは、ジェラルド・ジェイ・サスマンとジャック・ウィズダムによって書かれた古典力学の包括的なガイドです。いくつかの重要なセクションに分かれています。

まず、ラグランジュ力学では、構成空間や一般化座標、定常作用の原理について説明しています。また、ラグランジュの方程式の導出や計算、保存則、制約のある運動についても扱っています。

次に、剛体の動力学に焦点を当て、回転運動エネルギーや慣性モーメント、運動のためのオイラーの方程式について説明しています。

ハミルトン力学では、ハミルトンの方程式と位相空間の概念を紹介しています。動的システムの進化について説明し、ポアソン括弧や位相空間の縮約といったトピックも含まれています。

位相空間の構造では、安定性や可積分系、ポアンカレ・ビルコフの定理など、位相空間の特性を検討しています。

次に、カノニカル変換について、ハミルトン力学の構造を保持する変換と生成関数を紹介しています。

カノニカル進化では、ハミルトン・ヤコビ方程式と動的システムにおける時間進化の分析方法について議論しています。

最後に、カノニカル摂動理論では、摂動法と多自由度系への応用、共鳴について探求しています。

このテキストには、学習を強化するためのさまざまな付録、参考文献、演習問題が含まれています。古典力学を学ぶ人にとって、理論的な概念と実践的な応用の両方を強調した貴重なリソースです。

投稿者: the-mitr | スコア: 147

72.
タグでHTMLを活かす
(Tags to make HTML work like you expect)

このテキストでは、ウェブサイトがブラウザで期待通りに動作するために必要なHTMLタグについて説明しています。重要なポイントは以下の通りです。

まず、<!doctype html>タグは非常に重要です。このタグがないと、ブラウザが「クワークスモード」に入ってしまい、表示やレイアウトに不具合が生じることがあります。

次に、<html lang="en">タグは文書の言語を指定します。これにより、ブラウザやツールがより良いアクセシビリティ、検索インデックス、翻訳を提供できるようになります。

また、<meta charset="utf-8">タグは、ブラウザにテキストを正しく表示する方法を伝えます。これにより、特殊文字や記号が正しく表示されることが保証されます。

さらに、<meta name="viewport" content="width=device-width,initial-scale=1.0">タグはレスポンシブデザインにおいて重要です。このタグがあることで、モバイルデバイスでもウェブサイトが正しく表示されます。

最後に、著者はこれらのタグを忘れてしまった経験を共有し、その結果、表示や機能に問題が生じたことを述べています。

これらのHTMLタグを含めることで、より信頼性が高く、ユーザーフレンドリーなウェブ体験を作ることができます。

投稿者: FromTheArchives | スコア: 426

73.
小さな力を解放せよ!
(Let the little guys in: A context sharing runtime for the personalised web)

個人データの管理方法について、新たなアプローチが必要とされています。特に、信頼性と現在のシステムの限界に焦点が当てられています。

まず、ツールの作成がこれまで以上に容易になっています。npmのようなプラットフォームのおかげで、小さなツールを簡単に作成できますが、銀行の明細書などの敏感なデータをこれらのツールに預けることには不安があります。

次に、現在のシステム、特にOAuthは、ユーザーが自分のデータの使用方法を十分に制御できるようにはなっていません。データにアクセスできるアプリを制限するのではなく、データがどこに送信されるかを管理する必要があります。

また、多くのユーザーは特定の機能を求めていますが、大企業は利益を優先するため、これらのニーズを無視しがちです。例えば、より便利な銀行アプリなどがその例です。

オープンソースソフトウェアに依存する人も多いですが、洗練された商用ソフトウェアに比べて劣ることが多いのが現状です。さらに、ほとんどの個人データは少数の大企業に集中しており、ユーザーが自分の情報に対して安心感を持つのが難しい状況です。

ユーザーは、特に新しい開発者や知らない開発者によるアプリの誤用を恐れて、自分のデータへのアクセスをためらっています。このため、著者は、敏感なデータが同意なしに保存または送信されないことを保証するランタイム環境の開発を提案しています。これにより、小規模な開発者がユーザーのプライバシーを損なうことなく、カスタマイズされたアプリケーションを作成できるようになります。

この新しいアプローチが成功するためには、活発な技術コミュニティと、より広いオーディエンスに訴求する洗練された製品が必要です。個人コンピューティングとデータ管理の革新には、ユーザーと小規模開発者を力づける安全で信頼できる環境が求められています。

投稿者: louisbarclay | スコア: 67

74.
GoコードをJavaScriptで
(Write Go code in JavaScript files)

Viteプラグインを作成しました。このプラグインを使うと、.jsファイルの中に「use golang」という指示を使ってGoコードを書くことができます。プラグインは自動的にGoコードをWebAssemblyにコンパイルします。

投稿者: yar-kravtsov | スコア: 150

75.
AIブログの侮辱
(It's insulting to read AI-generated blog posts)

著者はAIが生成したコンテンツに対して不満を表明しており、それが読者に対して失礼だと感じています。著者は、文章は個人の思いや経験を反映すべきであり、AIにはそれを再現することができないと主張しています。人々には、自分の間違いを受け入れ、そこから学ぶことを奨励しており、文章や文法チェックのような作業にAIに頼るべきではないと述べています。著者は、本物の人間関係の重要性を強調し、必要なときには助けを求めることが大切だとしています。賢い人々は協力の価値を理解しているからです。このメッセージは、AIは定量的な作業にのみ使用すべきであり、本物の思考は実際の経験から生まれると強調しています。

投稿者: speckx | スコア: 944

76.
自動コミットツール
(Git Auto Commit (GAC) – LLM-powered Git commit command line tool)

GACは、ユーザーがコードの変更に基づいて迅速にgitコミットメッセージを作成できるように設計されたツールです。これにより、作業の要約よりも構築に集中できるようになります。標準の「git commit -m "..."」コマンドの代わりに使用できます。

主な機能には、最近のコード変更から自動的に詳細なコミットメッセージを生成する「コンテキストに基づくコミットメッセージ」、生成されたメッセージが気に入らない場合にフィードバックをもとに簡単に再生成できる「リロールオプション」、インストールなしで「uvx gac init」を使って試せる「簡単なセットアップ」、ローカルとクラウドの14種類のプロバイダーに対応する「プロバイダーサポート」、標準、ワンライナー、詳細なメッセージ形式を提供する「冗長性モード」、コミット前にAPIキーなどの機密情報をチェックする「秘密検出」、コミットメッセージをガイドし、ファイルを自動的にステージングするオプションを含む「自動化フラグ」があります。

ユーザーにはぜひ試してみて、フィードバックを提供してほしいと呼びかけています。詳細はGitHubのページで確認できます。

投稿者: merge-conflict | スコア: 50

77.
AI can code, but it can't build software
(AI can code, but it can't build software)

要約がありません。

投稿者: nreece | スコア: 244

78.
海を渡る最後の欧州列車
(The last European train that travels by sea)

イタリアのメッシーナ海峡を通じて本土とシチリアを結ぶユニークな列車フェリーサービスについての記事です。このサービスは「インターシティ・ノッテ」として知られ、旅客列車がフェリーで移動できるため、ヨーロッパでは最後の存在となっています。この航路は多くの旅行者にとって風光明媚で文化的にも重要な旅であり、地元の人々にとっては故郷とのつながりを大切にしています。

しかし、この伝統的なフェリーサービスは、イタリア政府が2032年から2033年にかけて海峡に建設を計画している135億ユーロの吊り橋の計画によって危機に瀕しています。支持者はこの橋を進歩と見なしていますが、批判者は南イタリアのより緊急なインフラニーズから資源が逸れてしまうのではないか、また地域や環境に悪影響を及ぼすのではないかと懸念しています。

乗客たちは、地元の食べ物を楽しんだり、他の旅行者と交流したりするなどの儀式を含むフェリー体験を大切にしています。列車とフェリーの接続の未来は不透明で、多くの地元の人々は橋の建設とその潜在的な利益に懐疑的です。現時点では、風光明媚で懐かしいフェリーの航路は、本土イタリアとシチリアの間の旅の大切な一部として愛されています。

投稿者: 1659447091 | スコア: 172

79.
マイラOS:32ビット革命
(MyraOS – My 32-bit operating system in C and ASM (Hack Club project))

若い開発者のディヴィルは、CPUに関する知識が不足しているために仕事を断られたことをきっかけに、低レベルプログラミングのスキルを向上させることを決意しました。彼は理解を深めるために、C言語とアセンブリ言語を使ってオペレーティングシステム(OS)を作成する旅に出ました。

彼はOS理論を学ぶために多くの時間を費やし、書籍やオンラインブログ、動画を見ました。主な参考資料にはOSDev WikiやOSTEPが含まれています。ディヴィルは理論からコーディングへの移行に苦労し、まずブートローダーを作成し、その後VGAドライバー、キーボードドライバー、メモリ管理、ファイルシステム(EXT2)、シェルなどのコンポーネントを開発しました。

OSの開発を進める中で、彼はHack Clubの「Summer of Making(SoM)」に参加し、プロジェクトをさらに進化させるためにグラフィカルユーザーインターフェース(GUI)を追加し、さらには「Doom」の移植にも挑戦しました。約7か月の間に、彼はいくつかのデバッグの課題に取り組み、特にプロセス管理やメモリの問題に苦労しました。最終的に、彼はプロジェクトを無事に完成させ、その過程で多くのことを学びました。

ディヴィルはこの経験とSoMから得たモチベーションに感謝の意を表し、GitHubで公開している彼のプロジェクト「MyraOS」について他の人と話し合うことを呼びかけました。

投稿者: dvirbt | スコア: 240

80.
25倍速のユニークソート
(An overengineered solution to `sort | uniq -c` with 25x throughput (hist))

今日は、ファイル内のユニークな行をカウントするための古いシェルスクリプトを思い出し、それをRustで書き直すことにしました。その結果、基本的なcoreutilsを使った方法と比べて、25倍の速度向上を達成し、既存のツールに対しても改善を加えることができました。

主な改善点は二つあります。一つ目は、CSVライブラリ(serde)を使用して書き込みを行ったことで、速度が大幅に向上したことです。二つ目は、受け取ったキーのためにアリーナ割り当てを実装し、ハッシュマップにはフルバリューではなく参照を保存するようにしたことです。これにより、メモリの割り当てが減少し、効率が向上した可能性がありますが、具体的な測定は行っていません。

プログラムにはいくつかの正規表現機能や組み込みのテーブルフィルタリングも含まれています。コーディングを楽しんでいます!

投稿者: noamteyssier | スコア: 116

81.
腐食の真実
(Corrosion)

Fly.ioは、Dockerコンテナを「Fly Machines」と呼ばれるマイクロVMに変換するシステム「Corrosion」を開発しました。このプラットフォームの主な課題は、世界中のサーバー間でデータを同期させることです。

2024年9月1日、設定の変更によりネットワーク内のすべてのプロキシがフリーズし、顧客のアプリケーションへのリクエストが届かなくなる大規模な障害が発生しました。この問題は、同時に実行されるタスクを管理するコードにバグがあったためです。

Fly.ioはシステムを改善するために、従来の集中型データベースを避け、各サーバーが自分の負荷を管理する独自のモデルを採用したCorrosionを作りました。これにより、ボトルネックを避けながら、異なる地域でのスケーラビリティが向上します。

Corrosionは、既存のルーティングプロトコルに触発されたグローバルルーティングデータベースのように機能します。サーバー間で効率的に更新を共有するために「ゴシッププロトコル」を使用し、中央の権限や複雑な合意プロトコルなしで同期を保つことができます。

Corrosionは多くのプロセスを簡素化しますが、スキーマの変更や他のシステムへの依存による問題など、いくつかの課題にも直面しています。これに対処するために、Fly.ioはより良い監視とバックアップ戦略を実施し、潜在的な障害の影響を制限するために地域化されたアーキテクチャに移行しています。

全体として、Corrosionは従来のシステムの複雑さを避けつつ、分散した状態を管理するための迅速で効率的なソリューションであることが証明されており、Fly.ioのエンジニアはサービスの構築と改善に集中できるようになっています。

投稿者: cgb_ | スコア: 213

82.
歴史の星々の謎
(Unexpected patterns in historical astronomical observations)

ストックホルム大学のノルディタ研究所の研究者たちは、1950年代初頭の歴史的な天文観測において予想外のパターンを発見しました。彼らは写真プレート上の光の閃光を分析し、これらの閃光と核兵器実験、未確認異常現象(UAP)の報告との関連を見つけました。

主な発見は以下の通りです。まず、核兵器実験の翌日には閃光が68%増加することが分かりました。また、UAPの報告があるごとに閃光の数は8.5%増加しました。

次に、1957年に初めて人間の衛星が打ち上げられる前に、地球外の物体の兆候を探る研究も行われました。この研究では、動いている反射物体を示す可能性のある、直線上に並んだ複数の閃光が確認されました。

さらに、研究では観測された閃光のうち、約三分の一が地球の影の中で見られないことが分かりました。これは、自然現象ではなく、高反射物体からの反射である可能性を示唆しています。

これらの発見は、閃光の性質に関する従来の仮定に挑戦しており、単なる写真プレートの欠陥やノイズではなく、実際の物体である可能性があることを示しています。研究は、これらの現象についてさらなる調査が必要であることを示唆しています。

投稿者: XzetaU8 | スコア: 121

83.
Linux再起動
(Recall for Linux)

Recall for Linuxは、Windowsの特定の機能を求めるユーザーのために設計されたツールです。主な特徴は以下の通りです。

データストレージ機能により、機密情報を簡単にアクセスできるデータベースに保存します。また、常にユーザーの活動のスクリーンショットをキャプチャする監視機能も備えています。OCR機能を使うと、画像をテキストに変換することができます。さらに、チャットやメールで友人から受け取ったメッセージの記録を保存する通信ストレージ機能もあります。

インストールにはユーザーの同意が必要で、自動的には行えません。ターミナルにコマンドを貼り付けることでインストールできます。

今後の機能としては、暗号化(2028年まで延期)、AIの強化、開発者向けの収益化、ウェブカメラと音声の録音、そして自動クラウドデータアップロードが予定されています。

このツールは、Linux上でWindowsのような監視機能を再現し、さまざまなデータをキャプチャして保存することを目的としています。

投稿者: anticensor | スコア: 530

84.
dnsmasqの真実
(Are these real CVEs? VulDB entries for dnsmasq rely on replacing config files)

メールでは、dnsmasqに関連する新たに公開されたセキュリティ脆弱性(CVE)についての懸念が述べられています。モリッツ・ミューレンホフは、報告された脆弱性を悪用するにはデフォルトの設定ファイルを置き換える必要があると指摘しています。この操作は簡単であり、脆弱性の重要性を低くするものです。また、同様の問題がKamailio SIPサーバーでも見つかっていることにも言及しています。このメールは、これらの疑わしいCVE報告に関するメーリングリストでのより大きな議論の一部です。

投稿者: JawsofDeath | スコア: 55

85.
FDDの時代
(FDD – Diskettes)

アクセスが拒否されていることを示すメッセージが、ドイツ語、英語、ロシア語、ポーランド語など複数の言語で表示されています。これらのフレーズは、いずれも入場が許可されていないことを伝えています。

投稿者: susam | スコア: 13

86.
イソテンプOCXOの内部探訪
(Inside an Isotemp OCXO107-10 Oven Controlled Crystal Oscillator)

著者はフリーマーケットで5ドルでIsotemp OCXO107-10を購入しました。このオシレーターは一般的なものよりも大きく、温度変化に対する周波数の安定性を保つのに役立ちます。出力は5 MHzで、現代のデバイスでよく見られる10 MHzとは異なります。

調査の結果、タイムナッツコミュニティからの情報によれば、これらのユニットはかつて1000ドル以上の価値があったことがわかりました。OCXO107-10はCTS Knightsの古いユニットに関連しており、Lucentによって使用されていました。出力周波数を調整するための基準電圧ピンがありますが、ノイズが発生することがあります。

オシレーターはDE-9コネクタを介して電源に接続され、出力にはSMAコネクタが使用されます。初期の電流消費は約320 mAでしたが、安定化後は約69 mAに減少しました。出力パワーは-1.80 dBmで、データシートとの間にいくつかの変動が見られました。このユニットは適切に安定するまでに約1週間かかります。

オシレーターはデュワーフラスコに収められており、温度変化に対する断熱効果がありますが、壊れやすいという欠点もあります。内部設計には加熱要素と温度調整用の部品が含まれています。

著者はさまざまなOCXOの長期比較測定を行う予定ですが、現在のセットアップは電力を多く消費するため、より効率的な電源が必要です。

投稿者: zdw | スコア: 22

87.
コード共創の新時代
(Gitworkshop.dev – Collaborate on code over Nostr)

申し訳ありませんが、外部リンクにはアクセスできません。ただし、リンクからのテキストや要約してほしい主なポイントを提供していただければ、喜んでお手伝いします。

投稿者: sebastix | スコア: 58

88.
Z80マルチタスク入門
(Pre-emptive Z80 multitasking explainer)

Z80コンピュータのプログラムは、最大で八つのタスクを同時に実行できるマルチタスク機能を示しています。割り込みが発生すると、現在のタスクのデータが保存され、次のタスクのデータが読み込まれます。このプロセスはタスクスワッピングと呼ばれ、最速で430クロックサイクルかかります。ただし、タスクスタックのサイズやタスクの総数には制限があり、タスクが増えるとパフォーマンスが低下する可能性があります。割り込みは1秒間に約50回発生するように設定されており、これらの割り込みを生成するためには特別なアドオンボードが必要です。このコードはTEC-1G Z80コンピュータ専用で、モニターにはMon3を使用しており、タスクスワッピングのルーチンはアドレス0892Hにあります。

投稿者: chorlton2080 | スコア: 55

89.
IPアドレスの偽装は無意味
(IP address truncation is not anonymization)

IPアドレスの切り捨ては、IPアドレスの最後の部分を削除する一般的な手法で、例えば192.168.1.42を192.168.1.0に変えることが挙げられます。この方法は、データを匿名化することでGDPRに準拠するために広く使用されています。しかし、切り捨てられたIPアドレスはGDPRの下で依然として個人データと見なされるため、プライバシーに関する重大なリスクがあります。

切り捨てに関する主な問題点は以下の通りです。まず、切り捨てはユーザーを効果的に匿名化するものではなく、他のデータと組み合わせることで特定が可能になる場合があります。規制当局は、切り捨てられたIPアドレスでも特定可能であると判断しています。

次に、技術的な欠陥があります。切り捨ては、IPアドレスの一部を削除することで匿名性が得られると誤って仮定しています。小規模なネットワークでは、残されたデータが特定の個人に結びつくことがよくあります。特にIPv6では、アドレス空間が広いため、1つの家庭が多数のアドレスを持つことができ、問題がさらに深刻になります。

法的な観点からも、切り捨てられたIPアドレスを非個人データとして扱う組織は、GDPRの規制に違反するリスクがあります。特に、同意やデータ共有に関する規定に注意が必要です。

また、単純なハッシュ化や一般的な暗号化といった他の方法も、実際の匿名化のニーズを満たすことができず、新たな問題を引き起こすことが多いです。

推奨される解決策は、IPCryptという暗号化手法です。これはIPアドレスを安全に暗号化し、その形式を保持することを目的としています。IPCryptは適切な保護を提供し、秘密鍵がなければ元のIPアドレスを復元できないようにします。すでに主要なプラットフォームで採用されており、切り捨てに比べて大きな利点があります。

IPアドレスの切り捨てを行っている組織は、この手法をやめ、その限界を認識し、IPCryptのような信頼できる暗号化手法に切り替えることで、ユーザーのプライバシー保護を実現すべきです。

投稿者: jedisct1 | スコア: 24

90.
忘れられた70年代の革新者
(Sphere Computer – The Innovative 1970s Computer Company Everyone Forgot)

このウェブページは、スフィア社の歴史と1975年にユタ州で発売されたスフィア1コンピュータについて紹介しています。マイク・ワイズによって開発されたスフィア1は、初期のオールインワン型マイクロコンピュータであり、発売当初は遅延や使い勝手の問題に直面しました。スフィア社は1977年に倒産し、スフィアコンピュータはその革新的なデザインにもかかわらず、後の大衆向けコンピュータの先駆けとしてほとんど忘れられてしまいました。

歴史家でエンジニアのベン・ゾットは、スフィアの物語を記録しており、スフィア1のための仮想エミュレーターや新しいハードウェア、ゲームを作成しています。彼は、スフィアに関連する資料やストーリーを持っている人々に連絡を取るよう呼びかけています。多くの歴史がまだ完全にはアーカイブされていないためです。

詳細については、ベンに[email protected]までお問い合わせください。

投稿者: ChrisArchitect | スコア: 98

91.
Gitサーバー活用法
(You already have a Git server)

SSHアクセスが可能なサーバーにgitリポジトリがある場合、次のコマンドで簡単にクローンできます。

git clone ssh://username@hostname/path/to/repo

ローカルでコードを編集し、変更をサーバーにプッシュすることができます。現在チェックアウトしているブランチにプッシュできるようにするには、サーバーで次のコマンドを実行します。

git config receive.denyCurrentBranch updateInstead

この設定により、複数のコンピュータ間でコードを同期し、サーバーのファイルを効率的に管理できます。コードを公開するには、次のコマンドでリポジトリをクローンします。

git clone https://hostname/path/to/repo/.git

サーバーの設定を変更するか、.gitフォルダの名前を変更することでURLを簡略化できますが、その場合は次のコマンドを実行することを忘れないでください。

git update-server-info

このプロセスを自動化するには、サーバーにgitフックを設定します。

まず、サンプルフックをコピーします。

cp .git/hooks/post-update.sample .git/hooks/post-update chmod a+x .git/hooks/post-update

次に、フックを修正して静的サイトジェネレーターを実行するようにします。

cat > .git/hooks/post-update <<EOF #!/bin/sh set -euo pipefail cd /path/to/site /path/to/generator EOF chmod a+x .git/hooks/post-update

この方法を使えば、ローカルで遅延なく投稿を作成でき、サーバーが自動的に更新されます。作業はノートパソコンとサーバーの両方にバックアップされ、gitが変更を追跡し、誤って削除するのを防ぎます。

投稿者: chmaynard | スコア: 634

92.
高速化の実装比較
(Are-we-fast-yet implementations in Oberon, C++, C, Pascal, Micron and Luon)

このリポジトリには、「Are-we-fast-yet」ベンチマークスイートの追加バージョンが含まれています。メインバージョンは、こちらのリンクで確認できます: https://github.com/smarr/are-we-fast-yet。このリポジトリ内の「ORIGINAL_README.md」ファイルには、詳細が記載されています。各追加バージョンは、「Cpp」、「Oberon」、「FreePascal」などのサブフォルダに分かれています。

投稿者: luismedel | スコア: 89

93.
Node.js 24 LTS発表
(Node.js 24 is LTS now)

Node.jsのバージョン24.10.0が2025年10月8日にリリースされました。このバージョンでは、コンソールでのストリーム検査のための新しいオプションが追加されました。また、ライブラリからutil.getCallSite関数が削除され、SQLite用の認証APIが導入されました。

最近のコミットでは、パフォーマンスの向上やバグ修正が行われました。依存関係の更新もあり、OpenSSLやnpmのアップグレードが含まれています。ドキュメントも更新され、.envファイルの使用方法が明確化され、リバースプロキシの例も提供されています。

Windows、macOS、Linux向けのインストーラーやバイナリが、64ビットやARMなどの異なるアーキテクチャ用に提供されています。また、ソースコードもダウンロード可能です。

詳細については、Node.jsのドキュメントウェブサイトを参照してください。このリリースには、開発者のパフォーマンスと使いやすさを向上させるためのいくつかの小さな改善や最適化が含まれています。

投稿者: philippz | スコア: 29

94.
ボーランドの洗車ボウル
(Carl Bohland's Auto Wash Bowl (2015))

提供されたリンクは「オートウォッシュボウル」についてのブログに繋がっており、興味深い画像が掲載されています。ただし、この情報源はブログスパムと見なされています。

投稿者: thunderbong | スコア: 18

95.
ムービーキャット - Zig製ターミナルプレイヤー
(Movycat – A terminal movie player written in Zig)

movycatは、ターミナルで直接動画をフルRGBカラーで再生できるツールです。動画フレームにはANSIハーフブロック文字を使用し、音声はSDL2を通じて再生されます。FFmpegがデコードできる限り、.mp4や.aviなどのさまざまな動画フォーマットに対応しています。

movycatの使い方は、コマンドを入力するだけです。基本的なコマンドは「movycat -f|-file <ファイル名> [-w|-width <幅>] [-h|-height <高さ>] [-a]」です。オプションとして、-fで再生する動画ファイルを指定し、-w-hでアスペクト比を保ちながら出力サイズを設定できます。-aを使うと、ターミナルの状態を保ちながら別の画面で動画を表示できます。-helpを入力すると、ヘルプとmovycatのロゴが表示されます。

操作方法は簡単です。ESCキーで終了し、SPACEキーで一時停止します。右矢印キーで5秒進み、左矢印キーで5秒戻ります。また、vimのキーを使って、lで進み、hで戻ることもできます。情報オーバーレイを表示するには、iを押します。

movycatを使う理由は、リアルタイムエフェクトを使ってビジュアルや動画フレームを表示できるmovyレンダリングエンジンの能力を示すためです。

技術的な詳細としては、movycatはZigで書かれており、FFmpegとSDL2のライブラリが必要です。macOSとUbuntuでテストされています。

インストール手順は、macOSの場合は「brew install ffmpeg sdl2」を、Ubuntuの場合は「sudo apt install libavformat-dev libavcodec-dev libavutil-dev libswscale-dev libswresample-dev libsdl2-dev」を実行します。

ビルドするには、「zig build -Drelease-fast」と入力してコンパイルします。

投稿者: codethief | スコア: 13

96.
DNSだけじゃない!
(It's not always DNS)

著者は、DNS(ドメインネームシステム)に問題を誤って帰属させるのを避けるための新しいガイドラインを紹介しています。このルールは、「DNS」を「名前をIPアドレスにマッピングするキー値ストア」と置き換えても意味が通じる場合、それは実際にはDNSの問題ではないというものです。

「いつもDNSだ」というジョークは面白いですが、トラブルシューティングの際に重要な思考を妨げることがあります。DNSの問題はしばしば最初に気づかれるものですが、必ずしも本当の問題ではありません。接続の失敗や自動化のバグによる問題は、DNSに責任を負わせるべきではなく、名前とIPアドレスのマッピングがどのように処理されるかに関係なく発生するからです。

DNSには、異なるDNSサーバー間の不一致やDNSSECによって引き起こされる問題など、特有の問題があることは確かです。しかし、著者は、DNSをすぐに疑うのではなく、より批判的な思考でトラブルシューティングに取り組むべきだと考えています。

投稿者: todsacerdoti | スコア: 52

97.
Zigでネットワーク開発!
(How I turned Zig into my favorite language to write network programs in)

著者は、ネットワークプログラミングのためにZigプログラミング言語を発見し、採用するまでの経緯を語っています。最初は懐疑的だったものの、馴染みのあるアルゴリズムのZig実装を見て興味を持ちました。AcoustIDプロジェクトを改善するために、Zigを使って書き直すことに決め、以前のC++バージョンよりも楽しく、効率的であることに気づきました。

サーバーインターフェースを追加する際にいくつかの課題に直面しましたが、著者はZigを使ってクラスタサーバーレイヤーを実装することにしました。これにより、Zigで非同期I/Oと並行処理のためのライブラリ「Zio」が誕生しました。Zioはスタックフルコルーチンを使用することで非同期コードの記述を簡素化し、同期プログラミングに似た形になるため、状態管理が容易になります。

Zioは完全に非同期のネットワークおよびファイルI/Oをサポートし、ミューテックスや条件変数などの同期ツールも提供しています。性能は非常に優れており、GoやRustの同様のフレームワークよりも速いことが多いです。著者はZioの機能に興奮しており、今後NATSクライアントを強化し、Zioを使ってHTTPクライアント/サーバーライブラリを開発する計画を立てています。

投稿者: 0x1997 | スコア: 316

98.
行動が自分を作る
(You are how you act)

現代のアメリカ人の自己観は、二人の啓蒙思想家、ジャン=ジャック・ルソーとベンジャミン・フランクリンの影響を受けています。ルソーは、人間は生まれつき善であるが、社会によって腐敗させられると考えました。一方、フランクリンは、人はその行動によって定義され、徳は生まれつきの特性ではなく習慣であると主張しました。

実際には、アメリカ人はこれらの見解をしばしば使い分けます。ルソーの考えは意図に対する許しを求めるときに使われ、フランクリンの考えは行動に基づく責任を問うときに引用されます。これらの哲学は一見矛盾しているように見えますが、どちらも私たちの意図や野心を称賛するため、共存しています。

「偽ってでも成功する」という言葉は、フランクリンの視点により近いです。この言葉は、一貫した行動が内面的な感情よりも性格を形成することを示唆しています。ルソーは自己反省を促しますが、フランクリンは進歩と行動を起こす能力を重視します。

著者はフランクリンのモデルを好みます。なぜなら、感情を変えることができなくても、自分の行動をコントロールする力を個人に与えるからです。最終的には、私たちが取る行動が私たちを定義するのです。

投稿者: HiPHInch | スコア: 316

99.
We saved $500k per year by rolling our own "S3"
(We saved $500k per year by rolling our own "S3")

要約がありません。

投稿者: mpweiher | スコア: 317

100.
ウィン:洗練されたスクリプト言語
(Wren: A classy little scripting language)

Wrenは、小さくて高速なスクリプト言語で、Smalltalk、Lua、Erlangの特徴を取り入れた現代的な構文を持っています。

Wrenの主な特徴は以下の通りです。まず、実装は4,000行未満で、読みやすく理解しやすいことが挙げられます。次に、迅速なコンパイラを備えており、コードを効率的なバイトコードに変換するため、他の動的言語と競争できる速度を誇ります。また、Wrenはオブジェクトモデルにおいてクラスを重視しており、プログラミングに明確な構造を提供します。さらに、軽量なファイバーを使用しており、プログラム内での整理されたマルチタスクを可能にしています。最後に、Wrenはアプリケーションに埋め込むために設計されており、依存関係がなく、シンプルなC APIを提供しています。C99やC++98、またはそれ以降のバージョンにコンパイルすることもできます。

Wrenはブラウザで試すことができ、開発に貢献する機会もあります。

投稿者: Lyngbakr | スコア: 195
0
Creative Commons