ドイツの町ゲレッツリートは、従来の地熱技術の失敗により、クリーンエネルギーへの希望を一度は諦めた。しかし今、Eavor社が新しいアプローチで、同町に最初の商業発電所を建設している。彼らの技術は、数キロメートル深く掘削し、閉ループを作り出すことで、地下の乾燥した高温岩盤から熱を抽出し、約36,000世帯への暖房と発電を行う。この革新的なソリューションは、ドイツのエネルギー転換の課題に対応し、よりクリーンで安全なエネルギーの未来に向けて、世界的な可能性を秘めている。気候変動対策にも大きく貢献するだろう。
続きを読む
Yakariは、複雑なコマンドラインインターフェースを簡素化するために設計されたインタラクティブなコマンド構築ツールです。ステップバイステップでコマンド構築をガイドすることで、複雑な構文を覚える必要がなくなります。さまざまな引数タイプをサポートし、コンテキストヘルプとコマンド履歴を提供することで、CLIの使いやすさが大幅に向上します。ユーザーは簡単なショートカットでコマンドを構築および実行でき、複雑なコマンドでも簡単にアクセスできます。
続きを読む
このガイドは、HTMLとCSSを使ってシンプルなウェブサイトを作成する方法を段階的に説明します。フォルダとファイルの作成から始まり、HTMLタグ（``、``、``、``、``、``など）の使い方、CSSスタイルシートの作成とリンクの仕方を解説します。画像の埋め込み、リストの作成、IDとクラスの使用方法、ボックスモデルとボーダー、絵文字、ウェブサイトの公開方法などもカバーしています。初心者の方にも最適です。
地中海深海のKM3NeT検出器が、約220 PeVという前例のないエネルギーを持つニュートリノを検出しました。これは観測史上最高エネルギーです。KM3-230213Aと名付けられたこの事象は、これほど高エネルギーのニュートリノが宇宙起源であるという最初の証拠となります。この発見はニュートリノ天文学に新たな章を開き、宇宙観測に新たな窓を提供します。KM3NeTは海水を相互作用媒体として用い、チェレンコフ放射を観測することでニュートリノを検出します。検出器の最終的な構成は1立方キロメートルを超える規模となります。
続きを読む
MillenniumDBは、千年データ基礎研究機関（IMFD）によって開発されたグラフ指向データベース管理システムです。複数のグラフモデルをサポートし、RDF/SPARQLをほぼ完全にサポートしており、カスタムのプロパティグラフクエリ言語も備えています。現在も開発中で、本番環境にはまだ対応していませんが、かなりの機能を備えており、近いうちにGQLのサポートを追加する予定です。Dockerを使った展開方法を含む、詳細なインストール、設定、使用方法が提供されています。
続きを読む
この記事では、Rustのトレイトオブジェクトにおける複数のトレイト境界の制限について掘り下げています。著者は、トレイトオブジェクト内で複数のトレイト制約（例：`Mammal + Clone`）を同時に使用しようとするとコンパイルエラーが発生することを発見しました。この記事では、RustとC++における動的ディスパッチの基礎となるメカニズムを調査し、それぞれのvtableの実装を比較しています。また、この制限を回避するためのトレイト継承の使用とその固有の制限についても調べています。最終的に、著者は、複数のトレイト境界を許可するには複数のvtableポインタが必要であると提案しています。これは冗長性をもたらしますが、型の変換の問題を効率的に解決します。
続きを読む
FTC委員長アンドリュー・ファーガソンは、司法省に対し、23andMeの買収者は、ユーザーの遺伝子データやその他のデータを保護する既存のプライバシーポリシーを遵守しなければならないと警告しました。FTCは、23andMeが約束した点、つまりユーザーによるデータの制御、データ削除機能、法的令状がない限り保険会社、雇用主、法執行機関とデータを共有しないという保証を強調しています。ファーガソンは、23andMeのプライバシーポリシーに明示的に記載されているこれらの約束は、遺伝子データのデリケートで不変の性質を考慮すると、倒産の場合でも守られなければならないと強調しています。FTCは、データ保護における消費者信頼の重要性を強調しています。
続きを読む
macOS用のWine互換レイヤーであるWhiskyプロジェクトのメンテナンスが正式に終了しました。作者のIsaacは、その理由として、報酬のない膨大な時間、WhiskyがWineコミュニティ全体にとってプラスの影響を与えていなかったこと、WhiskyがCrossOverに依存しながら貢献していなかったため、CrossOverの収益性とmacOS上でのWineの存続を損なう可能性があることを挙げています。ユーザーはCrossOverへの移行を推奨されており、作者は他のプロジェクトに注力する予定です。
続きを読む
F*（エフスターと発音）は、純粋関数型プログラミングと副作用のあるプログラミングの両方をサポートする、汎用の証明指向型プログラミング言語です。依存型による表現力の高さに、SMTソルバーとタクティクスベースの対話型定理証明に基づく証明自動化を組み合わせています。F*プログラムは、デフォルトでOCamlにコンパイルされます。KaRaMeLツールを使用してF#、C、Wasmに抽出することも、Valeツールチェーンを使用してアセンブリに抽出することもできます。F*はF*で実装され、OCamlを使用してブートストラップされています。F*はGitHubでオープンソースであり、Microsoft Research、Inria、およびコミュニティによって積極的に開発されています。Mozilla FirefoxやLinuxカーネルなど、さまざまなプロジェクトで使用されており、セキュリティ、暗号化、システム開発における応用を示しています。
続きを読む
セサミの研究チームは、より自然で感情豊かなAI音声アシスタントを作る上で大きな進歩を遂げました。彼らの会話音声モデル（CSM）は、マルチモーダル学習を用いて、文脈、感情、会話履歴を考慮することで、文脈に適した会話を生成します。この技術は従来のテキスト読み上げ（TTS）モデルを凌駕し、客観的および主観的な評価を通じて、自然さや表現力の向上を示しています。しかし、現時点では主に英語をサポートしており、将来的にはより多くの言語に対応し、複雑な会話構造の理解をさらに深める予定です。
続きを読む
PassMarkの最新データは驚くべき減少を示しています。初めて、世界のPCプロセッサの平均性能が低下し、長年にわたる年間増加のトレンドが打ち破られました。ノートPCの性能は3.4％低下し、デスクトップPCの性能は0.5％低下しました。AMDとIntelによる最近のリリースにもかかわらず、実際の性能向上は最小限であり、期待を下回っています。PassMarkは、より手頃な価格の機械への切り替え、Windows 11のパフォーマンスの問題、そしてブロートウェアなどが、この予期せぬ減少に寄与している可能性があると推測しています。しかし、正確な原因はまだ不明であり、将来のデータは変化する可能性があります。
続きを読む
ベテラン音楽愛好家が様々な物理音楽フォーマットへのノスタルジックな視点を共有し、音質、利便性、耐久性を基準にランキング付けしています。CDは完璧な音質でトップにランクインしていますが、やや無機質です。MDはそれに続き、小型で耐久性があり、録音可能ですが、容量が限られています。ヴァイナルはノスタルジックな魅力と芸術性を備えていますが、音質に固有の限界があります。そして、MP3プレーヤー、シェラックレコード、ピアノロール、ワックスシリンダー、そして最終的にカセットテープの悪名高い低音質へと続いていきます。音楽フォーマットの進化とそれぞれの長所・短所が強調されています。
続きを読む
CppMatchは、Rust風の例外処理とパターンマッチングをC++にもたらす軽量なヘッダーオンリーのC++ライブラリです。成功または失敗の結果を表す`Result`型を使用し、`expect`マクロでエラー処理を簡素化し、`match`マクロでパターンマッチングを実装します。また、複数の`Result`オブジェクトを組み合わせるための`zip_match`も提供します。ClangとGCCと互換性があり、ラムダ関数を使用してさまざまなエラー処理戦略を提供します。Rustのエレガントなエラー処理を求めるC++開発者にとって魅力的な選択肢です。
続きを読む
新しいレポートによると、AppleのApp Storeで少なくとも5つのVPNアプリが中国軍と関連していることが明らかになり、そのうち3つは100万回以上のダウンロード数を誇っています。これらのアプリに関連する中国企業の子会社は、「プラットフォームデータの監視と分析」を行う役割の採用を行っており、アメリカ文化への精通が応募条件として挙げられています。これは、ユーザーデータのプライバシーと地理的制限の回避の可能性に関する深刻な懸念を引き起こします。Appleは2つのアプリを削除しましたが、残りの3つのアプリの運命は不明です。専門家は、評判の良い企業が提供するVPNアプリのみを使用することを推奨し、中国発のアプリの使用は強く避けるべきだと警告しています。これは、中国の法律でログの保管と政府へのデータ提供が義務付けられているためです。
続きを読む
Mozillaは、財務成長とミッションへの影響という課題に対処するため、リーダーシップ体制の刷新を発表しました。多様化を図るため、プライバシーを尊重する広告への投資、信頼できるオープンソースAIの開発、オンライン資金調達キャンペーンの実施を進めています。新たに任命されたリーダー陣はGoogle、Twitter、Uberなどの企業出身で、ビジネス、テクノロジー、公共の利益のバランスを考慮しています。Mozillaは、人間のニーズを優先するテクノロジーを通じて、より良い未来のための闘いを継続することを目指しています。
続きを読む
ノースダコタ州銀行（BND）は、アメリカ合衆国で唯一州が所有・運営する総合サービス銀行であり、1919年に農業、商業、工業の発展を促進するために設立されました。州の資金を活用して、インフラプロジェクト、農業、中小企業向けに融資と金融サービスを提供し、地元金融機関に対して卸売銀行業務も行っています。BNDは、2008年の金融危機と2020年のCOVID-19パンデミックにおいて重要な役割を果たし、その収益性と州経済へのプラスの影響を示しました。その独自のモデルは、アメリカの金融システムにおける際立った成功例となっています。
続きを読む
ヨーロッパの再生可能エネルギー生産の大部分は、長波無線によって遠隔制御されています。グリッドの安定化を目的として設計されていますが、暗号化されておらず認証されていないVersacomとSemagyrプロトコルを使用しているため、悪用される可能性があります。研究者らはこれらのプロトコルを分析し、脆弱性を悪用して街灯や発電所を遠隔制御し、大規模な停電を引き起こす可能性があることを実証しました。また、この脆弱性を活用して、都市規模の光のアートインスタレーションを作成する可能性も示しました。
続きを読む
ロールベース（RBAC）、属性ベース（ABAC）、リレーションシップベース（ReBAC）のアクセス制御ポリシーを組み合わせた柔軟な認可ライブラリです。ポリシーの組み合わせ（AND、OR、NOT）、詳細な評価トレース、流暢なビルダーAPIをサポートし、型安全性と非同期サポートを備えています。RBACやABACなどの複数のポリシーを簡単に追加し、PolicyBuilderを使用してカスタムポリシーを作成できます。RBAC、ReBAC、ポリシーコンバイナーの完全なデモが含まれています。
続きを読む
5年にわたるRustの`time`クレートのメンテナンスの後、著者は大きなパフォーマンス最適化を行いました。ユークリッドアフィン関数と巧妙な整数演算を利用して`Date::to_calendar_date`アルゴリズムを再設計することにより、浮動小数点演算と分岐を回避し、パフォーマンスを57.5%向上させました。新しいアルゴリズムは、日付と月の両方をまとめて計算する場合だけでなく、個別に計算する場合にも大幅に高速です。これは簡単な作業ではありませんでしたが、著者はパフォーマンスの向上は努力に見合う価値があると信じています。
続きを読む
3月27日、バッファロー大学のウィリアム・J・ラパポート教授（コンピュータサイエンス、エンジニアリング、哲学、言語学の各分野で教授職）と、AIに関するディスカッションを開催します。ラパポート教授は、AI分野の権威であり、『コンピュータサイエンスの哲学』などの著書や、AIの成功や大規模言語モデルとチューリングテストに関する最近の論文を発表しています。この機会に、質問をフォームから送ってください！AIの第一人者と直接意見交換できる貴重な機会です。
続きを読む
MADE.comの2人のエンジニア、ハリーとボブが、Pythonアプリケーションアーキテクチャの実践ガイドを共同執筆しました。大規模なEコマースシステム構築の経験に基づき、ドメイン駆動設計（DDD）、テスト駆動開発（TDD）、イベント駆動アーキテクチャといった主要な概念を分かりやすく解説しています。多くのPythonコード例を通して、複雑なビジネスシナリオにおけるソフトウェア開発の課題解決を支援します。Python開発経験があり、アーキテクチャスキル向上を目指すエンジニアに最適です。
続きを読む
Sniffnetは、無料でオープンソースのクロスプラットフォームネットワークトラフィックモニタリングツールです。複数の言語に対応しており、直感的なインターフェースで、ネットワークトラフィックの監視、リアルタイムチャートの表示、PCAPファイルのエクスポート、サービスとプロトコルの識別などが簡単に行えます。カスタムテーマ、通知、フィルタもサポートしており、包括的なWikiも提供しています。古いシステムではレンダラーの切り替えのために環境変数を設定する必要がある場合がありますが、全体的には強力で使いやすいツールです。
続きを読む
著者は、現在の地図アプリが公共交通機関の経路計画においてアルゴリズムにのみ依存し、ユーザーのニーズと専門知識を無視していることを批判しています。特定のバス路線の組み合わせを指定するなど、ユーザーが経路オプションをカスタマイズできるようにし、経路計画の比較に含めることを提案しています。これは、スパムフィルターの「スパムとして報告」と「スパムではない」機能を反映しており、ユーザーからのフィードバックを通じてアルゴリズムを改善します。プライバシーに関する懸念があるものの、ユーザーの参加は経路の精度とユーザー満足度を高め、最終的にはアルゴリズムの改善につながる可能性があります。ユーザーが独自の経路の組み合わせを追加できる機能は、データ共有がなくても大きな改善となるでしょう。
続きを読む
有料でプライバシー重視の検索エンジンを提供するKagi社が、WebKitベースのOrionブラウザのLinux版リリースを発表しました。Orionは、速度、低メモリ使用量、プライバシー機能で知られており、現在macOSとiOSで利用可能で、ChromeとFirefoxの拡張機能をサポートしています。現在クローズドソースですが、Kagi社は段階的にコンポーネントをオープンソース化し、来年にはLinux版とmacOS版で機能の同等性を達成することを目指しています。これはLinuxユーザーにとって朗報であり、強力なブラウザの選択肢が増えることになります。
続きを読む
ブラジルの最高裁判事アレクサンドル・デ・モライスは、ビデオ共有プラットフォームRumbleに対し、ブラジル国内での24時間以内のオフライン化を命じました。モライスは、Rumbleが裁判所の命令、特にブラジルでの法的代理人の選任を怠ったと述べています。また、ブラジルの保守派ジャーナリストであるアラン・ドス・サントスのチャンネルの削除も拒否しました。Rumbleは「前例のない検閲」だと反論し、トランプ・メディア・テクノロジー・グループと共に、モライスを提訴し、米国の憲法第一修正条項の表現の自由の権利を侵害したとしています。これは、以前X（旧Twitter）に対して下された同様の命令と呼応しており、表現の自由と司法権限に関する懸念を引き起こしています。
続きを読む
Maximaは強力なコンピュータ代数システムです。ブラウザフロントエンドはMarius Gerbershagenによって、埋め込みCommon Lisp、emscripten、gnuplot、MathJaxを使用して構築されました。ソースコードはこちらで入手可能です。
続きを読む
研究者は、GitHub CodeQLにおいて、わずか1.022秒間公開されていた秘密鍵を発見しました。この短い時間内に、攻撃者はCodeQLワークフローへの完全な書き込み権限を取得し、プライベートリポジトリのソースコードやGitHub Actionsのシークレットを盗み、内部インフラストラクチャでコードを実行できた可能性があります。さらに重要なのは、攻撃者がデフォルトのCodeQLワークフローで使用されるバージョンタグを改ざんすることで、CodeQLを使用するすべてのリポジトリに影響を与える可能性があったことです。この脆弱性は修正されましたが、CI/CDセキュリティの重要性を浮き彫りにしています。
続きを読む
マイクロソフトは、言語サーバーを基盤としたアプリケーション開発を簡素化するPythonライブラリ、Multilspy をオープンソース化しました。Java、Rust、C#、Pythonをサポートし、サーバーバイナリのダウンロード、設定/削除を自動化し、シンプルなAPIを提供します。コード補完、シンボル定義、参照などの静的解析結果を取得するために言語サーバーと連携し、Monitor-Guided DecodingなどのAI支援コード生成技術に不可欠です。
続きを読む
GizmoSQLは、バックエンドデータベースとしてDuckDBまたはSQLiteを使用するApache Arrow Flight SQLサーバーの実装です。ミドルウェアによる認証を有効にし、TLSによる暗号化接続を許可します。このプロジェクトは、簡単な展開と使用のためにDockerイメージとCLI実行ファイルを提供します。ユーザーはJDBCまたはADBCドライバを介してサーバーに接続し、Pythonまたは`gizmosql_client` CLIツールを使用してクエリを実行できます。GizmoSQLは、カスタム初期化SQLコマンドをサポートし、異なるバックエンドデータベースの選択やTLSの有効化/無効化など、柔軟な構成オプションを提供します。スリムなDockerイメージも利用できます。
続きを読む
DEDAは、印刷物に埋め込まれた追跡ドットを抽出、復号、匿名化するオープンソースツールキットです。カラーレーザープリンターは、プリンターのシリアル番号などの情報を含む小さな追跡ドットを印刷物に残すことがよくあります。DEDAはこれらの情報を取得して復号化し、追跡を防ぐためにドキュメントを匿名化することもできます。GUIとコマンドラインツールを提供し、ドットの抽出、プリンターの比較、カスタムドットの作成、スキャンデータとドキュメントの匿名化などの様々な操作が可能です。インストールにはPython 3と複数の依存関係が必要で、一般的なインストールエラーのトラブルシューティングに関するヒントも提供されています。
続きを読む