SchemeをWebAssembly GCにコンパイルするコンパイラ、Guile Hoot 0.2.0がリリースされました。このリリースでは、外部関数インタフェース（FFI）が導入され、開発者はWebアプリケーションのコードの大部分をSchemeで直接記述できるようになり、JavaScriptへの依存を最小限に抑えることができます。この記事では、シンプルな「Hello, world!」からインタラクティブなカウンター、そしてToDoリストアプリケーションへと段階的に進めながら、SchemeとFFIを使用してインタラクティブなWebページを構築する方法を示しています。Schemeの強力な記号操作能力とSXMLを活用し、Reactのような差分更新アルゴリズムを持つ効率的な仮想DOMを構築します。
続きを読む
最新の定理証明器や最適化コンパイラは、巧妙なテクニックであるE-マッチングに依存しています。これは、構文だけでなく、より重要な意味論にもマッチングを行い、Eグラフと合同閉包を用いて同値推論を実現します。この記事では、E-マッチングの原理、特に判別木と合同閉包を用いてEグラフ内のマッチングパターンを効率的に見つける方法について詳しく説明し、従来の再帰的走査の非効率性を回避します。また、著者によるZobコンパイラへの適用事例を紹介し、パターンを仮想マシン命令にコンパイルすることで効率的なパターンマッチングを実現し、最適化効率を大幅に向上させています。
続きを読む
ドイツのドルトムントで開催されたイベントで、アマゾンは新しいロボットシステムVulcanを発表しました。「真の触覚を持つ最初のロボットシステム」と呼ばれ、ロボットと物理世界の相互作用を変革することを目的としています。短期から中期的に、アマゾンが最も関心を持っている物理的な世界は倉庫であり、Vulcanはモバイルロボット在庫システムにおける商品の保管とピッキングを支援（または引き継ぐ）するように設計されています。保管において、Vulcanは現在、平均的な人間の作業者よりも速くなっていますが、熟練した人間はまだはるかに速く、効率的です。しかし、Vulcanは計画能力において優れており、複数のアイテムと倉庫スペースを同時に考慮して、効率的な「3Dテトリス」のような保管最適化を実現します。ドイツとワシントン州の倉庫で1年以上運用され、数十万点の商品の保管に成功しています。
続きを読む
リバースエンジニアは、Ghidraツールを用いて1997年のゲーム『ロストワールド ジュラシックパーク』のパスワードシステムを解析し、システムを複製することに成功、これまでに知られていなかったチートコードを発見しました。これらのコードは、ステージセレクト画面、無敵モード、2つのフォトギャラリーをアンロックします。PlayStation版では、何十万もの有効なパスワード（重複効果あり）も見つかりました。この研究は、ゲーム開発におけるこれまで知られていなかった秘密を明らかにし、リバースエンジニアリングの力を示しています。
続きを読む
コマンド＆コンカー レッド アラートのソースコードがGitHubで公開されました！コードは完全にはコンパイルできませんが、DirectX 5 SDKなどの古いライブラリの置き換えなど、いくつかの作業が必要です。それでも、懐かしむプレイヤーや開発者にとって貴重なリソースとなります。このプロジェクトはアーカイブ目的のみであり、サポートは提供されません。開発者は、修正や共同作業のためにリポジトリをフォークすることをお勧めします。
続きを読む
Gmailtailは、Gmailのメッセージをリアルタイムで監視し、JSON形式で出力するコマンドラインツールです。柔軟なフィルタリング（送信者、件名、ラベル、添付ファイルなど）、複数の出力形式（JSON、JSON Lines、コンパクト形式）、OAuth2とサービスアカウント認証、チェックポイント機能などを備えています。シンプルなコマンドライン引数またはYAML設定ファイルを使用して監視ルールをカスタマイズでき、自動化、監視、他のツールとの統合に最適です。
続きを読む
Googleのプライバシーサンドボックスプロジェクトは終了するわけではなく、方向転換しています。独禁法訴訟と、クッキーの放棄への業界の抵抗に直面して、GoogleはサードパーティクッキーのブロックやIPアドレスのマスキングなどの機能で、Chromeのシークレットモードのプライバシー保護を継続的に改善していきます。しかし、これはプライバシーサンドボックスAPIが異なる役割を果たすことを意味し、Googleはパートナーと協力して新たな道を模索します。Googleが広告のプライバシー向上を強調している一方で、独禁法訴訟における状況が、この変化を推進するより重要な要因である可能性があります。
続きを読む
Kyleは4年間かけて、副業だったProjectionLabを年間売上高100万ドルの事業に成長させました。ソロ開発から、適切な成長パートナーであるJonとの出会い、チーム構築に至るまで、道のりは決して平坦ではありませんでした。Kyleは、粘り強さと適切な人材との協働の重要性を強調し、成長が鈍化したり、疑念が芽生えたりしても諦めないよう起業家を励ましています。ProjectionLabの成功は、継続的な努力、製品への愛情、顧客重視、そしてチームワークの証です。
続きを読む
arXivLabsは、共同研究者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れています。arXivはこれらの価値観にコミットしており、これらの価値観を遵守するパートナーとのみ連携しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsについてもっと学びましょう。
続きを読む
Communications Biology誌に掲載された新しい研究によると、可聴音波はマウス細胞の遺伝子発現を変化させる可能性があることがわかりました。研究者らは、マウスの筋芽細胞を様々な周波数の音にさらし、100以上の遺伝子が活性の変化を示すことを発見しました。音は細胞接着を増加させ、脂肪蓄積を減少させました。この非侵襲的なアプローチは、再生医療やがん治療に可能性があり、今後10年以内にヒトでの臨床試験が行われる可能性があります。
続きを読む
IBMの最新メインフレームプロセッサであるTelum IIは、5.5GHzで動作する8コアと、大容量360MBのオンチップキャッシュ、さらにDPUとAIアクセラレータを搭載しています。最も興味深い機能は、革新的な仮想L3およびL4キャッシュ戦略です。巧妙な飽和メトリックとキャッシュ置換ポリシーを用いることで、Telum IIは複数のL2キャッシュを巨大なL3およびチップ間L4に仮想的に統合し、単一スレッドのパフォーマンスを劇的に向上させ、最大32個のプロセッサが連携して動作する場合でも、信じられないほど低いレイテンシを維持します。この戦略は、将来のクライアントCPU設計に役立つ可能性がありますが、チップ間の相互接続帯域幅の制限を克服する課題が残っています。
続きを読む
2014年まで公開されていなかった2010年のインターネットのこの画像は、画期的な視覚化を表しています。以前のtracerouteベースのマップとは異なり、BGPデータに基づいており、Route Viewsテーブルダンプアーカイブを使用した将来のインターネット視覚化のためのフレームワークを作成します。配色では、接続密度が白熱として示され、より熱い色はより多くの接続点を表します。この画像は、以前はニューヨーク近代美術館（MoMA）とDiscover誌でのみ閲覧可能でした。
続きを読む
Springer Natureが出版した機械学習の教科書「Mastering Machine Learning」が、169ドルという価格にもかかわらず、多数の虚偽の引用を含んでいるとして非難されている。調査の結果、確認された18件の引用のうち3分の2が、存在しないか、重大な誤りがあったことが判明した。引用された複数の研究者も、その著作が偽物であるか、引用に重大な誤りがあることを認めた。これは、大規模言語モデル（LLM）によって生成されたコンテンツの信頼性、そして学術出版におけるAIツールの規制に関する懸念を引き起こしている。出版社は現在調査中だが、この事件は、AI支援による執筆がもたらす学術的誠実性への課題を浮き彫りにしている。
続きを読む
USPS郵便事実の2024年版は、いくつかの驚くべき事実を明らかにしています。箱なしでじゃがいもを郵送できることをご存知でしたか？じゃがいもに住所と返信先住所を書いて、重さを量り、切手を貼るだけです。この文書には、USPSの商標と、いくつかの非郵便商標もリストされています。情報は情報提供のために複製できますが、USPSは最新の情報を確認することを推奨しています。
続きを読む
GoogleはAMP（Accelerated Mobile Pages）技術を用いて、ホテル予約やGoogleドキュメントへのコメント返信などをメール内で直接行えるインタラクティブなメール体験を実現しようと試みました。しかし、この取り組みは最終的に失敗しました。この記事では、AMP for Emailの失敗原因として、開発の複雑さ、互換性の低さ、メール本来の特性との矛盾などを分析しています。Googleによる強制的な推進への開発者の不信感も、失敗の一因となっています。インタラクティブなメールは不可能ではありませんが、シンプルさと信頼性を犠牲にすることなく、互換性と永続性を優先する必要があります。メールの長年の成功は、そのシンプルさと分散化にあります。
続きを読む
カリフォルニア大学サンタバーバラ校のArchLabは、GoogleのTensor Processing Unit（TPU）のオープンソース再実装であるOpenTPUをリリースしました。Googleの論文に基づいていますが、正式な仕様がないため、Googleの設計とはいくつかの実装の詳細で異なります。現在、行列乗算とReLU/シグモイド活性化関数をサポートしていますが、畳み込みやプーリングなどの機能は欠けています。PyRTLを使用して実装されており、ハードウェアシミュレータと機能シミュレータ、結果検証のためのチェッカーが含まれています。このアルファリリースでは、完全な256x256 OpenTPUの具体的な合成数値はありませんが、オープンソースであるため、研究者にとって貴重な学習と改善の機会を提供します。
続きを読む
かつてはコーディングのヘルプを求める開発者にとって頼りになるリソースだったStack Overflowですが、活動の大幅な減少を経験しています。2017年のピーク以来、新規質問数は75％減少しており、2024年12月には前年比で60％減少しました。AIアシスタントの台頭が要因の一つとして挙げられていますが、サイトの文化やモデレーションの問題も非難されています。Stack Overflowは知識ベースの収益化やAI機能の統合を試みていますが、主要なQ＆Aプラットフォームの継続的な衰退は、その将来にとって深刻な脅威となっています。
続きを読む
この記事では、コーディング標準における最適な行の長さに関する長年の議論を掘り下げています。80文字制限の歴史をテレタイプとパンチカードの物理的な制約にまで遡り、人間の視覚的知覚に根ざした行の長さ制限の科学的根拠を探ります。ワイドスクリーンの利点を認めつつ、著者は、長すぎる行は可読性を低下させると主張しています。最終的に、インデント、差分ツールの互換性、全体的なコードの明瞭さなどを考慮して、最大88文字を推奨しています。
続きを読む
この記事は、1984年から現在までのApple Macコンピュータのコネクタの進化をたどっています。初期のDE-9マウスポート、RJ11キーボードポート、RS-422シリアルポートから、後のADB、SCSI、パラレルATA、USB、FireWire、Thunderboltに至るまで、各コネクタは技術の進歩とAppleのデザイン哲学の変化を反映しています。この記事では、技術的な特性、用途、Appleによるさまざまな時期の選択を詳しく説明し、詳細とストーリーに富んだ技術史を紹介しています。
続きを読む
軽量化を目指したバックパッカーが、Hariboグミベアの形状をした20000mAhモバイルバッテリーを購入した。わずか9.9オンスという軽さで、従来品より0.4オンス軽量化されており、超軽量バックパッキング界で話題となっている。グラム単位で重さが重視されるこの世界において、このモバイルバッテリーの登場は、フォルクスワーゲンビートルがテスラ・サイバートラックを凌駕するような衝撃だ。内蔵のグミベアケーブルでの充電はできないものの、携帯性と可愛らしいデザインが多くのバックパッカーを魅了している。
続きを読む
この記事では、著者がC3プログラミング言語を学習したリアルタイムの体験を記録しています。C3は、モジュールシステム、演算子のオーバーロード、ジェネリクスなどの現代的な機能を追加することで、C言語を改善することを目指しています。著者は、foreachループ、deferキーワード、構造体、エラー処理、契約プログラミング、マクロなど、C3のさまざまな側面を探求し、基本的な電卓プログラムを作成しました。foreachループ、defer、エラー処理システムなどの機能を高く評価する一方で、パッケージ管理の不完全さや言語サーバーのサポート不足などの欠点にも言及しています。全体として、著者はC3を、まだ開発中の有望な言語と考えています。
続きを読む
従来の考えでは、キャッシングはソフトウェアを高速化するツールです。しかし、著者は、これはキャッシング機能の一部に過ぎないと主張します。オブジェクトストレージ、ディスク、メモリ間のデータ移動に取り組んだ後、著者は、キャッシングのより重要な役割はソフトウェアを簡素化することだと述べています。この記事では、プリベークされたキャッシングアルゴリズム（LRU、LFUなど）の限界を探り、キャッシングは、基盤となるストレージの詳細を隠蔽し、プログラマをデータ階層の場所を気にすることから解放する抽象化レイヤーとして機能すると示唆しています。データベースとOSのキャッシングメカニズムは、この抽象化の例です。キャッシングにはOSのページキャッシュやfsyncの誤用など、問題が発生する可能性がありますが、これはキャッシングを放棄する理由ではなく、キャッシングをより適切に理解し、使用する必要があることを意味します。
続きを読む
著名な数学者テレンス・タオの最新のarXivプレプリントでは、ガウスユニタリアンサンブル（GUE）とその小行列の固有値分布を固定インデックスで深く掘り下げています。行列式過程と洗練された解析的手法を用いて、固有値ギャップに関するいくつかの推定値を確立し、これまで未解決だった問題に取り組み、GUE境界条件を持つ「ハニカム」の極限挙動に関する将来の研究への道を開いています。この研究は、ランダム行列モデルとその関連分野の理解に大きく貢献します。
続きを読む
Hack Clubは、コーディングに情熱を持つ高校生のためのグローバルコミュニティであり、5万人以上のメンバーを擁しています。オンラインとオフラインの両方で、共同オープンソースプロジェクト、対面でのクラブミーティング、ハッカソンなど、さまざまなリソースを提供しています。メンバーはゲーム、ツール、学習リソースを共同で作成し、無料のハードウェアや資金援助の機会を得ることができます。ワークショップ、チュートリアル、活気のあるオンラインSlackコミュニティを通じて、Hack Clubはティーンエイジャーがコーディングの世界を学び、探求するための支援的な環境を育んでいます。
続きを読む
Snap Inc.の内部メールによると、同社は毎月約1万件の性的強要の報告を受けていることが明らかになりました。これは、問題のごく一部に過ぎない可能性があります。この記事では、Snapchatが10代の若者に与える影響について調査し、広範な被害を詳述した訴訟や内部文書を検証します。これには、中毒性のあるデザイン、薬物や銃器の売買、CSAM、性的強要、オフラインでの性的暴行、サイバーいじめなどが含まれます。Snapの内部関係者はこれらの問題を認めていますが、対応が遅く、効果的な軽減策が取られていません。この記事では、Snapに対し、若いユーザーを守るためのデザイン変更を求めています。
続きを読む
この記事は、プラトンによって描かれたアトランティスの物語を掘り下げています。アトランティスの存在を広く信じているにもかかわらず、著者はプラトンの記述は地質学的および歴史的記録と矛盾すると主張しています。この記事は、アトランティスの物語の起源を綿密にたどり、それがギリシャ・ペルシア戦争やプラトンのシラクサでの経験などの出来事に触発されたフィクション化された説明であることを示唆しています。アトランティスは、おそらくプラトンが文明の興亡と人間の傲慢について哲学的な点を伝えるために使用した寓話です。
続きを読む
5月31日、ブルーオリジンはNew ShepardロケットのNS-32ミッションを成功裏に打ち上げ、ニュージーランド人初の宇宙旅行者であるMark Rocket氏を含む6人の乗客を宇宙へ送りました。飛行時間は約3分間で、乗客たちは無重力状態と地球の息を呑むような景色を体験しました。多様な経歴を持つ乗客たちは、弁護士、起業家、教育者、航空宇宙業界の幹部など、様々な国から集まり、宇宙への情熱を共有していました。この飛行はブルーオリジンの12回目の有人宇宙飛行であり、同社の宇宙観光事業における継続的な成長を示しています。
続きを読む
この記事では、改良された波動関数崩壊（WFC）アルゴリズムを用いて、高速で、決定論的で、並列化可能で、信頼性の高い無限都市の生成方法について説明します。著者は、非決定性、メモリリーク、シングルスレッドといった以前の実装における制限に対処しています。新しいアプローチでは、タイル状のマップを事前に生成し、実行時にブロックを置き換えることで無限世界の生成を実現し、任意の高さマップにも対応します。その結果、驚くほど美しいビジュアルが得られます。
続きを読む
ストレスの多い職場環境で、いつでもキレたり辞めたりしそうになったら、誰もがストレスを抱えていることを思い出してください。衝動的に辞めるのは賢明ではありません。次の仕事には推薦状が必要になります。「あいつ」というネガティブなイメージは長く残ります。そのため、人間関係を優先しましょう。プレッシャーの中でも、同僚に共感し、プロフェッショナルな環境が人間関係を損なわないようにしましょう。
続きを読む
NATOは、AIを活用した戦闘運用のために、Palantir社のMaven Smart Systemを採用する契約を発表しました。Maven Smart System NATOと呼ばれるこのシステムは、LLMから生成AI、機械学習まで、様々なAIアプリケーションを通じて、情報融合、ターゲティング、戦場の状況認識、意思決定の迅速化を強化します。これにより、NATOは共通のデータ駆動型戦闘能力を確保し、その導入速度は記録的な速さでした。具体的な契約内容は明らかにされていませんが、このニュースを受けてPalantir社の株価は8％上昇しました。この契約は、集団防衛への支出に関して、トランプ大統領からNATOへの圧力が続くなかでの発表となりました。
続きを読む