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

遺伝子ドライブ：蚊を根絶すべきか？

2025-06-08
遺伝子ドライブ：蚊を根絶すべきか？

科学者たちは、蚊やその他の害虫を根絶し、マラリアなどの病気による大きな苦しみを防ぐ可能性のある強力な遺伝子ドライブ技術を開発しました。Target Malariaプロジェクトは、遺伝子編集を利用してガンビアハマダラカを不妊にすることで、マラリアの伝播を抑制することを目指しています。しかし、これは深い倫理的な問題を引き起こします。私たちは、意図的に種を絶滅させる権利を持つのだろうか？専門家は、蚊は迷惑な存在ではあるものの、生態系における役割は不明であり、根絶は予測できない結果をもたらす可能性があると警告しています。この記事では、遺伝子ドライブ技術の可能性とリスクを探り、マラリアで苦しむアフリカにおいて、人間の福祉と種の保全のバランスを取っています。最終的には、リスクを最小限に抑え、より効果的な結果を得るために、蚊そのものよりもマラリア原虫自体を標的とすることを提案しています。

続きを読む
(www.yahoo.com)
テクノロジー 蚊の根絶

英裁判所、AI生成の虚偽事件に苦慮

2025-06-08
英裁判所、AI生成の虚偽事件に苦慮

イギリスの裁判所で、弁護士がAIで生成された虚偽の判例を引用した2件の事件が明らかになり、大きな問題となっている。1件は9000万ポンドの訴訟で18件の架空の判例が引用され、もう1件は住宅訴訟で5件の架空の判例が引用された。裁判官は、弁護士はAI生成情報の正確性を検証する義務があり、そうでなければ裁判所侮辱罪、ひどい場合は司法妨害罪（最長無期懲役）で起訴されると警告した。関係弁護士は倫理規定に照らして処分されることになったが、これらの事件は、司法制度におけるAIの利用に関する規制枠組みの必要性を改めて浮き彫りにした。

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

binfmtc: Cコードをスクリプトとして実行

2025-06-08

シェルスクリプトのためにMakefileを書くのにうんざりしていませんか？binfmtcを使うと、C言語で直接スクリプトを書くことができます！Linuxのbinfmt_miscメカニズムを利用して、スクリプト実行時にCコードを自動的にコンパイルして実行します。Cスクリプトに特別なコメントを追加し、実行可能にすれば、C言語の効率性とシェルスクリプトの利便性を両立できます。現在、GCC、G77、GPCをサポートしており、GNAT、Gobjc、Monoなどのさらなるコンパイラのサポートを計画しています。

続きを読む
(www.netfort.gr.jp)
開発

Apple WWDC 2025：岐路に立つ

2025-06-08
Apple WWDC 2025：岐路に立つ

Appleは2025年のWWDCを前に大きな課題に直面している。Vision Proの低調な販売、停滞するAI戦略、開発者との関係悪化、そして法的紛争が会社を悩ませている。記事では、Appleがこれらの問題に直接対処するのではなく、既存製品のマーケティングを継続すると予測している。しかし、著者は、現状の危機を克服するには不十分だと主張する。WWDCで謙虚さを見せ、過去の過ちを認めることが、開発者の信頼を取り戻し、将来の成功を確保するために不可欠であると結論づけている。

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

エイジェントコーディング：過剰な期待か現実か？

2025-06-08
エイジェントコーディング：過剰な期待か現実か？

この記事では、著者のLLM経験を振り返り、「エイジェントコーディング」を取り巻く過剰な期待について批判的に考察しています。LLMは利用可能なコードを生成できますが、HTTP/2サーバーのような完全なソフトウェアプロジェクトの構築には、綿密なマイクロマネジメントとアルゴリズムによる監視が必要です。LLMは頻繁に停止し、人間の介入とコンテキストの調整を必要とします。著者は、現在の「エイジェントコーディング」ツールは過大評価されており、その成功は経験豊富なエンジニアの努力に依存し、LLMの自律的な能力ではないと主張しています。LLMのコンテキスト管理の問題に対処することでのみ、真の可能性が解き放たれるでしょう。

続きを読む
(taras.glek.net)
開発 エイジェントコーディング

激務からの脱出：ヨーロッパでのリモートワーク体験

2025-06-08
激務からの脱出：ヨーロッパでのリモートワーク体験

2022年、ミシガン州の母親が、1歳児の育児と仕事の両立が困難なため、アメリカの企業でリモート勤務していた人事部門の仕事を辞めました。数ヶ月間の就職活動の後、彼女はオーストリアの完全リモートワーク企業Storyblokで、人事経験マネージャーとして職を得ました。彼女は、ヨーロッパ企業のワークライフバランスの良さ、合理的な労働時間、充実した有給休暇制度（オーストリアの「ケア休暇」など）に気づきました。時差による不便さはありますが、仕事と生活のバランスを重視しており、アメリカ企業に戻ることは難しいと感じています。

続きを読む
(www.businessinsider.com)
スタートアップ ヨーロッパの企業文化

大規模推論モデル：崩壊と直感に反するスケーリング

2025-06-08
大規模推論モデル：崩壊と直感に反するスケーリング

最近の最先端の大規模言語モデル（LLM）は、回答を提供する前に詳細な思考過程を生成する大規模推論モデル（LRM）を生み出しました。これらのモデルは推論ベンチマークで性能が向上していますが、その基本的な能力、スケーリング特性、および限界は十分に理解されていません。本研究では、制御可能なパズル環境を用いてLRMの推論能力を体系的に調査します。その結果、LRMは特定の複雑さを超えると完全な精度崩壊を示し、さらに直感に反するスケーリング限界を示すことがわかりました。つまり、推論の努力は問題の複雑さの増加とともに増加しますが、ある時点を超えると、十分なトークン予算があっても減少します。また、LRMは正確な計算において限界があり、明示的なアルゴリズムを使用できず、パズル間で矛盾した推論を行うこともわかりました。この研究は、LRMの長所、短所、そしてその真の推論能力に関する重要な問題を明らかにしています。

続きを読む
(machinelearning.apple.com)
AI

ガウス求積法：強力な数値積分技法

2025-06-08

この記事では、ガウス求積法、特にチェビシェフ・ガウス求積法という強力な数値積分技法について解説します。これは、特定の節点で関数を評価し、重み付けされた値を合計することで、定積分を近似する手法です。従来の方法と比較して、少ない節点数で高い精度を実現し、特に[-1,1]区間での積分に有効です。この記事では、一般的な区間と関数形式をチェビシェフ・ガウス求積法に適合させる方法を説明し、例を用いてその応用と利点を示します。この技法は、海面上昇率の推定にも応用されています。

続きを読む
(rohangautam.github.io)
開発 数値積分 ガウス求積法 チェビシェフ多項式

ChatGPTの新しいメモリ機能：諸刃の剣？

2025-06-08
ChatGPTの新しいメモリ機能：諸刃の剣？

3月、OpenAIはGPT-4のマルチモーダル画像生成機能をリリースし、1週間で1億人の新規ユーザーを獲得するという記録的な製品ローンチを実現しました。著者はこの機能を使って愛犬にペリカンのコスチュームを着せようとしましたが、AIが望まない背景要素を追加し、芸術的なビジョンを損なっていることに気づきました。これは、以前の会話履歴を自動的に参照するChatGPTの新しいメモリ機能によるものです。著者は最終的に目的の画像を得ましたが、この自動メモリ呼び出しがユーザーコントロールを奪うと感じ、機能をオフにしました。

続きを読む
(simonwillison.net)
AI

DNS over HTTPS (DoH)：プライバシーのトロイの木馬？

2025-06-08

この記事では、DNS over HTTPS (DoH)はプライバシーの向上策として販売されているものの、実際にはすべてのDNSクエリを単一のプロバイダー（Cloudflareなど）に集中させることで、セキュリティリスクを高めていると主張しています。著者は、DoHによるHTTPの使用は不要な複雑さと潜在的な脆弱性をもたらすと主張し、より安全な代替手段としてDNS over TLS (DoT)を推奨しています。DoHの採用はDNSセキュリティの解決策ではなく、偽装された監視ツールとなる可能性があります。

続きを読む
(www.bsdhowto.ch)
テクノロジー

CloudflareのAI生成OAuthライブラリ：諸刃の剣

2025-06-08
CloudflareのAI生成OAuthライブラリ：諸刃の剣

Cloudflareは、AnthropicのClaude LLMを使ってほぼ完全に新しいOAuthプロバイダーライブラリを作成しました。コードはよく構造化されており、テストも合格していますが、著者は、過度に寛容なCORS設定、標準的なセキュリティヘッダーの不足、OAuth仕様の誤った実装など、いくつかのセキュリティ問題を発見しました。エンジニアによるClaudeの出力のレビューにもかかわらず、重大な脆弱性が残っており、厳格な審査下でもAI生成コードのリスクが強調されています。これは、AI支援プログラミングの信頼性と安全性、およびセキュリティクリティカルシステムにおける人間の専門知識の重要な役割に関する疑問を提起しています。

続きを読む
(neilmadden.blog)
開発

EmacsからObsidianへ：開発者の個人的な知識管理の探求

2025-06-08

ある開発者が、EmacsからObsidianへの移行経験を共有します。Emacsは強力ですが、メンテナンスコストが高いため、より使いやすいObsidianに切り替え、PARAメソッドを使ってノート、タスク、リソースを管理するようになりました。著者は、AI時代において、個人的な知識ベースを維持することが不可欠であり、独立した思考を促し、AIツールへの過剰な依存を避けることができると主張しています。ObsidianはAIの付属物ではなく、独立した思考のためのツールとなっています。

続きを読む
(ericgardner.info)
開発 個人的な知識管理

YouTuberがCommodoreブランド買収を目指す：新たな伝説の始まりか？

2025-06-08

YouTubeチャンネル「Retro Recipes」のYouTuberが、Commodoreブランドの買収を目指しています。きっかけは、Commodore 64xを紹介した動画が100万回再生されたこと。これにより、My Retro Computer Ltd.がCommodoreからライセンスを取得しました。現在、より広範なライセンス取得を目指しており、Commodore社から会社全体の買収提案も受けています。Commodoreブランドの未来を巡る憶測が飛び交い、新たな伝説が始まる可能性を示唆しています。

続きを読む
(www.amiga-news.de)
テクノロジー ブランド買収

米国の航空管制システム：フロッピーディスクに別れを告げる

2025-06-08
米国の航空管制システム：フロッピーディスクに別れを告げる

FAAは、現在フロッピーディスクやWindows 95といった時代遅れの技術に依存している米国の航空管制システム（ATC）を近代化するための野心的なプロジェクトに着手しています。これは、重大なセキュリティと効率性のリスクをもたらします。重要なインフラストラクチャプロジェクトと説明されているこのアップグレードは、継続的な運用とシステムセキュリティの確保など、多くの課題に直面しています。4年間の完了期限が目標とされていますが、専門家はこれを非現実的と考えています。プロジェクトのコストはまだ不明ですが、FAAは、この巨大な事業に取り組む企業からの提案を求めています。

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

Fray：Java向け並列処理テストツール

2025-06-08
Fray：Java向け並列処理テストツール

Frayは、アサーション違反、ランタイム例外、デッドロックとして現れる、見つけにくい競合状態の特定とデバッグを支援するために設計された、Java向けの強力な並列処理テストツールです。確率的並列処理テストや部分順序サンプリングなどの高度な手法を活用することで、Frayは制御された並列処理テストと、特定のスレッドインターリービングのデバッグのための決定論的リプレイを提供します。JUnit 5（アノテーションを使用）など、既存のテストフレームワークに簡単に統合でき、効率的な設定のためのGradleとMavenのプラグインも提供しています。コントリビューションは大歓迎です！

続きを読む
(github.com)
開発 並列処理テスト 競合状態

Claude Code：セキュリティ優先だが、そのコストは？

2025-06-08

この記事は、AnthropicのコーディングアシスタントであるClaude Codeの内部動作を掘り下げています。mitmproxyを使用してClaude CodeとAnthropic API間の通信を傍受することで、著者は、Cursorなどの他のツールと比べて、Claude Codeが遅く、高価であることを明らかにしています。これは、厳格なセキュリティポリシーと多層的なツール呼び出しによるものです。Claude Codeは、bashコマンドのセキュリティを綿密に評価し、複数のツール（View、GlobTool、Bashなど）を使用してユーザーリクエストを処理するため、追加のLLM呼び出しとコスト増加につながります。このアプローチはセキュリティを優先しますが、効率性を犠牲にしています。他のツールと比較して、Claude Codeは優れたUXを備えていますが、コストと速度の最適化が必要です。

続きを読む
(kirshatrov.com)
開発 セキュリティポリシー

Appleの論文がLLMに打撃：ハノイの塔が限界を露呈

2025-06-08
Appleの論文がLLMに打撃：ハノイの塔が限界を露呈

Appleからの新しい論文がAIコミュニティに衝撃を与えました。この論文は、最新の「推論モデル」でさえ、古典的なハノイの塔の問題を確実に解くことができないことを示し、大規模言語モデル（LLM）の推論能力における重大な欠陥を明らかにしました。これは、Gary MarcusやSubbarao Kambhampatiなどの研究者による長年の批判と一致しており、彼らはLLMの一般化能力の限界を指摘してきました。この論文は、解法アルゴリズムが提供されても、LLMは問題を効果的に解決できず、「推論プロセス」が真の論理的推論ではないことを示しています。これは、LLMが人工汎用知能（AGI）への直接的な道ではないことを示しており、その用途には慎重な検討が必要です。

続きを読む
(garymarcus.substack.com)
AI

Androidアプリ保守の悪夢：Google Playストアのアプリ数が激減した理由

2025-06-08
Androidアプリ保守の悪夢：Google Playストアのアプリ数が激減した理由

Google Play Music + Podcast の代替アプリである MusicSync を 5 年間保守してきた趣味の Android 開発者が、Android アプリ保守の苦労を共有し、Google Play ストア アプリ数が 47% 減少した理由を説明しています。この記事は、バックエンド開発と比較して、Java/Kotlin の互換性問題、Google による頻繁なライブラリ更新（例：ExoPlayer、Google Auth）による破壊的変更、古い Android バージョンへのサポートの終了、さまざまなコンポーネント（Android Studio、Gradle、SDK）の強制アップグレード、予測不可能な UI デザインガイドラインの変更、Picasso、Glide、OkHttp、EventBus などの重要なサードパーティライブラリの非推奨化または保守不足など、大きな課題を強調しています。Android バージョンと API レベルのデュアルバージョン管理スキームも混乱を招いています。結論として、Android アプリの保守コストはバックエンド開発と比較して高くなることが強調されています。

続きを読む
(ashishb.net)
開発 アプリ保守

LLM：便利なコーディングアシスタントか、創造性を殺すものか？

2025-06-08

この記事は、LLMへの過度な依存に対する懸念を表しています。コーディングの支援や効率向上に役立つ可能性を認めつつも、著者は、LLMへの過度な依存が、特に初心者にとって、プログラマーの独立した思考力や問題解決能力を弱め、プログラミングの基礎知識の理解やプログラミング的思考の発達を阻害すると主張しています。また、LLMによって生成されたコードの質は一貫性に欠け、エラーが発生しやすく、創造性や芸術性に欠けているため、コードの質の低下や、学術上の不正行為につながる可能性があると指摘しています。著者は、特に教育現場において、LLMの使用を規制し、制限する必要があると訴えています。これは、学生の学習や創造性への悪影響を避けるためです。

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

DOSBox-Xでのハードディスクイメージの作成

2025-06-08

このガイドは、DOSBox-Xでハードディスクイメージを作成する方法を説明しています。メニューまたはコマンドラインユーティリティIMGMAKEを使用して、さまざまなサイズのイメージを作成でき、FAT12、FAT16、FAT32ファイルシステムをサポートしています。Windows 98の組み込みドライバーは128GBを超えるディスクには制限があることに注意してください。より大きなイメージにはサードパーティ製のドライバーが必要になる場合があります。このガイドでは、プリセットテンプレートとカスタムサイズを使用した例を示し、Windows 98以降で32GBを超えるFAT32パーティションを作成する際に発生する制限についても説明しています。

続きを読む
(dosbox-x.com)
開発 ハードディスクイメージ

`<blink>`と`<marquee>`の興亡（そして復活？)

2025-06-08
`<blink>`と`<marquee>`の興亡（そして復活？)

ウェブサイトの点滅するテキストやマーカーを覚えていますか？この記事では、90年代に流行したHTMLタグ``と``の奇妙な歴史を掘り下げます。Netscape Navigator 2.0での偶然の誕生から、Internet Explorerの革新的（そしてひどいとも言える）``タグまで、その奇妙な互換性の問題と、初期のWebデザインをどのように定義し、時には損なったかを考察します。現在では時代遅れですが、Web開発への影響は否定できません。

続きを読む
(danq.me)
デザイン Webデザインの歴史 HTMLタグ ブラウザの互換性

arXivLabs：コミュニティとの協力による実験プロジェクト

2025-06-08
arXivLabs：コミュニティとの協力による実験プロジェクト

arXivLabsは、共同研究者がarXivの新しい機能を直接ウェブサイト上で開発し、共有できるフレームワークです。arXivLabsに携わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーのみと協力しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。

続きを読む
(arxiv.org)
開発

Macintosh GUIの先駆者、ビル・アトキンソン氏が死去

2025-06-08
Macintosh GUIの先駆者、ビル・アトキンソン氏が死去

初代Macintoshの画期的なグラフィカルユーザーインターフェース（GUI）の多くを開発したエンジニア、ビル・アトキンソン氏が、膵臓癌の合併症により6月5日に亡くなりました。Appleの51番目の従業員であったアトキンソン氏は、最初のMacintoshとLisaのGUIの開発に大きく貢献しました。彼の功績には、メニューバー、投げ縄選択ツール、「マーチング・アンツ」アニメーション、効率的な円描画アルゴリズムなどが含まれます。おそらく最もよく知られているのは、彼が「ソフトウェア・エレクター・セット」と表現した、画期的なハイパーメディアアプリケーション作成システムであるHyperCardでしょう。Apple退社後は自然写真に情熱を注ぎ、2007年にはAI企業Numentaに入社しました。彼の死は、コンピューティングへの影響が依然として深い真のテクノロジーの伝説の喪失を意味します。

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

謎の記号列：なぞなぞ

2025-06-08
謎の記号列：なぞなぞ

このテキストは、"==="、"!=="、"=!="、"=/="などの一連の繰り返し記号列で構成されており、それぞれに省略記号"..............................."が続いており、隠された情報やコンテンツを示唆しています。現時点では、これらの記号には明らかなパターンや意味がなく、暗号化されたメッセージや芸術表現の一種のように見えます。その背後にある意味は解読されるのを待っています。

続きを読む
(monaspace.githubnext.com)
その他 なぞなぞ

トランプ政権のAI監視国家：制御不能なテクノディストピア

2025-06-08
トランプ政権のAI監視国家：制御不能なテクノディストピア

ドナルド・トランプがホワイトハウスに戻って以来、アメリカ政府はAIを利用した大規模監視を強化し、移民、外国人、学生を標的にしています。これは、司法の監督なしに、無許可のソーシャルメディアスキャン、バイオメトリックデータ分析、電話傍受などを含みます。トランプとイーロン・マスクは、PalantirやAndurilなどの民間企業と共に、この拡大を推進しています。DHSやICEなどの機関は、Babel XやSocialNetなどのツールを使用して、ソーシャルメディアなど様々な情報源からデータを収集しています。政府はソーシャルメディアの活動さえも、亡命や市民権を拒否する理由としています。政府効率化省（DOGE）は、国民の機密データを収集し、新しい国外追放プラットフォームに供給しています。専門家たちは、人権侵害と、この監視がヨーロッパにまで拡大する可能性について警告しています。

続きを読む
(english.elpais.com)
テクノロジー テクノサーベイランス

arXivLabs：コミュニティとの協力による実験プロジェクト

2025-06-08
arXivLabs：コミュニティとの協力による実験プロジェクト

arXivLabsは、共同研究者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有し、受け入れています。arXivはこれらの価値観に尽力しており、これらの価値観を遵守するパートナーのみと協力しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsについて詳しく学びましょう。

続きを読む
(arxiv.org)
開発

ダグラス・アダムズのAI時代の予言：ユーモアと洞察力

2025-06-08
ダグラス・アダムズのAI時代の予言：ユーモアと洞察力

この記事は、ダグラス・アダムスが電子書籍を発明したかどうかの議論から始まり、彼のSF小説における未来技術の予測を探ります。著者は、アダムスの先見の明はウィリアム・ギブソンを凌駕しており、イライラするコンピュータアシスタント（クリッピーなど）やAI搭載のスマートデバイスを正確に予測したと主張します。さらに重要なのは、アダムスが人間とAIの相互作用における中心的な課題、つまり強力な計算能力を持つだけでなく、正しい質問をすることを見抜いていたことです。著者は、スマートデバイスとの個人的な経験を用いて、アダムスの予測の現実性をユーモラスに示し、ユーモアを洞察力の重要な指標として強調しています。

続きを読む
(krisstgabriel.substack.com)
AI

アップル40年：神経科学博士のシリコンバレー冒険記

2025-06-07

40年前、著者は神経科学の博士号を諦め、当時従業員30名のアップル社へ入社しました。スティーブ・ジョブズのビジョンと仕事の興奮が、LisaとMacintoshの開発に貢献、QuickDrawやウィンドウマネージャーといった重要な技術を生み出しました。後に開発したHyperCardは、プログラミング経験のない人でもインタラクティブメディアを作成できるツールとして、彼の功績をさらに確固たるものにしました。挑戦と成功に満ちたこの旅は、テクノロジー業界に大きな影響を与えました。

続きを読む
(www.folklore.org)
テクノロジー アップル歴史

数学記号の頻度分析：誤りの物語

2025-06-07
数学記号の頻度分析：誤りの物語

Dr. Drangはラウル・ロハスの著書『数学の言語』をレビューし、数学記号の歴史と標準化を探っています。arXiv論文と工学教科書に基づいた記号の頻度分析表が彼の注意を引きつけ、いくつかの誤りを明らかにしました。アルファ(α)が「a」としてリストされていたり、分数線が2つのボックスとして表現されていたりといった誤りです。データのソースを辿ることで、Dr. Drangはこれらの誤りがデータ処理と組版における不注意によるものであることを突き止めました。この記事は、数学記号の歴史だけでなく、学術研究における厳密なデータ処理の重要性も浮き彫りにしています。

続きを読む
(leancrew.com)
その他 頻度分析 データエラー

「雰囲気コーディング」を超えて：Claudeを使った実コードのデプロイに関する実践ガイド

2025-06-07

この記事では、著者のチームがClaudeを使ってソフトウェア開発の効率を向上させた経験について詳しく説明しています。AIによる「雰囲気コーディング」に頼るだけの危険性を批判し、堅牢な開発プラクティスを重視する必要があることを強調しています。3つのAI支援開発モードが提案されています：AIによる最初のドラフト作成、ペアプログラミング、およびバリデーションです。この記事では、大規模プロジェクトにおけるCLAUDE.mdドキュメントとアンカーコメントの重要な役割を強調し、テスト作成の極めて重要な重要性を強調しています。これは、AIが決して扱うべきではないタスクです。著者は、テストは人間の意図を表し、AIによって導入されたエラーを防ぐために不可欠であると強調しています。さらに、トークンの管理、新しいClaudeセッション、適切なチーム文化の育成などについても議論し、実践的なアドバイスを提供しています。

続きを読む
(diwank.space)
開発
1 2 … 179 180 181 183 185 186 187 … 595 596