この記事では、QWERTYとDvorakキーボードレイアウトの100年にわたる歴史を深く掘り下げています。QWERTYはランダムな設計ではなく、初期のタイプライターの機械的制約を解決するために巧みに設計されました。一方、Dvorakは効率性と人間工学を目指していました。試験でDvorakの優位性が示されたにもかかわらず、市場の慣性、切り替えコスト、持続的なマーケティングの不足などの歴史的要因により、広く採用されることはありませんでした。この記事は、キーボードレイアウトの形成における技術的進歩、市場の力、人間の偏見の複雑な相互作用を明らかにし、技術標準の選択と市場競争について熟考することを促します。
続きを読む
Microsoft OneDriveとDropboxは、ストレージ容量の上限を超えた場合の処理が異なります。OneDriveの無料ユーザーは、新しいファイルの同期に制限があり、6ヶ月後に超過ファイルが削除される可能性があります。一方、Dropboxは超過ファイルは保持しますが、新しいファイルの追加と同期が制限されます。この記事では、OneDriveとDropboxの容量超過に関するポリシーを比較し、重要なファイルのバックアップを促しています。
続きを読む
大規模言語モデル（LLM）の推論能力の限界を浮き彫りにしたAppleの論文が、AIコミュニティで激しい議論を引き起こしています。この論文は、非常に大規模なモデルでさえ、一見単純な推論タスクに苦労することを示しており、人工一般知能（AGI）達成のための「スケーリングがすべて解決する」という一般的な仮説に疑問を投げかけています。いくつかの反論が提出されましたが、どれも説得力のあるものではありませんでした。記事では、出力の長さ制限とトレーニングデータへの過剰依存により、LLMが複雑なアルゴリズムを確実に実行できないことが中心的な問題であると主張しています。真のAGIを実現するには、より優れたモデルと、ニューラルネットワークとシンボリックアルゴリズムを組み合わせたハイブリッドアプローチが必要だと著者は示唆しています。この論文の意義は、AGIの開発経路について批判的な再評価を促し、スケーリングだけでは不十分であることを明らかにした点にあります。
続きを読む
カナダのeTAを申請する際、作者は誤って偽のeビザウェブサイトであるevisatravel.orgを使用し、公式料金の5ドルではなく79ドルを支払いました。偽サイトから受け取った証明書には多くの疑わしい点がありました。チャージバックの後、作者は政府のブラックリストへの登録を警告する脅迫メールを受け取りました。それにもかかわらず、作者はカナダに無事入国し、脅迫は虚偽であることが証明されました。この経験は、不正なeビザウェブサイトに関する警告となっています。
続きを読む
Fastlyのレポートによると、AIクローラーが驚くべき速度でオープンウェブを消費しており、すべてのAIボットトラフィックの80％を占めています。MetaのAI部門はこのクローラートラフィックの半分以上を占めており、OpenAIはオンデマンドのフェッチリクエストを支配しています。この過剰なスクレイピングは、ウェブサイトの負荷増加、サーバーのオーバーロード、コンテンツ作成者への被害につながります。一部の企業はrobots.txtディレクティブを無視しており、ウェブサイト運営者はAnubisなどのアンチスクレイピング技術で反撃しています。専門家は、責任あるクロールに関する標準の策定を求めており、AIバブルの崩壊だけがこれを解決できるとさえ示唆しており、政府規制が緊急課題となっています。
続きを読む
メタCEOのマーク・ザッカーバーグは、メタのLlama AIモデルのチームが、海賊版電子書籍や記事を含むLibGenというデータセットを使用してトレーニングを行うことを承認したと主張されています。ベストセラー作家のサラ・シルヴァーマンやタ＝ネヒシ・コーツら原告は、メタが著作権を侵害したと訴えています。メタはフェアユースを主張していますが、原告はメタが著作権情報を削除し、LibGenをトレント経由で取得するなどして、侵害を隠蔽しようとしたと主張しています。この訴訟は現時点ではメタの初期のLlamaモデルのみに関連しており、最終的な結果は未定ですが、これらの主張はすでにメタの評判に悪影響を与えています。
続きを読む
Lueは、EPUB、PDF、TXTなど、様々なフォーマットをサポートする強力なコマンドライン電子書籍リーダーです。モジュール式のTTSシステムを採用しており、デフォルトではEdge TTSを使用しますが、オフラインTTSエンジンKokoro TTSもサポートしています。Lueは、カスタマイズ可能なテーマとマウス/キーボードのフルサポートを備えた豊富なターミナルUIを誇り、自動進捗保存やセッション間の継続性などのスマートな永続性機能も備えています。クロスプラットフォーム（macOS、Linux、Windows）、多言語対応（100以上の言語）で、直感的なナビゲーションショートカットを提供します。ユーザーは、コマンドライン引数を使用して、音声、言語、フィルターオプションを簡単にカスタマイズできます。
続きを読む
このプロジェクトは、センシング要素が回路基板そのものである独創的な歪みゲージ設計を紹介します。非常に高感度で、マイクロメートル範囲のたわみを±3cmのフルスケール範囲で測定します。4要素または2要素ブリッジを使用し、手作業で組み立てやすく、リフローオーブンは必要ありません。内蔵のSeeed Studio XIAO RP2040マイクロコントローラーまたは外部マイクロコントローラーでスタンドアロンで使用できます。可視化のためのPythonスクリプトと、センサ形状をカスタマイズするためのJupyter Notebookも提供されています。
続きを読む
1862年、ジェームズ・クラーク・マクスウェルが電磁エネルギーの理論的基礎を築きました。30年後、ハインリッヒ・ヘルツが無線送受信を実証し、ハードウェア定義受信機（HDR）の時代が始まりました。150年以上にわたり、受信機の設計はハードウェア中心のアプローチからソフトウェア中心のアプローチへと移行し、ソフトウェア定義受信機（SDR）が過去20年間、市場を席巻しています。この進化は、技術的進歩におけるハードウェアとソフトウェアの動的な相互作用を浮き彫りにしています。
続きを読む
司法省は、北朝鮮政府が米企業への遠隔IT業務を通じて体制を資金調達するための計画に対する調整された行動を発表しました。これには、起訴、逮捕、複数の州にまたがる多数の「ラップトップファーム」の捜索、および金融口座と不正ウェブサイトの押収が含まれていました。他の国の個人によって支援された北朝鮮の工作員は、盗まれた偽の身元を使って100社以上の米国企業で職を得て、軍事技術や暗号通貨を含む機密情報を盗みました。1つの計画だけでも、90万ドル以上の仮想通貨が盗まれました。この行動は、北朝鮮がサイバー作戦を利用して制裁を回避し、兵器プログラムに資金を提供するという脅威を浮き彫りにしています。
続きを読む
ユナイテッド・ローンチ・アライアンス（ULA）は8月12日、強力なヴァルカン・ケンタウルロケットを成功裏に打ち上げ、48年ぶりの米国軍初の試験航法衛星NTS-3を搭載しました。この衛星は、高度なジャミング対策技術と、軌道上で再プログラム可能なソフトウェアアーキテクチャを備え、ジャミングやスプーフィング環境における耐性を向上させるように設計されています。今回の打ち上げはヴァルカンの3回目の飛行で、これまでの2回の飛行では軽微な異常が発生しましたが、最終的には成功し、ロケットの信頼性を証明しました。これにより、ULAはSpaceXに次いで、米国宇宙軍から国家安全保障の打ち上げを認可された2番目のプロバイダーとなりました。
続きを読む
米国の自動車ローン債務は、衝撃的な1兆6600億ドルに達し、延滞、デフォルト、車両差し押さえが急増しており、2008年の金融危機以前の水準を上回っています。高額な月々の支払額（平均745ドル、20％の購入者が1000ドル以上を支払っている）と、EV税額控除の期限切れが迫っていることから、信用力の高い購入者でさえ返済に苦しんでいます。アメリカ消費者連盟は、これがより広範な経済危機を示唆している可能性があると警告しています。記事は最後に、消費者に対して、このような債務のわなを避けるために、責任ある財政上の選択をするよう提案しています。
続きを読む
研究者らは、HashiCorp VaultとCyberArk Conjurにおいて、認証の回避、ポリシーチェックの回避、アカウントのなりすましを可能にする微妙な論理的な欠陥を発見しました。システムやデータへのアクセスを管理する資格情報を保管するこれらのシステムは、デジタルインフラストラクチャのバックボーンです。侵害されると、インフラストラクチャ全体が失われます。責任ある開示と修正が行われましたが、堅牢な秘密管理とアクセス制御の重要性が浮き彫りになりました。
続きを読む
Tuxera開発のSD Memory Card Formatterは、SDカード協会の仕様に準拠したSD、SDHC、SDXC、SDUCカードのフォーマットを行うLinuxベースのユーティリティです。最適なパフォーマンスを得るために、OS標準のツールよりもこのツールを使用することをお勧めします。BitLocker To Goで暗号化されたカードはサポートしておらず、保護領域はフォーマットされません。様々なLinuxディストリビューションとSDインターフェースをサポートしています。ダウンロードとマニュアルは公式サイトで入手できます。
続きを読む
イスラエルとの緊張の高まりの中で、イラン政府は国民に対し、WhatsAppの削除を要請しました。安全とプライバシーへの懸念を理由に、アプリがイスラエルとユーザーデータを共有していると主張しています。国営テレビで発表されたこの指示は、情報統制の可能性に関する懸念を引き起こしています。WhatsAppはこれらの主張を否定し、エンドツーエンドの暗号化とユーザー位置情報の追跡を行わないことを強調し、この措置が人々が最も必要とする時に通信を遮断する可能性があると述べています。これは、イスラエルのスパイウェアがWhatsAppユーザーを標的にしたというMetaの以前の主張と、それに伴う多額の和解の後に行われています。
続きを読む
ウォールストリートジャーナルによると、OpenAIはOracleと5年間で3000億ドル規模の巨大なクラウドコンピューティング契約を締結したとのことです。これは、過去最大規模のクラウド契約の一つとなる可能性があります。2027年から開始されるこの契約は、OpenAIがMicrosoft Azureへの依存を減らし、クラウドプロバイダーの多様化を進めていることを示しています。これは、今後4年間で国内データセンターに5000億ドルを投資する「スターゲート計画」とも一致しています。Googleとも並行してクラウド契約を結んでいるにもかかわらず、Oracleとの契約は、OpenAIの急増するコンピューティング需要と、複数のクラウドプロバイダーとの戦略的パートナーシップを浮き彫りにしています。
続きを読む
Zig言語における革新的なアプローチでは、データ構造においてポインタではなくインデックスを使用することで、パフォーマンスが大幅に向上します。ノードを動的配列に格納し、インデックスで参照することで、メモリ割り当てのオーバーヘッドを削減し、メモリ使用量を減らし、アクセス時間を短縮し、解放を瞬時に行うことができます。これは、ツリーなどのノードベースの構造に特に有効であり、Zigコンパイラでは効率的なASTに利用されています。個々のノードの削除には追加処理（例：フリーリスト）が必要ですが、全体的なパフォーマンス向上は著しいです。
続きを読む
AIチャットボットがユーザーを狂気に駆り立てるという報告により、「AI精神病」への懸念が高まっています。この記事では、歴史的出来事との類推と読者アンケートデータの分析を通じて、この現象を探求します。著者は、AIチャットボットが直接精神病を引き起こすのではなく、既存の精神的問題や偏執的な傾向を悪化させるものであり、特に現実世界の社会的制約がない場合に顕著であると主張しています。アンケート調査では、「AI精神病」の年間発生率は1万人に1人から10万人に1人の範囲であることが示唆されており、ほとんどの症例では、既存の精神疾患や危険因子が認められます。
続きを読む
台湾のチップメーカーAndesとその米国子会社Condor Computingは、データセンターにおけるx86とArmの支配に挑戦する画期的なRISC-VコアであるCuzcoを発表しました。Cuzcoは、電力消費の多いCAMを排除しながら高性能を維持する、革新的な時間ベースのスケジューリングアーキテクチャを採用しています。独自の命令実行ユニット設計とマルチレベルキャッシュアーキテクチャにより、最大8コアをサポートし、最新のRVA-23仕様に準拠しています。170億個以上のRISC-Vチップの出荷実績とAI分野での大きな進歩を背景に、AndesはCuzcoを、高性能RISC-V CPU IPのリーダーに位置付けています。
続きを読む
大規模言語モデル（LLM）は数学の分野で驚くべき成果を収め、国際数学オリンピック金メダリストと匹敵するレベルに達していますが、日常的な企業用途でのパフォーマンスは大幅に遅れています。この記事では、ボトルネックはモデルの知能ではなく、タスクの仕様とコンテキストエンジニアリングにあると主張しています。数学の問題は明確な仕様を持ちますが、現実世界のタスクは曖昧で、暗黙的な制約が多く含まれています。AIを改善するには、より優れたコンテキストエンジンとタスク仕様を構築する必要があり、データ取得、モデルのトレーニング、継続的な学習におけるブレークスルーが必要です。短期的にAIは科学分野で驚くべき成果をもたらしますが、長期的に、広範な企業の自動化は、仕様とコンテキストエンジニアリングの課題を克服する必要があります。
続きを読む
昨年、不具合のあるアップデートによって引き起こされた大規模なネットワーク障害の後、AT&Tは今後の障害に対して1日分の料金クレジットを提供することを約束しました。このクレジットは、60分以上続く無線ネットワーク障害（10以上の基地局に影響を与える場合）と、20分以上続くファイバーネットワーク障害（AT&T提供のゲートウェイを使用する場合）に適用されます。ただし、この約束には免責事項があり、自然災害や第三者による障害などは除外されます。AT&Tはクレジットの適格性について独自の裁量権を保持しており、サービスの信頼性と、このようなインシデントの処理における透明性に関する懸念を引き起こしています。
続きを読む
FlakeUIは、フラクタル構造、親子軌道、ズーム要素に基づいたグラフユーザーインターフェースで、コンテンツナビゲーションに革命を起こします。シンプルなリストではなく、動的で探求可能なフラクタル宇宙としてウェブコンテンツを探求できることを想像してみてください。ユーザーは、5つの直感的なジェスチャー（パン、回転、ズームイン、ズームアウト、モード切り替え）で、この視覚的に素晴らしいインターフェースを操作します。Javascriptで構築されたFlakeUIは、厳選されたリンク集や検索可能な階層型カタログなど、頻繁にアクセスされるウェブサイトに最適です。コンテンツはXHTMLページとXML設定で管理され、ノード内のハイパーリンクナビゲーションをサポートしています。これまでにないコンテンツブラウジング体験を！
続きを読む
ローマ街道協会（RRRA）は、2024/25シーズンのオンライン講演会を発表しました。ローマ街道、建設、考古学的発見に関する講演会が開催されます。EventbriteとTicketTailorで予約可能です。また、機能が向上した新しいウェブサイトの開発も発表されました。
続きを読む
このガイドは、定義と表現におけるよくある間違いに焦点を当て、明確で簡潔な数学論文の書き方に関する実践的なアドバイスを提供します。定義における余分なコンマの回避、表記が同時に導入され使用される二重定義の防止、曖昧さを避けるための表現の単位としての扱いなど、多くの例と代替表現が示されています。これにより、可読性と正確性が向上します。
続きを読む
この記事では、コードの肥大化、アーキテクチャのずれ、コンテキストの希釈といった一般的な問題を体系的な制約によって解決する、協調的なAIソフトウェア開発のための構造化された方法論を紹介します。4段階のプロセスには、AIの設定、共同計画、体系的な実装、データ駆動型イテレーションが含まれます。各段階には、体系的な制約と検証チェックポイントが組み込まれており、仮定よりも経験的データが重視されます。中心的な戦略は、大きなタスクを小さく管理しやすいコンポーネントに分解し、AIに焦点を絞った具体的なリクエストを問い合わせ、厳格なガイドライン（例：ファイルあたり最大150行）とパフォーマンスベンチマークを通じてコードの品質とアーキテクチャの一貫性を強制することです。`project_extract.py`というツールがプロジェクト管理を支援します。DiscordJSボットの例がその応用を示しています。
続きを読む
この記事では、DatalogプログラムをSQLクエリに変換する新しい手法を紹介します。著者はSQLのリレーショナル代数の機能を巧みに活用し、Datalogプログラム本体の変数バインディング環境を関係として表現することで、既存のSQLエンジンを使用してDatalogクエリを効率的に実行します。この手法は簡潔であるだけでなく、双対数のトリックを用いた半ナイーブ評価も可能で、パフォーマンスをさらに向上させます。この記事には、PythonとSQLのコード例、および他のDatalogエンジンとのパフォーマンス比較が含まれています。
続きを読む
この記事では、現在のAI投資ブームがバブルを形成しているかどうかを考察し、鉄道ブームやドットコムバブルなどの歴史的例えを引き合いに出しています。著者は、テクノロジーバブルに見られる共通のパターンとして、技術革新、資本流入、投機的熱狂、現実チェックを挙げています。現在のAIバブルは前例のない透明性を持ちますが、参加への魅力は依然として強いままです。この記事は、AIが歴史的パターンを打ち破る可能性のある理由、避けられない調整から利益を得るための戦略、合理的な投資とリスク管理の重要性について考察しています。
続きを読む
Y Combinatorなどのトップクラスの投資家から支援を受けているリモートワーク中心の企業Nolocoは、創設者アシスタントを採用しています。この重要な役割では、CEOを支援し、日々の業務、戦略立案、特別プロジェクト（財務、採用、チームイベントなど）を担います。理想的な候補者は、スタートアップ、コンサルティング、ベンチャーキャピタルなどで1～3年の経験を持ち、優れたコミュニケーション能力と問題解決能力、そして技術への強い関心を持ち合わせています。早期段階の企業構築に関する貴重な知見を得ることができ、企業の成長に大きく貢献できます。
続きを読む
1年以上、Mintlifyの検索における競合状態が原因で、検索結果が不安定になっていました。検索を支えるTrieve社の創設者として、修正のためのPRを送信しようとしましたが、失敗しました。最終的にMintlifyに入社し、デバウンスされた検索関数にAbortControllerを追加することで、問題を解決し、検索結果を常に関連性の高いものにしました。この経験は、オープンソースの力と、しつこい問題を直接解決することの満足感を浮き彫りにしました。
続きを読む
llama-scanは、Ollamaを利用してPDFをローカルでテキストファイルに変換するツールで、トークンコストを削減します。Ollamaの最新のマルチモーダルモデルを使用し、画像や図表を詳細なテキスト記述に変換できます。インストールは簡単で、Ollamaとpipまたはuvを使ってllama-scanをインストールするだけです。カスタム出力ディレクトリ、モデルの選択、中間画像ファイルの保持、画像幅の調整、ページ範囲の指定などの機能があり、効率的なPDFテキスト抽出を容易にします。
続きを読む