Cursorは、Proプランの最近の価格変更について謝罪し、コミュニケーション不足によりユーザーに予期せぬ料金が発生したことを認めています。6月16日から7月4日までの間に発生した予期せぬ使用料金については、全額払い戻しを行います。新しいProプランでは、TabとAutoモードでのモデルの無制限使用、月額20ドルの最先端モデル使用量（API価格）、必要に応じて追加の使用量を購入するオプションが提供されます。この変更は、さまざまなタスクにおけるさまざまなモデルのコストの違いを反映したものです。Cursorは、今後の価格更新に関するコミュニケーションを改善することを約束しており、事前に通知、より明確なドキュメント、より良いサポートを提供します。
続きを読む
この記事では、科学研究におけるオープンソースソフトウェアの重要な役割を探っています。著者は、オープンソースソフトウェアに固有の自由性と再現性は、科学の発展に不可欠であり、データ処理、シミュレーション、文書作成、保存における課題を効果的に解決すると主張しています。これに対し、プロプライエタリソフトウェアは、制限的なライセンス、ソフトウェアの劣化、結果の再現不能など、多くのリスクをもたらします。この記事は最後に、GCC、GFortran、Julia、Typst、Pandocなどの一般的に使用されているオープンソースソフトウェアパッケージをいくつか推奨し、科学的進歩へのオープンソースソフトウェアの大きな貢献を強調しています。
続きを読む
この記事では、マイク・グレイの著書『攻撃角度：ハリソン・ストームズと月への競争』をレビューし、ノースアメリカン・アビエーションの重要な役割と、アポロ計画における主任エンジニア、ハリソン・ストームズの苦闘に焦点を当てています。設計図から発射台まで、ストームズは超音速爆撃機B-70や極超音速機X-15の開発、ロケットエンジンの技術向上など、数えきれないほどの課題にチームを導きました。アポロ計画の成功は、ストームズのチームによる材料科学、溶接技術、ロケット製造における革新に大きく依存していました。しかし、アポロ1号の火災後、ストームズは不当に解雇され、比較的無名の中で人生を終えました。本書は、人類最大の偉業の陰にある人的コストと予期せぬ課題を明らかにしています。
続きを読む
著者はLone Wolfシリーズのゲームブックを有向グラフネットワークとして符号化し、グラフ理論アルゴリズムを用いてその特性を分析しました。ゲームブックとして正式にリリースされなかった「ダークロードの夜明け」は分析から除外されました。分析は4つのシリーズにまたがる28冊の本を対象とし、各シリーズにおけるエンディングまでの最短経路、死に至るまでの最短経路、戦闘回数の最も多い経路、その他の統計量を計算しました。結果は、時間の経過とともに難易度が低下し、冒険とストーリーへの焦点が高まっていることを示しています。切断されたグラフの処理やサイクルの削除などの技術的な詳細についても議論されています。
続きを読む
NYUタンドン工学部研究者らは、「Ransomware 3.0」と呼ばれるAI搭載ランサムウェアのプロトタイプを開発しました。このプロトタイプは、LLMを使用してランサムウェア攻撃の4つの段階（システムマッピング、価値のあるファイルの特定、データの窃取/暗号化、身代金要求の生成）を自動化します。懸念すべき点は、商用APIを使用した場合、プロトタイプは攻撃ごとに約0.70ドルかかるが、オープンソースモデルであればこのコストが完全に解消されることです。これは、ランサムウェア攻撃の参入障壁を大幅に低減し、深刻なサイバーセキュリティ上の課題となります。学術的な実験ではありますが、AIの悪用可能性を示唆しており、AI駆動型サイバー攻撃の新たな脅威に対処する必要性を強調しています。
続きを読む
強迫性障害の診断後、著者は曝露反応妨害法（ERP療法）を開始しました。従来の会話療法とは異なり、ERPは意図的に恐怖や不安を引き起こし、通常の対処メカニズムを阻害することで効果を発揮します。著者は非常に困難な方法だと感じながらも、その有効性を認め、OCDを超えた潜在的な利益を示唆しています。そして、LLMを用いた自己主導型ERP実験と専門家の指導の重要性を強調しています。不快なプロセスではありますが、結果はそれを補って余りあるものです。
続きを読む
BuzzFeedのシニアデータサイエンティストが、大規模言語モデル（LLM）の実用的な使用方法を共有しています。LLMを万能な解決策ではなく、効率性を高めるためのツールと捉え、プロンプトエンジニアリングの重要性を強調しています。この記事では、データ分類、テキスト要約、コード生成などのタスクでLLMをどのように成功裏に使用したかについて詳しく説明し、特に複雑なデータサイエンスシナリオでは精度と効率が低下する可能性があるなど、LLMの限界についても認めています。LLMは万能薬ではないものの、賢く使用すれば生産性を大幅に向上させることができると主張しています。重要なのは、仕事に適したツールを選択することです。
続きを読む
ドイツの裁判所は、アップルに対し、Apple Watchを「カーボンニュートラル」と宣伝することを禁止しました。裁判所は、この主張が誤解を招くものであり、ドイツの競争法に違反すると判断しました。パラグアイにおけるアップルのカーボンオフセットプログラムの有効性についても疑問視され、短期的な土地賃貸契約と長期的な炭素隔離の不確実性が指摘されました。アップルは控訴できますが、この判決は、企業がカーボンオフセットの主張に慎重になる必要性と、「グリーンウォッシング」を避ける必要性を浮き彫りにしています。
続きを読む
CERNは、反物質研究における長年の課題を解決する携帯型反物質輸送コンテナを開発しました。既存の反物質捕捉装置からの干渉が測定精度を制限していましたが、この長さ2メートルのコンテナにより、反物質を生成場所から他の研究所へ移動させ、より精密な研究が可能になります。超電導磁石とバッテリーを搭載し、反物質の安定性と継続的な電力供給を確保することで、反物質特性の深層研究に新たな章を開きます。
続きを読む
ブラウン大学の報告書は、化石燃料系団体とその弁護士が、法的紛争と虚偽情報を利用して、米国東海岸におけるクリーンで安価な洋上風力発電の開発を妨げていることを明らかにしています。これらの団体は、北大西洋セミクジラ保護などの欺瞞的な環境主張を用いて、風力発電プロジェクトの遅延や中止を図り、化石燃料産業の利益を守っています。ある法律事務所は、研究結果の抑制を目的としてブラウン大学に脅迫まがいの行為に出たほどです。この報告書は、化石燃料企業、政治右派、虚偽情報ネットワーク間のつながり、そしてそれらが気候変動対策を妨げていることを強調しています。この事件は、エネルギー転換における課題と、学術研究が直面する圧力を浮き彫りにしています。
続きを読む
ブックマークの誤クリックから始まる、このエッセイは情報過多の時代におけるレコメンドアルゴリズムの負の影響を探ります。多すぎる選択肢はユーザーの意思決定を妨げ、効率を低下させ、「選択の麻痺」さえ引き起こします。著者は、ウェブサイトのデザインはユーザー中心であるべきだと主張し、レコメンド機能のオフ機能を提供すること、意図しないオートコンプリートを避けること、そして空白のインターフェースから始めてユーザーが必要な機能を選択できるようにすることを提案しています。この記事は情報過多の個人的な経験だけでなく、アルゴリズムによるレコメンドメカニズムの倫理的な問題も提起し、より人間中心のデザイン原則を求めています。
続きを読む
この記事では、ダンジョンズ＆ドラゴンズにおける悪名高い「農民レールガン」戦術を解説します。ルールの抜け穴を利用することで、2280人の農民が木製の棒を途方もない速度で渡し、1ラウンドで300d6のダメージを与える方法を説明します。この記事では、関係するルールを詳しく説明し、ユーモラスに現実世界の物理学と比較することで、面白くはあるものの、DMはほぼ確実に許可しないだろうという結論に達します。
続きを読む
マイクロソフトは、すべての米国の大学生に、Microsoft 365 Personalの年間無料サブスクリプションを提供すると発表しました。OfficeアプリとCopilot AIアシスタントへのアクセスが含まれます。その後、50％割引で更新できます。ホワイトハウスのAI教育タスクフォース会議で発表されたこの寛大なオファーは、125万ドルの教員助成金や無料のLinkedIn Learning AIコースなど、マイクロソフトのAI教育への広範な取り組みの一部です。この動きは、学生の生産性とAIリテラシーを大幅に向上させる可能性があります。
続きを読む
スマートホーム機器の電池切れに悩まされた著者は、Wi-Chargeの長距離ワイヤレス給電技術を試すことにした。天井に取り付けられた送信機は赤外線レーザーを使用して、特別に改造されたスマートロックに電力を供給し、1年間バッテリー交換の必要性をなくした。初期設定には1250ドルと専門家の設置が必要だったが、コードレス操作とバッテリー交換不要の利便性は大きかった。しかし、普及には課題がある。機器には特殊な受信機が必要で、システムの到達範囲が限られているため、家庭全体をカバーするには複数の送信機が必要になる。著者は、この技術は非常に効果的に機能するが、高コストとインフラ要件は、家庭でのより広い採用への大きな障壁であり、商業用途には大きな可能性を秘めていると結論付けている。
続きを読む
カナダ、米国、イタリアの医療研究者らは、倫理委員会の承認を得ることなく、実際の患者情報からAIによって生成された合成データを実験で使用している。これらの機関は、合成データには追跡可能な患者情報は含まれていないため、米国共通規則などの規制の下ではヒト対象研究に該当しないと主張している。合成データセットの作成には患者のデータへのアクセスが必要であり、倫理委員会の承認が必要となるが、リスクが低いことから免除されることが多い。このアプローチは、患者のプライバシー保護、研究の加速、データ共有の促進を目的としているが、倫理的な問題も提起している。
続きを読む
Artifactは、ハードウェアエンジニア向けの協調型IDEであり、設計、調達、製造、統合、テスト、維持管理といったエンジニアリングライフサイクルのあらゆる段階を加速します。同社は、ハードウェアの実際の構築方法を反映した直感的なUIを備えた、統合的で検証可能なAIコパイロットを構築するために、350万ドルを調達しました。すべてのアーティファクトは自動生成され、単一の情報源に追跡可能です。Artifactは、ハードウェアエンジニアリングを厳格で、意図的で、システムを意識したものにすることを目指しており、複雑な技術的問題を解決する顧客と直接協力しています。
続きを読む
Google Pixel 10は、サテン仕上げのメタルフレーム、磨かれたガラスバック、そして象徴的なカメラバーを備え、オブシディアン、フロスト、インディゴ、レモングラスの4つの魅力的なカラーオプションが用意されています。6.3インチのActuaディスプレイは最大輝度3000ニトで、優れた視認性を提供します。オーディオも改善され、卓越した低音でマルチメディア体験が向上しています。カメラの改善は目覚ましく、このPixelシリーズで初めてとなる5倍の望遠レンズが搭載されています。このレンズは高速オートフォーカス、10倍の光学品質、Super Res Zoomによる最大20倍のズームを実現し、遠距離撮影がこれまで以上に簡単になります。
続きを読む
28年のプログラミング経験を持つベテランプログラマーが、AIコーディングツールの実際の生産性向上効果に疑問を呈する。6週間の実験を通して、AIツールがプログラミング速度を大幅に高速化していないどころか、むしろ遅くしている可能性があることを発見。AIコーディングツールの生産性向上に関する業界の宣伝は過大であり、現実のデータとは大きく乖離している。膨大なデータを用いて、AIツール導入後もソフトウェア開発数の急増は見られず、「10倍の生産性」という主張は虚偽であると主張。AIツールを盲目的に採用せず、現実的な視点を持つよう開発者に訴える。
続きを読む
スイスは、5000人以上のユーザーを抱えるサービスプロバイダーに対し、政府発行の身分証明書の収集、加入者データの6ヶ月間の保持、暗号化の無効化を義務付ける物議を醸す法律を検討している。これは世界中のプライバシー擁護者から抗議の声を上げさせ、Protonなどの企業は、いわゆる「大量監視」を回避するためにスイスからインフラを移転させている。この法律はオンラインでの匿名性を脅かし、世界中のユーザーに影響を与える。批判者はこれをロシアの同様の法律と比較し、スイスのデジタル自由へのコミットメントに対する深刻な懸念を引き起こしている。
続きを読む
Linuxカーネルの開発はPGP署名に依存しており、メンテナはLinus Torvaldsに署名付きプルリクエストを送信する必要があります。キーサーバーの問題により、Konstantin Ryabitsevは関連キーを含むgitリポジトリを管理しています。SHA-1署名を削除すると、Linus Torvaldsへの信頼パスを持たない公開キーが485個残ることになり、多くのコア開発者に影響します。これはカーネルの開発プロセスを脅かし、重要な貢献者を排除する可能性があります。Embedded Recipes 2025でのキーサイニングイベントは、信頼チェーンの再構築を目指しています。
続きを読む
企業はアプリ開発者に報酬を支払い、「ネットワーク共有」SDKをアプリに組み込ませ、巨大なボットネットを構築しています。このボットネットは、 unsuspecting ユーザーの帯域幅を利用して、ウェブスクレイピング、メールサーバーへのブルートフォース攻撃などの悪意のある活動を行い、小規模サーバーへのDDoS攻撃を引き起こしています。ウェブスクレイピングにユーザーのデバイスを利用するというこのモデルは、AIデータ収集の暗い側面となり、Apple、Microsoft、Googleなどのテクノロジー大手は対応すべきです。
続きを読む
SECのForm D提出書類に基づく分析によると、ベンチャーキャピタルのバブルが崩壊しようとしていることが明らかになった。 「Fund I」、「Fund II」などのフレーズを含むForm Dの数を追跡することで、著者は、VCファンドの調達が2022年第3四半期にピークに達した後、急激に減少したことを示している。これは、低金利環境下でのVCファンドの急増と、「SPV as a service」企業の台頭に関連している。著者は、ファンドの典型的な寿命が10年、資金配備期間が2～4年であることを考慮すると、現在、資金の利用可能性のピーク期が過ぎていると予測している。これは、AI投資ブームと重なり、高すぎる評価につながっている。著者は、今後の資金調達が大幅に減少する、評価額が下がる、多くの企業が苦戦する、そしてAIの過熱感が冷めるという結論に至っている。
続きを読む
この記事は、ヴァネヴァー・ブッシュのMemexという概念が、Doug EngelbartとTed Nelsonという2人の先駆者をどのように鼓舞し、それぞれNLSとXanaduシステムを生み出し、ハイパーテキストに基づいた理想的なインターネットを構築しようとしたのかを語っています。エンゲルバートのNLSはハイパーテキストの可能性を示しましたが、最終的には技術的な制約のために広く普及しませんでした。ネルソンのXanaduは、すべての知識をつなぐ「ドキュバース」を作成するという、より壮大なビジョンでしたが、技術的な課題、資金の問題、そしてネルソン自身の個性などにより、最終的には野心的な目標を達成することができませんでした。この記事は、インターネットの発展における失われた機会、そして技術と人文的な考察のバランスを探り、インターネットの未来の形について考えるきっかけを与えています。
続きを読む
オンラインでバービカン・エステートを発見してから3年後、著者はついに1965年から1976年にかけて建設されたロンドンのこのユニークな複合施設を訪れました。住民による2時間におよぶツアーでは、歴史、デザイン、そして隠された秘密の魅惑的な融合が明らかになりました。放置された車で満杯の地下駐車場から、ローマ時代の遺跡、中世時代の遺跡、さらには1000年前のユダヤ人墓地まで、バービカンは単なる住宅地以上の存在です。古代エジプトとバタリオンの建築からインスピレーションを得て、隠された通路と住民専用のオンラインフォーラムを備えています。この記事では、著者の体験と、この魅力的な場所をより深く理解するための書籍が紹介されています。
続きを読む
マンチェスター大学とチェスター動物園の研究者らは、鳥のさえずりに隠されたパターンを発見しました。それは人間の言語の核心となる規則、ジップの省略則（ZLA）を反映しています。この法則は、より頻繁に使用される音はより短い傾向があることを示しており、コミュニケーション効率を向上させます。新しいオープンソースツールZLAvianを用いて、7種11の鳥類集団の600以上の歌声を分析した結果、個体差は大きかったものの、全体的に、より頻繁に使用される鳥のさえずりのフレーズは平均して短いことがわかりました。この発見は、動物のコミュニケーションと、鳥類の鳴き声における「最小の努力の原則」の潜在的な適用可能性に関する新たな知見を提供します。
続きを読む
1993年のAdobeによるPDFのリリースは、ドキュメント処理に革命をもたらしました。今、Adobeは生成AIをAcrobat Studioに統合し、「PDFスペース」とAIアシスタントを発表、PDFの再定義を目指しています。これは単なる機能アップグレードではなく、AIが日常のソフトウェアに深く統合されたことを示す画期的な出来事です。AI機能は注目を集めていますが、AIの影響に関する懸念も残っています。Adobeのこの動きが、かつての透明性サポートのように業界をリードするかどうかはまだわかりませんが、間違いなくAIが支配するソフトウェア時代の到来を示しています。
続きを読む
本論文では、従来の半導体デバイスの代替案として、極低温半導体コンピューティングと超伝導エレクトロニクスを検討しています。高温下でのリーク電流の増加や性能低下といった課題に直面する中、これらの技術は高性能で低消費電力の計算を提供します。この研究では、gem5を使用して、超伝導エレクトロニクスと極低温半導体コンピューティングに関連する高クロック周波数で動作する順序付きコアと非順序付きコアのモデルを作成し、NPB、SPEC CPU2006、GAPBSなどの現実世界のアプリケーションを使用してこれらのコンポーネントの性能を評価しました。その結果、これらのコンポーネントで達成可能な潜在的な高速化と、キャッシュ帯域幅によって課せられる制限が明らかになりました。
続きを読む
Lean 4.22は、命令型プログラムの性質を証明するための、エキサイティングな新機能、新しい検証インフラストラクチャを導入します。この記事では、リストの中に合計がゼロになる2つの整数があるかどうかを判断するという簡単な例を用いて、この機能の使い方を示し、DafnyやVerusといった同様のツールと比較しています。新しいフレームワークであるStd.Doは、Hoareトリプルを利用し、`mvcgen`と`grind`戦術を組み合わせることで、ループや早期リターンなど、複雑な制御フローを持つ命令型プログラムの検証プロセスを大幅に簡素化します。外部のSMTソルバーに依存する自動化されたシステムとは異なり、Leanの対話型の証明アプローチは、より高い信頼性、より簡単なデバッグ、そしてより良い保守性を提供し、現実世界のプログラム検証タスクにとって魅力的な選択肢となります。
続きを読む
Mistral AIのLe Chatが大幅アップデートされ、データ、生産性、開発、自動化、コマースなどを網羅する20以上のセキュアなエンタープライズ対応コネクタが導入されました。ユーザーはLe Chat内でDatabricks、Snowflake、GitHub、Asanaなどのツールに直接アクセスして操作できます。「メモリ」機能（ベータ版）では、コンテキストと好みに基づいたパーソナライズされたレスポンスが可能になり、機密情報の管理も徹底されています。これらの機能はすべて無料プランで利用可能です。
続きを読む
Anthropicの研究者たちは、AIモデルのパーソナリティの変化はランダムではなく、モデルのニューラルネットワーク内の特定の「ペルソナベクトル」によって制御されていることを発見しました。これらのベクトルは、気分や態度を制御する脳の領域に類似しています。「悪意」、「おべっか使い」、「幻覚」など、望ましくないパーソナリティを監視、軽減、さらには予防するために、これらのベクトルを特定して操作することができます。この技術は、AIモデルのトレーニングを改善し、問題のあるトレーニングデータの特定を行い、人間の価値観との整合性を確保します。
続きを読む