25年にわたる素晴らしいミッションの後、USGSとNASAの共同プロジェクトであるLandsat 7衛星が正式に退役しました。1999年7月4日のラスベガス地域の最初の画像から、2024年5月28日の最後の撮影まで、Landsat 7は地球観測に貴重なデータを提供し、都市の拡大、環境変化、重要な歴史的出来事を記録しました。Landsat 7のミッションは終了しますが、Landsat 8と9がその遺産を引き継ぎ、Landsat Nextは2030年代初頭の打ち上げが計画されています。Landsat 7の画像はUSGS地球資源観測科学センターにアーカイブされ、継続的な科学研究と意思決定を支援します。
続きを読む
サウスダコタ州立大学の研究者らは、ブドウのつるから、従来のプラスチックよりも強く、わずか17日で生分解するプラスチックのような素材を開発しました。この画期的な成果は、生分解性包装材の喫緊のニーズに応え、環境中に蔓延するプラスチックごみとマイクロプラスチックの問題に対処します。ブドウのつるに含まれるセルロースから作られたこのフィルムは、透明で丈夫であり、分解後には有害な残留物を残しません。従来のプラスチックにとって有望な持続可能な代替品となります。
続きを読む
この記事では、データベースがキャッシュを完全に置き換える可能性を探っています。データベースは、バッファプールやリードレプリカなどのキャッシュ機能の一部を提供していますが、キャッシュは、特に特定のデータサブセットや事前に計算されたデータに関して、低遅延データアクセスにおいて優れています。キャッシュを置き換えるには、データベースは、多数のリードレプリカの効率的な処理、部分的なリードレプリカの有効化、特定データの優先順位付け、効率的な増分ビューメンテナンス（IVM）メカニズムの実装という、いくつかの課題に対処する必要があります。著者は、IVMと部分的なリードレプリカを組み合わせることで、最終的にはデータベースがキャッシュを部分的に置き換える可能性があると考えていますが、まだギャップが残っています。
続きを読む
Obsidian用の新しいプラグイン、Note Codesは、各ノートに4文字のユニークコードを割り当て、手書きノートや他の場所からの迅速な参照を可能にします。コードはノートのパスをSHA-256ハッシュ化し、Base32エンコーディングを使用して生成されます。可読性を高めるため、似たような文字は省略されています。オープンソースのプラグインにはプロトコルハンドラーが含まれており、obsidian://note-codes/open?code=XX-XXで指定したコードのノートを開くことができます。
続きを読む
Ben Eaterの「世界最悪のビデオカード」に触発され、Leoneqはさらに…ひどいものを製作しました。このテキストモードのグラフィックカードは、VGA解像度800x600@60Hz（アクセス可能な400x300）を誇り、TTLゲートのみを使用し、驚くほど少ない21個のICで構成されています。ラテン語、ポーランド語、さらには標準銀河系アルファベットをサポートし、EPROMとSRAMを使用して文字を保存します。グリッチ、ノイズへの感度、全体的に印象の薄い画像といった問題を抱えているものの、このプロジェクトは創意工夫の証であり、ハードウェアの限界に対するユーモラスなアプローチです。これは、「ひどいアイデア」に直面しても創意工夫の力が証明されたものです。
続きを読む
YouTubeは、YouTubeパートナーシッププログラム（YPP）の収益化ポリシーを更新し、大量生産された動画や反復的なコンテンツなど、AIによって生成された「不自然な」コンテンツからの収益化を制限します。YouTubeはこれを既存の低品質コンテンツやスパムに対するルールの明確化という軽微なアップデートと位置付けていますが、AI生成動画、特にフェイクニュースやディープフェイクの増加を踏まえ、より強硬な姿勢を取る必要性が高まっています。このアップデートは、YouTubeがAI生成の低品質コンテンツの拡散に対抗し、プラットフォームの健全性を維持する意思を示すものです。
続きを読む
トランプ大統領の関税により、米国の港湾輸入が大幅に減少しており、シアトル港ではコンテナ船の不足という異例の事態が発生している。サプライチェーンの混乱、物価上昇、雇用喪失への懸念が高まっている。ロサンゼルス港とロングビーチ港も同様の問題に直面しており、輸入量は前年比35％減少している。専門家は、この影響が西海岸の港から始まり、他の地域へと波及すると警告している。政府は関税引き下げに向けて中国と交渉中だが、結果は不透明だ。
続きを読む
この記事では、Haskellにおける型クラスをBackpackモジュールシステムで置き換えることを探求しています。「Death」という例を通して、Functorのような型のシグネチャを定義し、異なるインスタンス（例えばMaybeとIO）を実装する方法を示しています。Cabalの設定により、テスト中に状態モナドを使ってIOをシミュレートするなど、実装を柔軟に選択できます。このアプローチは、Cabalの設定が複雑になりますが、より明確なエラーメッセージ、柔軟な制御、潜在的なパフォーマンス向上をもたらします。この記事は、簡素化が可読性と保守性を向上させると主張するミニマリスト的なプログラミング哲学で締めくくられています。
続きを読む
エミリー・ディキンソンは封筒と封蝋を使って手紙を詩に変え、隠されたメッセージと遊び心のある形式を重ねました。彼女は封筒に詩を書き込み、封筒自体を創造的な媒体として使用し、封をするという物理的な行為と封筒の形を詩的な表現の一部として探求しました。書簡と詩を組み合わせたこの独特のアプローチは、ディキンソンの形式と内容に対する遊び心のある実験を示しており、彼女の有名な詩を超えた多面的な才能を強調しています。
続きを読む
ハッカーが2018年にリリースされたSolosスマートグラスのリバースエンジニアリングに成功し、画面に任意の画像を表示することに成功しました。Bluetoothパケットキャプチャを分析することで、グラスとスマートフォンアプリ間の通信プロトコルを発見しました。Pythonスクリプトを使用して、画像データをRLEエンコードし、グラスに送信することで、カスタム画像の表示に成功しました。プロトコルの詳細はまだ不明な部分がありますが、この作業はグラスのカスタマイズ性を示しており、メールの件名や天気予報などの表示など、将来の開発の可能性を開きます。
続きを読む
本書「The Emerald Source Code Commentary」は、「A Commentary on the Sixth Edition Unix Operating System」を参考に、ポケモンエメラルドのソースコードを詳細に解説しています。PRETによる逆コンパイル作業を活用し、ゲームの構造と実装に関する独自の視点を提供します。元のソースコードは非公式なものであるものの、このプロジェクトでは、公式の英語版ROMに完全に再コンパイル可能な新しい逆コンパイル済みコードベースが作成されました。この詳細な分析は、古典的なゲーム開発に関する貴重な洞察を提供します。
続きを読む
この記事では、著者が1989年にFacit A2400ターミナルとUnixコンピュータを使用していた経験について語っています。インターネットのない時代、マニュアルは紙媒体であり、著者は独自のcursesライブラリを開発しました。数年後、著者はLinuxhotelにFacit A2400ターミナルを寄付し、Unix入門コースで使用されました。これにより、若い世代が過去の作業環境を体験することができます。ターミナルは、OpenBSDを実行するShuttle PCを介して19200ボーで接続されています。ESCキーはありませんが、コンポーズキーでエミュレートされます。
続きを読む
hledger 1.50がリリースされました。ローカル精度のみを使用した大幅に強化されたトランザクションバランス調整機能が搭載され、精度と堅牢性が向上しています。このリリースには、CSVデータコマンド、インポートアーカイブ、タイムクロックの改善、バグ修正など、多くの機能強化と修正が含まれています。タイムクロックの構文と解析がより堅牢になり、同時セッションが完全にサポートされ、includeディレクティブのglobパターンが強化され、より強力な一致が可能になりました。
続きを読む
Lean 4.22は、命令型プログラムの性質を証明するための、エキサイティングな新機能、新しい検証インフラストラクチャを導入します。この記事では、リストの中に合計がゼロになる2つの整数があるかどうかを判断するという簡単な例を用いて、この機能の使い方を示し、DafnyやVerusといった同様のツールと比較しています。新しいフレームワークであるStd.Doは、Hoareトリプルを利用し、`mvcgen`と`grind`戦術を組み合わせることで、ループや早期リターンなど、複雑な制御フローを持つ命令型プログラムの検証プロセスを大幅に簡素化します。外部のSMTソルバーに依存する自動化されたシステムとは異なり、Leanの対話型の証明アプローチは、より高い信頼性、より簡単なデバッグ、そしてより良い保守性を提供し、現実世界のプログラム検証タスクにとって魅力的な選択肢となります。
続きを読む
この記事は、1970年代後半から1980年代前半にかけて広く普及したMOS Technology MCS 6502マイクロプロセッサの伝説的な物語を語っています。モーターローラの6800の高価格に不満を持ったChuck PeddleやBill Menschなどのエンジニアは、MOS Technologyに移籍し、6502を設計・製造しました。その低コストと高性能により、8ビットシステムで広く採用され、最終的にはAppleコンピュータで使用されるようになり、パーソナルコンピュータ時代の象徴的なチップとなりました。この記事では、設計から製造まで、6502の製造プロセスと、MOS Technologyが技術的および市場的な課題を克服して成功を収めた方法を詳しく説明しています。
続きを読む
100万回以上ダウンロードされたICEBlockアプリは、ICEの目撃情報を匿名で報告できます。しかし、開発者のJoshua Aaron氏は、Apacheサーバーの重大なセキュリティ脆弱性を無視していました。セキュリティ研究者のMicah Lee氏は、Aaron氏に繰り返し警告し、解決策を提供しましたが、Aaron氏はそれを無視し、Lee氏のアカウントをブロックさえしました。これは、ユーザーデータのセキュリティに関する深刻な懸念を引き起こし、アプリのセキュリティに対する無責任な姿勢を浮き彫りにしています。
続きを読む
QuicklyPDFは、無料で使いやすいオンラインプラットフォームで、包括的なPDFツールスイートを提供します。ページの結合、回転、削除、並べ替え、圧縮、抽出などの基本操作から、グレースケール変換やPDF修復などの高度な機能まで、QuicklyPDFはすべてを処理します。JPG、PNG、BMP、TIFF、Word、PowerPoint、TXT、Excelなど、さまざまなフォーマット間のPDF変換をサポートしています。パスワード保護とロック解除などのセキュリティ機能も備えています。個人ユーザーも企業ユーザーも、QuicklyPDFでPDFワークフローを効率化できます。
続きを読む
匿名の中国VCによる告白が、中国のイノベーションエコシステムに対する深い省察を引き起こしました。投稿は、中国のベンチャーキャピタル市場における「ハードテック」の過剰な物語、政府主導ファンドの支配、短期的な利益追求を明らかにし、イノベーションが真のブレークスルーではなく「建築のスペクタクル」になっていることを示しています。著者はこれを、現在のアメリカの「ビルディング」ナラティブと対比させ、政府主導のトップダウンアプローチと市場主導のボトムアップアプローチの両方で集団的幻想が生じうることを主張しています。重要なのは、システムが現実の課題にどのように対応し、失敗をどのように進歩に変換するかです。最終的に、記事は真のイノベーションは曖昧さと不確実性に対する寛容さを必要とし、表面的な成功だけを追求するものではないと強調しています。
続きを読む
2009年、若いマイクロソフトのBitLocker開発者は、BitLockerのエラーメッセージを改善するために、.mcファイル内でC++定数値を参照する方法を探しました。社内メーリングリストに問い合わせたところ、レイモンド・チェンから簡潔ながらも効果的な回答が得られました。プリプロセッサを使うというものです。しかし、複雑なWindowsビルドシステムを壊すことを恐れて、開発者は最終的にこの方法を諦めました。数年後、彼はこの経験を振り返り、マイクロソフトの内部ツールの欠点と、複雑なビルドシステムを避ける自分の傾向を指摘しています。
続きを読む
PlanetScaleのマネージドPostgresサービスが一般公開され、プライベートプレビューを終了しました。ユーザーは簡単にPostgresデータベースを作成し、他のプロバイダーからの移行ガイドを利用できます。Vitess製品で5年間の経験を持つPlanetScaleは、Cursor、Intercom、Blockなどの企業のデータベースのスケーリングを支援してきました。この新しいサービスは、PlanetScaleの成熟度とベアメタルのパフォーマンスを組み合わせ、Nekiと呼ばれるPostgresシャーディングソリューションを含み、将来オープンソースとしてリリースされる予定です。
続きを読む
著者は、MacBook Proでわずか5分間で可能な限り最強の言語モデルを訓練するという挑戦を行いました。実験の結果、約180万パラメーターのGPTスタイルのTransformerモデルが完成し、約2000万TinyStoriesトークンで訓練され、約9.6のperplexityを達成しました。最適化は、1秒あたりのトークン数を最大化することに重点が置かれ、MPSが使用され、勾配累積は避けられました。データセットの選択は非常に重要であり、TinyStoriesの簡潔で一貫性のある言語が優れていました。TransformerはLSTMや拡散モデルよりも優れた性能を示しました。5分間のトレーニングウィンドウにおける最適なモデルサイズは約200万パラメーターであり、これはChinchillaスケーリング則と一致しています。
続きを読む
この記事は、義務付けられたオンライン年齢確認（AV）が壊滅的な失敗であると主張しています。子供を守るどころか、AVはユーザーを規制されていない、潜在的に危険なプラットフォームへと駆り立て、合法的なコンテンツ制作者を損ない、アダルト業界における不平等を悪化させています。著者は、AVは反ポルノ活動家、機会主義的な政治家、センセーショナルなメディア報道によって扇動された、ポルノに対する隠れ蓑の攻撃であると主張しています。デバイスレベルでのペアレンタルコントロールのアプローチが、はるかに効果的な解決策として提案されています。
続きを読む
この研究は、GPT-4.5と比較してGPT-5のより厳格な安全ガイドラインをどのように回避できるかを調査しています。「スプーン曲げ」スキームは、プロンプトの言い換えによって、通常はブロックされる出力をモデルが生成できるようにする方法を示しています。著者は、強制停止ゾーン、グレーゾーン、フリーゾーンの3つのゾーンを詳細に説明し、一見絶対的なルールが実際にはコンテキストに依存していることを示しています。これは、AIの安全性と機能性の間の固有の緊張感を強調しており、堅牢なセキュリティプロトコルがあっても、洗練されたプロンプトが意図しない出力を生み出す可能性があることを示しています。
続きを読む
サスカチェワン州レジャイナに住んでいた頃、著者は早朝の暗闇に魅了され、それは街の空虚さと犯罪に対する独特の評価と結びついていました。オンタリオ州の星空保護区との偶然の出会いが、サスカチェワン州のグラスランド国立公園への旅へと導き、真の暗闇を体験しました。そこで、息を呑むような星空を目撃し、光害の生態学的および文化的影響、そして人類の未来にとっての暗闇保護の重要性について熟考しました。
続きを読む
ウォルマートは、同日配送ネットワークの最適化に、六角形地図セグメンテーション戦略を採用しています。ハニカム構造に着想を得たこのアプローチは、従来の郵便番号や半径ベースの方法を凌駕します。顧客の位置と店舗在庫をより正確に分析することで、ウォルマートは、同日配送でさらに1200万世帯にリーチできるようになりました。六角形グリッドは、動的なサービスエリアを可能にし、道路網に基づいて配送ルートを最適化し、移動時間を最小限に抑えることで、最終的に配送効率を向上させます。
続きを読む
映画『未来世界』を鑑賞したことが、テクノロジー倫理についての考察を促しました。この映画は、来場者がロボットを殺害したり性的暴行を加えたりできるテーマパークを描いており、架空の企業デロスによるAIの悪用を浮き彫りにしています。著者は、これはAI倫理の問題ではなく、権力と性的な満足の問題だと主張します。人間の尊厳や意思決定能力を無視し、道具として扱うこの行為は、現代のAIにおけるデータの悪用やクリエイターの搾取を反映しており、最終的には人間の奴隷化につながる可能性があります。この記事は、テクノロジーの進歩に伴う潜在的なリスクに警戒を促し、自己中心的な欲望のためにテクノロジーを利用するのではなく、倫理と敬意を重視するよう訴えています。
続きを読む
ハッカーがRaspberry Pi Compute Module 5のリバースエンジニアリングを行い、回路図とレイアウトを公開しました。このプロセスでは、基板を層ごとに丁寧に研磨し、高解像度スキャナーで各層をスキャンして設計図を作成しました。製造を目的としたものではありませんが、この詳細な回路図は教育的な価値があり、PMICのI2Cレジスタマップの調査など、高度なハッキングへの扉を開きます。このプロジェクトは、CM5の電源管理、Wi-Fi/Bluetooth制御、SDカードとの互換性に関する洞察を提供します。
続きを読む
パラボラマイクロホンは、その極めて高い感度で知られていますが、それは大きなサイズによるものです。望遠鏡が微弱な光を集めるために大きなパラボラミラーを使うように、パラボラマイクロホンは微弱な音を収集するために反射鏡を使用します。しかし、この設計には欠点もあります。高周波数に偏っているため、音が「キンキン」と聞こえることがあり、低周波数のゲインは低く、カットオフ周波数は反射鏡の直径に依存します。この記事では、パラボラマイクロホンの動作原理を深く掘り下げ、周波数依存性の性能と、反射、相反性、干渉、回折、ホイヘンスのウェーブレットモデルなど、高周波数ゲインの背後にある物理的メカニズムを説明します。
続きを読む
CEOのThomas Dohmke氏の辞任を受け、MicrosoftはGitHubを新たに設立されたCoreAIチームに統合します。これは、GitHubが独立した企業としてではなく、Microsoftに完全に統合され、AIプラットフォーム戦略の中核となることを意味します。この動きは、MicrosoftのAI戦略における転換点を示しており、GitHubのリソースと専門知識を活用して、AIプラットフォームの開発と展開を加速させることを目指しています。元Meta幹部のJay Parikh氏が率いるCoreAIチームは、Microsoftと顧客にAIプラットフォームとツールを提供する「AIエージェントファクトリー」の構築を目指しています。
続きを読む
SECのForm D提出書類に基づく分析によると、ベンチャーキャピタルのバブルが崩壊しようとしていることが明らかになった。 「Fund I」、「Fund II」などのフレーズを含むForm Dの数を追跡することで、著者は、VCファンドの調達が2022年第3四半期にピークに達した後、急激に減少したことを示している。これは、低金利環境下でのVCファンドの急増と、「SPV as a service」企業の台頭に関連している。著者は、ファンドの典型的な寿命が10年、資金配備期間が2～4年であることを考慮すると、現在、資金の利用可能性のピーク期が過ぎていると予測している。これは、AI投資ブームと重なり、高すぎる評価につながっている。著者は、今後の資金調達が大幅に減少する、評価額が下がる、多くの企業が苦戦する、そしてAIの過熱感が冷めるという結論に至っている。
続きを読む