このプロジェクトは、WASMプログラムがnode:wasiのpreopensディレクトリの制限を回避して、サンドボックス外のファイルにアクセスする方法を示す概念実証を示しています。通常、WASMプログラムは、事前に開かれたディレクトリへのアクセスに制限されています。しかし、正確なタイミングでシンボリックリンクを使用してファイルを置き換え、外部プロセスを実行することで、この制限を回避できます。これは、node:wasiの実用的なセキュリティの脆弱性ではなく、潜在的なエッジケースです。このプロジェクトは、node:wasiが悪意のあるコードによる外部ファイルへのアクセスを完全に防ぐものとして信頼すべきではないことを強調しています。
続きを読む
この記事では、オープンソースファームウェアの必要性を探っています。著者は、ハードウェアを制御するソフトウェアであるファームウェアは、フリーソフトウェアの原則に従うべきだと主張しています。これは、自由そのものだけでなく、ユーザーの実用的な利益にも直接関係しています。非フリーファームウェアは、ハードウェアの機能を制限したり、セキュリティの脆弱性を隠したり、ユーザーがセキュリティの問題を解決することを妨げたりする可能性があります。この記事では、2つの観点を分析しています。1つは、オープンソースファームウェアを望ましいものとするが、必ずしも必要ではないとする観点、もう1つは、システムソフトウェア全体がオープンソースであるべきだと主張する観点です。著者は前者に傾いており、オペレーティングシステムカーネルの自由を優先することがより重要だと考えていますが、同時にオープンソースファームウェアの利点を強調し、戦略的な手段を通じてそれを促進する方法について議論しています。
続きを読む
この記事では、グラフニューラルネットワーク（GNN）の分かりやすい入門を提供します。ソーシャルネットワーク、分子構造、テキストなど、現実世界のアプリケーションにおけるグラフデータとその説明から始まります。その後、メッセージパッシング、プーリング操作、様々な種類のグラフデータなど、GNNの中核となるコンポーネントについて詳しく解説します。最新のGNNモデルを段階的に構築することで、各コンポーネントの役割と設計の背後にある動機を明確にします。最後に、インタラクティブなGNNプレイグラウンドを提供し、読者がGNNモデルの構築と予測のプロセスを実際に体験し、理解を深めることができます。
続きを読む
この記事では、著者が上海の建築、特に浦西と浦東の対比について観察したことを記しています。2005年の訪問から始まり、著者は浦東の急成長する超高層ビル群に魅了されたことを描写しています。現在、浦東には東洋明珠塔、金茂大厦、上海環球金融中心、上海タワーなどがあり、浦西の歴史的なヨーロッパ様式建築とは鮮やかな対照を成しています。著者は、これらの建物は単なるエンジニアリングの偉業ではなく、中国の経済発展と文化変容の象徴であり、上海の独特な二面性、つまり歴史的遺産と現代的な活力の融合を反映していると主張しています。
続きを読む
YC支援のスタートアップが、数百万のドメインと進化するボット対策を処理できるインターネット規模のWebクロールインフラストラクチャを構築する創設Webスクレイピングエンジニアを募集しています。この役割は、大規模なWebスクレイピングとクロール（Selenium、Puppeteer、Playwright、Scrapyなど）に関する専門家レベルの経験、ボット検出戦略に関する深い知識、CAPTCHA解決、プロキシ管理、データクレンジングにおける実績のある経験を必要とします。このプラットフォームは、RL駆動の最適化のためのブラウザジムを含む、Webエージェントのエンドツーエンドテストを提供することを目的としています。
続きを読む
Minecraftサーバーの場所を決める問題が、様々な投票システムに関する深い議論を引き起こしました。最初に用いられた単純過半数方式（Plurality voting）は、「スポイラー効果」により最も人気のない選択肢が勝つという結果になりました。「インスタント・ランオフ」方式を試したものの、候補者が変化すると単調性が損なわれることが判明しました。著者はさらに、ボルダ法とアローの不可能性定理を紹介し、最終的に、アローの不可能性定理の3つの条件（一致性、非独裁性、無関係な選択肢の独立性）を満たすため、スコア投票と承認投票をより優れた選択肢として推奨しています。
続きを読む
著者はChatGPTのo1とv0機能を用いて、1時間以内、コードを一行も書かずに、複数回の反復処理を通じてGongzillaという小さなゲームを作成しました。ゲーム自体は完璧ではありませんが、安価なAI時代における迅速なプロトタイピングと創造的な実現の可能性を示しています。この記事では、AI支援による創作の容易さと、「バカげた」アイデアを低コストで探求することの価値を探っています。たとえそれらのアイデアが最終的に完璧でなくても、学習と創造の楽しみは計り知れません。
続きを読む
この記事では、Unix/Linuxのコマンド階層における主要なコマンドの起源を探ります。`cat`、`ls`、`grep`などの基本的なUnixユーティリティから、BSD、GNU、その他のプロジェクトからの貢献まで、著者は数多くのツールの系譜を綿密にたどっています。これは、これらの不可欠なシステムの進化に関する魅力的な歴史的視点を与え、コマンドライン愛好家とシステム開発者の両方に訴えかけるでしょう。
続きを読む
Pagecordは、Ruby on Railsベースのアプリケーションで、メールを送信するだけで簡単にウェブサイトに文章を公開できます。編集やアップロードの手順を自動化し、執筆と公開のプロセスを効率化します。GitHubでホストされているオープンソースプロジェクトで、包括的なドキュメントとテスト手順を提供しています。
続きを読む
WebAssemblyは最近、64ビットポインタをサポートするMemory64を導入しました。しかし、驚くべきことに、Memory64はパフォーマンスの向上にはつながらず、ハードウェア、オペレーティングシステム、WebAssembly自体の設計上の制約により、32ビットモードよりも10％から100％以上遅くなる可能性があります。これは、32ビットモードではブラウザが4GBのメモリを予約できるため、境界チェックが不要になるためです。一方、Memory64は境界チェックが必要となり、計算オーバーヘッドが発生します。したがって、4GBを超えるメモリが必要ない限り、Memory64は最適な選択肢ではありません。ハードウェアとWebAssemblyの将来的な改善により、Memory64のパフォーマンスが向上する可能性があります。
続きを読む
Anthropicのモデルコンテキストプロトコル（MCP）は、LLMを外部ツールやデータに接続することを目的としており、Claude Desktopのようなアプリがデータベース、検索エンジンなどにアクセスできるようにします。MCPはAIアプリケーションの機能拡張に大きな可能性を秘めていますが、現在の実装には欠点があります。Claude Desktopはローカルサーバーのみをサポートし、複雑な入力の堅牢な処理が不足しており、クライアント側のタイムアウトが発生します。さらに、公式レジストリ、非同期タスクスケジューリングのサポート、マルチクライアントコラボレーションなど、ドキュメントと構成の改善が必要であり、ユーザーにとってMCPの潜在能力を最大限に引き出すには、これらの改善が不可欠です。
続きを読む
人工知能、ドローン、センサーネットワークの急速な進歩により、潜水艦のステルス性能は大きな課題に直面しています。この記事では、米国、英国、オーストラリア間のAUKUS協定による原子力潜水艦建造計画と、中国海軍の潜水艦戦力の近代化を検討しています。高度なセンサーネットワークとAIアルゴリズムは、潜水艦のわずかな活動痕跡を検出でき、従来のステルス技術の有効性を弱体化させます。この記事では、この課題に対抗するための戦略を分析しており、AIシステムの妨害のためのノイズの使用、無人潜水機の展開、戦略的行動などが含まれます。しかし、AUKUS協定は、高コスト、ウラン不足、中国の潜水艦戦力の急速な発展などの課題にも直面しており、その将来は不確実です。
続きを読む
lfiは、軽量な関数型プログラミングライブラリで、同期、非同期、並列反復処理に焦点を当てています。各要素を独立して処理することで、p-mapやp-filterなどのライブラリよりも並列反復処理において大幅に優れた性能を発揮します。lfiは遅延評価も備えており、必要な場合のみ処理を実行することでメモリを節約し、サイズも小さく、tree shakingによる最適化も容易です。シンプルで分かりやすいAPI設計とpipe関数の組み合わせにより、コードの可読性と保守性が向上します。
続きを読む
Noise Explorerは、ノイズプロトコルフレームワーク（改訂版34）のハンドシェイクパターンを推論するためのオンラインエンジンです。ノイズハンドシェイクパターンの設計、仕様への適合性の検証、適用π計算による形式検証モデルの生成（悪意のあるプリンシパルを持つ受動的および能動的な攻撃者に対して分析可能）、形式検証結果のコンペンディウムの調査（元の仕様のすべてのパターンを含む）、GoまたはRustでの安全な実装の生成、WebAssembly向けの実装生成が可能です。
続きを読む
スタンフォード大学による研究によると、2050年までに風力、太陽光、地熱、水力発電を100％に切り替えることは、世界の大部分の国々にとって、炭素回収技術よりもはるかに費用対効果が高いことが明らかになりました。この転換により、エネルギー需要とコストが大幅に削減され、大気質が改善し、気候変動が緩和されます。研究では、再生可能エネルギーへの完全な転換と、追加の炭素回収を伴う化石燃料への継続的な依存という2つの極端なシナリオを比較しました。研究によると、再生可能エネルギーへの転換は、化石燃料による大気汚染に関連する年間数百万件の疾病と死亡を回避するため、炭素回収よりも優れた費用対効果の高い解決策となります。研究者たちは、炭素回収を促進する政策を放棄し、大気汚染と気候変動に対処するためには燃焼の排除が不可欠であると主張しています。
続きを読む
デザイナーが、新たな政権によるますます敵対的な政治情勢と組織再編を理由に、アメリカのデジタルサービス機関である18Fを退職した経緯を語っています。著者は、18Fにおけるポジティブな職場環境と協力的な精神を詳細に説明し、「技術的な成功」という名目で、新しいリーダーシップが水面下で人員削減を試みていることと対比させています。試用期間中の従業員として解雇される可能性に直面した著者は、辞職を選びました。この物語は個人的な経験を超え、アメリカ政府内部の政治闘争、公共サービスへの影響、そして連邦職員への暗黙の脅威を浮き彫りにしています。
続きを読む
2014年設立のUnbankは、850台以上のATMを誇る、米国で最も古く、最大級のBitcoin ATMネットワークの一つです。サービス向上のため、Unbankは2021年にモバイルアプリをローンチし、現金、Venmo、PayPal、デビットカードによるより迅速なBitcoinの売買を可能にしました。以前の提供元の信頼性の低さと高コストに不満を感じていたUnbankは、セキュリティとスケーラビリティを優先する非保管型ソリューションであるBTCPay Serverに移行しました。シームレスな統合、堅牢な機能、そして活発なコミュニティサポートにより、Unbankの少人数のチームはわずか3ヶ月で移行を完了しました。その結果？大幅なコスト削減、安定性の向上、そして総額4,000万ドルに上る4万件以上のトランザクションの処理を実現しました。
続きを読む
デンマーク自動車協会FDMの最新調査によると、2020年式テスラモデル3の定期検査における不合格率は23％に上り、他の電気自動車の平均9％を大きく上回った。主な問題はブレーキ、ライト、ホイール、ステアリングシステムに集中している。FDMは、初期のモデル3の品質と耐久性に問題があると指摘し、検査前に徹底的な点検を行うことを推奨している。テスラは、2021年式以降のモデルには大幅な改良が加えられていると回答している。
続きを読む
DeepSeek-VL2は、その前身であるDeepSeek-VLを大幅に改良した、高度な大規模混合専門家（MoE）ビジョン言語モデルシリーズです。視覚的な質問応答、光学文字認識、ドキュメント/表/グラフの理解など、さまざまなタスクで優れた能力を発揮します。このシリーズは、DeepSeek-VL2-Tiny、DeepSeek-VL2-Small、DeepSeek-VL2の3つのバリアントで構成され、それぞれ10億、28億、45億のアクティブパラメータを持っています。DeepSeek-VL2は、既存のオープンソースの密なモデルやMoEベースのモデルと比較して、類似またはより少ないアクティブパラメータで、競争力のある、または最先端の性能を達成します。このプロジェクトはオープンソース化されており、モデルのダウンロード、クイックスタートガイド、デモ例を提供しています。
続きを読む
Jeepのオーナーが、車の画面に表示される全画面ポップアップ広告に激怒し、Redditで意見を表明している。この広告はMoparの延長保証を宣伝しているが、ソフトウェアのバグによりユーザーが完全に閉じることができなかった。Stellantisは、一時的なソフトウェアエラーが修正されたと主張している。しかし、この事件は、車内広告の押し付けと、自動車メーカーがユーザーの許容範囲をテストするためにそのような手法を使用している可能性についての懸念を引き起こしている。筆者は、ユーザーからの反発を避けるために、自動車メーカーはこうした行為を避けるべきだと訴えている。
続きを読む
この記事では、著者が過去1年間、生成モデルを使ってプログラミングを行ってきた経験をまとめています。自動補完、検索、チャット駆動型プログラミングにおいて、LLMが生産性を向上させることに大きく貢献したと結論づけています。チャット駆動型プログラミングはワークフローの調整が必要ですが、最初のドラフトを提供し、エラー修正を迅速化します。著者は、LLMは明確に定義された問題に秀でていると強調し、LLMとのより良いインタラクションのために、より小さく独立したコードパッケージを使用することを提唱しています。最後に、フィードバックループを合理化し、効率を高めるためにLLM用に設計されたGo IDEであるsketch.devを紹介しています。
続きを読む
この記事は、AIアート生成のためのプロンプト集です。夢のような森や気品あふれる女神、写実的な人物画から、サイバーパンクな要素、ファンタジーな生き物、独創的な食べ物や自然の風景まで、幅広いスタイルとテーマを網羅しています。これらの詳細なプロンプトは、AIアート愛好家に豊富なインスピレーションを与えてくれます。多くのプロンプトには、写真家、スタイル、ライティング情報などが含まれており、最終的な出力の質を高めます。
続きを読む
運営者のKevin Loch氏の逝去に伴い、人気のIPアドレス検索サイトip4.me、ip6.meなどが2025年4月1日に閉鎖されます。これらのドメインの購入に関するお問い合わせは、[email protected]までご連絡ください。
続きを読む
『物理ベースレンダリング：理論から実装まで』は、コンピュータグラフィックスにおける画期的な著作であり、厳密な数学理論と実行可能なコードを用いて、現代的なフォトリアリスティックなレンダリングシステムの構築方法を詳細に解説しています。その影響は映画やゲーム制作にとどまらず、製品デザインや建築分野にも及んでいます。著者らは、映画制作への貢献によりアカデミー賞を受賞しました。現在、第3版と第4版がオンラインで無料で公開されており、開発者にとって貴重な学習リソースとなっています。
続きを読む
Dockerの複雑さにうんざりしていませんか？`fly-to-podman`は、Dockerコンテナ、イメージ、ボリュームをPodmanに簡単に移行できるシンプルなbashスクリプトです。コンテナデータと設定（マウント、ポートなど）を保持し、イメージ、ボリューム、コンテナ、ネットワークを個別に、またはまとめて移行できます。root権限なしで、より安全で効率的なコンテナ化環境を実現しましょう！
続きを読む
この記事では、2002年に完成したザハ・ハディッドのベルギゼル・スキージャンプを取り上げます。このプロジェクトは、彼女のキャリアにおける転換点となりました。「紙の上の建築家」と呼ばれていた彼女にとって、このスキージャンプは、野心的なデザインを実現できることを証明したのです。スキージャンプ、カフェ、展望台を組み合わせたこのランドマーク的な建築物は、インスブルックの景観に自然に溶け込み、ハディッドの独特なデザインセンスを示しています。完成は、彼女を多作な建築家の時代へと導き、名声を確固たるものにし、今後の象徴的なプロジェクトへの道を切り開きました。
続きを読む
Y CombinatorとBain Capital Venturesの支援を受けたFintechスタートアップのFinley Technologiesが、グロースアソシエイトを募集しています。このポジションはクレジットファンドセグメントに焦点を当てており、金融業界での2～3年の経験、戦略的思考、起業家精神、優れたコミュニケーション能力が求められます。採用された方は、市場参入戦略、製品ロードマップなどの策定に携わり、チームと協力して会社の成長を促進します。
続きを読む
この記事では、暗号化がNP完全問題に依存しない理由を説明しています。NP完全問題は迅速に解くのが難しいですが、暗号化に必要なのは平均的に難しい問題、つまりランダムに選択されたインスタンスが解きにくい問題です。RSAはその一例で、大きな数の素因数分解の困難性に依存しており、平均的に難しいです。NP完全問題は最悪の場合の困難性しか保証せず、平均的な困難性を保証しないため、暗号化には適していません。
続きを読む
ブラウザ上でのPythonの速度制限を克服するため、AnacondaとCloudflareのエンジニアがSPyを開発しました。SPyは単純なPython移植ではなく、コンパイル時と実行時のコードを混在させることができる新しい言語です（それぞれ青コードと赤コード）。Pythonに似た青コードは、コンパイル時に事前計算を実行でき、パフォーマンスを劇的に向上させます。SPyコードは解釈実行することも、Cコードにコンパイルし、さらにネイティブバイナリやWebAssemblyにコンパイルすることもできます。生成アートのデモでは、PyScriptからSPyに移行することで、100倍以上の速度向上を実現しました。まだ初期段階ですが、SPyは将来、ブラウザ上でRust並みの速度でPythonを実行できる可能性を示唆しています。
続きを読む
3G通信スタートアップ企業で働くプログラマー、トレイは、小額のテスト取引を目的とした自動化された支払いテストプログラムを作成しました。しかし、コード内の3つのバグにより、プログラムは5分ごとに彼のテストアカウントに100ドルをクレジットしました。アクティビティチェックの欠如により、ゲートウェイの1つが故障したときにプログラムは数時間実行され続け、多額の金額が蓄積されました。翌朝、トレイはセキュリティチームから質問を受けましたが、彼の部長が状況を説明したため難を逃れましたが、テストアカウントの残高はゼロにリセットされました。
続きを読む