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

深層学習演算の統合：一般化ウィンドウ演算

2025-09-13

本論文は、行列乗算や畳み込みなどの深層学習の中核となる演算を統合する理論的枠組みである一般化ウィンドウ演算（GWO）を紹介しています。GWOはこれらの演算を、パス（演算の局所性）、形状（幾何学的構造と対称性）、ウェイト（特徴の重要性）という3つの直交成分に分解します。本論文では、構造整合の原則を提案し、GWOの構成がデータの本質的な構造を反映する際に最適な汎化が達成されると示唆しています。この原則は、情報ボトルネック（IB）原理に由来します。Kolmogorov複雑度に基づいた演算複雑度メトリックが定義され、この複雑性の性質（適応的正則化か総当たり能力か）が汎化を決定すると主張されています。GWOは、データ構造に適応的に整合する演算において優れた汎化を予測します。この枠組みは、ニューラル演算を作成するための文法と、データのプロパティから汎化可能なアーキテクチャ設計への原理に基づいた経路を提供します。

続きを読む
(zenodo.org)
AI

AI支援コーディング：作業単位の重要性

2025-09-18

効果的なAI支援コーディングは、単にインテリジェントなモデルを使うだけでなく、作業単位の綿密な管理が重要です。著者は、タスクを適切なサイズの単位に分割することが不可欠だと主張しています。小さすぎると効率が悪くなり、大きすぎるとコンテキストの喪失によりエラーが蓄積されます。理想的な単位は、ユーザーストーリーのように明確なビジネスバリューを持ち、人間のレビューとエラー修正を可能にし、AIエラーの累積を最小限に抑えます。StoryMachineプロジェクトは、AI支援コーディングの効率と精度を高めるために、より効果的な作業単位の定義を目指しており、最終的にはAI開発をより簡単で効率的なものにすることを目指しています。

続きを読む
(blog.nilenso.com)
開発

AIの鏡：機械学習が人間の認知を照らす

2025-05-30
AIの鏡：機械学習が人間の認知を照らす

AIによって自律的に書かれた実験的な書籍『ヒューマンアルゴリズム』は、人工知能と人間の認知の驚くべき類似点を考察しています。大規模言語モデル（LLM）の課題、「幻覚」や「過学習」などを分析することで、人間の認知とコミュニケーションにおける見過ごされてきた真実、例えばAIへの厳格な要求と自己認知への寛容さの違いなどを明らかにしています。本書の目的はAIを人間らしくすることではなく、AIを鏡として用いて、人間が自分自身をより深く理解し、コミュニケーション能力や自己認識を高める手助けをすることにあります。

続きを読む
(github.com)
AI

AIコーディングアシスタント：エンパワーメントか脅威か？

2025-08-31
AIコーディングアシスタント：エンパワーメントか脅威か？

著者は、AIコーディングアシスタントの影響を自身の経験を通して探求します。当初、AIがプログラマーに取って代わるという考えに落胆しましたが、数週間の使用を経て、AIアシスタントはコーディングの効率を高めるだけでなく、新たな学習機会や創造的なワークフローも提供することが分かりました。しかし、この経験は矛盾も生み出します。AIコードの制御、バグへの責任、そしてプログラマー自身の価値に関する不安などです。著者は、AIアシスタントは単なる脅威や恩恵ではなく、複雑な感情的経験であり、最終的には人間が話すコーディングパートナーのようなものだと結論付けています。コーディングの喜びを高める存在です。

続きを読む
(levelup.gitconnected.com)
開発

Swift 6の謎めいた`@isolated(any)`：知っておくべきこと

2025-09-01
Swift 6の謎めいた`@isolated(any)`：知っておくべきこと

Swift 6は、非同期関数の分離を記述する`@isolated(any)`属性を導入しましたが、最初は混乱を招きます。常に引数が必要です が、この引数は変更できません。この記事では、その導入理由を説明します。非同期関数のスケジューリング中に分離に関する情報が失われるという問題を解決するためです。`@isolated(any)`は関数の分離プロパティへのアクセスを提供し、よりスマートなスケジューリングを可能にします。特に`Task`と`TaskGroup`の処理において、MainActor上のタスクの実行順序を保証します。ほとんどの場合無視できますが、非同期関数の分離とスケジューリングを扱う際には、`@isolated(any)`を理解することが、効率的で信頼性の高い並行コードを作成するために不可欠です。

続きを読む
(nshipster.com)
開発 非同期関数

原子力電池：長寿命電源の復活なるか？

2025-08-25
原子力電池：長寿命電源の復活なるか？

1970年代には原子力電池式ペースメーカーが普及しましたが、放射性廃棄物の処理問題から使用が中止されました。近年、技術の進歩により原子力電池の研究開発が再び活発化し、ロボット、ドローン、センサーへの応用が目指されています。新型原子力電池は数十年、場合によっては数百年もの寿命と高いエネルギー密度を誇ります。しかし、商業化にはコスト、安全性、規制といった課題があり、そのメリットと放射性廃棄物処理の複雑さを両立できる適切な市場を見つけることが重要です。

続きを読む
(spectrum.ieee.org)
テクノロジー 原子力電池

量子コンピューティング：機会と脅威が共存する暗号化革命

2025-07-14
量子コンピューティング：機会と脅威が共存する暗号化革命

量子コンピューティングの急速な発展は、計り知れないほどの計算能力向上をもたらしますが、既存の暗号化システムにも脅威を与えます。今後7～10年以内に、量子コンピュータは現在の暗号化基準を破ることが可能になり、個人情報や国家安全保障に深刻な脅威をもたらします。NISTはすでにポスト量子暗号（PQC）規格を策定していますが、これらのアルゴリズムを既存のシステムに統合するには、大規模なエンジニアリング作業が必要です。企業は今すぐ行動を起こし、システムの棚卸しを行い、暗号化アルゴリズムを更新し、サプライヤーと協力してサプライチェーンの量子セキュリティを確保し、「今捕獲、後で悪用」という将来のリスクを回避する必要があります。

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

EdgeBit：効率的な依存関係自動修正のためのワンショットAIエージェント

2025-04-18

EdgeBitは、アプリケーションエンジニアリングチームがセキュリティの脆弱性を発見し修正するのを支援するセキュリティプラットフォームです。依存関係自動修正機能には、アプリへの影響を特定するための非常に正確な到達可能性エンジンが含まれています。ほとんどの更新は影響を与えないため、EdgeBitを使用するエンジニアは、影響のあるアップグレードに努力を集中できます。これは、依存関係の管理ではなく、「任務」に費やす時間を増やすことを意味します。この記事では、依存関係自動修正で実施したように、1）集中型ツールを使用し、2）エラーをスマートに処理し、3）AIエージェントの永続性を活用して、大量の効率性向上を実現する方法について説明します。データで裏付けられています。

続きを読む
(edgebit.io)
開発

container：Apple Silicon Mac向け軽量コンテナツール

2025-06-09
container：Apple Silicon Mac向け軽量コンテナツール

containerは、軽量仮想マシンとしてmacOS上でLinuxコンテナを作成および実行するためのSwiftベースのツールです。OCI準拠であるため、標準的なコンテナレジストリからイメージをプルして実行し、作成したイメージをプッシュできます。macOS 26 Beta 1の新しい機能を利用しており、macOS 15ではネットワーク制限があります。アップグレードをお勧めします。GitHubのリリースページからインストーラをダウンロードし、uninstall-container.shスクリプトを使用して削除します。アンインストール時にユーザーデータを残すこともできます。

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

Goチャネル：批判的な再評価

2025-04-13

ベテランのGo開発者が、Goのチャネルメカニズムについて批判的な評価を行っています。CSPモデルに基づいたGoの理論的基礎と、チャネルとゴルーチンの依存性を認めつつ、著者は、その実際的な実装にはいくつかの欠点があると主張しています。これには、goroutineリークの可能性、従来の同期プリミティブよりも低いパフォーマンス、他のコンカレンシーメカニズムとの複雑な相互作用などが含まれます。著者は、チャネルの使用には注意が必要であり、多くのシナリオではミューテックスやコールバックの方が優れた代替手段になると主張しています。チャネルシステムの改善として、条件変数での選択を可能にすることや、未使用のチャネルを管理するためのガベージコレクションの強化などが提案されています。

続きを読む
(www.jtolio.com)
開発 チャネル

250年のアイスクリームトラックの歴史：ギャング抗争から電気自動車の夢まで

2025-09-02
250年のアイスクリームトラックの歴史：ギャング抗争から電気自動車の夢まで

この記事は、イギリスのアイスクリームトラック250年の歴史をたどります。簡素な始まりから環境に優しい電気自動車へと進化する過程、衛生問題、ギャング抗争、業界の適応努力などが描かれています。最終的には、アイスクリームトラックの独特の魅力と文化的な意義、そして現代社会における変容と発展が強調されています。

続きを読む
(longreads.com)
その他 アイスクリームトラック

LLM：コンピューティングにおける最大の過ちか？

2024-12-28
LLM：コンピューティングにおける最大の過ちか？

著者は、大規模言語モデル（LLM）を批判し、それがコンピューティングの未来ではなく、むしろ後退であると主張しています。数十年間、企業は利益をソフトウェアの品質やユーザーエクスペリエンスよりも優先してきたため、ソフトウェアは遅く、肥大化し、バグが多くなりました。LLMはこの傾向を永続させ、遅く、高価で、非決定論的です。著者は、莫大な投資のためにこの技術が廃れることがなく、結果として少数の巨大企業がコンピューティングの世界を支配し、イノベーションを窒息させ、将来の世代が高品質なソフトウェアを経験できなくなることを懸念しています。

続きを読む
(crys.site)
開発 技術倫理

Google DeepMind、GenAI Processorsをオープンソース化：LLMアプリケーション開発の簡素化

2025-07-11
Google DeepMind、GenAI Processorsをオープンソース化：LLMアプリケーション開発の簡素化

Google DeepMindは、複雑な大規模言語モデル（LLM）アプリケーションの開発を簡素化するために設計された、オープンソースのPythonライブラリであるGenAI Processorsをリリースしました。このライブラリは、Processorインターフェースを使用してさまざまなデータ処理手順を抽象化し、非同期ストリーム処理を使用してマルチモーダル入力を処理することで、同時実行を可能にし、応答性と効率性を向上させます。GenAI ProcessorsはGemini APIと統合されており、ライブトランスクリプションや会話型エージェントなどのリアルタイムアプリケーションを構築するための例を提供しています。

続きを読む
(developers.googleblog.com)
開発

AudacityとNyquistを使ったプラグイン開発入門

2025-09-12

Nyquistはオーディオ合成と分析のためのプログラミング言語です。AudacityはNyquistの機能の一部を利用しており、ユーザーはコンパイル不要でプレーンテキストでプラグインを作成できます。NyquistはLispとSALの両方の構文をサポートしています。このガイドではLisp構文の概要を説明し、S式、関数定義、リスト操作、一般的な関数、そしてコード例を示すことで、Nyquistプラグイン開発の迅速な開始を支援します。

続きを読む
(manual.audacityteam.org)
開発

「一人になる権利」の再定義：プライバシーのロマンチックな理想

2025-04-22
「一人になる権利」の再定義：プライバシーのロマンチックな理想

ロウリー・プレスリーの新著『忘却の権利：プライバシーと良い生活』は、プライバシーに対する私たちの狭い理解に異議を唱えています。プレスリーは、現代的な概念がデータ制御と監視の回避に重点を置きすぎていると主張し、より深い意味、つまり未知のものと不可知のものの保護を見過ごしていると述べています。彼は、情報管理だけでなく、個人の主体性と可能性を守る、より広範でロマンチックなプライバシーの理想を提唱しています。初期のカメラ技術による個人主体性の侵害やインターネットのデータ洪水といった歴史的な例を用いて、プレスリーは「忘却の権利」を主張し、個人と社会の繁栄のために、プライバシーに対するより包括的な理解を求めています。

続きを読む
(www.thenation.com)
その他

中古の2023年式日産リーフ：手頃な価格のEV体験

2025-09-05

2025年、著者は15年ぶりの「新車」として、中古の2023年式日産リーフを購入しました。この記事では、リーフの価格の安さと実用性を、テスラなどの競合他社と比較検討した彼の意思決定プロセスを詳しく説明しています。彼は、ワンペダル運転、力強いトルク、低メンテナンスなどのリーフのメリットを強調していますが、充電インフラの不備、標準化の欠如、いくつかのデザイン上の欠点なども指摘しています。最終的に、著者はリーフが自分の短い通勤ニーズに合っていると判断していますが、多くの車主にとって、EVは依然として価格とインフラの面で大きな障壁に直面していると結論付けています。

続きを読む
(www.jeffgeerling.com)
テクノロジー 日産リーフ

CTスキャンの過剰使用が米国で10万件以上の癌を引き起こす可能性

2025-04-15

新たな研究によると、2023年に米国で行われた9300万件のCTスキャンは、10万件以上の癌、そのうち子供は約1万件を引き起こす可能性があるとされています。これは米国における全癌の5％に相当し、アルコールが原因の癌と同数です。研究者たちは、不必要なスキャンを減らし、放射線量を最適化することで、癌リスクを軽減するよう促しています。CTスキャンは診断と治療に不可欠ですが、過剰使用は放射線被ばくを増やし、癌リスクを高めます。研究では、臨床的に正当化されたスキャンを行い、年齢と臓器に合わせた線量調整を行うことが重要であると強調しています。

続きを読む
(www.icr.ac.uk)
テクノロジー CTスキャン

私の家、私のサーバー：物理的なインターネットを取り戻す

2025-09-16
私の家、私のサーバー：物理的なインターネットを取り戻す

著者は、2000年に大学寮の部屋から音声合成ウェブサイトを運営していた頃の思い出を語り、遠隔からサーバーにアクセスされた際の魔法のような感覚を強調しています。現在、著者はこの物理的な接続を再現することを目指し、信頼性が高く安全なホームウェブサイトの構築可能性を探求しています。最終的な目標は、仮想世界と現実世界を融合させ、よりインタラクティブでパーソナライズされたオンライン体験を生み出すことです。この記事は、インターネットの本質、ユーザーの主体性、そして将来のオンラインインタラクションの方向性について考察を促しています。

続きを読む
(interconnected.org)
開発 物理的インターネット

ラ・リーガの海賊版対策：オープンウェブへの飛び火被害

2025-09-21
ラ・リーガの海賊版対策：オープンウェブへの飛び火被害

スペインのサッカーリーグ、ラ・リーガは、積極的な著作権侵害対策が批判を浴びている。テレフォニカとの連携で、スペインの裁判所が承認した広範なIPアドレスブロック方式を採用。これにより、アマゾン、Cloudflare、GitHub、さらにはGoogle Fontsを含む合法的なウェブサイトやサービスで広範囲なサービス停止が発生した。削除通知の急増を主張しているものの、実際にオフラインになったのは対象ストリームの11％のみ。この強硬策は法的異議申し立てと批判を招いているが、ラ・リーガは物議を醸すキャンペーンを減速させる兆候を見せていない。

続きを読む
(reclaimthenet.org)
テクノロジー

Photon Matrix：Indiegogoでレーザー蚊取り器が登場

2025-07-06
Photon Matrix：Indiegogoでレーザー蚊取り器が登場

レーザー式の蚊取り器「Photon Matrix」がIndiegogoで資金調達を開始しました。中国製のこのデバイスは、LiDAR技術を用いて3ミリ秒以内に蚊を検知し、別のレーザーで撃退します。遅い動きをする蚊には効果的ですが、速い昆虫には苦労します。IP68の防水性能、複数の射程オプション、人間やペットへの誤射を防ぐミリ波レーダーを搭載しています。概念自体は新しいものではありませんが、安全性と開発チームの経験については懸念が残ります。

続きを読む
(newatlas.com)
テクノロジー 蚊取り器

ヘネシー・ヴェノムF5エボリューション：2031馬力、世界最強の燃焼エンジン車

2025-04-21
ヘネシー・ヴェノムF5エボリューション：2031馬力、世界最強の燃焼エンジン車

ヘネシーは、驚異の2031馬力を誇るツインターボV8エンジンを搭載したヴェノムF5エボリューションを発表し、世界最強の純粋内燃機関車となりました。このアップグレードパッケージは別モデルではなく、既存のヴェノムF5オーナーもアップグレード可能です。その圧倒的なパワーは0-200mphを10.3秒で達成し、ドライバーが選択可能な5つのモードを備えた新しいアダプティブサスペンションにより、快適なロードツーリングと超高性能なトラック走行の両立を実現しています。

続きを読む
(www.thedrive.com)
テクノロジー ヘネシー ヴェノムF5エボリューション

Goスケジューラ： скромное началоから強力なエンジンへ

2025-05-21
Goスケジューラ： скромное началоから強力なエンジンへ

この記事では、Goスケジューラの進化を詳しく解説します。非効率的な単一のグローバル実行キューから、高性能なGMPモデル（Goroutine、Machine、Processor）への道のりをたどります。GMPモデルにおける各コンポーネントの役割とメカニズム、Goroutineの作成、プリエンプション、システムコールの処理、netpollのネットワークI/OとファイルI/Oにおける役割などを詳細に説明します。協調的プリエンプションと非協調的プリエンプションのメカニズムについても解説します。Goランタイムのソースコードを解剖することで、読者はGoのコンカレンシーモデルをより深く理解し、より効率的なコンカレントプログラムを作成できるようになります。

続きを読む
(nghiant3223.github.io)
開発 スケジューラ

わずか1000行のZigコードによる小さなOS：OS-1000-lines-zig

2025-09-21
わずか1000行のZigコードによる小さなOS：OS-1000-lines-zig

OS-1000-lines-zigは、1000行未満のZigコードで軽量なオペレーティングシステムを実装した印象的なプロジェクトです。このモノリシックカーネルOSは、基本的なプロセスとメモリ管理をサポートし、シンプルなコマンドラインインターフェースを備えています。Zigコンパイラがあれば、開発者はOSを簡単にクローン、ビルド、実行できます。プロジェクトは、カーネル実装、共通関数、ビルドスクリプトなどのコンポーネントを持つクリーンなコード構造を誇り、テストと貢献ガイドラインを含んでいます。将来の開発計画には、プロセス管理、メモリ管理、コマンドラインインターフェース、ネットワーク、ファイルシステムの拡張が含まれます。

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

オープンソースプロジェクトでGitHubを使うのをやめるべき理由

2025-09-20

この記事は、Microsoftが所有するプラットフォームであるGitHubを使用することの問題点を明らかにしています。ユーザーコントロールの制限、中央集権化されたモデル、テレメトリーデータによる追跡、GitHub ActionsやCopilotなどの機能によるベンダーロックインといった問題点を指摘しています。さらに重要なことに、ICEへのクラウドサービス提供やイスラエル国防軍へのAI技術提供など、米国政府やイスラエル軍との物議を醸すパートナーシップの詳細が記述されており、社内従業員の抗議につながっています。著者は、オープンソースの精神と独立性を維持するために、ForgejoやSourcehutなどの自己ホスティングソリューションへの移行を推奨しています。

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

ココナッツ・アクション・パーティー：マレーの第二次世界大戦切手の秘密

2025-05-09
ココナッツ・アクション・パーティー：マレーの第二次世界大戦切手の秘密

林楊辰の『ココナッツ・アクション・パーティー』は、第二次世界大戦中のマレーにおけるユニークなココナッツをテーマにした切手を深く掘り下げています。本書は、デザイン、印刷、戦時中の偽造と使用、そして戦後の様々な植民地とマレー州における切手の発行状況を網羅しています。材質、色、デザイン、セキュリティマークなどの綿密な分析を通して、この歴史的時代の独特の郵便システムと社会変遷が明らかになります。また、走査型電子顕微鏡やラマン分光法などの先端技術を用いて切手の詳細な分析を行い、コレクターや歴史愛好家にとって貴重な資料を提供しています。

続きを読む
(www.linyangchen.com)
その他 切手 マレー

テスラ太陽光発電事業の驚くべき衰退

2025-04-09
テスラ太陽光発電事業の驚くべき衰退

2016年のSolarCity買収後、テスラの住宅用太陽光発電事業は期待外れに終わり、継続的な減少を経験しています。記事では、2022年第4四半期以降、テスラの太陽光発電設備の設置数が連続して減少しており、同社は数値の公表を停止したことが明らかになっています。分析によると、テスラの太陽光発電事業は買収前の状態に比べて影が薄くなっており、クリーンエネルギー業界全体への懸念が高まっています。

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

マイクロソフト、Windows Subsystem for Linux (WSL)をオープンソース化

2025-05-19
マイクロソフト、Windows Subsystem for Linux (WSL)をオープンソース化

マイクロソフトは、Build開発者会議で、Windows Subsystem for Linux (WSL)をオープンソース化すると発表しました。これにより、開発者はWindows内でLinuxディストリビューションを簡単に実行できるようになります。これは、Windowsを主要な開発環境として確立し、Linuxとの互換性を向上させることを目的としています。WSLは、エミュレーションからWSL 2のネイティブLinuxカーネルへと進化し、パフォーマンスと互換性が大幅に向上しています。オープンソース化により、開発者はコードに貢献し、WSLの機能とパフォーマンスをさらに向上させることができます。

続きを読む
(thenewstack.io)
開発

SubstackはJavaScriptが必要です

2025-01-24
SubstackはJavaScriptが必要です

Substackのウェブサイトは、サイトが正しく機能するためにはJavaScriptを有効にする必要があることを示すメッセージを表示します。これは、ユーザーにブラウザでJavaScriptが有効になっていることを確認するよう促す一般的なウェブサイトメッセージです。有効になっていない場合、ウェブサイトは正しく読み込まれたり機能したりしません。

続きを読む
(substack.com)
その他

ウェイモ、ニューヨークで自動運転車のテスト許可取得も、労働組合が反発

2025-08-23
ウェイモ、ニューヨークで自動運転車のテスト許可取得も、労働組合が反発

ウェイモは、ニューヨーク市で自動運転車をテストするための最初の許可を取得しましたが、労働組合から反発を招いています。この許可により、ウェイモは9月末まで、マンハッタンとダウンタウン・ブルックリンで、安全運転手を同乗させた自動運転車を最大8台運行できます。市側は厳格な安全規制とMADDなどの団体の支持を強調していますが、TWUなどの労働組合は、歩行者安全、緊急対応の遅延、雇用喪失への懸念を表明しています。彼らは、過去にウェイモ車両が関与した事故を挙げ、ニューヨーク市での自動運転車テストの禁止を求める請願書を提出しています。

続きを読む
(www.amny.com)
テクノロジー 労働組合の反対

JavaScriptコメントの奇妙な歴史：`<!--`と`-->`がなぜ動くのか

2025-03-12

この記事では、JavaScriptにおける``がコメントとして機能する奇妙な歴史を解き明かします。当初、古いブラウザとの互換性を確保するために、開発者は``タグ内でHTMLコメントを使ってJavaScriptコードを囲んでいました。驚くべきことに、現代のブラウザでもこの構文がサポートされているのは、ブラウザの互換性の歴史的負債と、標準化委員会の「Webを壊さない」というコミットメントによるものです。この記事では、この構文の動作方法と、`-->`が行の先頭に来なければならない理由を説明します。

続きを読む
(www.hillelwayne.com)
開発
1 2 … 40 41 42 44 46 47 48 … 595 596