人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

アル・ジャザリ：ロボット工学の父とその巧妙な機械

2025-04-29
アル・ジャザリ：ロボット工学の父とその巧妙な機械

アル・ジャザリ（1206年没）は、ディアバクルのアールトゥク朝の宮廷の主任技師であり、『巧妙な機械装置の知識の書』を著し、注目すべき発明を詳細に記した。これには、揚水装置、精巧な天文時計、歌う自動人形、そしてサリフ王のためのシャワーシステム（王は召使いが水を注ぐのを嫌っていた）が含まれる。彼はまた、瀉血技術、いたずら噴水、分節歯車、そして4つの組み合わせダイヤルを持つ宝箱（おそらく金庫）を発明し、客にタオルを提供する人間そっくりの執事を創造したことから「ロボット工学の父」と呼ばれている。彼の同時代人は彼を唯一無二、比類のない人物として称賛し、ペルシャ、ギリシャ、インド、中国の先行技術の上に築き上げられた彼の技量と、ルネッサンス期の発明家への影響を示している。

続きを読む
(publicdomainreview.org)
テクノロジー 歴史的発明

Debianがパブリックなオープンソースソフトウェアミラーを公開

2025-04-29

Debianプロジェクトは、パブリックなオープンソースソフトウェアミラーサーバーを発表しました。サーバーの内容は公開されており、機密情報は含まれておらず、責任ある開示ポリシーに基づく報告は不要です。サーバーはDebianバージョン10、11、12、およびテスト版（Trixie）と不安定版（Sid）のダウンロードを提供しています。古いバージョンとドキュメントへのリンクも提供されています。

続きを読む
(ftp.bit.nl)
開発 ミラーサーバー

SGLangにおけるFlash Attentionバックエンドの実装：基礎とKVキャッシュ

2025-04-29
SGLangにおけるFlash Attentionバックエンドの実装：基礎とKVキャッシュ

この記事では、SGLangにおけるFlash Attentionバックエンドのエンドツーエンド実装について詳細に説明します。これは、SGLang 0.4.6リリース以降、デフォルトのAttentionバックエンドとなっています。現代のLLMサービングエンジンにおけるAttentionバックエンドの機能と、Flash Attention自体の深い理解について掘り下げて説明します。KVキャッシュメカニズムとCUDA Graphのサポートを含む実装の詳細を共有し、Speculative Decoding、MLA、Llama 4、マルチモーダルサポートなどの今後の作業の概要を示します。ベンチマークの結果は、FA3がすべてのテストシナリオで最高のスループットを提供し、FlashInferとTritonを上回っていることを示しています。

続きを読む
(hebiao064.github.io)
開発

Kagi検索：Googleからより優れた検索結果へ

2025-04-29
Kagi検索：Googleからより優れた検索結果へ

旅行やホテル予約で、広告や低品質の情報で溢れたGoogleの検索結果によって数百ドルを失った後、著者は有料検索エンジンKagiに乗り換えました。Kagiは正確で効率的な検索結果に優れ、Googleの「広告非表示」モードよりも優れた体験を提供し、特に古い記事の検索でその能力を発揮します。月に400～800回の検索を行う著者は、Kagiを主要な検索エンジンとして使用しており、ケーブルテレビ全盛期のHBOが高品質なコンテンツを提供したように、Kagiは無広告で高品質な検索体験を提供しています。試してみる価値があります。

続きを読む
(daringfireball.net)
テクノロジー

スペインとポルトガルの停電：再生可能エネルギーは事態を救えるか？

2025-04-29
スペインとポルトガルの停電：再生可能エネルギーは事態を救えるか？

スペインとポルトガルで大規模な停電が発生しており、電力復旧が大きな課題となっています。両国の送電網は外部との接続が限られていますが、豊富な再生可能エネルギー、特に水力発電と風力発電を有しています。水力発電所は稼働開始に必要な外部電力がごくわずかで済み、風力発電もブラックスタート機能を提供できますが、現地の風力発電設備がその機能を備えているか、気象条件が協力的なものになるかは不明です。太陽光発電はブラックスタートには理想的ではありませんが、直流電力の特性から送電網の周波数安定化に役立ちます。しかし、大規模な蓄電池設備の不足が電力復旧の大きな障害となっています。電力復旧には数日かかる可能性があり、送電網事業者が既存のリソースを効果的に活用できるかどうかに依存します。

続きを読む
(arstechnica.com)
テクノロジー 送電網復旧

Homebrew Channelソースコードリポジトリが大量の著作権侵害を明らかに

2025-04-29
Homebrew Channelソースコードリポジトリが大量の著作権侵害を明らかに

WiiのホームブリューソフトウェアであるHomebrew Channelのソースコードリポジトリが公開されましたが、そのコアライブラリであるlibogcが、大規模な著作権侵害を行っていたことが明らかになりました。libogcの開発者は、任天堂の独自コードだけでなく、オープンソースRTOSであるRTEMSも盗用し、すべての帰属情報と著作権情報を削除しました。開発者は問い合わせを無視し、さらには暴言やコメント削除といった手段に出るなど、責任逃れを試みました。著作権問題の深刻さから、このプロジェクトはアーカイブされ、それ以上の開発は推奨されていません。この事件は、著作権を尊重し、法律・規則を遵守することの重要性を改めて示しています。

続きを読む
(github.com)
開発

トランプ政権：法執行の強化

2025-04-29
トランプ政権：法執行の強化

この大統領令は、犯罪と戦い、罪のない市民を守るため、米国の法執行機関を強化し、権限を与えることを目的としています。警察官への法的防衛、資源の増加、訓練の改善などを規定しています。また、司法妨害や差別行為に関与する州や地方の当局者を問責し、国家安全保障資産を地元の法執行機関に活用します。法を遵守する社会、警察官が無実の人々を守り、違反行為が許されない社会を目指しています。

続きを読む
(www.whitehouse.gov)
その他

2PBのトラフィック：単純な自動アップデートのバグによるコスト

2025-04-29
2PBのトラフィック：単純な自動アップデートのバグによるコスト

画面録画アプリScreen Studioの自動アップデートにおける単純なバグにより、250MBのアップデートファイルが5分おきに1ヶ月間繰り返しダウンロードされ、900万件のダウンロードと2ペタバイト以上のGoogle Cloudトラフィックが発生しました。数千人のユーザーがバックグラウンドでアプリを実行しており、高額な請求書と一部ユーザーのインターネットサービスの中断につながりました。このインシデントは、クラウドコストアラートの設定、慎重なコーディング、クラウドリソースの定期的なチェックの重要性を浮き彫りにしています。

続きを読む
(pietrasiak.com)
開発 自動アップデート クラウドコンピューティングコスト

コネクテッドカー：プライバシーの代償？

2025-04-29
コネクテッドカー：プライバシーの代償？

自動車メーカーは、車の機能をロック解除するためのサブスクリプションモデルをますます推進しており、政府の監視に関する懸念が高まっています。警察の記録は、法執行機関が接続された車のデータにアクセスできる能力を示しており、アクセスレベルはメーカーとインターネットプロバイダーによって異なります。これは、企業のポリシーとテクノロジー、そして法律ではなく、ドライバーのプライバシーを大きく決定していることを示しています。たとえば、GMは位置データに対して裁判所の命令を要求しますが、他の企業は問い合わせに応答していません。専門家は、データアクセス標準の設定におけるテクノロジー企業の役割を強調しており、Google、Facebook、Appleで観察された慣行を反映しています。

続きを読む
(www.wired.com)
テクノロジー

博士論文：滑稽な学問的冒険

2025-04-29

工学博士課程の学生が、博士号取得中に経験した、一連の滑稽で奇妙な出来事を綴る。指導教員の不在、研究設備の不足、論文の剽窃など、学問界の暗い面を目の当たりにする。最終的に、ほとんど滑稽なやり方で学位を取得し、息苦しい学問の世界から逃れる。このユーモラスな物語は、学問界の問題点を暴き、学問的誠実さと研究環境について考えさせる。

続きを読む
(mihaiolteanu.me)
開発 学術腐敗 博士課程生活 研究の苦労

大腿の解剖：生物学的デザインのシンフォニー

2025-04-29
大腿の解剖：生物学的デザインのシンフォニー

医学部学生による大腿の解剖は、驚くほど複雑な構造を明らかにしました。筋膜は不規則ではなく、筋肉を包む一体感のある鞘であり、大伏在静脈は明確な経路を描いています。この配置は、特に激しい活動中、筋肉の収縮が酸素の需要を満たすために血流を促進する際に、静脈還流を効率的に助けます。大腿部の筋肉のエレガントな配置はこのデザインをさらに強調しています。著者は、これは偶然ではなく、運動が進化の基本であり、下肢がその中心点である自然選択の産物であると結論づけています。

続きを読む
(ponnekanti.net)
その他

ギリシャ語の粒子：単なるつなぎ言葉以上？

2025-04-29

本論文は、ギリシャ語の粒子の従来の理解に挑戦しています。ためらいや間投詞が多い英語の口語と、古代ギリシャ語の書かれたテキストを比較することで、著者は、これまで特定の文法的または意味論的機能を持つものと解釈されてきた多くのギリシャ語の粒子が、実際には英語の「えー」や「あのー」のような意味のない間投詞であると主張しています。著者は、クセノフォンの『アナバシス』やウォーターゲートのトランスクリプトからの例を用いて、話し言葉における意味のないように見える付加と、ギリシャ語の粒子の頻繁な出現との類似点を強調しています。結論として、これらの粒子の解釈を再評価し、意味のある文法要素というよりはむしろ話し言葉の産物であると提案しています。

続きを読む
(specgram.com)
その他 古代ギリシャ語

光害の時代における暗闇の追跡

2025-04-29
光害の時代における暗闇の追跡

二人の友人はネバダ州の砂漠を自転車で走り、ラスベガスの光を逃れて暗い夜空を探します。彼らは星座を観察し、夜空について学び、夜空の質を測定する機器を使って光害を測定します。この記事は、光害が星を見ることに与える影響と、現代生活の中で自然や夜空と再びつながることの重要性を探っています。

続きを読む
(www.hcn.org)
その他 星観察

フォレンジックファンダム：探偵ファンの台頭を解剖する

2025-04-29
フォレンジックファンダム：探偵ファンの台頭を解剖する

この記事では、「フォレンジックファンダム」という現象を探求しています。これは、ファンが探偵のように作品の詳細、出演者の生活を深く掘り下げ、独自の物語を構築する現象です。このトレンドの台頭は、技術の進歩、主流メディアの関与、そして「プロのファン」の出現と関連付けられています。ソーシャルメディアプラットフォームは情報の拡散と理論の検証を加速させますが、「物語の支配」をめぐるファン同士の争いを引き起こす可能性もあります。著者は、この没入型の解釈モデルがファンと作品との相互作用を変え、ファン文化の中に新たな対立を生み出していると主張しています。

続きを読む
(exiledfan.substack.com)
その他 ファンダム 深い解釈

Rad Type：ゲームパッド入力の革命

2025-04-29

Rad Typeは、ゲームパッドによるテキスト入力を革新的に改善する新しい方法です。文字を円形に配置し、サムスティックで操作することで、従来のゲームパッドキーボードに比べて大幅にタイピング速度が向上します。この記事では、初期の時計型デザインから簡素化された最終版まで、Rad Typeの4つのバージョンを詳細に説明しています。開発における課題と解決策は、ゲームパッドのテキスト入力改善に役立つ貴重な洞察を提供します。

続きを読む
(www.tyleo.com)
ゲーム ゲームパッド テキスト入力

Duolingo、AIファーストへの転換：スケーラビリティとイノベーションへの大胆な一歩

2025-04-29
Duolingo、AIファーストへの転換：スケーラビリティとイノベーションへの大胆な一歩

Duolingoは、AIファースト企業への移行を正式に発表しました。これは、人工知能を活用して効率性を向上させ、コンテンツ作成を拡大するための重要なステップです。AIにより、コンテンツ開発のスピードアップと、ビデオ通話による個別指導など、以前は不可能だった機能の解禁が可能になります。この取り組みは、グローバルな言語学習プラットフォームの成長を加速し、ミッションの達成をより効果的に行うことを目的としています。ワークフローの抜本的な変更が必要となりますが、Duolingoは、従業員がAIツールに適応し習得できるよう支援することを約束しています。

続きを読む
(www.theverge.com)
テクノロジー

Windows 7ログイン遅延の謎：単色背景が犯人？

2025-04-29
Windows 7ログイン遅延の謎：単色背景が犯人？

Windows 95以来、単色背景を使用してきた著者は、Windows 7で単色壁紙を使用すると、ウェルカム画面に30秒間の遅延が発生することを発見しました。これはログイン時間が長くなったのではなく、壁紙の読み込み完了信号をシステムが待機している間に発生するタイムアウトです。ビットマップ情報がない単色壁紙では、この信号が送信されません。「デスクトップアイコンの非表示」グループポリシーにも同様の問題があり、コーディングエラーにより準備完了信号が送信されません。MicrosoftはWindows 7リリースの数ヶ月後にこの問題を修正しました。また、著者はバグ報告と修正を容易にするため、デフォルト設定を好む理由も説明しています。

続きを読む
(devblogs.microsoft.com)
開発 システムパフォーマンス

Backblazeの財務問題がデータバックアップへの懸念を引き起こす

2025-04-29
Backblazeの財務問題がデータバックアップへの懸念を引き起こす

2021年に上場したクラウドバックアップサービスプロバイダーであるBackblazeは、継続的な損失を計上しており、株価は71％下落しています。最近の報告書では、Backblazeが破産のリスクに直面している可能性があると示唆されており、ユーザーのデータセキュリティに対する懸念が高まっています。Backblazeは、この報告書を否定し、財務データの正確性とサービスの安定性、信頼性を主張しています。しかし、同社の継続的な巨額損失とネガティブな報道は、ユーザーのデータバックアップの安全性に対する懸念を引き続き招いており、堅牢なバックアップ戦略の重要性を浮き彫りにしています。

続きを読む
(arstechnica.com)
テクノロジー 財務危機

百万チェス盤：史上最もクレイジーな多人数同時プレイチェスゲーム

2025-04-28
百万チェス盤：史上最もクレイジーな多人数同時プレイチェスゲーム

開発者が「百万チェス盤」というウェブサイトを作成しました。その名のとおり、100万個のチェス盤があります！すべてのプレイヤーが同じ盤面を共有し、ターン制ではなく、瞬時に駒を動かすことができます。開発者は大きな技術的課題を克服し、バックエンドをGo言語（最初のGoプロジェクト！）で作成し、単一のライタースレッドと多数のリーダースレッドを使用し、楽観的ロックをコンカレンシー処理に用いています。このプロジェクトは技術的な偉業です。プレイして、これまでにない多人数同時プレイチェスを体験してください！

続きを読む
(eieio.games)
ゲーム リアルタイムインタラクション

National Grid: Liveのための12ビットレインボーパレット

2025-04-28

この記事では、National Grid: Liveのために設計された12ビットレインボーパレットについて説明します。このパレットは、人間の輝度、彩度、色相の知覚を考慮して慎重に選択された12色で構成されています。12ビットの色深度を使用することで、各色はわずか4つの16進文字で表すことができ、CSSまたはSVGでの使用効率が高くなります。このデザインは、LCH色空間を活用することで標準的なRGBパレットの限界に対処し、視覚的に心地よく、滑らかに変化するレインボー・スペクトルを実現しています。このパレットは、効率性と美的魅力の両方を提供します。

続きを読む
(iamkate.com)
デザイン 色彩設計 パレット

ChatGPTのショッピング機能がアップデート：Googleへの直接的な挑戦

2025-04-28
ChatGPTのショッピング機能がアップデート：Googleへの直接的な挑戦

OpenAIは、ChatGPTのウェブ検索機能をアップデートし、オンラインショッピング体験を向上させると発表しました。ユーザーが商品を検索すると、ChatGPTはおすすめ商品、画像、レビュー、そして直接購入リンクを提供するようになります。OpenAIは、ファッション、ビューティー、ホームグッズ、エレクトロニクスなどのカテゴリーで段階的にこの機能を展開しています。これは、Googleに対抗し、よりパーソナライズされ、便利なオンラインショッピング体験を提供することを目指したものです。ChatGPTの自然言語処理能力を活用し、ユーザーの履歴に基づいてより正確なおすすめを提供します。OpenAIのCEOは以前はChatGPTへの広告掲載に反対していましたが、最近では「上品な」アフィリエイト広告にはオープンな姿勢を示しています。

続きを読む
(techcrunch.com)
AI ショッピング検索

要件は変化し続ける：形式手法とシステムの進化

2025-04-28
要件は変化し続ける：形式手法とシステムの進化

この記事では、ソフトウェア開発における絶え間なく変化する要件への対応方法を探っています。頻繁な変更がある場合、事前に大規模な形式モデリングを行うことは非現実的かもしれませんが、システムが一定規模に達したり、アーキテクチャの変更（フェーズ遷移）が発生したりすると、形式手法が不可欠になります。形式仕様と検証により、改善が既存の機能を壊すことを防ぎます。同期更新から非同期更新への切り替えを例に、形式手法が古い要件を新しいシステムが満たしていることを検証する方法を示し、ソフトウェア保守の重要性と機能のサイレントフェイルの防止を強調しています。

続きを読む
(buttondown.com)
開発 要件変更

AEADを解き明かす：関連データ付き認証付き暗号化

2025-04-28
AEADを解き明かす：関連データ付き認証付き暗号化

この記事では、関連データ付き認証付き暗号化（AEAD）とその使用方法を分かりやすく説明します。AEADは現在の暗号化業界の標準であり、暗号化と認証を組み合わせ、関連データの処理によりデータ改ざんを防ぎます。従来の個別暗号化と認証方法とAEADの簡潔なAPIを比較することで、AEADのセキュリティ上の利点を強調し、データセキュリティを確保するために開発者にAEADの使用を推奨します。

続きを読む
(ochagavia.nl)
開発

SPROUT：瓦礫内探索のためのつる植物型ロボット

2025-04-28
SPROUT：瓦礫内探索のためのつる植物型ロボット

MITリンカーン研究所とノートルダム大学は、倒壊した建造物内を探索し、閉じ込められた人を発見するための、つる植物型ソフトロボットSPROUTを共同開発しました。この空気で膨らませるチューブ型のロボットは、カメラとセンサーを搭載し、狭い空間を柔軟に動き回り、救助隊のために環境地図を作成します。SPROUTは、現在の捜索救助技術の限界に対処し、不安定な環境を探索するための低コストで操作しやすいソリューションを提供します。将来の開発では、危険の検出と安全性の評価を向上させ、人間が瓦礫の山に入る前に包括的な運用状況を提供することを目指しています。

続きを読む
(news.mit.edu)
テクノロジー ソフトロボティクス 捜索救助

Goコンテナビルドのパフォーマンス：Nixは常に速いとは限らない

2025-04-28
Goコンテナビルドのパフォーマンス：Nixは常に速いとは限らない

この記事では、DockerとNixを使用してGoコンテナを構築するさまざまな方法をベンチマークしています。著者は、Prometheusメトリクスを使用したシンプルなGoプログラムで、ビルド時間とイメージサイズを測定します。Dockerのキャッシングはビルド速度を大幅に向上させましたが、Nixは再現性があるものの、必ずしも速くありませんでした。scratchベースイメージは、distrolessよりもはるかに小さなコンテナを作成しました。UPX圧縮により、イメージサイズがさらに小さくなりました。AthensとSquidのプロキシキャッシングもテストされました。著者は、.gitディレクトリを除外するための.dockerignoreファイルの使用など、Goコンテナビルドを高速化するための実用的なヒントを提供しています。

続きを読む
(github.com)
開発 コンテナビルド パフォーマンスベンチマーク

ミルウォーキー警察、顔認証技術との物議を醸す交換提案

2025-04-28
ミルウォーキー警察、顔認証技術との物議を醸す交換提案

ミルウォーキー警察署は、犯罪解決の効率性を高めるため、250万枚のマグショットをBiometrica社の顔認証技術へのアクセスと交換することを検討しています。当局は、それが単独で逮捕の蓋然性を確立するために使用されることはないと言っていますが、活動家や住民は、プライバシー侵害、監視の強化、連邦機関によるアクセス可能性について懸念を表明しています。警察署はまだ合意に達しておらず、さらなる公的議論を約束しています。議論の中心は、技術に内在するバイアス、潜在的な誤用、警察の保証にもかかわらず、連邦機関によるアクセスに対する明確な保護の欠如です。委員の一人が、顔認証技術によるバイアスを経験したという個人的な逸話を共有しました。

続きを読む
(www.jsonline.com)
テクノロジー

Haskellにおける型安全なパックデータ：ライブラリアプローチ

2025-04-28

この記事は、ECOOP 2025で発表される論文の概要です。型安全で移植可能なパックデータのサポートのためのHaskellライブラリを紹介しています。このライブラリは、Template Haskellを使用して、コンパイラの修正なしで、パックデータのパック、アンパック、トラバーサルのためのコードを生成します。ベンチマークでは、速度の向上が見られますが、モナド的なアプローチによる計算オーバーヘッドも明らかになりました。今後の作業は、パフォーマンス最適化のためのCコードの生成に焦点を当てています。

続きを読む
(arthi-chaud.github.io)
開発 パックデータ

バスキアにおける驚くべき美術偽造

2025-04-28
バスキアにおける驚くべき美術偽造

映画『バスキア』において、アーティストの作品を正確に描写するために、制作チームは多大な努力を払いました。ジュリアン・シュナベル、俳優のジェフリー・ライト、そして美術スタッフが協力してバスキアの偽作を作成しました。シュナベルは自身の作品コレクションから多くの作品を提供し、本物のウォーホル作品も含まれていました。最も注目すべきは、ピカソの家族から許可を得て『ゲルニカ』の油絵の複製を作成し、撮影後に合意に従って破壊し、その映像をピカソの遺族に提出したことでしょう。これは、制作チームが芸術的な細部に対して細心の注意を払っていたことを示しています。

続きを読む
(www.vanityfair.com)
その他 映画制作 美術偽造 ピカソ

ChatGPTがショッピング機能を追加：パーソナライズされたEC検索

2025-04-28
ChatGPTがショッピング機能を追加：パーソナライズされたEC検索

OpenAIは、ChatGPTがまもなくチャットインターフェースから直接商品を購入できる機能を追加すると発表しました。この機能は、ログイン状態に関わらずすべてのユーザーに展開され、購入者は商品の購入を完了するために販売元のウェブサイトにリダイレクトされます。ChatGPTはユーザーの好みとウェブ上の商品レビューを記憶して、パーソナライズされた推奨を提供します。OpenAIは、結果はオーガニックであり、広告やスポンサーシップされた配置ではないと強調し、ユーザーレビューや議論の理解に基づいた、よりパーソナルで会話的なショッピング体験を提供します。

続きを読む
(www.wired.com)
テクノロジー AIショッピング
1 2 … 273 274 275 277 279 280 281 … 595 596