ニューヨーク市の50年続く不動産税制度は、その不公平さのために批判されています。大型集合住宅に過剰な税金を課し、必要なアパートの建設を妨げ、住宅危機を悪化させています。低所得世帯やマイノリティコミュニティは不釣り合いな負担を強いられており、高級マンションははるかに少ない税金を支払っています。改革を求める声が高まっていますが、市長候補はほとんど沈黙しています。制度に異議を唱える訴訟が進行中で、州最高裁判所が対応を命じているにもかかわらず、市はほとんど反応していません。
続きを読む
研究者は35年間にわたるOpenVMS（VMS）コードベースのサイズを綿密に分析しました。さまざまなリリース（V6.2、V7.2、V8.2、V9.2-3）における15個の主要コンポーネントのコード行数をカウントすることで、コードサイズは数十万行から約200万行へとほぼ3倍に増加したことが明らかになりました。BLISSとMACRO-32からCへのプログラミング言語の移行も強調されました。この研究は、大規模オペレーティングシステムのアーキテクチャと進化に関する貴重な洞察を提供します。
続きを読む
この記事は、Debianパッケージの再現可能なビルドを超える新しい目標、冪等な再ビルドを探求しています。著者は、古いビルド依存関係を使用して公開済みパッケージを再現するだけでは不十分であると主張しています（Reproduce.Debian.netプロジェクトが行っているように）。なぜなら、それは、ソースコードから再ビルドできない古いバイナリパッケージに依存しているためです。そこで、著者は、反復的な再ビルドによって、最終的に再ビルドされたパッケージが以前の反復と完全に一致する状態になる冪等な再ビルドの概念を提案しています。これには、ビルドタイムスタンプや非決定的な出力などの問題に対処する必要があります。著者は、再ビルドのステージ0を完了しており、ステージ1のビルドアーティファクトを公開する予定です。最終的な目標は、Guixのような環境からDebianバイナリディストリビューションをブートストラップできるようになることです。課題としては、フリーではないファームウェアやDebian署名のないバイナリの存在があり、自己再ビルドを妨げる可能性があります。
続きを読む
英国のスタートアップ企業であるパルサー・フュージョンは、核融合技術を用いて宇宙旅行に革命を起こすことを目指した宇宙ロケット「サンバード」を開発しています。このロケットは、軌道上で宇宙船とランデブーし、ドッキングして、核融合による推力で時速80万キロメートルを超える速度まで加速させます。地球上での核融合発電には大きな課題がありますが、推進システムへの応用は比較的容易で、十分なプラズマ推力さえ生み出せれば良いのです。2027年の軌道上での核融合実験を目指しており、実現すれば火星への旅の所要時間を半分に短縮し、深宇宙探査の効率を大幅に向上させる可能性があります。
続きを読む
モールド可能な開発は、各問題に合わせて調整されたコンテキストツールを用いるプログラミングパラダイムです。システムに対する単一の正しい視点というものは存在せず、異なる部分には異なる表現が必要であるという原則に基づいています。これらの表現は、特定の視点からシステムを要約し、簡潔なコミュニケーションと新しいフィードバックループを実現します。Glamorous Toolkitは、コンテキストツールがプログラミング能力を向上させる方法を示す包括的なケーススタディです。システム全体を網羅する数千もの拡張機能と例を備え、システム内部を簡単に理解することを目指しています。
続きを読む
この記事では、実験を通してキャッシュ意識プログラミングがPythonのパフォーマンスに与える影響を調査します。結果は、Pythonにおいて、リスト要素へのランダムアクセスはシーケンシャルアクセスよりも常に遅く、特にデータサイズがCPUキャッシュのサイズを超えるとその差が顕著になることを示しています。これは、インタプリタ環境においても、キャッシュ意識プログラミングがPythonプログラムのパフォーマンスを向上させる可能性があることを示唆しています。実験では、ネイティブなPythonリストとNumPy配列のパフォーマンスの違いも比較し、NumPy配列はメモリレイアウトがよりコンパクトであるため、パフォーマンス上の大きな利点があることが示されました。
続きを読む
macOS Sequoiaでは、約20年間使用されてきたrsync 2.6.9がopenrsyncに置き換えられました。この変更は、rsync 3.xで使用されているGPLv3ライセンスとのコンプライアンスの問題が原因です。openrsyncはより寛容なISCライセンスを使用しており、Appleは更新とメンテナンスをより柔軟に行うことができます。openrsyncはrsyncと互換性がありますが、rsyncのコマンドライン引数のサブセットのみをサポートするため、古い機能の一部が失われる可能性があります。サポートされている機能については、公式ドキュメントを参照してください。
続きを読む
ソフトウェアの新しい機能が、Windowsマシンの自動ロック、さらにはスリープモードへの移行を妨げていました。デバッグの結果、原因は`PowerCreateRequest`と`PowerSetRequest`関数にあることが判明しました。「新機能」ダイアログがディスプレイのオフを阻止していたのです。ダイアログを閉じても問題は解決せず、Spy++を使って調査した結果、ダイアログは隠されているだけで、実際には閉じられていないことが分かりました。そのため、電源要求が継続的に行われていたのです。このバグは、新しい機能を担当するチームによって修正されました。この記事では、`powercfg`や`pwrtest`などの代替診断ツール、そして強力なETWトレース方法についても説明しています。
続きを読む
Nature Geoscienceに掲載された画期的な研究によると、北米大陸の下面は文字通り岩石の塊となって溶け出していることが明らかになりました。テキサス大学オースティン校の研究者たちは、新しい全波形地震トモグラフィーモデルを用いてこの「クラトン減薄」を特定し、沈み込むファラロンプレートの残骸が原因であると仮定しています。数百キロ離れていても、この古代のプレートはマントルの流れを転換させ、クラトンの基盤を弱め、この遅い溶け出しプロセスを引き起こしていると考えられています。差し迫った脅威ではありませんが、この発見は、大陸の進化とプレートテクトニクスにおける長期的なダイナミクスに関する深い洞察を提供します。
続きを読む
Erica Synthsは、従来のDIY Eurorackプロジェクトの生産を中止した後、それらをオープンソース化することを決定しました。彼らはPCB製フロントパネルのGerberファイルを提供し、カスタムおよびレアコンポーネントを排除するためにモジュールデザインにわずかな変更を加えました（ただし、一部のモジュールはwww.ericasynths.lvで入手可能なレアICを必要とします）。各フォルダには、モジュールを構築するための完全な情報とファイルが含まれています。回路図、フロントパネルのGerberファイル、PCBのGerberファイル、BOM、値と識別子付きの部品配置、および組み立てマニュアル（一部のマニュアルは古いモジュールバージョン用であることに注意してください）。Erica Synthsは、個人、教育、または商業目的でのサードパーティによる使用を許可しますが、サポートは提供しません。構築上のニュアンス、トラブルシューティング、部品の入手可能性、代替案については、フォーラム（www.muffwiggler.com）を参照してください。オープンソース化されたモジュールには、Bassline、BBD delay/flanger、Delay、Dual VCA、Envelope、MIDI-CV、Mixer、Modulator、Output、Polivoks VCF、Swamp、VCO3などがあります。
続きを読む
主要なAI研究所の現在のブラウザエージェントは、現実世界のタスクの80％以上で失敗しています。Foundryは、ブラウザエージェント向けに設計された、最初の堅牢なシミュレーター、RLトレーニング環境、および評価プラットフォームを構築しています。DoorDashなどのWebサイトの完璧なレプリカを作成することにより、Foundryは現実世界の複雑さなしで数百万回のテストを実行し、失敗点を特定して改善を加速します。彼らの使命は、不安定な研究プロジェクトを信頼性の高いエンタープライズソリューションに変換することです。彼らは、この200億ドル以上の自動化市場の機会に取り組むために、Scale AIのMLエキスパートチームに加わる優れたフルスタックエンジニアを探しています。
続きを読む
この記事では、重力波の発生源を探ります。一般相対性理論によれば、重力波の発生は、時空における物質分布の四重極モーメントの時間変化に関連しています。電磁波とは異なり、重力波の最低次数の項は四重極モーメントであり、これは非球形で加速運動している物体だけが有意な重力波を発生させることを意味します。白色矮星、中性子星、ブラックホールといったコンパクトオブジェクトとその連星系は、重力波の主要な発生源です。それらの非球形な形状と軌道運動は四重極モーメントの変化を引き起こし、検出可能な重力波を生成します。
続きを読む
この記事は、「スーパーベビー」を生み出すための生殖細胞系列工学の可能性を探っています。著者は、2023年にボストンで開催された多遺伝子胚スクリーニングに関する会議を振り返り、遺伝子編集への科学界の抵抗を批判しています。著者と共同設立者は、知能の向上、疾患リスクの軽減、寿命の延長における遺伝子編集の可能性を深く掘り下げ、胚選択と比較した遺伝子編集の優れた拡張性を強調しています。彼らは、ナイーブな胚性幹細胞を効率的に作成できるSergiy Velychkoの「Super-SOX」技術を紹介し、遺伝子編集に前例のない機会を開いています。この記事では、幹細胞から卵子と精子を作成するなど、他の遺伝子編集技術についても探求し、法的および倫理的な課題にも触れています。最終的に、著者は、この技術への投資と研究の増加を呼びかけ、潜在的なAIリスクに対する「バックアッププラン」とみなしています。
続きを読む
この記事では、メンサが9～12年生のために推奨する優れた読書リストについて考察しています。これは、『神曲』や『魔の山』といった挑戦的な古典作品を集めたリストです。著者は、これらの本は単なる知識の習得のためではなく、既成概念や快適な領域に挑戦することを目的としていると主張しています。これらの本が引き起こす不快感は、より深い思考を促し、批判的思考を育成します。最終的な目的は博学になることではなく、自己省察と知的な成長によって推進される継続的な学習プロセスを育むことです。これらの作品を読む旅は、曖昧さと不快感に立ち向かうことです。
続きを読む
複数の米国の大学の教授らが共同声明を発表し、アメリカ合衆国移民税関執行官（ICE）による外国人学生や教員の違法な逮捕を非難しました。彼らは逮捕を「ICE臆病者の誘拐」と表現し、現在の政権下での異議申し立ての黙殺を強調しています。声明は、この沈黙文化への学問的な抵抗と、このような行為を許容する大学制度の抜本的な改革を求めています。
続きを読む
この記事では、Appleのオペレーティングシステム（macOS、iOSなど）を支える中核的なカーネルであるXNUカーネルのアーキテクチャと進化について深く掘り下げて解説します。XNUは、MachマイクロカーネルとBSD Unixの長所を組み合わせた独自のハイブリッドカーネルであり、モジュール性とパフォーマンスのバランスを取っています。Machマイクロカーネルの起源からXNUの進化をたどり、PowerPCからIntel、Apple Siliconへのアーキテクチャの移行、マルチコアサポートの向上、64ビット機能、強化されたセキュリティメカニズム（SIP、Secure Enclave、Exclaves）などを網羅しています。XNUの成功は、その柔軟性とスケーラビリティにあり、iPhoneからMac Proまで、幅広いデバイスに対応し、Appleエコシステムの強力な基盤を提供しています。
続きを読む
Landrunは、カーネルネイティブなLandlockセキュリティモジュールを利用した、軽量で安全なLinuxプロセスの実行のためのサンドボックスです。root権限、コンテナ、複雑なSELinux/AppArmor設定を必要とせずに、ファイルシステムとネットワークアクセスに対するきめ細かい制御を提供します。Landrunは、ファイルとディレクトリに対する読み取り、書き込み、実行権限、TCPネットワークアクセスコントロールを提供します。高度に構成可能で、Linuxカーネル5.13以降をサポートします（ネットワーク制限には6.7以降が必要です）。明確な例とsystemd統合により、Landrunは、セキュリティを強化してコマンドとサービスを安全に実行することを容易にします。
続きを読む
エルサルバドルのブケレ大統領が2022年に発令した「例外状態」は、ギャングに対する残忍な弾圧を引き起こし、数万人の逮捕と広範囲にわたる人権侵害につながりました。驚くべきことに、トランプ政権はこのモデルを模倣しようとしており、ベネズエラからの移民をエルサルバドルに強制送還しており、そこで拷問や失踪の危険にさらされています。この行為は国際人権法に違反し、アメリカの民主主義規範の浸食に対する深刻な懸念を引き起こしています。アメリカのエルサルバドルへの介入の歴史と、ブケレ政府による司法制度の操作は、この問題を複雑化させています。この危機は、エルサルバドルにおける深刻な人権状況だけでなく、アメリカ自身への厳しい警告にもなっています。
続きを読む
Herokuは、.NETの一般提供(GA)サポートを正式に開始し、ベータテストフェーズを終了しました。これは、.NET開発者が本番環境でHerokuの堅牢なインフラストラクチャとサポートサービスを活用できることを意味します。Herokuは、C#、F#、Visual Basicなどの言語をサポートし、Pipelines、CI、Review Appsなどの他のHeroku機能とシームレスに統合することで、.NETアプリケーションのビルドとデプロイを自動化し、効率的な開発とデプロイワークフローを提供します。.NET初心者でも経験豊富な開発者でも、Herokuはスムーズなデプロイ体験を提供します。
続きを読む
1996年、成功を収めていたシエラオンラインは、あまり知られていなかったCUCインターナショナルに買収されました。CUCのCEOであるカリスマ的なウォルター・フォーブスは、シエラを電子商取引の新しい時代へと導くと約束しました。しかし、CUCのビジネスモデルは不透明であり、収益性も疑問視されました。疲労と株主への責任感から、シエラ創設者のケン・ウィリアムズは買収を受け入れましたが、その後、彼は蚊帳の外に置かれ、『Half-Life』などの大ヒット作による成功を逃しました。この買収は、野望、誤った判断、そしてビジネス倫理の複雑さに関する戒めの物語となっています。
続きを読む
この記事では、ソフトウェアエンジニアがテスト作成に抵抗する理由を探り、コード品質とチーム効率の向上におけるテストの重要性を強調しています。著者は自身の経験を元に、高圧力のスタートアップ環境であってもテストを放棄することは間違いだと説明します。この記事では、テストが単体テスト、統合テストなどの区別だけでなく、コードの中核機能を検証するコードブロックであることを強調しています。テストはオンデマンドで実行可能、迅速に繰り返すことができ、他の場所で複製し、自動化することができます。また、テストの作成によって開発者はよりテストしやすいコードを作成し、コード品質、モジュール性の向上、最終的にはチーム効率の向上につながることが指摘されています。最後に、著者はエンジニアにテストの優先順位を高く置くよう促し、生産性向上とバグ削減の鍵としてテストを捉え、AIをテスト支援に活用することを推奨しつつ、完全に依存しないよう警告しています。
続きを読む
LocalScoreは、ローカルの大規模言語モデルのパフォーマンスをベンチマークするためのツールです。公式モデルのダウンロードまたは独自の.ggufモデルの使用という2つの実行方法があります。OS（macOS/LinuxまたはWindows）と利用可能なメモリに基づいて、ベンチマークモデル（Tiny、Small、Medium）を選択できます。シンプルなコマンドライン命令を使用し、トラブルシューティングガイドとドキュメントを提供します。
続きを読む
大規模言語モデル（LLM）は、高価な実行コストのために、広く展開されることが制限されています。Metaの研究者らは、擬似乱数発生器のシードを使用してモデルウェイトをエンコードおよび圧縮する、新しいポストトレーニング圧縮手法SeedLMを発表しました。推論中に、SeedLMは線形フィードバックシフトレジスタ（LFSR）を用いて効率的にランダム行列を生成し、それを圧縮係数と線形結合してウェイトブロックを再構成します。これにより、メモリアクセスが削減され、アイドル状態の計算サイクルが活用され、メモリバウンドタスクの高速化が実現します。キャリブレーションデータに依存する最先端の方法とは異なり、SeedLMはデータフリーであり、さまざまなタスクで高い汎化性能を示します。困難なLlama 3 70Bを用いた実験では、4ビットおよび3ビット圧縮におけるゼロショット精度が、最先端の方法と同等かそれ以上であり、FP16ベースラインと同等の性能を維持しています。さらに、FPGAベースのテストでは、モデルサイズが増加するにつれて、4ビットSeedLMはFP16 Llama 2/3ベースラインに対して4倍の高速化に近づきます。
続きを読む
この記事は、Altair 8800の発売後、初期のパーソナルコンピュータ産業が爆発的に成長した様子を克明に描いています。Don Tarbellなどのハードウェア愛好家は、カセットインターフェースなどの周辺機器を開発することでAltairの欠点を補い、Processor TechnologyやCromemcoといった企業の誕生を促しました。同時に、ソフトウェアスタートアップも台頭し、Bill GatesとPaul AllenによるBASICインタープリターやGary KildallによるCP/Mオペレーティングシステムは、ソフトウェアのビジネスモデルを変革し、パーソナルコンピュータの普及を促進しました。IMSAIは異なるアプローチを取り、パーソナルコンピュータをビジネス市場に投入しようとしましたが、最終的には失敗しました。この歴史は、パーソナルコンピュータが趣味のプロジェクトから成熟した産業へと移行する過程、そして初期の起業家たちがその発展に果たした重要な役割を示しています。
続きを読む
ニューヨークの男性が、AIで生成されたアバターを使って裁判で自己弁護を行い、裁判官から厳しく叱責された。弁護士がいないため、アバターが自身の吃音を克服してくれることを期待していた。謝罪したものの、この事件は、法律手続きにおけるAIのリスクと明確な規制の不足を浮き彫りにしている。最近では、AIツールの誤用で罰金が科せられた弁護士もおり、AIがでっち上げた事例が引用されたケースもあった。しかし、アリゾナ州最高裁判所は、AIアバターを使って判決を要約し始めており、法律分野におけるAIの進化した利用を示している。
続きを読む
最高のユーザーエクスペリエンスを提供するために、このウェブサイトはCookieなどのテクノロジーを使用して、デバイス情報を保存および/またはアクセスします。これらのテクノロジーに同意すると、このサイトでの閲覧行動や一意のIDなどのデータを処理できます。同意しない場合、または同意を取り消した場合、特定の機能に悪影響を与える可能性があります。このウェブサイトでは、サービス提供、設定の保存、統計分析、ターゲティング広告など、技術的なデータの保存やアクセスに関する正当な目的についても詳しく説明しています。
続きを読む
TripoSGは、高忠実度の画像から3Dへの生成を行う最先端の基礎モデルです。大規模修正フロー変換器、ハイブリッド教師あり学習、高品質なデータセットを活用することで、最先端の結果を実現しています。TripoSGは、シャープな特徴、細かいディテール、複雑な構造を持つメッシュを生成し、入力画像のセマンティクスを正確に反映します。強力な汎化能力を備え、多様な入力スタイルに対応します。15億パラメータのモデルと、推論コード、インタラクティブデモが利用可能です。
続きを読む
筆者は、アップルのソフトウェアの質の低下は、優れたハードウェア統合によって覆い隠されていると主張しています。ユーザーは、アップルデバイス間のシームレスな連携を諦めることが難しいと感じています。この記事では、Linuxを潜在的な競合相手として検討し、堅牢なハードウェアエコシステムの不足を主要な障害として強調しています。筆者は、DellやSonyなどの大手電子機器メーカーが、アップルのハードウェア統合に匹敵するLinuxデバイスエコシステムを提供することで、Linuxの採用を大幅に促進し、アップルにソフトウェア品質の向上を迫り、パーソナルコンピューター市場を再編する可能性があると示唆しています。
続きを読む
Airbnbは、ユーザーエクスペリエンスを向上させるために、リスティングの生涯価値（LTV）を推定するためのフレームワークを開発しました。このフレームワークは、3種類のLTVを計算します。ベースラインLTV、増分LTV、マーケティング誘発増分LTVです。ベースラインLTVは、機械学習とリスティングデータを使用して、リスティングが今後365日間に受け取る予約の総数を予測します。増分LTVは、リスティング間の予約の食い合いを考慮に入れています。マーケティング誘発増分LTVは、内部マーケティングイニシアチブによって生成される追加価値を測定します。この記事では、ベースラインLTVの正確な測定、増分性の処理、不確実性（例：COVID-19パンデミック）への対処など、課題について説明しています。Airbnbは、LTVを使用して、高価値リスティングを特定し、ホストへの推奨事項を改善し、マーケティングキャンペーンの有効性を評価しています。
続きを読む
3月最終週、欧州電力市場は広範囲にわたる価格下落を経験し、イベリア半島MIBEL市場は8週間連続で最低価格を記録しました。スペインでは4月1日に史上初のマイナス価格が記録されました。これは、需要減少と再生可能エネルギー、特に風力と太陽光発電の生産増加によるものです。ポルトガルとフランスは3月の風力発電で記録を樹立しました。しかし、ドイツを除くほとんどの市場で太陽光発電量は減少しました。AleaSoftは、来週、ドイツ、スペイン、イタリアで太陽光発電量が回復すると予測していますが、風力発電量はドイツとフランスで増加する一方、イベリア半島とイタリアでは減少すると予想しています。電力需要はフランス、ポルトガル、英国を除くほとんどの市場で減少しました。AleaSoftは、4月第1週の大部分の市場でさらに価格下落を予測していますが、MIBEL市場は風力発電量の減少により若干回復すると予想しています。ブレント原油価格は85ドル/バレル以上、TTF天然ガス先物は28ユーロ/MWhを下回り、CO2排出権は60ユーロ/トンを上回りました。低い電力価格は、資金調達のために楽観的な価格予測に依存していた再生可能エネルギー開発業者にとって課題となっています。
続きを読む