TKey:柔軟でオープンソースなUSBセキュリティキー

2025-02-07

TKeyは、柔軟な新しいタイプのUSBセキュリティトークンであり、ハードウェアとソフトウェアはオープンソースです。独自のデバイスシークレット(UDS)を使用し、アプリケーション測定とオプションのユーザー提供シードを組み合わせて、各アプリケーションに固有のキー素材を導出します。これにより、アプリケーションが侵害された場合でも、正しい認証キーが生成されないことが保証されます。SSHログイン、Ed25519署名、ルートオブトラスト、FIDO2、TOTP、Passkeyなどをサポートし、継続的にアプリケーションとプロトコルのサポートを追加しています。射出成形または3DプリントされたケースとRISC-V PicoRV32コアを採用した堅牢な設計により、セキュリティと適応性を両立しています。

続きを読む
ハードウェア セキュリティキー

ハッシュ衝突確率:誕生日パラドックスから近似計算まで

2025-06-25
ハッシュ衝突確率:誕生日パラドックスから近似計算まで

この記事では、ハッシュ衝突の確率について深く掘り下げています。ハッシュ関数は、任意に複雑な入力を単一の数字にマッピングしますが、ハッシュ衝突(異なる入力が同じ数字にマッピングされる)のリスクがあります。誕生日パラドックスから始めて、ハッシュ衝突確率を計算するための正確な公式と、3つの近似方法(指数近似、簡略化された近似、さらに簡略化された近似)を説明します。比較すると、指数近似はほとんどの場合で最高の性能を発揮しますが、他の2つの方法は迅速な推定に適しています。この記事では、近似方法を裏付ける数学的証明も提供しています。

続きを読む

ToS;DR:ピアレビューによる利用規約の簡素化

2025-03-31
ToS;DR:ピアレビューによる利用規約の簡素化

ToS;DRは、プライバシーポリシーと利用規約の理解を簡素化します。ボランティアの貢献者によって規約がレビューされ、スコア(良い、中立、悪い、ブロッカー)が付けられます。最終的な評価(A~E)は公平性を反映します。多くのサービスはまだ評価されていません。利用者の貢献は大歓迎です。

続きを読む
その他

EUがAppleにiOSの開放を強制:相互運用性とイノベーションをめぐる戦い

2025-03-20
EUがAppleにiOSの開放を強制:相互運用性とイノベーションをめぐる戦い

EUはデジタル市場法(DMA)を根拠に、AppleにiOSの9つの接続機能を開放するよう強制しています。これは相互運用性を高め、Appleの閉鎖的なエコシステムを打破するためです。Appleは、これが反イノベーションであり、ユーザーのプライバシーとセキュリティを損ない、ヨーロッパにおけるイノベーションを制限すると反論しています。一方、中小企業はEUの決定を支持し、Appleの行為が競争を阻害し、価格上昇とイノベーションの低下につながると主張しています。この議論の中心は、巨大テクノロジー企業のイノベーション力と市場競争促進の必要性のバランスにあります。

続きを読む
テクノロジー

ファビコン:OSINT調査における強力で過小評価されているツール

2025-01-24

この記事では、OSINT(オープンソースインテリジェンス)調査におけるファビコン(ウェブサイトアイコン)の重要な役割を強調しています。しばしば見過ごされるファビコンは、不正なウェブサイトの強力な指標となり得ます。ターゲットウェブサイトのファビコンのハッシュ値と正規サイトのハッシュ値を比較することで、調査官はなりすまし行為を特定できます。この記事では、Favicone、Favicon Grabber、Favihashなどのツールを使用して、ファビコンのハッシュ値を分析し、ShodanやCensysなどのプラットフォームで検索して、Amazon UKの偽サイトなどの正規サイトを模倣する悪意のあるウェブサイトを発見する方法を示しています。これは、ファビコン分析がOSINTにおいて効果的でありながら過小評価されているテクニックであることを強調しており、オンライン詐欺や悪意のある活動を迅速に特定することを可能にします。

続きを読む
テクノロジー ファビコン

小さなベルギー企業がElixirでライブ放送業界を席巻

2025-03-26
小さなベルギー企業がElixirでライブ放送業界を席巻

わずか9人の従業員を抱える小さなベルギー企業Cyanviewは、Elixirをベースとしたリモートコントロールパネル(RCP)でライブ放送業界に旋風を巻き起こしました。スーパーボウルやオリンピックなどのイベントで使用されているRCPは、数百台のカメラを調整し、様々な機器にわたって色、露出などの視覚的な側面の一貫性を確保します。Elixirの堅牢なネットワーキング機能、フォールトトレランス、効率的なバイナリデータ処理により、迅速な製品開発と様々なプロトコルやネットワーク状況へのシームレスな統合が可能になりました。Cyanviewの成功は、適切な技術がいかに小規模なチームに大きな成果をもたらすかを示す好例です。

続きを読む
テクノロジー ライブ放送

エンジニアが開発、透視も可能な驚異のカメラ

2024-12-25
エンジニアが開発、透視も可能な驚異のカメラ

YouTubeチャンネル「Stuff Made Here」のクリエイター、Shane Wighton氏が、驚くべきカメラを開発しました。このカメラは、透視を無視し、壁の向こう側さえも見ることができるのです。従来のレンズではなく、精巧な機械システムを用いて、1ピクセルずつシーンをスキャンし、完全な画像を構築します。回転式ガントリーと精密に制御されたミラーにより、カメラは3D空間を動き回り、複数の視点から画像を捉え、最終的な画像を再構築します。これにより、透視効果のない画像の作成、逆透視の実現、さらには物体の背後にあるものの視認が可能となり、驚くべきエンジニアリングと画像処理技術の成果を示しています。

続きを読む
テクノロジー カメラ技術 透視

LuaのためのミニマルなSum型とSwitch: lua-match

2024-12-31
LuaのためのミニマルなSum型とSwitch: lua-match

lua-matchは、Sum型とSwitch機能を提供するミニマルなLuaライブラリです。様々なデータ型と条件分岐をクリーンかつ効率的に処理するために、タグ付け関数を活用しています。シンプルなタグ付け関数とswitchテーブルを使用することで、Sum型のような動作とパターンマッチングを容易に実装でき、Luaコードを大幅に簡素化できます。このライブラリはオープンソースで、MITライセンスを使用しています。

続きを読む
開発 Sum型

AMD、CES 2025で次世代ハンドヘルドゲーミングPC用チップセットを発表

2025-01-07
AMD、CES 2025で次世代ハンドヘルドゲーミングPC用チップセットを発表

CES 2025で、AMDは次世代ハンドヘルドゲーミングPC向けチップセットであるAMD Zen 2 Extreme、および低スペック版のZ2とZ2 Goを発表しました。Zen 2 ExtremeはRDNA 3.5ベースのGPUを搭載する一方、Z2とZ2 GoはそれぞれRDNA 3とRDNA 2を搭載しています。このAPUファミリーは、ハンドヘルドの価格を引き下げ、バッテリー寿命とパフォーマンスを向上させることを目指しており、Lenovo Legion Goなどのデバイスをターゲットにしています。AMDはまた、Zen 5ベースのゲーミングノートPC向けプロセッサ「Fire Range」HX3Dも発表しました。これは3D V-cacheテクノロジーを採用し、パフォーマンス向上と温度低減を実現しています。

続きを読む

日本の「絶望駅」で一夜を過ごす

2025-02-07
日本の「絶望駅」で一夜を過ごす

日本の奥津駅は「絶望駅(zetsubo no eki)」として知られています。記者が実際にそこで一夜を過ごし、その体験をレポートしました。辺鄙な場所、冷たい夜気、営業している店が少ないことなど、厳しい状況でした。多くの店は閉まっていましたが、終夜営業のカラオケや、高額になりうるホテルといった選択肢もありました。この記事は、特に年末年始などの休暇シーズンには、交通手段を綿密に計画し、「絶望駅」に取り残されることを避けるよう促すものです。

続きを読む

世界の陸地の4分の3が乾燥化、「地球上の生命を再定義」

2024-12-25
世界の陸地の4分の3が乾燥化、「地球上の生命を再定義」

最新の研究によると、過去30年間で世界の陸地の77%が乾燥化し、過剰な塩分を含む土壌の割合が急速に増加していることが明らかになりました。気候変動はこの傾向を加速させ、地球の40%以上(南極大陸を除く)が乾燥地帯となっています。これは農業生産性、生物多様性、生態系の健康を脅かし、食料と水の安全保障を悪化させています。排出量が抑制されない限り、この傾向は続き、飢餓、避難、経済衰退など、深刻な社会経済的な影響をもたらします。専門家は、耐乾性および耐塩性作物への投資、作物と水の管理改善、自然に基づく解決策など、迅速な対策を強く求めています。

続きを読む

Meilisearch:アプリ向け超高速オープンソース検索エンジン

2025-04-14
Meilisearch:アプリ向け超高速オープンソース検索エンジン

Meilisearchは、アプリ、ウェブサイト、ワークフローに簡単に統合できる、超高速のオープンソース検索エンジンです。ハイブリッド検索、入力中の検索、タイプミス許容、フィルタリングとファセット検索、ソート、同義語サポート、ジオサーチ、多言語サポートなど、すぐに使える機能を提供し、優れた検索体験を実現します。Meilisearchは、RESTful API、複数のSDK、AI対応、そして簡単な展開と保守のためのクラウドサービス(Meilisearch Cloud)を提供します。ユーザーのプライバシーを重視し、匿名データ収集の無効化とデータ削除リクエストチャネルを提供しています。

続きを読む

1995年のGeoCities:ウェブの民主化

2025-03-08
1995年のGeoCities:ウェブの民主化

1995年、個人ホームページの作成には専門的な知識が必要でした。GeoCities(当初はBeverly Hills Internet)の登場はこれを変えました。ユーザーフレンドリーなページジェネレーターを提供し、プログラミングの知識のないユーザーでも簡単にホームページを作成できるようにしました。仮想コミュニティという概念を通じて、ユーザーにインターネット上での帰属意識を与えました。デザインは簡素でしたが、GeoCitiesは、オンラインでのクリエイティブな表現への広範な参加を可能にし、初期のインターネットにおける重要なマイルストーンとなりました。

続きを読む
テクノロジー

読解力と脳構造:神経画像研究

2024-12-13
読解力と脳構造:神経画像研究

新しい研究では、読解力の異なる人々の脳構造に著しい違いがあることが明らかになりました。1000人以上の参加者のオープンソースデータを分析した結果、読解力と左前頭前野およびヘシュル回旋の構造との間に相関関係が見られました。左頭頂葉は様々な情報を統合するのに対し、聴覚皮質の一部であるヘシュル回旋の厚さは読解力と相関していました。この研究は脳の可塑性を強調しており、読書が脳構造を形成し、個人と人類の両方に利益をもたらすことを示唆しています。

続きを読む

マスクのネットワークステート:米国政府への組織的攻撃

2025-02-02

イーロン・マスクによる米国政府解体への試みは、ランダムな混沌ではなく、「ネットワークステート」設計図の着実な実行です。マスクとそのテクノロジー仲間は、バラジ・スリニヴァサンのビジョン、つまりテックCEOによる乗っ取り、機関の粛清、支配的な経済力としての暗号通貨腐敗、そして新たな領土の獲得を実行しています。マスクの行動は、彼のTwitter買収を反映しており、民主主義的制度の空洞化、公務員の独裁者への忠実者への交代が行われています。

続きを読む
テクノロジー ネットワークステート

フィクションリサーチ募集:「取引」をテーマに

2025-05-18
フィクションリサーチ募集:「取引」をテーマに

架空研究ジャーナルは、「取引」をテーマとした短編フィクションの投稿を募集しています。投稿者は、200語の架空研究要約、100語の架空研究者紹介、著作権フリーの画像を提出する必要があります。この取り組みは、学者が楽しみのために書くことを奨励し、学術界における創造的なコミュニケーションについて反映することを目的としています。締め切りは2023年12月1日です。

続きを読む

Distr:エンタープライズソフトウェア配布の簡素化

2025-01-30
Distr:エンタープライズソフトウェア配布の簡素化

Distrは、顧客管理または共有責任環境へのエンタープライズソフトウェア配布を簡素化します。直感的なWeb UIで、すべてのデプロイと接続されたエージェントを表示できます。ホワイトラベルの顧客ポータルにより、顧客はデプロイを制御できます。豊富なSDKを使用してAPIにアクセスできます。完全にオープンソースで、自己ホスティング可能です。Distr HubはDockerイメージとして配布され、Docker Composeを使用したデプロイ例を提供します。包括的なドキュメントでは、自己ホスティングとソースからのビルドについて説明しており、JavaScript SDKを使用してアプリケーションを統合できます。

続きを読む

消えたロアノーク植民地の謎が解明か? ハンマースケールが驚くべき真実を明らかに

2025-06-11
消えたロアノーク植民地の謎が解明か? ハンマースケールが驚くべき真実を明らかに

イギリスの考古学者マーク・ホートン率いるチームによって、失われたロアノーク植民地の長年の謎が解明された可能性がある。ハッテラス島で発見されたハンマースケール(鍛造から出る小さな鉄片)は、16世紀後半のイギリスの鉄器鍛造技術の存在を明確に示しており、当時のネイティブアメリカンにはこの技術はなかった。これは、植民地住民が滅亡したのではなく、クロアトアン族のコミュニティに同化して生き延びたことを示唆している。謎は完全に解明されたわけではないかもしれないが、この考古学的証拠は植民地住民の運命について説得力のある説明を与えている。

続きを読む

分散システムプログラミングの未来:既存のパラダイムを超えて

2025-02-27
分散システムプログラミングの未来:既存のパラダイムを超えて

この記事では、外部分散、静的配置、任意配置の3つのアーキテクチャを含む、既存の分散システムプログラミングモデルの限界を探っています。著者は、これらのモデルは既存の逐次プログラミングパラダイムの単なる改良であり、並行処理、フォールトトレランス、バージョン管理など、分散システムに固有の課題を真に解決できていないと主張しています。そして、Rustのようにより強力な安全性を提供し、パフォーマンスとスケーラビリティを維持しながら、大規模言語モデルとの連携も向上させた、ネイティブな分散システムプログラミングモデルの開発を提唱しています。

続きを読む

arXivLabs:コミュニティとの協力による実験プロジェクト

2025-02-12
arXivLabs:コミュニティとの協力による実験プロジェクト

arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発および共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を共有しています。arXivはこれらの価値観に尽力しており、これらの価値観を共有するパートナーのみと協力しています。arXivコミュニティを向上させるアイデアをお持ちですか?arXivLabsの詳細をご覧ください。

続きを読む
開発

米国、中国車輸入を事実上禁止、Polestarなどにも影響

2025-01-15
米国、中国車輸入を事実上禁止、Polestarなどにも影響

米国は、国家安全保障上の懸念を理由に、中国製の接続車両の輸入を事実上禁止する規則を最終決定しました。米国で製造された車両も対象となります。この措置は、フォードやGMなどの大手自動車メーカー、Polestarなどの小規模メーカー、さらにはWaymoにも影響を与えます。この禁止は、BluetoothやWi-Fiなどの技術を網羅し、中国によるデータ収集を防ぐことを目的としています。ソフトウェアは2027年、ハードウェアは2030年から発効し、1万ポンドを超える車両は除外されます。自動車業界はこの禁止に強く反対しており、Polestarは、これにより米国での販売が不可能になると述べています。これは、米中貿易摩擦の激化を示しており、データセキュリティと国家安全保障に対する懸念の高まりを浮き彫りにしています。

続きを読む
テクノロジー 米国の禁止 中国車

アドベントオブコードからカスタムCPUへ:言語開発の旅

2025-06-23
アドベントオブコードからカスタムCPUへ:言語開発の旅

著者は、Advent of Code 2015の7日目の課題から始まり、システムプログラミングと言語開発への道のりを語っています。「mango」という独自のプログラミング言語を作成し、その後「turbine」というバイトコード仮想マシンを構築しました。仮想マシンの構築のために、チューリングマシンとCPUアーキテクチャを深く研究し、シンプルな命令セットとレジスタを設計し、C言語で実装しました。このプロジェクトは、システムプログラミングへの著者の情熱と高い技術力を示しており、基本的なプログラムを実行できる仮想マシンを作り上げました。著者は、特定のイベントへの参加資格を得るためにGitHubのスターを獲得しようとしています。

続きを読む
開発

音楽と幾何学:音程と音階の幾何学的解釈

2024-12-19
音楽と幾何学:音程と音階の幾何学的解釈

この記事では、音楽と幾何学の興味深い関係、特に音程と音階が幾何学的図形でどのように表現されるかを考察しています。十二平均律の音程関係を用いて、線、三角形、正方形、六角形、十二角形、十二芒星などの様々な幾何学的図形を構成し、異なる音程間の関係を示しています。さらに、純正律、ギリシャ旋法、対称音階なども取り上げ、幾何学的視覚化を通して音楽理論に独特の視点を与えています。

続きを読む

GitHubプロジェクトマップ:40万以上のプロジェクトを視覚化

2024-12-15
GitHubプロジェクトマップ:40万以上のプロジェクトを視覚化

開発者Anvakaは、公開データを使用して、40万以上のGitHubプロジェクトを視覚化したインタラクティブマップを作成しました。このプロジェクトは、Jaccard類似度を使用してプロジェクト間の関係を計算し、Leidenアルゴリズムを使用してクラスタリングを行います。その結果、GitHubエコシステムの視覚的に素晴らしい表現となり、ユーザーはプロジェクトを検索し、プロジェクト間の接続を探索して、その複雑さと豊かさを明らかにすることができます。

続きを読む

Rustにおける複数の境界を持つトレイトオブジェクト:意外な制限

2025-03-27
Rustにおける複数の境界を持つトレイトオブジェクト:意外な制限

この記事では、Rustのトレイトオブジェクトにおける複数のトレイト境界の制限について掘り下げています。著者は、トレイトオブジェクト内で複数のトレイト制約(例:`Mammal + Clone`)を同時に使用しようとするとコンパイルエラーが発生することを発見しました。この記事では、RustとC++における動的ディスパッチの基礎となるメカニズムを調査し、それぞれのvtableの実装を比較しています。また、この制限を回避するためのトレイト継承の使用とその固有の制限についても調べています。最終的に、著者は、複数のトレイト境界を許可するには複数のvtableポインタが必要であると提案しています。これは冗長性をもたらしますが、型の変換の問題を効率的に解決します。

続きを読む

CRISPRを用いたプログラマブルな胚モデルの作成

2025-03-23
CRISPRを用いたプログラマブルな胚モデルの作成

UCサンタクルーズ大学の科学者たちは、実際の胚を使用せずに、受精後数日を模倣する胚の細胞モデルを開発しました。CRISPRベースの遺伝子編集技術を用いて、マウスの幹細胞を、初期胚発生の重要な段階を複製する、胚様体と呼ばれる自己組織化構造に誘導しました。これにより、初期発生における遺伝子の機能や発生異常のメカニズムを研究することが可能になります。Cell Stem Cellに掲載されたこの研究は、ヒト不妊の理解と不妊治療の改善に新たな道を開きます。

続きを読む

Rustの`time`クレート、書き直されたアルゴリズムにより57.5%高速化

2025-02-03

5年にわたるRustの`time`クレートのメンテナンスの後、著者は大きなパフォーマンス最適化を行いました。ユークリッドアフィン関数と巧妙な整数演算を利用して`Date::to_calendar_date`アルゴリズムを再設計することにより、浮動小数点演算と分岐を回避し、パフォーマンスを57.5%向上させました。新しいアルゴリズムは、日付と月の両方をまとめて計算する場合だけでなく、個別に計算する場合にも大幅に高速です。これは簡単な作業ではありませんでしたが、著者はパフォーマンスの向上は努力に見合う価値があると信じています。

続きを読む
開発

EngineAIのPM01:世界初のヒューマノイドロボットによる前方宙返り?

2025-02-26
EngineAIのPM01:世界初のヒューマノイドロボットによる前方宙返り?

中国のロボット企業EngineAIは、同社のヒューマノイドロボットPM01が世界初のロボット前方宙返りを成功させたとする動画を公開しました。後方宙返りとは異なり、前方宙返りは知覚、バランス、モーター制御の点で非常に大きな課題を提示します。23自由度と驚異的なトルクを誇るPM01は、この難しい動作を成功させ、中国のロボット工学の急速な進歩を浮き彫りにしています。1万3700ドルで入手可能なPM01は、アームに5自由度、脚に6自由度を備え、驚くほど人間らしい歩行も印象的です。

続きを読む
1 2 502 503 504 506 508 509 510 595 596