著者は、活性化関数として論理ゲートを用いたニューラルネットワークを訓練し、コンウェイのライフゲームの3×3カーネルを学習しました。推論を高速化するために、学習された論理回路を抽出し、ビットパラレルなCコードにコンパイルしました（冗長なゲートを除去する最適化を行いました）。ベンチマークの結果、元のニューラルネットワークと比較して驚異的な1744倍の高速化が達成されました。
続きを読む
米証券取引委員会（SEC）は、世界最大の暗号通貨取引所であるバイナンスに対する民事訴訟を自主的に取り下げました。これは、トランプ政権の復帰以降、SECの暗号通貨規制に対するアプローチの変化と見なされています。SECは以前、バイナンスが取引量を人為的に膨らませ、顧客資金を流用し、投資家を欺いたと非難していました。訴訟の取り下げは、SECが今後この訴訟を追求できないことを意味します。バイナンスはこの決定を歓迎し、賢明な規制の下でイノベーションが繁栄するための重要な瞬間であると考えています。重要なのは、これがバイナンスが直面する唯一の法的課題ではないことです。以前、マネーロンダリングと制裁に違反したとして43億ドル以上の罰金を支払っています。
続きを読む
Communications Biology誌に掲載された新しい研究によると、可聴音波はマウス細胞の遺伝子発現を変化させる可能性があることがわかりました。研究者らは、マウスの筋芽細胞を様々な周波数の音にさらし、100以上の遺伝子が活性の変化を示すことを発見しました。音は細胞接着を増加させ、脂肪蓄積を減少させました。この非侵襲的なアプローチは、再生医療やがん治療に可能性があり、今後10年以内にヒトでの臨床試験が行われる可能性があります。
続きを読む
UCバークレーの科学者たちは、木星にアンモニアと水の「マッシュボール」が存在することを確認しました。これは、雷雨時に雹のように降る、氷とスラリーが混ざった球体です。この発見は、木星の高層大気におけるアンモニアガスの不均一な分布を説明するもので、NASAのJuno探査機と地上の電波望遠鏡のデータ、そして新たに作成された木星高層大気の3D可視化モデルによって裏付けられています。マッシュボールは木星大気に深く浸透し、巨大惑星の深層大気における混合に関する理解を変え、他のガス惑星や系外惑星の内部構造を理解する上で重要な意味を持っています。この研究は、木星の大気が均一に混合されているという長年の仮定に異議を唱え、深層嵐とマッシュボールが物質の再分配において重要な役割を果たしていることを明らかにしています。
続きを読む
この記事は、BASIC-PLUS、EduSystem、DECsystem 10、HPなど様々なコンピューターシステムで動作した、1980年代のBASICゲームのリストを紹介しています。単純な数字当てゲーム（Acey-Ducey、Bagles）から、複雑な戦略ゲーム（Gomoko、Civil War）、シミュレーションゲーム（HMRABI、KING）まで、その多様性は当時のプログラミングの創造性と独創性を示しています。シンプルながらも奥深いこれらのゲームは、多くのプレイヤーに懐かしさを呼び起こすでしょう。
続きを読む
Trail of Bitsは、PyPIのWarehouseテストスイートのパフォーマンスを劇的に向上させ、実行時間を163秒から30秒に短縮しました。テスト数は3900から4700以上に増加しました。この81％の改善は、いくつかの主要な最適化によって達成されました。pytest-xdistを使用したテスト実行の並列化、効率的なカバレッジ計測のためのPython 3.12のsys.monitoringの活用、テスト検出の最適化、不要なインポートの削除です。これらのテクニックは、遅いテストスイートに苦労している多くのPythonプロジェクトに容易に適用でき、最小限のコストでパフォーマンスの大幅な向上をもたらします。
続きを読む
ブラジルは、国民がデジタルフットプリントを管理、所有、収益化することを可能にする、画期的な全国的なデータ所有権パイロットプログラムを開始しました。このプロジェクトは、国営企業DataprevとDrumWaveの協力により、「データウォレット」を使用して、ローンなどの用途のために個人データを収益化します。しかし、デジタルディバイドの悪化や脆弱な集団の搾取につながる可能性があるという懸念も出ています。国民の権利とデータ経済の発展のバランスを取る上で、このイニシアチブが成功するかどうかは、まだわかりません。
続きを読む
アリソン・パリッシュによる、Game Boyカートリッジをゼロから自作する数年にわたる取り組みが、この包括的な記事で詳細に記述されています。メモリマッピング、メモリバンクコントローラ（MBC）、チップセレクト、バスといった概念を説明しながら、Game Boyカートリッジの内部動作を解説しています。特にMBC5について、様々なMBCの特性を深く掘り下げ、ROMの代わりにフラッシュメモリを使用することや、フラッシュとMBCプロトコルの間の競合を解決することなどの課題にも取り組んでいます。バッテリーバックアップされたSRAMの永続的な保存や電圧変換といったハードウェアの側面についても探求しています。Game Boyのハードウェアとソフトウェア開発に興味のある方にとって、この詳細な技術ガイドは最適です。
続きを読む
この記事では、コーディング標準における最適な行の長さに関する長年の議論を掘り下げています。80文字制限の歴史をテレタイプとパンチカードの物理的な制約にまで遡り、人間の視覚的知覚に根ざした行の長さ制限の科学的根拠を探ります。ワイドスクリーンの利点を認めつつ、著者は、長すぎる行は可読性を低下させると主張しています。最終的に、インデント、差分ツールの互換性、全体的なコードの明瞭さなどを考慮して、最大88文字を推奨しています。
続きを読む
2020年の選挙の完全性を確認したCISA前長官クリス・クレーブスは、彼をブラックリストに載せることを目的とした大統領令によって報復を受けている。この行為は、第一修正条項で保護されている表現の自由を侵害するなど、深刻な憲法上の懸念を引き起こしている。サイバーセキュリティ業界から声を上げた者もいるものの、業界全体の反応はほとんど沈黙しており、懸念されている。著者は、この沈黙は道義的な欠如であり、政治権力が真実を抑制することを許容する業界の共謀を強調している。この記事は、原則のより強い擁護と、なだめすかしの拒否を訴えている。
続きを読む
大学の学長が500マイル以上離れた場所にメールを送信できないというユーモラスな物語が、ネットワーク接続とメール送信距離に関する実験を促しました。簡単なネットワーク接続コードを作成し、さまざまな大学のサーバーをテストすることで、著者は実際の接続距離がサーバーの場所とネットワークインフラストラクチャによって制限されており、物理的な距離ではないことを発見しました。この実験は最終的に、クラウドコンピューティングとメールサーバーの地理的分布がメール送信に及ぼす影響を明らかにし、500マイルの制限は物理法則というよりも偶然の一致であることを示しました。
続きを読む
Gmailは現在、AIを使用してメールの要約を自動生成しています。これはTransformerアーキテクチャに基づいており、正確性はメールの内容に依存します。ほとんどのユーザーにとっては不要な機能かもしれませんが、無効にするには、Gmailアプリの設定で「スマート機能」をオフにします。ただし、これにより、優先度の高い通知やスマート返信などの他の便利な機能も無効になります。欧州と日本ではデフォルトでオフになっています。
続きを読む
この記事では、スタートアップ資金調達におけるお金の役割を探っています。著者は、お金はマーケティング、採用、コーディングなど多くの問題を解決しますが、チームビルディング、市場ポジショニング、戦略的意思決定などの重要な要素は、お金では買えないと主張しています。成功するスタートアップは、資金を使って成長を加速させながら、お金がなくても問題を解決する能力、例えばA/Bテストによる製品最適化や顧客フィードバックに基づいた戦略調整能力を示すことで、両方をバランスよく両立させます。学習力、適応力、革新性を証明することで、投資家はお客様のプロジェクトに資金を提供する価値があると確信します。
続きを読む
この記事では、WaspとPgBossを使用してReactとNode.jsアプリケーションで軽量なジョブスケジューリングを行う方法について説明します。PgBossはPostgreSQLの信頼性とスケーラビリティを活用してバックグラウンドジョブを効率的に管理し、Waspはジョブの定義と設定を簡素化します。この記事では、テニススコアトラッキングアプリを使用して、1回限りのスケジュールジョブ（例：毎日の試合サマリーメールの送信）と定期的なジョブ（例：毎日のダイジェストメール）の両方の作成方法を示しています。この設定は、小規模なプロジェクトや初期段階のスタートアップに最適で、複雑な外部サービスの必要性を排除します。ただし、高負荷または計算集約的なタスクの場合は、専用のジョブ処理システムを検討することをお勧めします。
続きを読む
Hacker Newsのトップページに掲載されたことで、ローカルファーストの文法チェッカーであるHarperは、ユーザー数が大幅に増加しました。しかし、サーバーに依存するソフトウェアとは異なり、Harperはユーザーのデバイス上で動作するため、サーバー負荷の問題がありません。ユーザー数の急増にもかかわらず、問題は発生しませんでした。これは、ローカルファーストソフトウェアのスケーラビリティにおける大きな利点を示しており、高額なサーバー保守費用や複雑なクラウドアーキテクチャを回避できます。
続きを読む
pkmnはZigで記述された超高速なポケモンバトルシミュレーションエンジンで、パッチ適用済みのPokémon Showdownよりも1000倍以上高速です。オリジナルゲームコードとPokémon Showdownシミュレータの両方と、フレーム単位で正確に、バグを完全に再現することを目指しています。完全なシミュレータではありませんが、より高度なアプリケーションを構築するための低レベルライブラリです。現在、第1世代と第2世代をサポートしており、将来の世代への対応を計画しています。
続きを読む
ある開発者が、EmacsからObsidianへの移行経験を共有します。Emacsは強力ですが、メンテナンスコストが高いため、より使いやすいObsidianに切り替え、PARAメソッドを使ってノート、タスク、リソースを管理するようになりました。著者は、AI時代において、個人的な知識ベースを維持することが不可欠であり、独立した思考を促し、AIツールへの過剰な依存を避けることができると主張しています。ObsidianはAIの付属物ではなく、独立した思考のためのツールとなっています。
続きを読む
新潟県糸魚川市で開催された第39回削ろう会に参加しました。これは、手カンナを使って可能な限り薄い木屑を作ることを競う大会です。70mmのカンナでヒノキ材を使い、参加者は10ミクロン以下の厚さを目指します。私たちのチームも参加しましたが、10ミクロンを切る薄さを作るのは難しく、木材の質と含水率が非常に重要であることが分かりました。大会以外にも、様々な木工技術や刃物の研ぎ方、そして熱心な参加者たちの交流など、大変刺激的な体験でした。
続きを読む
2014年まで公開されていなかった2010年のインターネットのこの画像は、画期的な視覚化を表しています。以前のtracerouteベースのマップとは異なり、BGPデータに基づいており、Route Viewsテーブルダンプアーカイブを使用した将来のインターネット視覚化のためのフレームワークを作成します。配色では、接続密度が白熱として示され、より熱い色はより多くの接続点を表します。この画像は、以前はニューヨーク近代美術館（MoMA）とDiscover誌でのみ閲覧可能でした。
続きを読む
著者は、低金利住宅ローンの早期返済によってPMI（民間住宅ローン保険）を解消することで、10.66％の保証されたリターンを得ました。この記事では、低金利住宅ローンの早期返済と投資のトレードオフを分析し、低金利は控えめなリターンしか提供しない一方で、PMIのコストは無視できないことを強調しています。著者は、PMIを解消することで10.66％という効果的なリターンを計算し、これはほとんどの投資リターンを上回っています。読者には、住宅ローンの早期返済の価値を評価するために、独自の計算を行うことが推奨されています。
続きを読む
この記事では、命題論理を用いてゲーム「Blue Prince」の論理パズルを自動的に解く方法を詳しく説明します。このパズルは、3つの箱（青、白、黒）があり、それぞれが主張を行い、少なくとも1つの箱が完全に真であり、少なくとも1つの箱が完全に偽であり、賞品は正確に1つの箱の中にあるというルールがあります。著者は、この問題を命題論理でモデル化し、総当たりアプローチを使用してすべての充足可能な割り当てを見つけ、賞品の場所を決定します。この記事には、JavaScriptによる実装とコードの最適化に関する議論が含まれています。
続きを読む
この記事では、ソフトウェア開発における「作業単位」のベストプラクティスを探ります。著者は、優れた作業単位は、分解可能、検証可能、独立性があり、優先順位付けが可能であるべきだと主張しています。これはユーザーストーリーに似ていますが、ソフトウェアライフサイクル全体における役割をより重視しています。著者は、作業単位を明確に定義することで、チームの効率が向上し、不要な複雑さが軽減され、最終的に顧客価値が向上すると述べています。また、AI支援開発の効率をコード生成量だけで測ることを批判し、顧客価値を重視した作業単位の実質的な効果を評価すべきだと主張しています。
続きを読む
アメリカの推進企業ヴィーナス・エアロスペースは、ニューメキシコ州のスペースポートアメリカで、回転爆轟ロケットエンジンの短時間飛行試験を成功裏に完了しました。これは、数十年にわたって研究されてきた概念である高推力回転爆轟エンジンの米国初の飛行試験となります。2000ポンド推力のエンジンを使用したこの試験は約30秒間続き、音速を突破することはありませんでしたが、2時間以内の世界旅行を可能にする超音速旅行や、さまざまな用途における燃料効率の向上に向けた重要な一歩となります。
続きを読む
欠点はあるものの、AIシステムは特定の人間のスキルを複製する能力で感銘を与え続けています。自然言語理解、プログラミング、バグ検出などの分野における進歩は驚くほど速かった。しかし、LLMなどの深層学習モデルに対する理解が限られていること、そして専門家の予測が大きく外れていることから、AIの将来の軌跡は依然として不透明です。プラトーに達する可能性はありますが、それはおそらくさらなる研究を促すでしょう。AIが人間にとってはるかに有用で、人間から独立したものになれば、それはこれまでのものとは異なる革命となるでしょう。しかし、現在の市場反応は、訓練されたオウムのように盲目的に楽観的です。AIが労働者の相当数を置き換えれば、経済システムは厳しい試練に直面することになります。将来的には、AIはコモディティになるか、政府が介入する可能性があります。最終的に、AIは経済的繁栄を再形成し、人類を異なる経済システムに導く可能性があります。
続きを読む
カリフォルニア大学サンタバーバラ校のArchLabは、GoogleのTensor Processing Unit（TPU）のオープンソース再実装であるOpenTPUをリリースしました。Googleの論文に基づいていますが、正式な仕様がないため、Googleの設計とはいくつかの実装の詳細で異なります。現在、行列乗算とReLU/シグモイド活性化関数をサポートしていますが、畳み込みやプーリングなどの機能は欠けています。PyRTLを使用して実装されており、ハードウェアシミュレータと機能シミュレータ、結果検証のためのチェッカーが含まれています。このアルファリリースでは、完全な256x256 OpenTPUの具体的な合成数値はありませんが、オープンソースであるため、研究者にとって貴重な学習と改善の機会を提供します。
続きを読む
ispace社の月面着陸機「Resilience」が月軌道に入り、6月第一週の着陸を目指します。これはispace社にとって2度目の挑戦で、最初の着陸機は2023年に墜落しました。Resilienceは、月面土壌を採取して分析するための小型ローバーを搭載しています。このミッションは、今年初めにアメリカ企業のFirefly AerospaceとIntuitive Machinesが成功（または部分的に成功）した月面着陸に続くものです。
続きを読む
Marginalia検索プロジェクトは、NLNetから2回目の助成金を受けました！この資金は、2025年のプロジェクトロードマップの大部分を支援します。2023年夏からフルタイム開発が行われており、今回の助成金により、開発時間をさらに確保し、プロジェクトのタイムラインを大幅に延長できます。詳細については後日発表します。
続きを読む
最近のpgstreamリリースでは、PostgreSQLスナップショットのパフォーマンスが大幅に向上しました。当初、書き込みパスがボトルネックとなっていました。一括インポート（COPY FROM）とインデックス作成の遅延化を採用することで、pgstreamはスナップショット速度においてpg_dump/pg_restoreを上回るようになりました。さらに、バッチ設定の改善により、さまざまなデータサイズとテーブル構造において、より安定した効率的なスナップショット処理が可能になりました。
続きを読む
Adobeコミュニティのメンバーが、MCPサーバーを介してPhotoshop、Premiere Pro、InDesignをAIで制御できるadb-mcpをオープンソースとして公開しました。Python製のMCPサーバー、Nodeベースのコマンドプロキシ、UXPプラグインにより、AIはレイヤーの名称変更、サイズ変更、ウォーターマークの追加などのタスクを自動化するためのコマンドを送信できます。複雑な設定が必要な概念実証段階ではありますが、AIがクリエイティブワークフローで退屈なタスクを自動化し、創造的なプロセスを支援する可能性を示しています。ユーザーエクスペリエンスの改善、APIの最適化、他のMCPとの統合を進めることで、adb-mcpはAIファーストワークフローにおける重要なコンポーネントになることが期待されます。
続きを読む
Xenonは、内部および外部の両方のゲームチートを作成するための、強力で柔軟なC++フレームワークです。モジュール式のアーキテクチャにより、ESP、Aimbot、Radarなどの機能を簡単に実装でき、Unreal EngineやUnityなど複数のゲームエンジンをサポートしています。内部（DLLインジェクション）と外部（スタンドアロンアプリケーション）の両方のチートオプションを提供し、低レベルの詳細を抽象化することでチート開発を簡素化します。組み込みの自動DLLインジェクションシステム（開発中）により、プロセスがさらに効率化されます。
続きを読む