SOC 2コンプライアンスに苦労していませんか？このツールは、要件を理解し、進捗状況を簡単に追跡するための、明確で実行可能なSOC 2チェックリストを提供します。すぐに基本的なSOC 2準拠ポリシーを生成して、ドキュメント作成を開始できます。証拠のアップロードを一元化し、ファイルをコントロールに直接リンクして、監査の準備を簡素化します。チームのタスク割り当て、ステータスの追跡、証拠要求の管理を、すべて単一のプラットフォームで行い、効率的に連携できます。将来のアップデートには、自動化された証拠収集、継続的なコントロール監視、ベンダーとの統合が含まれます。
続きを読む
Mergeableは、GitHubプルリクエストの管理を改善するために設計されたブラウザアプリケーションです。柔軟な検索クエリを使用してPRをセクションに整理し、すべてのデータをローカルのブラウザに保存し、キーボードショートカットによる迅速なナビゲーションをサポートし、複数のGitHubインスタンス（GitHub Enterpriseを含む）に接続できます。重要なのは、GitHubアプリをインストールすることなく、あなたの対応を待っているPRを強調表示することです。https://app.usemergeable.devでパブリックインスタンスを試用するか、https://www.usemergeable.devのドキュメントを使用して自分でホストしてください。
続きを読む
2014年まで公開されていなかった2010年のインターネットのこの画像は、画期的な視覚化を表しています。以前のtracerouteベースのマップとは異なり、BGPデータに基づいており、Route Viewsテーブルダンプアーカイブを使用した将来のインターネット視覚化のためのフレームワークを作成します。配色では、接続密度が白熱として示され、より熱い色はより多くの接続点を表します。この画像は、以前はニューヨーク近代美術館（MoMA）とDiscover誌でのみ閲覧可能でした。
続きを読む
このチュートリアルシリーズは、「CFD Python: 12 steps to Navier-Stokes」にインスパイアされた、Pythonで高速かつクリーンなN体重力シミュレーションコードを記述する方法を初心者向けに教えます。各ステップで詳細な説明と完全なコードを提供し、読者にコードを書き直して理解を深めることを推奨しています。Pythonと微積分の基本的な知識があれば、初心者でもフォローできます。修了後、独自のN体シミュレーションを作成し、関連プロジェクトを探索できます。
続きを読む
NVIDIAは関税、製造コスト、AIチップの輸出制限の影響を理由に、ほぼすべての製品の価格を引き上げました。ゲーミングGPUは5～10％、AI GPUは15％もの大幅な値上げとなりました。中国へのH20チップ販売禁止を含む輸出制限により、同社の[四半期]期決算は55億ドルの損失を被りました。CEOのジェンスン・フアン氏はこれらの問題の軽減に取り組んでおり、価格値上げは収益性の維持を目指しています。値上げにもかかわらず、中国以外のAIチップに対する強い需要とクラウドサービスプロバイダーの支出増加により、同社の決算報告書は予測範囲内にとどまると予想されています。Blackwellチップの生産をTSMCの米国工場に移管したことが、コスト増加をさらに悪化させました。米国と中国の最近の貿易合意は最終的に価格低下につながる可能性がありますが、消費者にとって即時の緩和は見込めないでしょう。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsと連携する個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーとのみ協力します。arXivコミュニティに価値を提供するプロジェクトのアイデアをお持ちですか？arXivLabsについてさらに詳しく学びましょう。
続きを読む
この記事では、OCamlで一般化代数データ型(GADTs)を使ってメモリ表現を最適化する方法を探ります。まず、著者はOCamlの多相性の限界、特にList.iter関数が統一的なメモリ表現のために異なるデータ型を扱う際の空間効率の悪さについて説明します。次に、通常の変種とオブジェクトの2つの方法を用いて、通常の配列とバイト配列の両方を扱えるCompact_array型を作成しようとしますが、型推論とメモリ割り当ての効率の問題に直面します。最後に、GADTsを用いることで、著者は異なるデータ型の配列に対し、柔軟で効率的なメモリ表現を成功裏に実現し、GADTsがコンパイラの作成だけでなく、特に精密なメモリ制御を必要とする高性能アプリケーションにおいても有用であることを示しています。
続きを読む
アメリカでは毎年4万人以上が交通事故で死亡しており、先進国の中でも非常に高い数値です。これは避けられないものではなく、政策上の選択の結果です。この記事では、オランダやスウェーデンなどの国と比較して、アメリカの道路安全改善が遅れている理由として、全国的な体系的な安全対策が不足していることを指摘しています。これらの国では、「安全システム」アプローチを採用しており、人間中心の設計、低速度、人と車の衝突の低減を重視しています。この記事は、アメリカが国際的な経験を参考に、国家戦略、設計改革、文化変革を通じて道路安全危機に対処する必要があると訴えています。
続きを読む
USENIX年次技術会議（ATC）が終了しました。これは、学術会議のモデルとオープンソース時代のシステム研究の方向性について省みるきっかけとなりました。著者は、ATCが盛況から衰退へと至る過程を振り返り、オープンソースの台頭がシステム研究成果の伝達方法を変え、学術会議の重要性を低下させたという主張をしています。同時に、ATC自体も、学術性に偏りすぎ、実践から切り離されたことで、最終的に終焉を迎えたと述べています。著者は、ATCの終了を残念に思いながらも、オンライン会議の台頭がシステム研究に新たな可能性をもたらすと示唆しています。
続きを読む
Legion Healthは、AIを活用して精神医療の運営を合理化することで、精神医療をゼロから再構築しています。AIによる診断ではなく、スケジューリング、ドキュメント、請求、リスク検知などのAIネイティブな運用バックエンドの構築に焦点を当てています。600万ドルの資金調達と100万ドル以上のARRを達成し、AI搭載のエージェントインフラで2000人以上の患者をサポートしています。複雑なシステム構築の経験、LLMの習熟度、スピードとクリーンなアーキテクチャへの重視を重視し、AIネイティブなメンタルヘルスケアの未来を形作る創設エンジニアを求めています。
続きを読む
セキュリティ研究者が、デートアプリCercaに重大な脆弱性があり、数千人のユーザーの個人情報（電話番号、大学メールアドレス、さらには国民ID情報を含む）が漏洩していることを発見しました。研究者は2月末にCercaチームに脆弱性を報告しましたが、返答はありませんでした。この脆弱性により、攻撃者はユーザーのプロファイル、プライベートメッセージにアクセスしたり、ユーザー同士のマッチングを強制したりすることができました。脆弱性は修正されましたが、Cercaは事件を公表したり、影響を受けたユーザーに通知したりしていません。これは、スタートアップがセキュリティを優先し、セキュリティ上の脆弱性報告に迅速に対応する必要があることを浮き彫りにしています。
続きを読む
Airweaveは、AIエージェントが任意のアプリケーションをセマンティック検索できるようにするツールです。MCPと互換性があり、あらゆるアプリケーション、データベース、APIとシームレスに接続して、そのコンテンツをエージェントで使用可能な知識に変換します。データが構造化されているかどうかに関係なく、Airweaveはそれを処理可能なエンティティに分割し、データを保存して、RESTとMCPエンドポイントを通じて取得できるようにします。25以上のソースからのデータ同期、エンティティの抽出と変換パイプライン、マルチテナントアーキテクチャ、増分更新、セマンティック検索などの主要な機能を備えています。FastAPI（Python）、PostgreSQLとQdrantデータベースを使用して構築され、Docker ComposeとKubernetesを介して展開できます。
続きを読む
オンラインでバービカン・エステートを発見してから3年後、著者はついに1965年から1976年にかけて建設されたロンドンのこのユニークな複合施設を訪れました。住民による2時間におよぶツアーでは、歴史、デザイン、そして隠された秘密の魅惑的な融合が明らかになりました。放置された車で満杯の地下駐車場から、ローマ時代の遺跡、中世時代の遺跡、さらには1000年前のユダヤ人墓地まで、バービカンは単なる住宅地以上の存在です。古代エジプトとバタリオンの建築からインスピレーションを得て、隠された通路と住民専用のオンラインフォーラムを備えています。この記事では、著者の体験と、この魅力的な場所をより深く理解するための書籍が紹介されています。
続きを読む
厳格なソフトウェアサプライチェーンセキュリティ規制を満たすには、高コストのエアギャップ環境と広範な審査が必要となることが多いです。この記事では、強力なパッケージマネージャーであるNixをソリューションとして紹介します。Nixは、開発速度を犠牲にすることなく、検証可能なサプライチェーンの整合性を可能にします。ソフトウェアの正確な起源と整合性を追跡し、監査可能なオフラインソースパッケージを生成します。起動可能なNixOSイメージの例では、Nixが依存関係ツリーから検証可能な固定出力派生（FOD）を抽出し、オフラインでの再構築を可能にして、完全なトレーサビリティと整合性を保証する方法を示しています。これにより、コンプライアンスが障害から管理可能な開発後の検証ステップへと変わり、コストを大幅に削減し、開発効率を向上させます。
続きを読む
フランスの企業Cyclautoは、フランスの産業家オーギュスト・レイモンが最初に設計した1930年代のビンテージカーゴバイクのデザインを復活させました。一般的なカーゴバイクとは異なり、Cyclautoはライダーを前輪の上に配置し、チェーンなしで直接前輪を駆動するため、メンテナンスが少なくて済みます。セミトレーラーのような着脱可能なカーゴセクションは、高いモジュール性を提供し、貨物、乗客、さらには商業用設備の輸送も可能です。ホイールベースが短いことで、都市環境での操縦性が向上します。Cyclautoは自転車ショーで発表されましたが、生産日はまだ発表されていません。
続きを読む
ドイツのデータストレージスタートアップ企業Cerabyteは、革新的なセラミックベースのデータストレージ技術の開発を加速するため、Western Digitalから戦略投資を受けたことを発表しました。5000年の寿命と、ヨッタバイト規模の容量を誇るCerabyteの技術は、高温、水、放射線など極端なテストに耐えることが実証されています。2030年までに1TBあたり1ドル未満のストレージコストを目指しており、このパートナーシップは、商業的に実現可能な超長期データストレージソリューションを市場にもたらすと期待されています。
続きを読む
ソフトウェアやハードウェアをエッジに展開する際、NAT、制限的なネットワークポリシー、固定されたCIDR範囲、そして未知の要因によって接続の問題が発生することがよくあります。Tailscaleの4via6サブネットルーティングは、IP、CIDR範囲、ポートを管理することなく、多数のネットワーク（ロボット、センサーネットワークなど）間のシームレスな接続を可能にすることで、この問題を解決します。各ネットワークは一意の識別子を割り当てられ、デバイスはMagicDNSを使用して命名されるため、管理が簡素化され、複雑な顧客ネットワークであっても安全なリモートアクセスが可能になります。自律型ロボットの接続、クラウド間のVPCのリンク、テストと本番環境で同じIP範囲の使用などに最適です。
続きを読む
長年のHacker Newsユーザーである著者は、情報過多に悩まされていました。この問題に対処するため、2つのツールを開発しました。1つは、キーワードや投票数に基づいてパーソナライズされたHN投稿を配信するTelegramボット「Tobie」です。もう1つは、有料記事のアーカイブリンク、HNスレッドへの迅速なアクセス、AIによるコメント要約を提供するChrome拡張機能「HaNe」です。これらのツールにより、著者の読解効率が大幅に向上し、画面時間と情報不安が軽減されました。
続きを読む
OpenEoXは、ベンダーとオープンソースのメンテナー全体で製品のライフサイクル終了（EOL）とサポート終了（EOS）ポリシーを標準化することにより、サイバーセキュリティリスクを大幅に削減します。これにより、組織はサポートされていない製品を迅速に特定し、時代遅れで脆弱なシステムをタイムリーに廃止または交換できます。これにより、より安全なIT環境が実現します。OpenEoXの機械可読形式により、脆弱性の自動管理が可能になり、リアルタイムの監視とアラートが提供され、プロアクティブなリスク軽減が促進されます。その他の利点としては、製品管理の簡素化、顧客信頼性の向上、よりスムーズなテクノロジー移行などが挙げられます。
続きを読む
この記事では、埋め込み技術が技術ライティングに革命を起こす可能性について探求しています。テキスト生成モデルとは異なり、埋め込み技術はテキストを高次元のベクトル（埋め込み）に変換することで、テキスト間の意味的な類似性を比較します。この記事では、埋め込みの生成方法、コスト、そしてさまざまなモデル間の違いについて説明し、Voyage-3モデルを例に、大規模テキスト処理における利点を示しています。著者は、地図の座標を例えに、高次元空間における埋め込みの表現方法を説明し、Word2vecを例に、埋め込み技術が意味関係を捉える能力を示しています。最後に、ドキュメントサイトにおける関連ページの推薦への埋め込み技術の応用を紹介し、技術ライティングにおけるその大きな可能性を探っています。
続きを読む
米国と中国は、一時的な関税引き下げで合意し、続く貿易戦争に90日間の休戦をもたらしました。米国は中国からの輸入品に対する関税を145％から30％に引き下げ、中国は米国製品に対する関税を125％から10％に引き下げます。両国は、経済的デカップリングを回避し、今後の交渉のための時間を確保したいと考えていると述べました。この合意は、価格上昇の中で関税の引き下げを期待して注文を停止していたアメリカ企業にとって、命綱となります。
続きを読む
StarGuardは、GitHubリポジトリにおける偽のスターキャンペーン、依存関係のハイジャック、ライセンスに関する警告、その他のオープンソースリスクの兆候を検出するように設計されたCLIツールです。スター、依存関係、ライセンス、メンテナー、コードを分析することにより、信頼スコアを生成し、CTO、セキュリティチーム、VCがオープンソースのリスクを迅速に評価できるようにします。StarGuardは、JSON、Markdown、プレーンテキストレポートに加えて、スター履歴プロットとshields.ioバッジを出力します。
続きを読む
このブログ投稿は、Rubyにおける名前空間の提案された実装に疑問を呈しています。著者は、この提案はライブラリ名の衝突、グローバルに共有されるモジュール、複数のgemバージョンといった問題を解決することを目的としているが、これらの問題は実際にはそれほど頻繁には発生しないと主張しています。重複排除などの提案による複雑さは、そのメリットを上回ってしまう可能性があります。著者は、定数へのアクセスを制限し、BasicObjectに似たメカニズムを提供するなど、より軽量なアプローチを好み、コードの保守性とモジュール性を向上させたいと考えています。
続きを読む
連邦取引委員会（FTC）は、「クリックしてキャンセル」ルールの施行を7月14日まで延期し、当初の5月14日の期限を延期しました。ネガティブオプションルールの一部であるこのルールは、サブスクリプションのキャンセルを登録と同じくらい容易にすることを求めています。FTCは、直ちに遵守することの負担の再評価を延期理由として挙げました。施行は7月14日に開始されますが、FTCは、実施中に問題が発生した場合、ルールの修正に意欲を示しています。
続きを読む
ヒューマン・ライツ・ウォッチの新しい報告書は、UberやDoorDashなど、アメリカ合衆国の7つの主要なデジタル労働プラットフォームの暗い側面を暴いています。これらのプラットフォームは、ギグワーカーを独立請負業者として誤分類し、雇用者の責任を回避し、不透明なアルゴリズムを使用して賃金と仕事の割り当てを制御しています。その結果、ワーカーは最低賃金よりもはるかに低い賃金で働き、社会保障がなく、常に解雇されることを恐れています。この報告書は、プラットフォーム企業が数十億ドルの収益を上げている一方で、これらのワーカーが極度の経済的不安全に置かれていることを強調しています。そして、ギグワーカーの権利を守るために、より厳しい政府規制を求めています。
続きを読む
英国の主要メディアおよび芸術関係者400名以上が、データ（利用とアクセス）法案の修正案に反対する書簡を首相に送った。この修正案は、AIモデルが著作権で保護された作品を使用することを許可するもので、大規模な著作権侵害への懸念が生じている。オプトアウトの選択肢が提案されているものの、ポール・マッカートニー、エルトン・ジョン、コールドプレイなど、多くのメディア機関を含むグループは、それが不十分だと主張している。彼らは透明性を要求し、AI企業にトレーニングで使用される著作権で保護された作品を開示することを強制し、クリエイターを保護し、活気のある英国クリエイティブ産業を促進しようとしている。この書簡は、経済的影響と、長年にわたる潜在的な著作権侵害を防ぐ必要性を強調している。
続きを読む
23歳の仮想通貨開発者ジェフィ・ユー氏は、誕生日数日前に自殺したかのような動画を公開しました。その後、彼をテクノロジーの天才と称える美辞麗句が並ぶ追悼文が発表され、彼の名を冠したミームコインまで販売されました。しかし、ネット上の探偵たちはすぐに矛盾点を発見し、動画の偽装を暴き、追悼文も消え去りました。The Standard紙は最終的に、ユー氏が両親の家に身を潜めているところを発見しました。ユー氏は、オンラインでの嫌がらせが原因で、この偽装劇を仕掛けたと告白しました。ユー氏は、時価総額4400万ドルの仮想通貨Zerebroの開発者ですが、これは2兆ドルの時価総額を誇るビットコインと比較すると微々たるものです。この事件は、仮想通貨界に蔓延する投機と虚偽情報の拡散を浮き彫りにしています。
続きを読む
オープンソースの貢献者がLLVMプロジェクトにバグレポートを送信し、不公平な扱いを受けました。豊富な証拠を提供したにもかかわらず、行動規範委員会は貢献者に対して不利な決定を下し、他の貢献者の明白な違反を見過ごしました。これは、オープンソースコミュニティにおける行動規範の執行、そして公平性と説明責任に関する懸念を引き起こします。この事件はMesaプロジェクトにも波及し、オープンソースコミュニティにおけるより良い紛争解決メカニズムの必要性をさらに強調しています。
続きを読む
Spadeは、ハードウェア設計を簡素化し、エラーを削減するために設計された新しいハードウェア記述言語（HDL）です。ソフトウェアプログラミング言語のベストプラクティスを借用し、低レベルの制御を犠牲にすることなく、一般的なハードウェア構成要素に対する言語レベルのサポートを組み込んでいます。主な機能には、ファーストクラスのパイプラインサポート、構造体、配列、タプル、ペイロードを持つ列挙型などの強力な型システム、パターンマッチング、型推論、優れたエラーメッセージなどがあります。Swimビルドツールやcocotbテストフレームワークなど、包括的なツールチェーンも提供されています。まだ初期段階ですが、Spadeは次世代ハードウェア設計言語として大きな可能性を示しています。
続きを読む
Organic MapsのコミュニティフォークであるCoMapsは急速に進展しています。透明性、コミュニティによる意思決定、非営利、オープンソース、プライバシー保護という原則に基づいて構築されており、基盤とテクノロジーの構築に注力しています。最初のリリースは進行中です。プロジェクトの最終名称を決めるコミュニティ投票は5月20日にCodebergで終了します。CoMapsは、開発、ガバナンス、アウトリーチ、寄付などへの貢献を歓迎しています。Organic Mapsの株主との交渉は停滞しており、Viktorは完全な支配権を維持しようとしており、Organic Mapsの未来は不確実です。
続きを読む