ロサンゼルス市警察(LAPD)が、ソーシャルメディア監視企業Dataminrを利用して親パレスチナ抗議活動を監視したことが、プライバシーと表現の自由に関する懸念を引き起こしている。Dataminrは、今後のデモに関する情報を含むリアルタイムの警告をLAPDに提供した。批判者は、これが第一修正権を侵害し、自己検閲につながる可能性があると主張している。Dataminrは、公開されている情報しか提供していないと主張しているが、その強力なデータ処理能力により、一般ユーザーがアクセスできない情報を監視できる。この事件は、ソーシャルメディア監視が表現の自由にもたらす潜在的な脅威と、政府と民間企業が協力して行う大規模監視の倫理的問題を浮き彫りにしている。
続きを読む
すでに秘密のベールに包まれていたウォール街のダークプールは、プライベート取引ルームの導入によってさらに不透明になっています。これらのエクスクルーシブな会場は、ダークプールの主要なメリットである価格への影響を避けるために大規模取引を隠蔽するという点を維持しつつ、参加者を限定し、誰が取引に参加できるかを具体的に指定します。現在、ダークプール全体の取引量の少数派ではありますが、ブローカーディーラー、マーケットメーカー、ヘッジファンド、アセットマネージャーの間で、その採用は急速に拡大しています。これは市場の透明性と断片化に関する懸念を引き起こしますが、同時に、より優れた執行品質を提供し、企業がカウンターパーティーを選択できるようにします。しかし、この透明性の欠如は、市場の深さを測定することの難しさや潜在的な規制リスクなど、課題をもたらします。
続きを読む
coq-of-rustは、RustプログラムをCoq証明支援系に翻訳することで、100％バグフリーなRustコードを実現するための形式的検証ツールです。RustコードをCoqコードに変換し、Coqの強力な証明技術を活用してコードの正当性を検証することで、全てのバグを排除します。このツールは幅広いRust機能をサポートしており、スマートコントラクトやデータベースエンジンなどの重要なアプリケーションに対する形式的検証サービスを提供します。
続きを読む
Piramidal社は、神経データに焦点を当てたAIシステムを構築し、これまで不可能だったタスクを実現するための研究エンジニアを募集しています。理想的な候補者は、大規模分散型機械学習システムの設計、実装、強化、および神経科学の基礎知識を含む、強力なエンジニアリングスキルを備えています。同社は、競争力のある報酬と株式報酬を提供しており、テクノロジーを通じて人間の可能性を高め、認知の自由を擁護し、心の商品化に反対するという使命感に突き動かされています。
続きを読む
arXivLabsは、共同研究者がarXivの新しい機能を直接arXivウェブサイトで開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーという私たちの価値観を支持し、受け入れています。arXivはこれらの価値観に尽力しており、それらを共有するパートナーとのみ協力しています。arXivコミュニティに利益をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
Firefox 62は、CSS Shapesを正式にサポートするようになりました。これにより、テキストやその他のコンテンツを長方形以外の形状に沿って配置できるようになります。この記事では、画像、グラデーション、基本形状を使用して形状を作成する方法を説明し、Firefox DevToolsの新しいツールを使用してプロセスを簡素化します。画像のアルファチャンネル、グラデーションの透明度、およびプリセット形状（円、楕円、多角形）を使用してテキストの流れを制御し、`shape-margin`を使用して間隔を調整し、半透明画像には`shape-image-threshold`を使用する方法を学びます。また、高度な効果を得るために、形状と`clip-path`を組み合わせる方法についても説明します。
続きを読む
Phoronix.comの創設者兼筆頭著者であるMichael Larabelは、2004年以来、Linuxハードウェア体験の向上に尽力しています。彼は、Linuxハードウェアサポート、パフォーマンス、グラフィックドライバなどを網羅する20,000本以上の記事を執筆しました。また、Phoronix Test Suite、Phoromatic、OpenBenchmarking.orgといった自動ベンチマークソフトウェアのリード開発者でもあります。
続きを読む
セキュリティ研究者Tinyhackが、Akiraランサムウェアを解読するためのGPUベースの総当たり攻撃法を発見しました。高額な身代金要求（数千万ドルに達する）で知られるAkiraは、著名なターゲットを狙っています。RTX 4090を使用することで、Tinyhackは7日間で暗号化されたファイルを解読することに成功しました。16個のGPUを使用すれば、10時間強で解読できます。この方法は、Akiraの暗号化で使用される4つのナノ秒単位のタイムスタンプをシードとして利用し、総当たり攻撃によって正確なタイムスタンプを見つけ出し、復号キーを生成します。成功には、ファイルが変更されていないこと、およびローカルディスクストレージの使用（NFSは復号を複雑化します）が必要です。これはサイバーセキュリティにおける大きな勝利ですが、Akiraの開発者はすぐにこの脆弱性を修正する可能性があります。
続きを読む
ブロガーが、電子書籍のデジタル著作権管理方式であるLCP DRMを回避する方法を発見しました。この方法は、Thoriumリーダーのデバッグ機能を利用して、暗号解読なしで、テキスト、画像、メタデータを含む暗号化されていない電子書籍の内容を簡単に抽出します。これにより、Readiumコンソーシアム（LCP DRM開発者）との議論が起こり、Readiumはセキュリティの脆弱性を認め、セキュリティ対策の強化を発表しました。ブロガーは、これがLCP DRMの欠陥を浮き彫りにしていると主張し、読者と出版社の両方がこの問題を認識する必要があると述べています。
続きを読む
この記事は、グリム童話の発祥と影響について掘り下げています。一般的な認識とは異なり、グリム兄弟は純粋な民話を収集したわけではありませんでした。彼らの情報源は主に中産階級であり、ドイツ・ロマン主義的ナショナリズムに満ちていました。この記事は創作過程を分析し、童話の中に含まれる社会規範、階級格差、心理的伏線を探ります。そして、これらの物語の継続的な翻案と再解釈は、個々の作者を超越し、永続的な文化的シンボルとなっていると主張しています。
続きを読む
3DプリンターメーカーのBambu Labは、MakerWorldブランドの下で新しいおもちゃシステムCyberBrickを発表しました。CyberBrickは、再利用可能でプログラム可能な電子部品と3Dプリント可能なモデルを組み合わせることで、公式デザインとコミュニティデザインの両方に基づいた幅広いおもちゃを可能にします。当初はKickstarter限定でしたが、すでに資金調達目標を達成しており、キットは2025年5月にバッカーに届く予定です。このシステムは、フォークリフト、トラック、「サッカーボット」という3つの公式おもちゃと、それらすべてで動作するワイヤレスコントローラーで発売されます。29.99ドルから始まるキットには、はんだ付け不要の電子モジュールと、3Dプリントによる追加部品の製造と公式デザインの組み立て方法に関する説明書が含まれています。Kickstarterキャンペーンでは、事前に印刷された部品を含むキットを購入することもできますが、Bambuは、販売が通常のMaker's Supplyストアに移行すると、それらの事前に印刷されたキットは提供されなくなることを警告しています。公式のおもちゃを超えて、CyberBrickは月面探査車やTesla Cybertruckのレプリカなど、コミュニティデザインの可能性を誇示しています。このシステムは、おもちゃの範囲を超えており、3Dプリントのタイムラプス映像をキャプチャするためのキット用のコンポーネントも販売しています。重要なのは、すべてがプログラム可能であることです。これにより、創造的な構成とコーディングに無限の可能性が開かれます。
続きを読む
HTTP/3と基盤となるQUICプロトコルは標準化され、大手ウェブサイトで広く利用されているにもかかわらず、主要なプログラミング言語やオープンソースツールでのネイティブサポートは依然として不足しています。この記事ではこのパラドックスを分析し、その根本原因はインターネットの「二層構造」にあると主張しています。つまり、少数の巨大テクノロジー企業（「ハイパースケールウェブ」）とその他の開発者（「ロングテールウェブ」）との間には、リソースと技術能力に大きな差があります。ハイパースケール企業は、新しいテクノロジーを迅速に採用するリソースを持っていますが、ロングテールはオープンソースツールのアップデート速度と互換性の問題に制約されています。OpenSSLによるQUICの扱いは、この分断をさらに悪化させています。著者は、この問題に注目し、技術進歩の恩恵が少数の企業によって独占されるのを防ぐよう訴えています。
続きを読む
この記事は、Spring Boot WebFluxアプリケーションにおいて、Azure Entra ID（旧Azure Active Directory）をKeycloakのIDプロバイダー（IdP）として設定する方法を包括的に解説しています。AzureとKeycloak両方の設定手順を詳細に説明しており、アプリケーションの作成、OpenID Connectの設定、クライアントシークレットとリダイレクトURIの設定、AzureグループをKeycloakロールにマッピングするユーザー認証方法などが含まれます。著者は、より明確な用語を使用するためにAzureインターフェースを英語に切り替えることや、Keycloakで適切なIdPタイプを選択することなど、重要なヒントと回避策を共有しています。最終的には、JWTトークンにロールを含める方法の詳細な説明とともに、完全に機能する認証と承認フローが実現します。
続きを読む
科学者たちは、ヘンネグヤ・サルミニコラという寄生虫を発見しました。これは、地球上で唯一呼吸しないことが知られている動物です。魚や水中の虫に寄生するこの寄生虫は、他のすべての多細胞動物にある、呼吸に関わる重要なDNAであるミトコンドリアゲノムを欠いています。研究によると、この最小限のゲノムは、組織、神経細胞、筋肉などの多細胞の特徴の大部分を失い、急速な繁殖のために進化したと考えられます。エネルギー取得方法は不明ですが、研究者たちは、宿主から直接エネルギーを得ている可能性があると仮定しています。この発見は、動物の進化と生命の基本的な必要性に対する私たちの理解に挑戦するものです。
続きを読む
Clineは、Claude 3.7 Sonnetを搭載したAIアシスタントで、複雑なソフトウェア開発タスクを段階的に処理できます。ファイルの作成と編集、大規模プロジェクトの探索、ブラウザの使用、ターミナルコマンドの実行（許可が必要）が可能です。Clineは複数のAPIプロバイダーをサポートし、モデルコンテキストプロトコル（MCP）を通じて機能を拡張できます。安全で信頼性の高い人間参加型のGUIを備えています。Clineはエラー監視、コード補完、バージョン管理などの機能も備えており、開発効率を大幅に向上させます。
続きを読む
既存のB2B SaaS統合ソリューションの限界に不満を感じていたBastienとRobinは、2022年にタッグを組みました。彼らは放棄されたオープンソースのOAuthプロジェクトを引き継ぎ、それがより柔軟なアプローチ、つまりオープンで拡張可能なプラットフォームの鍵であることに気づきました。2023年、Y Combinatorのウィンターバッチに参加した後、彼らはNangoをすべての統合を推進する単一の統合APIインフラストラクチャとして再ローンチしました。
続きを読む
著者は、大規模言語モデル（LLM）によるソフトウェアの書き換えとクローン作成の能力を実験を通して示しています。LLMで生成されたC言語による売上税計算プログラムから始め、アセンブリ言語に逆アセンブルし、その後LLMを使用して機能仕様書を作成します。最後に、LLMによって仕様書をZX Spectrumのアセンブリプログラムに変換し、正常に実行されました。このプロセス全体は約2時間かかり、LLMによる言語間のソフトウェア変換と迅速なプロトタイピングの可能性を示すと同時に、"オープンソース"ソフトウェアの潜在的なリスクも示唆しています。
続きを読む
40周年を記念して、フリーソフトウェアファウンデーション（FSF）は、25点のフリーソフトウェアの歴史的アイテムを展示するオンラインオークションを開催します。オークションは、サイレントオンラインオークション（3月17～21日、LibrePlanetウィキ）とライブオークション（3月23日）の2部構成です。出品アイテムには、ビンテージコンピューター、ぬいぐるみ、フリーソフトウェアを宣伝するオリジナルアートワーク、FSFと創設者が受賞した賞などがあります。オークションの収益はすべて、FSFの継続的な活動に充てられます。ライブオークションでは、オリジナルのGNUヘッドロゴ、Norbert Wiener賞、GCCマニュアルのイラストなど、6つの特に重要なアイテムが出品されます。これらのアイテムは、フリーソフトウェアムーブメントの重要なマイルストーンです。
続きを読む
1597年、イングランドのノッティンガムで、ウィリアム・ソマーズという若い男性が悪魔に取り憑かれたと信じられていました。有名なエクソシストであるジョン・ダレルが呼ばれ、祈りや断食を含むエクソシズムを行いました。ダレルは同様の事件を成功裏に処理した後、名声を高めましたが、その方法は物議を醸していました。最終的に、ソマーズは出来事がでっち上げであったと告白し、ダレルは詐欺罪で逮捕され、教会はその後エクソシズムを禁止しました。この歴史的記述は、超自然現象に対する社会の迷信と、宗教的および社会的な勢力間の衝突を明らかにしています。
続きを読む
Pine64は、PineTab-Vタブレットのアップデート版をリリースしました。この10.1インチタブレットは、StarFive JH7110 RISC-Vプロセッサ、8GB RAM、128GBストレージ、そして取り外し可能なバックライト付きキーボードを搭載しています。アップデートには、加速度センサー、LEDインジケーターライト、改良されたEEPROM ID、そして電源オフ時の低速充電問題の修正が含まれています。現在はDebianベースのStarFive GNU/Linuxディストロがプリインストールされています。ハイパフォーマンスデバイスではありませんが、225ドルのPineTab-Vは、RISC-V開発プラットフォームとして、開発者や愛好家にとって魅力的な選択肢です。
続きを読む
このプラットフォームは、無制限のコラボレーションでスクラム手法を実現します。ユーザー数制限がなく、タスク単位課金モデルを採用し、プロジェクト、チーム、ストレージは無制限です。AI生成の変更ログで進捗状況を追跡し、バックログとスプリントビューなどのコア機能を備えています。多様なプロジェクトニーズに対応するため、豊富なアドオンも提供しています。
続きを読む
サラ・ウィン＝ウィリアムズの新しい本「不注意な人々」は、Facebookの内情を暴露し、ミャンマーでの失敗、中国市場参入の倫理的に疑わしい試み、マーク・ザッカーバーグの絶対的な権力を詳細に記述しています。元Facebook政策担当役員であるウィン＝ウィリアムズは、弱いコンテンツモデレーション、ヘイトスピーチへの遅い対応、そして社会的責任よりもビジネス上の利益を優先するリーダーシップによって阻害されている企業を描写しています。彼女はザッカーバーグが故意に議会を誤解させたと主張し、Facebookを個人的な独裁体制として描写し、世界の情報エコシステムへの長期的な影響について懸念を提起しています。
続きを読む
データによると、uvはpipに次いでWagtailユーザーの間で2番目に人気のあるパッケージインストーラーとなり、Poetryを上回りました。pipとPoetryは依然として人気がありますが、uvの成長は単にWagtailの新規ユーザーによるものではありません。2024年7月～8月のデータは、早期採用者またはバージョン解決の問題による可能性のある異常なスパイクを示しています。Wagtailチームは、uvが他のツールと同様に適切に機能することを確認し、ドキュメントを更新し、bakerydemoサイトでuvをファーストクラスの市民とする必要があります。目標は、すべてのpackage managerについて明確なインストール手順を提供するとともに、開発者の変化する期待に適応することです。
続きを読む
ソーシャルネットワークBlueskyは、ユーザーが自分のデータを生成AIのトレーニングや公開アーカイブに使用することを許可するかどうかの選択を可能にする新しいシステムを提案しました。これは物議を醸し、一部のユーザーは、Blueskyが広告主にユーザーデータを販売しない、ユーザーの投稿をAIトレーニングに使用しないという約束を破ったと非難しました。CEOのJay Graberは、生成AI企業は既にBlueskyを含むウェブから公開データをスクレイピングしており、プラットフォームはrobots.txtに似た新しい標準を作成しようとしているものの、法的強制力はないと答えました。ユーザーは、生成AI、プロトコルブリッジング、大規模データセット、ウェブアーカイブの4つのカテゴリについて、データの使用を許可またはブロックできます。良い提案と考える人もいれば、スクレイパーがユーザーの好みを無視するのではないかと懸念する人もいます。
続きを読む
この記事は、ジョーダン代数、オクトニオン、リーチ格子の深い関係を探求します。1930年代のパスクアル・ジョーダンによるエルミート行列の代数的性質に関する研究から始まり、形式的に実数のジョーダン代数とその分類、特に特別な27次元の例外型ジョーダン代数を紹介します。これを基に、ジョーダン代数から射影空間を構築する方法を説明し、例外型ジョーダン代数によって生成されるオクトニオン射影平面に焦点を当てます。最後に、オクトニオンエルミート行列から構築された異次元時空と、その中に存在するユニークな積分単模格子であるリーチ格子について深く掘り下げます。驚くべき発見は、この格子がE6群の作用下で2つの異なる軌道を持つことであり、これは従来の理解とは異なります。
続きを読む
新たなゲノム研究により、人間特有の言語能力は少なくとも13万5千年前から存在していた可能性が高いことが示唆されました。研究者らは15件の遺伝子研究を分析し、初期の人類集団は約13万5千年前から地理的に分散し始めたことを発見しました。これは、当時すでに言語能力が存在していたことを示唆しています。約10万年前には、言語が広く社会的に使われるようになり、物体への印や赭石の使用など、考古学的証拠にある象徴的な活動と一致しています。この研究は、人間の言語の起源に対する新たな視点を与え、言語、人間の認知、社会の発達の間の関係をさらに探求することを促します。
続きを読む
Googleの新AIツールが、10年もの間科学者を悩ませてきた謎をわずか2日で解明しました。それは、スーパーバグにおける抗生物質耐性メカニズムです。インペリアル・カレッジ・ロンドンのチームは、特定のスーパーバグがどのように耐性を獲得するかを10年間研究してきましたが、Googleの「共同研究者」AIツールは、簡単な指示だけで、チームの未発表の発見と同じ結論をわずか48時間で導き出しました。これは、AIが証拠を統合し、研究の方向性を示し、実験を設計する可能性を示しており、科学の進歩に革命を起こす可能性があります。しかし、科学研究におけるAIの使用に関する倫理的な問題や信頼性に関する懸念も引き起こしています。
続きを読む
この記事では、C++のオーバーロード解決、特に暗黙的な型変換における「より良い」という曖昧なルールについて深く掘り下げています。標準的な変換シーケンス（修飾子変換を含む）の詳細な説明と例を通して、コンパイラが最適な関数マッチングを選択する方法を解き明かします。コード例と段階的な分析により、C++の型システムにおける複雑で、時に分かりにくいメカニズムを浮き彫りにし、最終的に暗黙的な型変換の実用性について考察しています。
続きを読む
アムネスティ・インターナショナルのセキュリティ研究所は、2021年7月にモバイル検証ツールキット（MVT）をリリースしました。このツールは、AndroidおよびiOSデバイスの潜在的な侵害を特定するためのデジタルフォレンジック証拠の収集プロセスを簡素化および自動化します。MVTは、公開されている侵害指標（IOC）を使用して既知のスパイウェアキャンペーンの痕跡をスキャンしますが、デバイスの完全なセキュリティを保証するものではありません。デジタルフォレンジックとコマンドラインツールの使用に精通した技術者や捜査官を対象としており、一般ユーザーによる自己評価用ではありません。
続きを読む
光触媒は、持続可能な化学合成において有望な技術として台頭しています。研究者たちは、光エネルギーを利用して様々な化学反応を駆動しており、二酸化炭素をメタンに変換したり、水を電子ドナーとして用いて有機分子の水素化を行ったりしています。これらの反応は、エネルギー効率を高め、化石燃料への依存を減らし、環境に優しい化学産業への道を切り開きます。しかし、光触媒の効率や安定性の向上、さらなる応用範囲の探求など、課題も残されています。
続きを読む