欧州の電気自動車市場は好調で、8月の売上高は前年比26％増加したものの、テスラは欧州での販売が低迷している。データによると、Model YとModel 3の販売台数はそれぞれ34％と29％減少した。テスラは欧州のEVメーカー上位10社にランクインしているものの、フォルクスワーゲンなどの他社に市場シェアを奪われている。フォルクスワーゲンは8月の売上高が前年比45％増加した。テスラの苦戦にもかかわらず、欧州のEV市場全体は堅調で、8月の販売台数は15万4582台に達し、新車販売の20％を占めた。これは、EUの2025～2027年の排出目標を達成するのに十分な数字である。
続きを読む
大規模言語モデル（LLM）はコードの書き方を革命的に変え、ワールドワイドウェブの影響すら凌駕しました。しかし、コードを理解する方が書くより難しいという基本的な事実は変わっていません。つまり、コードの1行1行が技術的負債となるのです。LLMの導入により、チームに古いテストスイートや技術的な決定を放棄させることがさらに困難になります。LLMは容易に新しい機能を作成しますが、これにより、膨張し、メンテナンスが困難なコードベースにつながり、DRY原則に反します。歴史的に生産性の高いエンジニアリングチームは、ツールチェーンに関する深い専門知識に依存していますが、LLMはコード作成のコストを大幅に削減し、ソフトウェア環境における生態系の多様性の爆発的な増加をもたらします。LLMは最終的にコードの可読性と推論能力を向上させる可能性がありますが、現在の課題は依然として大きいです。
続きを読む
Vimの開発者Bram Moolenaar氏の逝去は、UNIXテキストエディタの豊かな歴史を振り返るきっかけとなりました。この記事では、edからVimまでの進化をたどり、Ken Thompsonのed、George Coulourisのem、Bill Joyのvi、そしてStevieやElvisといった多くのviクローンエディタの物語を紹介します。それらの開発はUNIXの進化やコンピューティングそのものと密接に関連しており、オープンソースソフトウェアの永続的な精神を示しています。Vimは、当初StevieのAmiga移植版として始まり、今日でも広く使われている強力なエディタへと成長しました。
続きを読む
耐久性テストで大きな弱点が見つかりました。iPhone 17 Proと17 Pro Maxのカメラバンプの鋭いエッジは簡単に傷がつきます。JerryRigEverythingは、陽極酸化アルミニウムのコーティングがコーナー部分で剥がれやすいことを示し、これはこのプロセスにおける既知の問題であり、コーティングの摩耗につながります。Appleは明らかに耐久性よりも美観を優先したようです。鍵などの日常品でもコーティングが剥がれる可能性がありますが、損傷は表面的なものです。予約済みの場合は、保護ケースを検討しましょう。
続きを読む
1986年のこのインタビューは、Macintosh初期のデザイナーであるJef Raskinを取り上げています。Raskinは複雑なユーザーインターフェースデザインを痛烈に批判し、SwyftCard（Apple IIアプリケーション）のデザイン哲学を共有しています。そのアプローチの中核は「モードレスネス」と「単一性」です。つまり、各アクションは1つの結果を持ち、各結果は1つのアクションを持つことで、ユーザーの習慣と効率性を促進します。彼はMacが最終的に従来のOSとマウスを採用したことを批判し、優れたUIデザインは技術的な複雑さよりも速度とユーザーエクスペリエンスを優先すべきだと主張しています。Raskinの洞察は、現代のUI/UXデザインにとっても依然として重要です。
続きを読む
ブラジルは、国民がデジタルフットプリントを管理、所有、収益化することを可能にする、画期的な全国的なデータ所有権パイロットプログラムを開始しました。このプロジェクトは、国営企業DataprevとDrumWaveの協力により、「データウォレット」を使用して、ローンなどの用途のために個人データを収益化します。しかし、デジタルディバイドの悪化や脆弱な集団の搾取につながる可能性があるという懸念も出ています。国民の権利とデータ経済の発展のバランスを取る上で、このイニシアチブが成功するかどうかは、まだわかりません。
続きを読む
この記事では、無限Pythonジェネレータを使って数学関数を再帰的に定義する巧妙なテクニックを紹介しています。正の整数のジェネレータを再帰的に定義し、テイラー級数展開を利用することで、e^x、sin x、cos xのテイラー級数係数を、それらの式を事前に定義することなく、積分関係のみに基づいて再帰的に生成する方法を示しています。また、メモ化デコレータを使った最適化も紹介されており、パフォーマンスの向上と再帰深度の制限回避を実現しています。
続きを読む
従来の旅行プラットフォームはホテルと航空券の予約から始まりますが、真の旅行は目的地の選択から始まります。旅行者は、予約カレンダーをスクロールするのではなく、都市を探検し、場所を体験することを夢見ています。この革新的なプラットフォームは、このシナリオを変えます。目的地を優先し、選択した場所の周辺で必要なすべての予約をシームレスに整理します。この場所に焦点を当てた流れは、従来の予約ファーストのプラットフォームとは異なり、人々が実際に旅行を計画する方法と一致します。
続きを読む
Daggerチームは、Dagger CloudのWebインターフェースをReactから、GoとWebAssemblyを使ったv3バージョンに書き換えました。これは、2つのUIコードベース（ターミナルUIとWeb UI）を統一し、開発効率とパフォーマンスを向上させるためです。GoとWebAssemblyの組み合わせは一般的ではありませんが、Go-appフレームワークと大規模なメモリ最適化によって、ターミナルUIを反映した、より高速でスムーズで一貫性のあるユーザーインターフェースを構築することに成功しました。このプロジェクトは、メモリ制限やすぐに使えるコンポーネントライブラリの不足など、GoとWebAssemblyを使用することの課題と機会を浮き彫りにしています。最終的に、Dagger Cloud v3はパフォーマンスの向上と開発チームの効率向上を実現しました。
続きを読む
Verusは、Rustで記述されたコードの正当性を検証するための静的解析ツールです。開発者はコードが実行すべきことを記述し、Verusは実行可能なRustコードが、コードのあらゆる実行において常に仕様を満たすことを静的に検査します。実行時チェックを追加する代わりに、Verusは強力なソルバーを使用してコードの正当性を証明します。Verusは現在、Rustのサブセットをサポートしており（拡張中です）、場合によっては、標準のRust型システムを超えて、生のポインタを操作するコードなどの正当性を静的に検査できます。Verusは現在開発中であり、機能が壊れている、または欠落している可能性があり、ドキュメントも不完全です。
続きを読む
著者のiPhone片手コーディングの夢が実現しました。Pythonistaから脱却し、Secure Shellfish（オフラインフォルダ同期機能付き）、Textastic（コードエディタ）、Working Copy（Gitクライアント）の3アプリを組み合わせ、VPS上でコードを実行しています。初期費用は高め（約57ユーロ＋VPS月額料金）ですが、ソーシャルメディアからの解放、集中した片手コーディングを実現しています。
続きを読む
謎のAIプログラムが、「ゴシックアラビアレゲエ」や「サックストゥアレグ」など、500種類以上の珍しい音楽ジャンルを組み合わせた作品を生み出しました。これらの組み合わせは、様々な文化と音楽スタイルを大胆に融合し、音楽創作におけるAIの可能性を無限に示しています。これは、音楽創作の未来について考えさせられるとともに、音楽家たちに新たな創造的インスピレーションを提供します。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーというarXivの価値観を共有しています。arXivはこれらの価値観を重視し、これらの価値観を遵守するパートナーのみと協力しています。arXivコミュニティを強化するアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
テネシー大学の研究助手教授であるウラジーミル・ディネッツ博士は、都市生活への驚くべき適応能力を示すコパーホークを観察しました。このホークは、交差点の赤信号が延長された際に発生する音声信号を利用して、車の列が隠れ場所になることを予測することを学びました。そして、家の近くで鳥を待ち伏せし、攻撃中に車を隠れ蓑として利用しました。これは、ホークが人工信号と車両の行動との相関関係を理解しており、視界を遮られていても正確に獲物を攻撃できる優れた空間記憶能力を持っていることを示唆しています。これは、都会の猛禽類の並外れた知性と適応性を示しています。
続きを読む
このプロジェクトは、webmssdk.js内にあるTikTokのカスタム仮想マシン（VM）のリバースエンジニアリングの詳細を説明しています。VMは、TikTokの難読化とセキュリティの重要な部分です。このプロジェクトには、webmssdk.jsの難読化解除、VM命令の可読なコードへの逆コンパイル、難読化解除されたバージョンでwebmssdk.jsを置き換えるスクリプトの注入、認証済みリクエスト（コメントの投稿など）のための署名付きURLの生成を行うツールが含まれています。著者は、ブラケット表記や偽装された関数呼び出しなど、重要な難読化技術を克服し、VMを正常に難読化解除および逆コンパイルし、最終的に認証済みリクエストの署名を生成することができました。
続きを読む
組込みLinuxシステムでは、Qtアプリケーションがroot権限で実行されることが多く、セキュリティリスクとなります。この記事では、Yoctoで構築されたシステムでWaylandを使用して、Qtアプリケーションをroot権限を持たないユーザー(weston)として実行するソリューションについて説明します。WestonとQtアプリケーションのサービスユニットを変更し、`XDG_RUNTIME_DIR`と`WAYLAND_DISPLAY`環境変数を設定することで、Waylandサーバーとクライアントが同じソケットファイルを使用するようにし、セキュリティを強化し、EUサイバーレジリエンス法に準拠します。主な手順としては、weston.serviceとweston.socketのユーザーとグループの変更、そしてweston-init.bbappendでweston-client環境ファイルの生成があります。これにより、Qtアプリケーションをroot権限なしで実行できます。
続きを読む
フィリップスは、「Philips Fixables」という新しいイニシアチブを発表し、公式に設計された3Dプリント可能な交換部品を無料で提供することで、セルフリペアを促進しています。これらのファイルはPrintables.comで入手でき、最初の提供はシェーバー用の3mmコームです。現時点では限定的ですが、フィリップスは今後、利用可能な部品のライブラリを拡大する予定です。このプログラムは、プルサリサーチとLePubとのパートナーシップの下、チェコ共和国で最初にリリースされ、持続可能な修理オプションを促進し、修理可能なハードウェアに関するコミュニティの育成を目指しています。ユーザーは、特定の部品をFixablesプログラムに追加するようリクエストすることもできます。
続きを読む
Nicholas Khami氏は、Git worktreesとtmuxを使って複数のLLMコードジェネレーター（Claude Code、Codexなど）を並列実行した経験を共有しています。個々のLLMの出力がばらつきがあっても、複数のLLMを同時に実行することで、使えるコードが得られる確率が劇的に向上することが分かりました。しかし、複数のワークツリーとtmuxセッションを手動で管理するのは面倒です。そこで、Khami氏と共同設立者は、このワークフローを効率化するCLIツール`uzi`を開発しています。`uzi`は、エージェントの起動、プロンプトの送信、コマンドの実行、プレビュー、コミット、PRの作成などのタスクを自動化し、よりスムーズな開発体験を提供します。これは開発者の生産性を大幅に向上させる可能性があり、並列処理の考え方は、法律文書のレビューやマーケティングデータ分析など、コーディング以外の分野にも適用できます。将来的には、同様の並列実行機能を備えたソフトウェアが増えていくと思われます。
続きを読む
Scraperrは、XPathセレクターを使用して正確なデータ抽出を行う、自己ホスト型のWebスクレイピングアプリケーションです。クリーンなインターフェースで、スクレイピングジョブの管理、結果の表示、データのエクスポート（様々なフォーマットに対応）が可能です。キュー管理、ドメインスパイダー、カスタムヘッダー、メディアダウンロード、結果の視覚化、通知チャネルなどの機能を備えています。robots.txt、利用規約を遵守し、レート制限を実装してください。明示的にスクレイピングを許可しているウェブサイトでのみ使用してください。
続きを読む
インドネシア・ジャワ島の沖合で行われた考古学的発見が、ホモ・エレクトスに対する私たちの理解を塗り替えています。マドゥラ海峡での浚渫作業中に発掘された頭蓋骨の破片などの化石遺物は、現在水没している広大な低地帯であるスンダランドに生息していた、驚くほど移動性の高いホモ・エレクトスの集団を示しています。狩猟や多様な食習慣の証拠を含むこれらの発見は、孤立したジャワのホモ・エレクトス集団に関するこれまでの理論に疑問を投げかけています。これらの発見は豊かな生態系を示唆しており、他のホミニン集団との相互作用を示唆しており、14万年前の東南アジアにおける初期人類の生活に関するはるかに複雑な絵を描いています。36種の脊椎動物を含むこの独自の収集物は、この地域の過去の生物多様性に関する前例のない洞察を提供します。
続きを読む
SDR Televisionの最初の公開リリースが利用可能になりました。これはQO-100衛星用のDVB-S2/AAC/H264/H265プログラムで、Pluto/LibreSDRを制御するためにSDR Consoleの多くのDLLを活用しています。最新のx86コンピュータ上で全二重DATVソリューションを実証しています。このv1.0リリースは概念実証であり、将来のバージョンではH266/AV1/Opusと改良されたクロスバンドUIが追加される予定です。Windows 10/11 64ビットが必要です。8コア以上を推奨します。
続きを読む
BlenderQは、ローカルのBlenderレンダリングキューを管理するためのターミナルUIツールです。複数の.blendファイルをキューに追加し、ターミナルからその進捗状況を監視できます。Node.jsとInkを使用して構築されており、テーマとNerd Fontsアイコンをサポートしており、インストールが簡単です。作者は、すぐに利用できるコンポーネントがプロジェクトの要件を満たしていたため、PythonやGoではなくNode.jsを選択しました。これにより、機能的で保守しやすいTUIを迅速に提供することができました。
続きを読む
C++/WinRTのプルリクエストにより、`winrt::impl::promise_base::set_completed`における`invoke`の呼び出しの曖昧さが修正されました。これは、引数依存名検索(ADL)が原因でした。C++20のコルーチンのアップグレードによってADLの検索範囲が広がり、意図した`winrt::impl::invoke`ではなく`std::invoke`が誤って検出されました。この記事ではADLのメカニズムを詳しく説明し、古いバージョンのC++/WinRTに対する修正プログラムを提供します。`winrt::Windows::Foundation`名前空間に、より適切に一致する`invoke`関数を宣言することで、コンパイラを正しい関数に誘導します。この修正プログラムには、C++/WinRTのアップグレード後に自動的に無効になる静的アサーションも含まれています。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発し、共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有し、受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーとのみ連携しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
長年にわたる独占禁止法訴訟の闘いの後、Googleは複数の株主と和解し、長期にわたる訴訟を回避しました。2021年以来、Googleは独占禁止法違反を主張する多くの訴訟に直面しており、最近ではEpic Gamesや米国司法省との高額な敗訴に終わっています。これらの敗訴は、Googleに数十億ドルの罰金と大規模な事業再編を課す可能性があります。和解には、Google Playの開放、広告データの共有、検索インデックスのライセンス供与、さらにはChromeブラウザの売却などが含まれる可能性があります。この高額な和解は、今後の法的闘争を軽減し、独占禁止法違反によって生じた損害を修復することを目的としています。
続きを読む
1978年のNOVAドキュメンタリー「Mind Machines」は、ジョン・マッカーシーやマービン・ミンスキーといったAIのパイオニアへのインタビューを収録し、AIの可能性と課題を探っています。アーサー・C・クラークは、AIが人間の知能を超えた場合、社会が再編されることを予測し、人生の目的について省みるきっかけを与えています。このドキュメンタリーは、コンピューターチェスやシミュレーションされたセラピストといった初期のAI技術を紹介し、将来のAIの学習能力を展望し、AIの発展におけるブームと不況のサイクルを強調しています。
続きを読む
この記事では、ZigとRustのメモリ安全性に関する詳細な比較を行います。Rustは強力なコンパイル時証明機構により、メモリ安全性の脆弱性を事実上排除します。一方、Zigはスライス型や境界チェックなどの機能でC言語を改善していますが、解放後の使用やバッファオーバーフローなどのメモリ安全性の問題に対して依然として脆弱です。著者は自身の経験とプロジェクトデータを用いて、大規模プロジェクトにおけるRustのメモリ安全性の優位性を示すと共に、Wasmサンドボックスなどの特定の状況下ではZigが有用となる可能性を示唆しています。Zigの将来的な成功は、低コストのランタイム軽減策の開発にかかっていると言えるでしょう。
続きを読む
NASAのInSightミッションの地震データを使った新しい研究により、火星地表下5.4～8キロメートルの深さに巨大な液体の水貯留層が存在する証拠が明らかになりました。この貯留層は、火星を覆うのに十分な水を含んでいる可能性があり、火星の「失われた」水の推定値と一致しています。この発見は、古代の火星の大洋の行方だけでなく、将来の探査や地球外生命体の探索にも新たな道を切り開きます。地下水は、単純な生命体を支える可能性があり、将来の宇宙探検家にとって貴重な資源となる可能性もあります。
続きを読む
マイクロソフトは、従業員の業績向上を図るため、新たな人事評価制度を導入しました。低パフォーマンスの従業員に対する再雇用禁止措置（2年間）を含む、より厳格な評価基準が設けられています。これは、近年、テクノロジー業界全体でみられる、従業員への寛容性から、より厳格なパフォーマンス重視への転換を反映したものです。新しい制度には、低パフォーマンス社員への対応策や、透明性と説明責任を高めるための業績改善計画（PIP）の改善などが含まれています。
続きを読む
ワシントン大学の研究が、プログラミング学習に関する従来の常識を覆しました。研究では、Python学習の速度と習熟度は、数学力よりも言語能力と問題解決能力との相関が高いことが分かりました。行動テストと脳波データを用いた研究により、言語能力が学習速度に大きな影響を与え、数学力を上回ることも示されました。この発見は、プログラミング教育や人材採用に重要な意味を持ち、プログラミングを単なる数学的作業と捉える従来の考え方に疑問を投げかけ、女性がプログラミング分野で過小評価されている可能性を示唆しています。
続きを読む