Mathics:複数のデプロイオプションを持つモジュール式数学計算環境

2025-02-14

Mathicsは、モジュール式に設計された数学計算環境であり、複数のデプロイオプションを提供します。ユーザーはDockerイメージを使用して完全な環境を迅速にデプロイするか、Mathics-omnibus Pythonパッケージを使用してローカルにインストールできます。中核となるのはMathics3カーネルであり、これに加えて、mathicsscriptコマンドラインクライアント(構文のハイライト表示、Unicodeサポートなど)と、DjangoベースのWebサーバー(MathML出力とThree.jsグラフィックスを使用)があります。これらのコンポーネントには個々の依存関係がありますが、モジュール式の設計により、柔軟性とスケーラビリティが確保されます。

続きを読む
開発 数学計算

OpenSCADによるカスタマイズ可能な3Dプリントカレンダー:ツェラーの合同式など

2025-02-14
OpenSCADによるカスタマイズ可能な3Dプリントカレンダー:ツェラーの合同式など

開発者がOpenSCADを使って、高度にカスタマイズ可能な3Dプリントカレンダーモデルを作成しました。曜日を正確に計算するツェラーの合同式を利用し、モデルは日付のオフセットを自動的に調整します。ユーザーはレンダリングする月、列レイアウト、レイヤーの高さなどをカスタマイズし、カスタムの祝日マークやマグネット用の穴を追加することもできます。このプロジェクトは、アルゴリズムの実装とパラメトリックモデリングにおけるOpenSCADの能力を示しており、多言語機能とマルチマテリアル印刷をサポートしています。

続きを読む
デザイン

マンハッタンで最も働くフォント:ゴートンの謎

2025-02-14
マンハッタンで最も働くフォント:ゴートンの謎

この記事は、著者が驚くほどどこにでもあるのに控えめなフォント、ゴートンの物語を解き明かそうとする執拗な探求を詳述しています。当初は彫刻機で使用されていましたが、その頑丈な耐久性により、キーボードから宇宙船まで、さまざまな文脈で広く採用されました。著者の長年にわたる探求は、無数のマイルと場所を網羅し、ゴートンの100年以上にわたる歴史を明らかにし、その起源を英国のレンズメーカーにまでさかのぼり、Leroyなどのさまざまなバリエーションを通じてその後の進化を示しています。完璧とは程遠いですが、ゴートンの魅力はその欠陥と永続的な存在感にあり、マンハッタンで最も働くフォントとしての地位を確立しています。

続きを読む

トランプ政権の削減策、CDCのエリートプログラムを壊滅させる

2025-02-14
トランプ政権の削減策、CDCのエリートプログラムを壊滅させる

トランプ政権による連邦公務員の削減は、疾病対策センター(CDC)の流行性疾患情報サービス(EIS)に深刻な影響を与えることになる。応用疫学の分野で世界的に有名なこの研修プログラムは、2001年の炭疽菌事件や2014~2016年の西アフリカエボラ出血熱などの感染症の流行への対応で重要な役割を果たしてきた。多くのEIS職員が解雇の危機に瀕しており、国内外での将来の危機への対応能力が大幅に低下すると、公衆衛生の専門家は警告している。この削減策は近視眼的であり、世界的な健康安全保障にとって壊滅的なものになる可能性があるとされている。

続きを読む
テクノロジー

Pinterest、ホームフィードのおすすめのための埋め込みベース検索を改善

2025-02-14
Pinterest、ホームフィードのおすすめのための埋め込みベース検索を改善

Pinterestのエンジニアリングチームは、ホームフィードにおけるパーソナライズされた多様なコンテンツのおすすめのための、埋め込みベースの検索システムを大幅に改善しました。高度な特徴クロス(MaskNetとDHENフレームワーク)、事前学習済みID埋め込み、時間減衰合計を用いた改良されたサービングコーパスによって実現されました。さらに、多埋め込み検索や条件付き検索などの最先端の手法を検討し、多様なユーザーの意図に対応することで、ユーザーエンゲージメントと保存行動の増加につながりました。

続きを読む

lzbench:オープンソースの圧縮コーデックベンチマーク

2025-02-14

lzbenchは、様々な圧縮コーデックのパフォーマンスを評価するためのオープンソースのベンチマークツールです。圧縮率、圧縮速度、解凍速度、ラウンドトリップ速度を測定します。複数のコーデックをサポートし、ユーザーが新しいコーデックを追加することも可能です。生データはダウンロードしてさらに分析できます。FAQでは、コーデックの追加、計算方法、メモリ使用量、マルチスレッド、グラフのスケーリング、カスタマイズオプションなど、よくある質問に答えています。開発者や研究者にとって貴重なリソースとなります。

続きを読む

Western Digital、2030年までに100TB HDDを実現するHAMR技術に大きく賭ける

2025-02-14
Western Digital、2030年までに100TB HDDを実現するHAMR技術に大きく賭ける

Western Digitalは、2026年末からハードディスクドライブ(HDD)にHeat-Assisted Magnetic Recording(HAMR)技術を採用するロードマップを発表し、2030年までに80TB~100TBのドライブを目指すと発表しました。これは、以前推進していたMAMR技術からの転換を意味します。最初のHAMRドライブは、36TB(CMR)と44TB(UltraSMR)の容量で2026年に発売され、2027年前半に量産開始予定です。既に2つのハイパースケーラーがこれらのドライブをテストしています。この画期的な技術により、今後数年でハードドライブのストレージ容量は2倍以上に増加する見込みです。

続きを読む
ハードウェア ハードディスク技術

Haiku 1月開発レポート:コアな改善と新機能

2025-02-14

Haikuの1月開発レポートは、Trackerファイルマネージャーの大幅なリファクタリング(コンテキストメニュー、切り取り/コピー/貼り付け機能、ライブメニュー更新の追加など)、アプリケーションへの新機能追加(アイコンエディター、タッチパッド設定、スタイル付きテキストエディターなど)、ドライバーサポートの拡張(Alder Lakeチップセット、AMD温度監視、Wacom CTH-470など)、カーネルレベルでのメモリ管理、ページマッピング、権限チェックの最適化によるシステムの安定性とセキュリティの向上などを網羅しています。多くのバグ修正、ビルドシステムとドキュメントの改善も行われました。

続きを読む

ブラウザ拡張機能:トランスジェンダーの抹消に反対

2025-02-14
ブラウザ拡張機能:トランスジェンダーの抹消に反対

「Marsha P Johnson」というブラウザ拡張機能は、「LGB」を「LGBTQ+🧱」に置き換えることで、トランスジェンダーの抹消に対抗します。開発者は、米国政府が政府ウェブサイトからトランスジェンダーに関する記述を積極的に削除していること、ストーンウォール国立記念碑のウェブサイトからも「TQ+」が削除されていることを強調しています。この露骨な抹消行為は、この拡張機能によって積極的に対抗され、ユーザーは検閲に気づき、抗議することができます。

続きを読む
その他

NBA Apple Vision Proアプリに「テーブルトップ」ビューが登場:没入型スポーツ視聴体験が向上

2025-02-14
NBA Apple Vision Proアプリに「テーブルトップ」ビューが登場:没入型スポーツ視聴体験が向上

NBA公式のApple Vision Proアプリに、「テーブルトップ」ビューが追加されました。これは、ライブゲームをジオラマのようなミニチュアで表現する機能で、標準的な2Dライブストリームと併用することで、より没入感のある視聴体験を提供します。約0.5秒程度のわずかな遅延がありますが、このデュアルビューのアプローチは、ユニークな没入型体験を提供します。現在、一部の試合で利用可能で、NBAは来シーズンにすべてのLeague Passゲームへの展開を予定しています。League Passのサブスクリプション(月額15ドルから)が必要です。この革新的な機能は、既にサービスを終了したVision Pro向けのLapz F1アプリを彷彿とさせ、XR技術と将来のARグラスがリモートでのスポーツ視聴に大きな可能性をもたらすことを示しています。対照的に、Meta Questは、Xtadiumアプリを通じて、52試合のNBAゲームを無料の180度没入型ストリーム(ただし2D、3Dではない)で提供していますが、「テーブルトップ」ビューのユニークな視点は提供していません。

続きを読む
テクノロジー XR技術

10年ぶりにプログラミングの要素が著者へ戻る

2025-02-14

10年間の印刷の後、「プログラミングの要素」の出版社はさらなる印刷を中止し、権利を著者に戻しました。この本は現在、無料のPDFとマークアップのないペーパーバックの2つの形式で入手できます。以前は、英語、日本語、ロシア語、中国語など、複数の言語でさまざまな出版社によって出版されていましたが、一部の版は現在絶版となっています。

続きを読む
開発 教科書

ウミガメの航海術の秘密:それはダンスにある!

2025-02-14
ウミガメの航海術の秘密:それはダンスにある!

科学者たちは、ウミガメが地球の磁場を使って航海し、餌場の記憶を独自の「ダンス」行動で表現することを発見しました。研究者たちは、特定の磁場を餌と関連付けるようにウミガメを訓練し、ウミガメは馴染みのある磁場を感じると興奮して「ダンス」しました。ネイチャー誌に掲載されたこの研究は、ウミガメが磁気コンパスと磁気マップという2つの異なる磁気受容メカニズムを持っていることを明らかにし、これらのメカニズムは別々に進化した可能性を示唆しています。これは、動物の磁気受容の理解に重要な洞察を与えます。

続きを読む
テクノロジー 動物の航海 磁気受容

Asahi Linuxリーダー、燃え尽き症候群とコミュニティ紛争で辞任

2025-02-14
Asahi Linuxリーダー、燃え尽き症候群とコミュニティ紛争で辞任

Asahi Linuxプロジェクトリーダーのヘクター・マーティン氏が、開発者の燃え尽き症候群、要求の厳しいユーザー、そしてLinus TorvaldsによるLinuxカーネルへのRust統合の取り扱い方を理由に辞任しました。マーティン氏は、Torvalds氏の支援不足を批判し、Linuxコミュニティの偽善と悪意のある攻撃を非難しました。彼は、Rust統合におけるTorvalds氏のリーダーシップの欠如を挙げ、メンテナによる権力の乱用につながったと指摘しました。これは、オープンソースにおける開発者の燃え尽き症候群とコミュニティ紛争の増加という問題と、オープンソースプロジェクトの持続可能な資金調達が必要であることを浮き彫りにしています。

続きを読む

驚くべき多言語サポートのデモ:謎めいたコードスニペット

2025-02-14
驚くべき多言語サポートのデモ:謎めいたコードスニペット

このコードスニペットは、ほぼすべての既知の言語の名前を含む、印象的な多言語サポートを示しています。これは、コードの背後にある目的についての憶測を呼び起こしました。それはアートインスタレーションなのか、それとも謎めいたプロジェクトのコード断片なのか?簡潔なコード構造も、その機能がどのように実装され、将来どの分野で適用されるのかについての好奇心をそそります。

続きを読む
その他

Delphi 30周年:回顧

2025-02-14

2月14日は、プログラミング言語Delphiの発売30周年記念日です。Marco Cantù氏は、30年前のサンフランシスコのMoscone Centerでの製品発売イベントへの参加を振り返り、Delphiの10周年記念を含むイベントを記念するブログ記事とYouTubeビデオへのリンクを共有しています。この記事は、Delphiの30年にわたるプログラミングへの影響を振り返る、ノスタルジックな記事となっています。

続きを読む
開発

Typst vs. TeX: レイアウトモデルの比較と将来展望

2025-02-14

この記事では、組版エンジンTypstとTeXのレイアウトモデルの違いを探ります。ボックスとグルーに基づくTeXは柔軟性がありますが、正確な位置を認識できません。Typstは領域モデルを使用し、要素が自身の位置に反応することを可能にしますが、柔軟性を犠牲にします。著者は両モデルの長所と短所を分析し、Typstは再レイアウトメカニズムを導入することで、柔軟性と最適化のバランスを取り、複雑なレイアウト(回り込み画像やページを跨ぐ表など)の処理における現在の欠点を解消できると指摘しています。

続きを読む

Windows 10サポート終了:Steamユーザーの40%がアップグレードのジレンマに直面

2025-02-14
Windows 10サポート終了:Steamユーザーの40%がアップグレードのジレンマに直面

マイクロソフトは、2025年10月14日をもって、Windows 10に対する無料ソフトウェアアップデート、テクニカルサポート、セキュリティ修正の提供を終了します。これにより、Steamユーザーの40%以上を含む多くのユーザーが、Windows 11へのアップグレードという難しい選択を迫られます。Windows 11の厳しいハードウェア要件により、多くのユーザーがアップグレードできません。そのため、ゲーマーはSteamOSなどの代替手段を探しています。ValveはSteamOSの普及を計画していますが、デスクトップ版のリリースはまだ実現していません。サポートされていないWindows 10を使い続けると、ユーザーは脆弱な状態になります。そのため、多くのユーザーがハードウェアまたはオペレーティングシステムのアップグレードを検討せざるを得なくなっています。

続きを読む
ゲーム

システムの振動:サーモスタットからソフトウェアドキュメントまで

2025-02-14
システムの振動:サーモスタットからソフトウェアドキュメントまで

この記事では、サーモスタットやウサギとタカの個体数などを例に、遅延フィードバックがどのように周期的な変動を引き起こすかを説明することで、一般的なシステムの振動を探っています。著者はこのモデルをソフトウェアドキュメントの問題に適用し、過剰なドキュメントは時間の経過とともに時代遅れになり、価値が低下することを指摘しています。アジャイル開発において、著者は優れたコード、テスト、チーム間のコミュニケーションが冗長なドキュメントに取って代わることができると主張しており、生成AIの台頭により情報検索がさらに改善され、時代遅れのドキュメントへの依存が軽減されると述べています。

続きを読む
開発

マスク氏のDOGEウェブサイト:誰でもデータベースを編集可能!

2025-02-14
マスク氏のDOGEウェブサイト:誰でもデータベースを編集可能!

イーロン・マスク氏の政府効率化部門(DOGE)のウェブサイトに重大なセキュリティホールが発見されました。報道によると、同サイトのデータベースは誰でも編集可能であり、開発者がウェブサイトの内容を容易に変更し、「これはジョークのような.govサイトだ」といったメッセージを残せる状態でした。このサイトは政府サーバーではなく、Cloudflare Pages上で稼働しているようで、データベースのセキュリティに深刻な懸念が生じています。この事件は、マスク氏がDOGEの透明性を主張した後に発生しており、ウェブサイト構築におけるセキュリティ対策の怠慢を浮き彫りにしています。連邦政府職員は、特にDOGEが個人メールを使用していたことへの批判の後、機密情報の漏洩を懸念しています。これは、セキュリティ管理の混乱と不備をさらに露呈するものです。

続きを読む
テクノロジー 政府ウェブサイト

Redditが有料サブスクリプション導入へ

2025-02-14
Redditが有料サブスクリプション導入へ

RedditのCEO、スティーブ・ホフマンは、今年中に有料ウォールを導入する計画を発表しました。当初は、有料会員のみがアクセスできる限定コンテンツを提供する新しいサブredditに焦点を当てます。同社はコンテンツクリエイターへの報酬モデルを検討しており、既存のReddit Contributor Programを活用する可能性があります。有料コンテンツが導入される一方で、ホフマンCEOは無料のRedditは存続し繁栄すると保証しています。有料コンテンツと無料コンテンツのバランス、そして有料サブredditのボランティアモデレーターのモチベーション維持が課題となります。

続きを読む

AIエージェントトラフィック:新たなボット検出の課題

2025-02-14
AIエージェントトラフィック:新たなボット検出の課題

OpenAIのOperatorのようなAIエージェントツールは、実際の人間のユーザーの行動を模倣でき、UXを向上させる一方で、悪用される可能性もあります。従来のボット検出方法(CAPTCHA、IPブロッキング、ユーザーエージェントのフィルタリング)は、実際のIPアドレス、ユーザーエージェント、マウスの動きをシミュレートする最新のAIエージェントには効果がありません。OpenAIとBrowserBaseのエージェントは、クラウドデータセンターで動作するため検出が容易ですが、Anthropicのエージェントはローカルで動作できるため、検出が困難です。RedditやYouTubeなどの一部のサイトはAIエージェントトラフィックをブロックしていますが、多くのサイトはまだ効果的な検出メカニズムを備えておらず、悪意のある攻撃の機会を生み出しています。将来の検出は、機械学習ベースのブラウザ「嘘発見器」に依存することになります。

続きを読む
テクノロジー ボット検出

AI駆使したロマンス詐欺:増加する脅威

2025-02-14
AI駆使したロマンス詐欺:増加する脅威

ロマンス詐欺は進化し、AIを利用して偽の出会い系プロフィールと、リアルタイムでの会話のためのパーソナライズされたスクリプトを作成しています。詐欺師は「ラブボミング」で親密さを築き、脆弱な自分を演じて被害者の信頼を得ます。彼らは巧妙に金を要求し、しばしば経済的な困難を理由に挙げ、被害者が大切な人を助けていると信じ込ませます。孤独な人は特に脆弱です。専門家は、これらの詐欺師の言葉遣いと家庭内暴力加害者の言葉遣いの類似点を指摘し、注意を促しています。

続きを読む
テクノロジー AI詐欺 ロマンス詐欺

オレゴン州検察官による違法な携帯電話捜索がプライバシー侵害訴訟に発展

2025-02-14
オレゴン州検察官による違法な携帯電話捜索がプライバシー侵害訴訟に発展

オレゴン州の女性のヌード写真が、検察官が令状、同意、犯罪の疑いもなく、女性の携帯電話の機密データを閲覧したことで、彼女の小さな町で話題になりました。連邦控訴裁判所は、グラント郡検察官が免責特権を有すると判決しましたが、この事件は、第4修正権の重大な侵害を浮き彫りにしています。裁判所は、アイダホ州警察が女性の携帯電話を捜索する同意を得ていたことを認めましたが、これは、別の州の検察官がデータを閲覧し、プライベートな写真を公開することにまで及ぶものではありませんでした。この判決は、免責特権が公務員を責任から守ることに対する批判を招いています。女性は救済策を得られませんでしたが、この事件は、法執行機関への警告として機能します。同様の行為は憲法に違反し、責任を問われる可能性があります。

続きを読む

ICEのソーシャルメディア監視が物議を醸す

2025-02-14
ICEのソーシャルメディア監視が物議を醸す

アメリカ合衆国移民税関執行局(ICE)は、新しい契約を利用して、同機関とその職員に関する「ネガティブな」ソーシャルメディア上の議論を監視し、特定しようとしています。この動きは、表現の自由とプライバシーに関する懸念を引き起こしています。ICEは、職員や施設に対する脅威の増加への対応だと主張していますが、批判者たちは、憲法で保護されている発言まで取り締まる可能性があると主張しています。この契約には、社会保障番号や住所など、ユーザーの個人情報へのアクセスが含まれる可能性があります。これは、ICEが以前、大規模なソーシャルメディア監視に連邦政府の請負業者を利用していたことを受け、政府による監視の行き過ぎに対する懸念が高まっています。

続きを読む

パリサミットでテックの巨人がAIの変革力を過大評価

2025-02-14
パリサミットでテックの巨人がAIの変革力を過大評価

最近のパリサミットで、テクノロジー企業のCEOたちがAIの変革力について大胆な予測を発表しました。Alphabetのサンダー・ピチャイCEOは「私たちの人生における最も深い変化」と表現し、Anthropicのダリオ・アモデイCEOは「人類史における世界労働市場への最大の変化」と予測しました。OpenAIのサム・アルトマンCEOは、10年後には誰もが今日最も影響力のある人物以上の成果を上げられるようになるとまで主張しました。これらの発言はAIへの大きな信頼を示していますが、同時にその将来の方向性と潜在的なリスクについても疑問を投げかけています。

続きを読む

Nvidia、RTX 5070の発売を延期、AMD Radeon RX 9070シリーズとの対決へ

2025-02-14
Nvidia、RTX 5070の発売を延期、AMD Radeon RX 9070シリーズとの対決へ

RTX 4090並みの性能を549ドルで実現すると謳っていたNvidiaのRTX 5070の発売が、2月から3月5日に延期されました。これにより、2月28日に発売されるAMD Radeon RX 9070と9070 XTとの対決の舞台が整いました。AMDの戦略は、ハイエンドカードを直接狙うのではなく、NvidiaのRTX 4070 Tiと4070 Superに対する価格競争力に重点を置くようです。しかし、Nvidiaは巨額の利益を上げており、状況に応じて対応できるだけの余裕があります。32GBのRAMを搭載した、より強力なAMDカードの噂も流れていますが、これはまだ確認されていません。GPU戦争が激化します!

続きを読む
ハードウェア

AI音声合成:検閲とALS患者

2025-02-14
AI音声合成:検閲とALS患者

ALS患者の女性、ジョイスが、ElevenLabsのAI音声合成サービスでやや不平を述べた発言をしたことでアカウントを停止され、検閲に関する議論を巻き起こしました。アカウントは復旧しましたが、この事件は一貫性のなさを示しています。他のALS患者は同様の扱いを受けておらず、一部プラットフォームでは多様な音声サンプルが推奨されています。これはAIアプリケーションにおける倫理と包括性の課題を浮き彫りにしています。

続きを読む
AI

湖の名前と実際の色の比較:衛星画像を使った楽しいデータ分析

2025-02-14
湖の名前と実際の色の比較:衛星画像を使った楽しいデータ分析

著者は風変わりなデータ分析を行いました。フランス、イタリア、ロシア、ベラルーシで最も一般的な10個の湖の名前を収集し、衛星画像データを使って平均色を分析しました。これは、湖の名前が実際の色のどの程度一致しているかを検証するためです。「黒い湖」など、一部の湖の名前は色と相関関係がありますが、実際の色はそれほど違いがありませんでした。平均的な湖の色は、通常、明るい青灰色でした。この研究は、データ分析の楽しい面を軽妙な調子で示し、地理的名称の精度についても考えさせられます。

続きを読む
その他 地理情報

ClickHouseへのバルク挿入:インスタンスの過負荷を避ける方法

2025-02-14
ClickHouseへのバルク挿入:インスタンスの過負荷を避ける方法

ClickHouseに大量のデータセットを移行していますか?MergeTreeのデータマージプロセスを理解することで、パフォーマンスのボトルネックを回避しましょう。この記事では、バルク挿入のベストプラクティスについて説明します。データの大規模なバッチ処理、バックグラウンドマージプロセスをオーバーロードしないための挿入ペースの制御、Jitsu Bulker、clickhouse-bulk、PeerDB、DLT、そして近日リリース予定のDispatchなどのツールを活用する方法について解説します。インジェストワークフローを最適化し、恐ろしい「パーツが多すぎる」エラーを防ぎましょう。

続きを読む

SUSE:4人の学生から上場企業へ

2025-02-14
SUSE:4人の学生から上場企業へ

1992年、ドイツの大学生4人がSUSEを設立し、当初はSlackware Linuxのドイツ語ローカライズに注力しました。情熱と週100時間という労働時間によって支えられ、CD-ROMとフロッピーディスクを販売して会社を運営し、1994年に最初のSUSE Linuxディストリビューションをリリースしました。その後、SUSEはJurixと合併し、YaSTインストーラとAutoBuildシステムを導入し、IBMと提携してエンタープライズ市場に進出しました。買収、再編、IPOを経て、SUSEは世界的に有名なエンタープライズLinux企業となりました。

続きを読む
テクノロジー
1 2 445 446 447 449 451 452 453 595 596