TypeScript 5.8 は `--erasableSyntaxOnly` フラグを導入し、列挙型と名前空間の時代が事実上終わりました。リテラルユニオンはより優れた使い勝手を提供しますが、著者は列挙型へのノスタルジアを表明しています。この記事は、列挙型の重要な利点、つまり、非推奨宣言を含むメンバーの優れたドキュメントサポート（大規模コードベースにおいて不可欠）を強調しており、リテラルユニオンにはこの機能がありません。著者は、TypeScript チームに対し、将来のリリースでリテラルユニオンのドキュメントサポートを改善するよう求めています。
続きを読む
この記事は、1884件のアカデミー賞受賞スピーチを分析し、授賞式の裏側にある暗黙のルールと人間関係を明らかにします。データによると、受賞者が感謝する人の数は年々増加しており、女優が平均して最も多く感謝しています。かつてハーヴェイ・ワインスタインはオスカーに大きな影響力を持つと見なされていましたが、データは、神への感謝がワインスタインへの感謝よりもはるかに多いことを示しています。しかし、スティーブン・スピルバーグは特定の期間において、神よりも多く感謝されることがありました。これは、彼がハリウッドにおいて非常に大きな影響力を持っていることを反映しています。
続きを読む
最近の研究では、大規模言語モデル（LLM）における広範な「アイデンティティ混乱」が明らかになりました。研究者らは、25％以上のLLMがその起源やアイデンティティを誤って表現しており、それが主にモデルの幻覚によるものであり、複製や再利用によるものではないことを発見しました。このアイデンティティ混乱は、特に教育や専門分野など重要なタスクにおいて、ユーザーの信頼を著しく損ない、論理的なエラーによる悪影響を上回ります。この研究結果は、LLMのアイデンティティ混乱がもたらす体系的なリスクを強調し、モデルの信頼性と信頼worthinessへのさらなる注意を促しています。
続きを読む
アーティストのラファエル・アラウホは、数学的な正確さと自然の有機的な美しさを融合させた、魅惑的な幾何学的な図面を作成しています。黄金螺旋とらせんを基本要素として使用し、貝殻や蝶の素晴らしい描写は、科学と芸術をシームレスに統合しています。手描きで丹念に制作されたアラウホの作品は、しばしば100時間以上を費やし、自然界に見られる複雑なパターンへの深い畏敬の念を表しています。彼はさらに、大人向けの塗り絵の本を提供しており、視聴者が彼の芸術的プロセスに参加し、潜在的な幾何学を自ら探求することを促しています。
続きを読む
急速に進化する今日のテクノロジーの中で、Hackintosh（非AppleハードウェアへのmacOSインストール）は、意外にも環境に優しいコンピューティングソリューションとして台頭しています。既存のコンピューターの寿命を延ばすことで、Hackintoshは電子廃棄物を大幅に削減し、資源の枯渇を最小限に抑え、新しいデバイスの製造に伴う炭素排出量を削減します。この記事では、環境上の利点を詳しく説明し、初心者向けのガイドを提供することで、この持続可能なテクノロジーへの取り組みを促しています。
続きを読む
Appleは、ビンテージ製品リストを更新し、2018年モデルのMac miniとiPhone 6sを追加しました。これは、これらのデバイスのサービスと修理が制限されることを意味します。iPhone 6sは2015年に発売され、2018年まで低価格モデルとして販売されました。2018年モデルのMac miniは、AppleがAppleシリコンに移行する前の最後のIntelチップ搭載Mac miniでした。製品は最終販売日から5年後に「ビンテージ」、7年後に「オブソリート」とみなされ、その後Appleは部品と修理の提供を停止します。
続きを読む
本書は、プログラミング経験がない方でも簡単に始められる、Linux/Unixシステムプログラミング入門ガイドです。40年以上の指導経験を持つ著者が、分かりやすい言葉で、Linux/Unixシステムのプログラミング方法、効率的な作業テクニック、そして基礎的な設計を段階的に解説します。数多くの図解と実践的なプロジェクトを通して、読者の知識を深め、スキルを習得できるよう支援します。C/C++のプログラミング経験があれば役立ちますが、必須ではありません。ただし、学習にはLinuxシステムが必要です。
続きを読む
著者は廃棄されたMarshall Uxbridgeスマートスピーカーを2台見つけ、「スマート」機能にうんざりして、それらをハイファイ・ステレオシステムに改造することにしました。彼はスピーカーを分解し、元のスマートモジュールを取り除き、アクティブフィルターとリニアパワーアンプを備えた新しいアナログ回路を設計・製作しました。その結果は、正確なステレオイメージングと広い周波数範囲を備えた素晴らしいオーディオシステムです。このプロジェクトは、著者のスキルと高品質オーディオへの情熱の証です。
続きを読む
ブルームバーグによると、シティグループが顧客口座に60億ドルを誤送金するところだったという。ウェルス・マネジメント部門の従業員が、口座番号をドル金額の欄に誤ってコピー＆ペーストしたことが原因。翌日発見されたものの、シティグループのリスク管理とデータガバナンスにおけるシステム的な問題を浮き彫りにした。以前にも81兆ドルの誤送金があった。これらの事件を受け、シティグループはコンプライアンス強化に投資しており、2020年には4億ドル、2023年には1億3600万ドルの規制当局からの罰金を支払っている。
続きを読む
この記事は、テクトロニクス社のDVST（バイスタブルダイレクトビューストレージチューブ）グラフィックターミナルの伝説的な歴史を語っています。1961年のボブ・アンダーソンによるDVSTの発明から、テクトロニクスの最初の611ディスプレイ、そして後の象徴的なモデルであるT4002、4010、4014など、テクトロニクスはコンピュータグラフィックスディスプレイ技術の開発を牽引しました。これらのターミナルは、高解像度と安定性により、当時のコンピュータグラフィックスアプリケーションに不可欠なデバイスとなり、業界全体の進歩を促しました。低コストのラスタスキャンCRTが登場した後でも、テクトロニクスのDVSTターミナルは、その互換性と信頼性により、長年にわたって大きな市場シェアを維持しました。
続きを読む
OpenAIの政府へのロビー活動費は、2024年に176万ドルに急増し、前年比で約7倍となった。これは、OpenAIが政治の世界に本格的に進出し、AI政策を形成しようとしていることを示している。ロビー活動は、AI研究センターの設立やAIモデルのベンチマークテストに関する法案に焦点を当てている。同社は、リンジー・グラハム上院議員の元スタッフを含むベテランのロビイストを複数雇用した。競合他社と比較してまだ少ないものの、OpenAIの影響力が増大しており、有利なエネルギー政策、国防関連契約、緩やかな規制を求めている。
続きを読む
セキュリティ研究者が安価なスマートウォッチのリバースエンジニアリングを行い、重大な脆弱性を発見しました。VeryFitアプリを使用するこのウォッチは認証がなく、誰でも接続して健康に関する個人情報（アクティビティ、睡眠、心拍数、生理周期など）にアクセスできます。研究者は、このデータを抽出してTCXファイルに変換するウェブサイトを作成しました。これは、低価格のスマートウォッチのセキュリティリスクと、ユーザーの注意の必要性を浮き彫りにしています。
続きを読む
トヨタ自動車は、東京南西に位置する未来都市「Woven City」のフェーズ1が完了したと発表しました。70万平方メートルを超える敷地面積に、自動運転車、ロボット、高度なデジタル技術などを統合し、住民に革新的でテクノロジー先進的な生活体験を提供します。自動運転車専用の道路、歩行者エリア、物流やごみ収集のための地下通路などを備えています。今年後半には、約360名のトヨタ社員とその家族が最初に移住し、最終的には約2000人の居住を目指します。
続きを読む
この記事では、非線形システムにおける不確実性を扱うための高度なアルゴリズムである拡張情報フィルタ（EIF）について解説します。EIFはガウス分布を利用し、平均と共分散ではなく情報行列と情報ベクトルを用いて不確実性を表現することで、大規模でスパースなシステムを扱う際の効率性を向上させます。拡張カルマンフィルタ（EKF）と比較して、EIFは、特にスパースな情報行列を持つシステムにおいて、優れた数値的安定性を提供します。この記事では、ガウス分布、情報行列、情報ベクトル、カルマンフィルタ、情報フィルタ、そしてEIFの動作を詳細に説明し、それぞれの利点と欠点を比較します。最終的に、自律走行車、ドローン、ロボットなどの現実世界のアプリケーションにおいて、ノイズの多いセンサデータに対応できる推論エージェントの構築におけるEIFの役割を強調します。
続きを読む
ソフトウェアエンジニアの父親が、1型糖尿病を患う息子のために、6ヶ月かけてシンプルなスマートウォッチを自作しました。このウォッチは、CGMデータを正確に表示し、重要な血糖値レベルで触覚フィードバックを提供します。BLE接続、カスタムPCB設計、触覚モーターの選定、ディスプレイの選択、防水性、バッテリー寿命など、多くの課題を克服しました。量産化には至りませんでしたが、貴重なハードウェア開発経験を得ており、コミュニティの利益のためにオープンソース化される予定です。
続きを読む
Testerantoは、TypeScriptプロジェクト向けのAIファーストな受容テスト駆動開発（ATDD）フレームワークであり、現在開発中です。Gherkinに似た厳密に型付けされた構文を使用してテストを指定し、Aider.aiと統合して失敗したテストを自動的に修正します。コードを直接テストする代わりに、TesterantoはTS型シグネチャに基づいたセマンティックインターフェースでコードをラップすることを要求します。フロントエンド、バックエンド、またはその両方で実行でき、esbuildでバンドルできるものは何でもテストできます。
続きを読む
Scientific Reportsに掲載された研究では、量子系とその環境（開放量子系）の相互作用を調査し、なぜ私たちが時間を一方向に流れるものとして認識するのかを解明しようと試みました。モデルを簡略化し、エネルギーと情報が戻ってこない広大な環境を仮定することで、研究者たちは時間が一方向の現象としてどのように現れるかを調べました。驚くべきことに、これらの仮定の下でも、系は時間が前向きか後ろ向きかに関係なく同じように振る舞いました。これは、開放量子系においても時間反転対称性が依然として成り立つという数学的基礎を提供し、時間の矢が私たちが経験するほど固定されていない可能性を示唆しています。
続きを読む
Mozillaは、プライバシーを重視したAIツール「Orbit」を発表しました。FirefoxアドオンであるOrbitは、メール、ドキュメント、記事、動画などのウェブコンテンツを要約する機能を提供します。アカウント作成は不要で、セッションデータや個人情報は保存されません。MozillaがホストするMistral 7B LLMモデルを使用しています。ユーザーは長いドキュメントや動画を簡単に要約し、メールや記事の要点をすばやく把握し、質問を通じて特定の情報を得ることができます。
続きを読む
アメリカ合衆国商務次官補のドン・グレイブスはAIサミットで強硬な演説を行い、「権威主義政権」とのAI協定への警告を発し、AIにおける米国の揺るぎないリーダーシップを主張した。これは、国際協力推進を訴えた共同声明と対照的で、参加国は米国の単独行動を懸念。多国間主義と国際協力に関する米国の用語に異議を唱え、フランスが主導するAIファンドについても疑念を表明した。これは、欧州諸国などがAI分野で米国の主導権に挑戦しようとする動きに対する米国の反応と解釈され、グローバルなAIガバナンスの未来に関する議論を巻き起こしている。
続きを読む
AppleはWWDC 2024でApple Intelligenceを発表し、「私たちのためのAI」を約束しましたが、その到着は遠いように感じます。一方、Ollamaを使用すると、llama3.2などの大規模言語モデル（LLM）をMac上でローカルに実行できます。「LLMのためのDocker」と考えてください。モデルの取得、実行、管理が容易です。llama.cppをベースとしたOllamaは、Modelfilesを構成に、OCI規格を配布に使用します。ローカルでモデルを実行することで、プライバシー、コスト、レイテンシ、信頼性などの利点があります。OllamaはHTTP APIを公開しており、Nominate.appのように、アプリケーションへの統合を容易にします。Nominate.appは、インテリジェントなPDFファイル名の変更に使用しています。この記事では、Appleの約束を待つ代わりに、Ollamaを使用して、次世代のAI搭載アプリケーションを今すぐ開発することを推奨しています。
続きを読む
Spotifyで質問の答えが見つかりませんか？問題ありません！質問に詳細を追加し、関連するカテゴリを選択して、コミュニティに投稿してください。誰かが返信すると通知が届きます。
続きを読む
長年謎とされてきたウミガメの「失われた年」について、科学者たちがその謎を解き明かしました。メキシコ湾で若いウミガメにGPS発信機を取り付け、追跡調査を行った結果、従来考えられていたように、ウミガメが受動的に海流に流されているのではなく、大陸棚と外洋の間を能動的に泳ぎ、自ら行き先を決めていることが判明しました。この研究成果は、Royal Society B誌に掲載され、ウミガメの生活史に対する理解を深め、保全活動に重要な知見を提供するものです。
続きを読む
この記事では、著者がFactorioのベルトバランサーの設計を自動化する旅について詳述しています。これは非常に複雑な問題として知られています。混合整数計画法(MIP)と制約充足問題ソルバー(CP-SAT)を用いて、著者はこの課題に取り組みました。MIPモデルは、大規模なバランサーでは数値不安定性の問題に苦戦しましたが、CP-SATアプローチは、フローの離散化、Banesネットワークの導入、メモリ最適化を組み合わせることで、手作業では事実上不可能な16x16バランサーの設計を成功裏に解決しました。このプロセスは、効率的なソリューションを得るためのモデリング手法、アルゴリズムの選択、最適化戦略の重要な役割を浮き彫りにしています。
続きを読む
No Manning Required Ship (NOMARS)プログラムは、全長180フィート、240メートルトン級の無人水上艦艇(USV)であるUSX-1 Defiantの建造を完了しました。乗組員を一切考慮せずに設計されたDefiantは、海軍建築に革命を起こすことを目指しています。人的要素を排除することで、NOMARSは、サイズ、コスト、信頼性、流体力学的効率、海象下での生存能力、ステルスと改ざん防止技術による敵対行為に対する抵抗力において、大きな利点があると予想しています。2025年春の海試が予定されており、Defiantは、分散型のUSV艦隊への費用対効果の高い道を約束しています。
続きを読む
バスケットボールは、データ分析によって推進される革命を経験しています。意思決定は直感から正確なデータ分析へとシフトし、得点、アシスト、リバウンドへの依存から、あらゆる側面を最適化するための数千ものデータポイントの活用へと変化しました。スリーポイントシュートが最高潮に達し、「3＆D」プレイヤー（スリーポイントシュートとディフェンス）が非常に求められています。モーションキャプチャや分析システムなどのテクノロジーにより、コーチは選手の動きを綿密に分析し、ポゼッション効率を最大化できます。このデータ主導のアプローチにより、ゲームはより予測可能になりましたが、バスケットボールの未来に関する疑問も提起しています。
続きを読む
フィンランドとエストニアを結ぶ海底電力ケーブル、Estlink 2が12月25日午後、故障しました。フィンランドのペッテリ・オルポ首相はこの事態を認め、破壊工作の可能性を否定できないと述べました。フィンランドの送電網運営会社Fingridは、フィンランドには十分な電力供給があることを国民に保証しました。エストニア当局も、電力需要を満たすのに十分な余剰能力があると報告しています。この事件は、バルト海における海底インフラへの破壊行為の最近の事例の一つであり、地域の重要インフラの安全に関する懸念を高めています。
続きを読む
新しいウェブサイト「初期キリスト教文献」では、325年のニカイア公会議以前に書かれたキリスト教のテキストを網羅的に収録しています。新約聖書、外典、グノーシス主義の文書、教会父たちの著作、関連する非キリスト教の資料などが含まれ、全て翻訳と解説付きです。初期キリスト教の歴史と発展を理解する上で貴重な資料となります。
続きを読む
このブログ記事では、優れたソフトウェアチュートリアルを作成するためのルールについて概説しています。専門用語を避け、目標を明確に示し、コピー＆ペースト可能なコードスニペットを提供し、コードの状態を動作可能に維持し、依存関係を最小限に抑えることの重要性を強調しています。良いチュートリアルと悪いチュートリアルの違いを対照的な例で示し、長いコマンドラインフラグの使用、ユーザー定義値と再利用可能なロジックの分離、一貫性のある記述的な見出しの使用などの実際的な改善策を提案しています。最終的な目的は、初心者にも分かりやすく、簡単に従うことができるチュートリアルを作成することです。
続きを読む
著者は、巨大企業と超富裕層によるインターネットの操作を非難し、それが道徳の崩壊と不平等を拡大させていると主張しています。プライバシー保護、人間性、倫理を重視する新しいインターネット秩序の構築を提唱し、貧困と不平等を軽減するために、億万長者の資産を没収することを提案しています。この文章は理想主義的ですが、権力、富、社会正義について深く考えるきっかけを与えてくれます。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイトで開発および共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープンさ、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有し、受け入れています。arXivはこれらの価値観に尽力しており、これらの価値観を遵守するパートナーのみと協力しています。arXivコミュニティを強化するアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む