従来の楕円の描画方法は、実際的な応用において限界があります。この記事では、固定半径の複数の円弧を用いて楕円を近似する手法を紹介します。この手法は、CADソフトウェアで楕円を描画し、それを等角度のセグメントに分割し、これらのセグメントの弦と半径を楕円上にマッピングすることで、近似楕円を形成する一連の円弧を作成します。このアプローチは、建築設計などの分野で特に有用であり、円弧の数と角度を調整することで、柔軟に曲線の形状を制御し、実用的で美しい形状を得ることができます。
続きを読む
Amazon Web Services (AWS)は、顧客が完全に信頼できる信頼性の高いサービスを提供することに尽力しています。そのため、セキュリティ、耐久性、整合性、可用性の最高水準を維持する必要があり、システムの正確性がこれらの優先事項達成の礎となっています。当初、AWSは重要なシステムのモデリングにTLA+言語を使用し、開発の初期段階で微妙なバグを特定し、排除しました。成長に伴い、AWSは開発者にとってより使いやすい状態マシン言語であるP言語を導入し、Amazon S3のストロングコンシステンシーへの移行など、分散システムのモデリングと分析に使用しました。また、プロパティベーステスト、決定性シミュレーション、ファジングなどの軽量手法も広く使用されています。さらに、AWSはシステムの堅牢性を強化するために、FIS（Fault Injection Service）を立ち上げました。重要なセキュリティ境界については、CedarやFirecrackerの開発に見られるように、形式的証明を使用して正確性を保証しています。この多面的なアプローチは、信頼性を確保するだけでなく、パフォーマンスの最適化とコスト削減にもつながります。
続きを読む
LLMワークロード向けに構築された高電力消費ワークステーションによる高額な電気代に直面し、作者はWattWiseを開発しました。これは、リアルタイムの電力監視と管理のための軽量CLIツールです。WattWiseは、リアルタイムの電力消費量、履歴グラフを表示し、電力価格の高騰時にCPU/GPUの周波数を動的に調整します。TP-Link Kasaスマートプラグと統合（直接またはHome Assistant経由）し、柔軟性と実用性を提供します。現在、シングルプラグサポートとKasa互換性に限定されていますが、モジュール式設計により将来的な拡張が可能です。
続きを読む
Googleは、Gmailを更新し、企業ユーザーが数回クリックするだけで、どの受信箱にも暗号化されたメールを送信できるようにします。新しい暗号化モデルにより、カスタムソフトウェアや証明書の交換は不要になります。最初は企業内メールのベータ版として展開され、今後数週間でGmailの受信箱すべてに、そして今年後半には他のプロバイダーにも拡大されます。ユーザーは「追加の暗号化」を有効にするだけで安全なメッセージを送信できます。Gmail以外の受信者は、ゲストワークスペースアカウントへのリンクを受け取り、安全に閲覧および返信できます。TLSよりも強力な暗号化を提供しますが、Googleが暗号化キーを制御しているため、真のエンドツーエンド暗号化ではありません。
続きを読む
この記事は、AI生成アートがアートの意味に与える影響を探求し、かつては信じられないほど困難で高価だった顔料である群青を例に挙げています。著者は、AIアート作成の容易さが、伝統的なアートに関連付けられていた驚異感や独自性を低下させ、快楽の適応につながると主張しています。これはAI特有の問題ではなく、技術の進歩によってかつては稀だった経験が一般的になるという歴史的な繰り返しパターンです。提案されている解決策は技術的なものではなく、個人的なものです。つまり、子供のような驚異感を育み、世界に積極的に関わることで、簡単に手に入る豊かさによって引き起こされる感性の鈍化を克服することです。
続きを読む
CERNの科学者たちは驚くべき発見をしました。40年以上CERN敷地で放牧されている羊の群れで量子もつれの証拠を発見したのです。洗練された追跡とモデリング技術を用いて、研究者たちは個々の羊の脳が量子もつれを示していることを発見しました。これは、距離に関係なく同時に移動し、鳴き声を上げるという、羊たちの不思議な能力を説明しています。この発見は、量子物理学と羊の研究に新たな道を切り開きますが、その結果を完全に確認するにはさらなる調査が必要です。
続きを読む
この記事は、地球儀を作るために使われる、事前に組み立てられた地図のセクションである印刷された地球儀ゴアの歴史を、紀元前150年から20世紀までたどっています。マロス出身のクラトゥスによる最古の地球儀から、1507年のマーティン・ヴァルドゼミュラーによる画期的な印刷ゴア（地図上に「アメリカ」という名前が初めて登場した）まで、この記事は地球儀製作技術の進化を詳細に説明しています。銅版画で印刷プロセスを改良したゲラルド・メルカトルや、巨大な地球儀で有名なヴィンチェンツォ・マリア・コロネッリなど、重要な人物も取り上げています。黄道線や赤道座標など、地球儀ゴアの機能の進化についても探求されています。
続きを読む
3月29日、小米SU7電気自動車が関与した致死事故で3名が死亡しました。小米は警察の捜査に協力しており、運転データとシステムデータを提出しています。事故発生時、車両は「Navigate on Autopilot」というインテリジェントアシスト運転モードで、時速116キロで走行していました。システムの警告があったにもかかわらず、運転手の介入により衝突事故が発生し、死亡事故につながりました。この事故は、小米の株価と自動運転技術開発に影響を与える可能性があります。
続きを読む
学部生がゲルマニウムの抵抗率と温度の指数関数的関係を研究しようとした試みは、エラーのコメディーに変わりました。壊れた機器、はんだ付けの困難、漏れている液体窒素のサーモス、そして最終的には混沌としたデータが、深いフラストレーションをもたらしました。彼は指数関数的な関係を強制するために曲線フィッティングに頼り、その結果を欠陥のある機器と方法のせいにしました。結論は？物理学は大きな間違いでした。コンピューターサイエンスが唯一の道です。
続きを読む
15年ぶりの.NET復帰。きっかけは関数型プログラミング言語F#への興味でした。この記事では、軽量な構文、不変性、型推論など、F#の機能を詳しく解説し、コード例を通してその簡潔さと表現力の高さを示しています。F#とOCamlの比較も行い、F#の長所と短所、Web開発やデータサイエンスにおける応用についてまとめられています。F#コミュニティは比較的小規模ですが、活気があり、.NET開発者にとってF#は楽しく実用的な言語であると結論付けています。
続きを読む
ロードアイランド州を拠点とする全電気式シーグライダーを専門とするRegent Craftは、475万ドルの最初の契約に続いて、米国海兵隊戦闘研究所（MCWL）と1000万ドルの追加契約を締結しました。これは、最高速度180mph、航続距離約180マイルの高速、レーダー回避型の電気式シーグライダーであるViceroyプロトタイプの成功した海中試験に基づいています。その独自の水上離着陸能力、低いレーダー/ソナーシグネチャ、低い運用コストにより、防衛および救助作戦に最適です。Regentは製造能力を拡大しており、Viceroyの設計を米国沿岸警備隊に提出して認証を受けています。
続きを読む
オープンソースプロジェクト`mobile-use`は、AIを使ってAndroidスマホを制御できます。「Instagramを開いてDMを送信する」といったコマンドを記述するだけで、ローカルにインストールされたAndroid SDKツール（adb）を使って実行します。カスタムLLMモデルにも対応しており、コマンドラインとファイル入力の両方の方法を提供するため、ターミナルやファイルから簡単に指示を送信できます。MITライセンスで公開されています。
続きを読む
考古学雑誌の最近の論文は、クリミアから北欧、グリーンランドに至るまで、魅力的な発見を掘り下げています。1708年にピョートル大帝によってコサックの文化の中心地であるバトゥリンが破壊された経緯を詳細に説明する記事や、北欧とグリーンランドの古代遺跡の発掘調査を含む、2020年のトップ10考古学的発見を紹介する記事があります。また、馬の歴史を探求する別記事も掲載されています。これらの記事は、人類の文明と歴史を解明する上で考古学が果たす重要な役割を総合的に示しています。
続きを読む
1年間、自己ホスティングに没頭し、様々なソフトウェアを試用し、独自のダッシュボードとアプリケーションを構築してきました。この記事では、私の経験と、便利だがあまり普及していないソフトウェアをまとめます。コンテナランタイムにはDocker、Podman、Kubernetesを使用し、PortainerとDockgeをWebインターフェース管理ツール、PangolinをVPNとリバースプロキシ、Caddyを軽量なリバースプロキシ、NetBirdをVPN、Uptime KumaとGotifyをそれぞれ監視とアラートに使用しました。また、ニーズに合った自己ホスティングアプリケーションを見つけるのに役立つ、優れたソフトウェアリソースリストも推奨します。
続きを読む
この記事では、インタラクティブシミュレーションを用いて、心臓リエントリー性不整脈のメカニズムを説明しています。シミュレーションは、心筋細胞の活性化、不応期、そして持続的な活性化ループがどのように形成され、不整脈につながるのかを示しています。心筋細胞の不応期や自然発生的な脱分極率などのシミュレーションパラメーターを変更することで、心房細動や心室細動などの様々な種類の不整脈を観察できます。このシミュレーションは、不整脈のメカニズムと除細動などの治療法の役割を理解するのに役立ちます。
続きを読む
アメリカ合衆国移民税関執行局（ICE）は、行政上のミスにより、米国で保護された身分を持つエルサルバドル移民のキルマー・アマンダ・アブレゴ・ガルシア氏を、エルサルバドルの悪名高いCECOT刑務所に誤って送還した。ガルシア氏はエルサルバドルでの迫害を理由に送還からの保護を与えられていた。彼の家族は、彼の帰国を確保するために米国政府を訴えている。この事件は、米国の移民法執行における深刻な欠陥を浮き彫りにし、人権に関する懸念を引き起こしている。
続きを読む
Versoは、Rustで記述されたWebレンダリングエンジンServoをベースとしたブラウザで、ServoのAPIの使用を簡素化することを目的としています。この記事では、VersoとTauriフレームワークの統合について説明しています。`tauri-runtime-verso`ランタイムを使用することで、開発者はランタイムを簡単に交換し、通常のTauri機能を使用できます。Versoは現在活発に開発中であり、今後の計画には、使いやすいプリビルド実行ファイルのリリース、WebView2のような自動更新される共有Versoの実装、ウィンドウ装飾、タイトル、透明度などのTauriの機能のサポート拡大などが含まれています。
続きを読む
この記事では、わずか149バイトの超軽量PubSubライブラリを紹介しています。依存関係はほとんどありません。nano-pubsub（194バイト）やtiny-pubsub（401バイト）などの競合ライブラリと比較することで、その非常に小さなサイズが強調されています。EventTargetを使用して構築されており、コードは明確で簡潔で、TypeScriptの型定義も含まれています。ライブラリのサイズをさらに縮小するための貢献を歓迎しています。
続きを読む
aiOla社は、業界特有の専門用語、騒音環境、リアルタイム適応性における既存のASRモデルの限界に対処する画期的な自動音声認識(ASR)モデル、Jargonicを発表しました。Jargonicは、高度なドメイン適応、リアルタイムコンテキストキーワード検出、ゼロショット学習を用いて、追加のトレーニングなしで業界固有の言語を処理します。独自のキーワード検出メカニズムとASRエンジンを組み合わせることで、特に専門用語を含む音声における転写精度が大幅に向上します。さらに、Jargonicは堅牢なノイズ処理機能を備え、複数の言語と騒音の多い産業環境で高いパフォーマンスを維持します。ベンチマークテストでは、OpenAI Whisperなどの競合他社を凌駕しています。
続きを読む
ナイトライドは、制限された手数でナイトを目標マスに導く戦略パズルゲームです。スピード、攻撃回避、敵駒の捕獲でポイントを獲得します。駒の捕獲は追加の手数とポイント（ポーン：1、ナイト/ビショップ：3、ルーク：5、クィーン：9）をもたらします。連続捕獲はボーナス点を獲得できます。攻撃されているマスに移動すると1ポイント減点され、全ての駒を捕獲するとスコアが2倍になります。手数がなくなるとゲームオーバーです！
続きを読む
長きに渡り愛されているスキージャンプゲーム『Deluxe Ski Jump』の開発者、Jussi Koskela氏が、その制作秘話と継続的な成功の理由を語ります。子供の頃からのプログラミング経験から、リアルな物理シミュレーションの習得まで、Koskela氏の道のりはスポーツへの情熱と革新的なゲームデザインを反映しています。ゲーム独自のマウス操作はプレイヤーを没入させ、まるで自分がスキージャンパーになったかのような感覚を与えます。リアリズムとプレイアビリティのバランスという課題を克服しながらも、細部へのこだわりとコミュニティとの交流により、『Deluxe Ski Jump』は25年以上もの間、特にポーランドで熱心なファンに支持され続けています。現在もゲームのアップデートを継続しており、今後の更なる進化が期待されています。
続きを読む
Gartnerは、生成AI（GenAI）市場において、大規模な統合が起こり、最終的には少数の主要プレイヤーしか残らないと予測しています。現在、多くの巨大言語モデル（LLM）プロバイダーは、激しい競争市場において、高額な開発・運用コストと苦戦しています。アナリストのJohn-David Lovelock氏は、AWS、Azure、Google Cloudのような状況を反映して、市場が少数の巨大企業によって支配されるようになると予測しています。企業は、独自のAIソフトウェアを開発するのではなく、市販のソリューションを採用する傾向が高まっています。GenAI市場は2025年までに6440億ドルに達すると予測されていますが、LLM開発者は収益よりも市場シェア獲得を優先しており、弱いプレイヤーが徐々に淘汰されると予想されます。これは、ドットコムバブル崩壊のような急速な崩壊ではなく、段階的な統合となります。
続きを読む
Nueは、最新のWeb標準（HTML、CSS、JS）を活用して、Reactボタンよりもはるかに軽量なアプリケーションを作成する新しいWebフレームワークです。Rust計算エンジンとイベントソーシングを使用することで、15万件のレコードに対するインスタント検索を処理します。これはReactではクラッシュする規模です。Nueは開発を簡素化し、Rust、Go、JSエンジニア、デザインエンジニア、UXエンジニアに、モジュール式設計と最小限の依存関係による、よりクリーンな開発体験を提供します。現代のフレームワークの複雑さに対処することで、Web開発の楽しさを回復することを目指しています。
続きを読む
アメリカの図書館・博物館の主要な連邦資金源である博物館・図書館サービス研究所（IMLS）は、全職員を90日間の有給管理職休暇に配置しました。これは、トランプ大統領によるIMLSを含むいくつかの連邦機関の縮小に関する大統領令を受けたものです。この措置は、助成金交付の将来と、特に小規模および地方の図書館に影響を与える重要なプログラムの中断の可能性について懸念を引き起こしています。IMLS職員を代表する組合は、既存の助成金に関する不確実性と、管理職員がいないために助成金が終了する可能性を強調しています。
続きを読む
ドイツの副首相兼経済大臣ロバート・ハベックは、Isar Aerospace社のSpectrumロケットの打ち上げ成功を称賛し、革新的な宇宙技術におけるドイツの進歩と、欧州の宇宙への独立したアクセスを確保する上で重要な役割を果たしたことを強調しました。第二次世界大戦後、ドイツで建造された最大の打ち上げロケットであるSpectrumは、大きな飛躍を意味します。この打ち上げは、SpaceXの反復型開発モデルを採用しており、従来の欧州のアプローチとは大きく対照的です。これは、欧州の宇宙開発における野望の変化を示しており、宇宙技術における他国への依存から脱却することを目指しています。
続きを読む
トランプ政権は、裁判所の提出書類で、保護された法的資格を持つメリーランド州の父親、キルマー・アブレゴ・ガルシア氏を誤ってエルサルバドルに国外追放したことを認めました。ガルシア氏は2019年に「国外追放の差し止め」を受け、送還された場合、高い確率で危害を受けることを意味していました。しかし、ICEは彼の保護された地位を知りながら、事務的なミスで彼を国外追放しました。現在、エルサルバドルの陰惨な「テロ対策拘置センター」に収監されているガルシア氏について、政府は裁判所には彼を帰国させる権限がないと主張しています。彼の弁護士は、政府が誰をいつどこへでも自由に国外追放でき、裁判所が何もできないのであれば、移民法は意味がないと主張しています。
続きを読む
この記事では、会話インターフェースが次のコンピューティングパラダイムになるという考え方を疑問視しています。自然言語インタラクションの魅力は強いものの、著者は、その遅いデータ転送速度から、既存のグラフィカルインターフェースやキーボードショートカットに取って代わるには不向きだと主張しています。自然言語は、高忠実度が必要な場面で優れていますが、日常的なタスクでは、速度と利便性が勝ります。置き換えではなく、拡張機能として会話インターフェースを提案しており、音声コマンドで既存のワークフローを強化することを提唱しています。理想的な未来像は、AIがすべてのツールを網羅するコマンドメタレイヤーとして機能し、人間とAIのシームレスな協調を実現することです。
続きを読む
オンラインゲームのNPC開発者である著者は、ビジネスロジックと意思決定に大規模言語モデル（LLM）を使用することに反対しています。代わりに、LLMはユーザーインターフェースとして機能し、ユーザーのリクエストをAPIコールに変換し、結果を自然言語に戻す必要があります。チェスボットの例を用いて、LLMは、専門システムと比較して、パフォーマンス、デバッグ、調整において劣っていることが示されています。著者は、テキスト変換、分類、ユーザーの意図の理解などのタスクにLLMを使用し、コアロジックには専用システムを使用することを提唱しています。LLMが改善し続けるとしても、このアーキテクチャ原則は重要です。
続きを読む
この記事では、給与制のプログラマーがオープンソースプロジェクトへの貢献を妨げる一般的な障壁を取り上げ、実際的なガイドを提供します。貢献は自己啓発のためだけでなく、ビジネスに不可欠なソフトウェアの改善のためでもあると主張しています。6段階のプロセスが説明されています。法的承認、プロジェクトの理解、メンテナの承認取得、コーディング、追加作業の実施（ドキュメント作成など）、最終提出/フォローアップです。著者はコミュニケーションの重要性を強調し、開発者は事前にメンテナと連携し、確立されたプロセスに従うことで成功率を高められると提案しています。この記事は、オープンソースへの貢献の利点を強調し、積極的な参加を促して締めくくられています。
続きを読む
フィンテックスタートアップFrankの創設者であるチャーリー・ジャヴィスは、顧客数を大幅に誇張することでJPモルガンチェースから1億7500万ドルをだまし取ったとして詐欺罪で有罪判決を受けました。ジャヴィスは数百万人のユーザーを主張しましたが、実際の人数ははるかに少なかったです。彼女と共犯者は、虚偽の主張を裏付けるためにデータを捏造しました。この事件は、テラノスのスキャンダルと類似しており、テクノロジースタートアップの世界における詐欺と虚偽表示に関する懸念を浮き彫りにしています。ジャヴィスの弁護側がJPモルガンは欺瞞を認識していたと主張したにもかかわらず、陪審は彼女を有罪としました。彼女は数十年の懲役刑に直面しています。
続きを読む