1963年にノルウェー大陸棚の主権を宣言した後、ノルウェーは莫大な石油埋蔵量を発見しました。1990年、政府石油基金が設立され、この富を多様な資産ポートフォリオに投資しました。今日、この基金は世界最大の政府系年金基金であり、1.78兆ドルを超える資産を保有しています。これは、ノルウェー国民一人当たり319,900ドル以上に相当します。株式が基金価値の大部分を占めていますが、ノルウェー銀行投資管理（NBIM）は、近年、再生可能エネルギーインフラへの資金配分を増やしています。皮肉なことに、ノルウェーの野心的なグリーン転換、そして電気自動車へのほぼ完全な移行は、数兆ドルの石油ドルによって支えられています。
続きを読む
一見地味なジャムバンドであるPhishは、わずか4年間で1億2000万ドル以上のチケット売上を記録し、多くのメインストリームアーティストを凌駕しました。彼らの成功は、アルバムの売上やラジオの放送ではなく、バーモント州のバーで培われた10年間のたゆまぬ練習とオーガニックな成長に基づいています。彼らは、没入型のライブパフォーマンス、ユニークな即興ジャム、そして観客との深い繋がりを通して、非常に忠実なファン層を築きました。この献身と、自主的なビジネスアプローチを組み合わせることで、ライブ音楽体験を中心とした持続可能で非常に収益性の高いモデルが実現し、Phishは音楽業界におけるユニークなケーススタディとなりました。
続きを読む
Amazon Web ServicesのエンジニアであるMarc Brooker氏は、TLA+カンファレンスの基調講演で、形式手法は高価なオーバーヘッドではなく、大規模分散システムや重要な低レベルシステムにおける時間とコストの節約策であると主張しました。リワークと変更コストを削減することで、形式手法による設計はソフトウェア開発の効率を大幅に向上させます。ただし、すべてのソフトウェアに適用できるわけではなく、UIや価格ロジックなど、ユーザー要件の変化に敏感な分野には、アジャイル開発の方が適しています。しかし、要件が明確に定義された大規模システムの場合、形式手法はバグ率を効果的に削減し、パフォーマンスを向上させます。Brooker氏は、TLA+、P、Alloyなどの仕様言語、モデルチェッカー、検証対応プログラミング言語など、さまざまなツールを推奨しており、形式手法は正確性を保証するだけでなく、最適化オプションの探索を支援し、正確性とパフォーマンスの間の難しいトレードオフを回避することを強調しています。
続きを読む
10年以上、主要なオープンソース.NETメッセージングフレームワークとして活躍してきたMassTransitが、v9リリースを商用ライセンスモデルに移行します。これは、長期的な持続可能性、継続的なイノベーション、エンタープライズグレードのサポートを保証するためです。MassTransit v8はコミュニティサポートと共にオープンソースとして残ります。商用版v9は、拡張性、セキュリティ、パフォーマンス、エンタープライズサポートが強化され、中小企業（約400ドル/月）、大企業（約1200ドル/月）向けに価格が段階的に設定されています。v8は2026年末まで保守が継続されます。
続きを読む
GitHubのプロジェクトで、SQLite上に構築されたキーバリューストアが紹介されています。これは、自動JSONシリアライゼーションによる、JavaScriptライクなオブジェクト操作を可能にします。`createDatabaseClient`関数は、独立したリーダー(`rdr`)とライター(`wtr`)コンポーネントを持つ並列クライアントを作成します。ライターは部分的なJSON更新にプロキシを使用し、リーダーはプレーンなJavaScriptオブジェクトを返します。包括的なテストでは、基本的なCRUD操作、ネストされた更新、削除、配列操作などがカバーされています。
続きを読む
この記事は、Lispとラムダ計算の関係を探求します。Lispの生みの親であるJohn McCarthyは、当初ラムダ計算を完全に理解していませんでしたが、その記法を借りてLispを創造しました。Lispはラムダ計算の直接的な実装ではなく、ラムダ計算から着想を得て、IBM 704のハードウェア特性を組み込んだものです。この記事は、Lispの初期の歴史、特にその評価器EVALの実装と、car/cdr演算とIBM 704との関係を深く掘り下げます。ラムダ計算の基本概念が紹介され、ΛΙΣΠと呼ばれるおもちゃの言語を使って例示されています。最終的に、この記事はLispとラムダ計算の間にある魅力的で複雑な相互作用を示し、今後の記事でさらに探求される余地を残しています。
続きを読む
在宅勤務で目の疲れに悩んでいませんか？ブロガーのRussell Baylisが、最適な照明環境を作るための経験を共有します。均一で柔らかな光が目の疲れを軽減する鍵だと強調し、フロアランプや調光可能な照明器具を使って、影やコントラストを解消しました。自然光は光を通すカーテンで柔らかくし、高品質でフリッカーフリーの照明を優先しています。20-20-20ルールと定期的な休憩も、目の健康のために重要だと述べています。
続きを読む
科学者たちは大胆な仮説を提案しています。宇宙初期に形成された原始ブラックホールは、地球の岩石の中を通過し、肉眼では見えない微小なトンネルを残した可能性があるというものです。これらのトンネルは非常に小さいですが、強力な顕微鏡を使えば検出できる可能性があり、これらのとらえどころのない天体を発見するための潜在的な手段となります。研究者たちは、成功の可能性は低いものの、これらのトンネルを探すことで計り知れないほどの報酬が得られる可能性があると示唆しています。さらに、彼らは、原始ブラックホールが特定の惑星の中に潜んでおり、液体のコアを吸収して惑星の中身を空洞化している可能性があると仮定しています。この研究は、原始ブラックホールを発見するための新しいアプローチを提供し、宇宙の起源を探求する上で重要な一歩となります。
続きを読む
レゴランドのエジプト探検アトラクションに触発され、作者は同様のシューティングゲームを作ることにしました。安価なESP32マイクロプロセッサ、赤外線レーザーガン、自作のターゲットを使用して、ハロウィンをテーマにしたシューティングゲームを成功裏に制作しました。その過程で、ArduinoとMicroPythonプログラミングを学び、ハードウェア接続、電源、通信といった課題を克服しました。このゲームは学校や自宅でのイベントで大成功を収めました。今後の計画としては、ターゲットのデザイン、ライティング効果、回路基板などを改良し、ゲーム体験を向上させることです。
続きを読む
このプロジェクト、DOOM CAPTCHAは、DOOMのミニチュア版をプレイしてあなたが人間であることを確認する方法です。Emscriptenを使ってDOOMの最小限のポートをWebAssemblyにコンパイルし、CベースのゲームループとJavaScriptベースのCAPTCHA UI間の通信を可能にしています。CAPTCHAの機能に不可欠な、プレイヤーの誕生、死亡、敵の殺害などのイベントを追加するために修正が行われました。このプロジェクトは、合法的にアクセス可能なDOOMのシェアウェアバージョンを使用しており、ゲームパラメータを調整して難易度を高めています（Nightmare!スキルレベル、高速ゲームプレイ）、メニューをスキップし、レベルを直接開始します。合格するには、時間制限内に少なくとも3体のモンスターを倒す必要があります。
続きを読む
NvidiaのCEOであるジェンセン・フアン氏が、真に「実用的な」量子コンピューターはあと20年はかかるだろうと述べた後、IonQなどの量子コンピューティング企業の株価が水曜日に急落しました。この発表は、先月Alphabetによる大きなブレークスルーがあった後の、この分野への最近の興奮を抑制しました。Quantum Computing Inc.、D-Wave、Rigettiなどの株価は30％以上下落し、市場が量子コンピューティングの実用的なアプリケーションのタイムラインに敏感であることを示しています。
続きを読む
仕事の割り込みの影響に関する研究論文に触発されたプログラマーのShae Erissonは、プログラマーが集中した「フロー」状態にあるかどうかを示すFlowLightというDIYシステムを作成しました。このシステムはEmacsエディターのアイドル時間を監視し、プログラマーが一定時間操作していない場合、Adafruit MagTagボードのLEDが色を変えます（アイドル時は緑、ビジー時は赤）。ErissonはCircuitPythonでHTTPサーバーも作成し、LEDの色と状態をリモートで制御できるようにしました。アイドル時間監視の精度や視覚的な魅力向上など、改善の余地はありますが、このシステムはプログラマーが割り込みを避け、生産性を向上させるのに効果的に役立ちます。
続きを読む
2年間の開発を経て、Wasmバックエンドを含むMoonBitコンパイラがオープンソース化されました！MoonBitは、速度、コンパクトさ、使いやすさで知られる、WebAssemblyに最適化されたプログラミング言語を目指しています。このリリースでは修正版SSPLライセンスを使用しており、ユーザーは生成された成果物のライセンスを自由に選択でき、非営利目的でのコンパイラの修正も許可されています。チームはこのライセンスを選択することで、プロジェクトがベータ版である間の安定性を維持し、大規模なクラウドベンダーによる不正利用を防いでいます。将来、MoonBitはより多くのコンポーネントをオープンソース化し、ホスティングサービスやハードウェアSDKを通じて収益を上げ、活気のあるコミュニティエコシステムの構築を目指しています。
続きを読む
Googleは、すべての国コードトップレベルドメイン（ccTLD）（google.fr、google.co.ukなど）をGoogle.comにリダイレクトします。今後数ヶ月かけて段階的に展開されるこの変更は、Googleが世界中でローカライズされた検索結果を提供する能力が向上したためです。ユーザーは大きな混乱を経験する必要はありませんが、再ログインしたり、検索設定を調整したりする必要があるかもしれません。検索の主要機能は変わりません。
続きを読む
新たな裁判書類が、DOGEの従業員である25歳のマルコ・エレズが財務省の支払いシステム内で行った行為の詳細を明らかにしています。この書類では、エレズがアクセスしたシステム、彼のアクセスと活動を制限するために財務省のITスタッフが講じたセキュリティ対策、そして彼がシステムに加えた変更について詳しく説明されています。これまでの政府発表とは異なり、エレズは機密性の高いデータベースへの書き込み権限を短期間（1日）保有していましたが、これは誤って付与されたものでした。データに変更を加えたという証拠はありません。この事件は、DOGE従業員のアクセス権に関する疑問を引き起こし、財務省のシステムへのアクセスを制限するための訴訟につながっています。
続きを読む
フラウンホーファー太陽エネルギーシステム研究所（Fraunhofer ISE）によると、ドイツは2024年、電力の62.7％を再生可能エネルギー源から発電しました。太陽光発電は全体の14％を占め、72.2TWhという記録的な数値を達成しました。天候条件はあまり良くなかったものの、太陽光発電容量の急速な拡大によってこの記録が達成されました。風力発電は136.4TWhで最大の電力源であり続けました。バッテリー貯蔵容量も大幅に増加し、8.6GWから12.1GWに増加しました。ドイツのCO2排出量は減少を続け、2024年には1億5200万トンとなり、1990年レベルから58％減少しました。
続きを読む
アマゾンの創設者であるジェフ・ベゾスは、ワシントン・ポストのオピニオン欄が「個人の自由と自由市場」を重視し、反対意見は明確に除外すると発表した。この決定は社内での懸念と批判を招き、記者や元幹部はベゾスが異論を封じ込めていると非難し、アマゾンの独占禁止訴訟との関連性を示唆している。ベゾスがトランプ政権に対する姿勢を変え、ポストの編集方針に介入したことは、ジャーナリズムの健全性に対する大きな懸念を引き起こしている。
続きを読む
ファイナンシャル・タイムズのデータジャーナリスト、ジョン・バーン・マーダック氏は、アメリカ時間利用調査のデータを用いて、特に若者において、一人で過ごす時間が大幅に増加していることを示す説得力のある視覚化を作成しました。グラフは2004年から2022年までの、一人で過ごす自由時間の割合を追跡しており、若い年齢層ほど増加率が高いことが明らかになっています。興味深い傾向として、年齢とともに男女間の一人で過ごす時間の差が縮まり、65歳以降は逆転していることが示されています。これは、女性の結婚年齢が若く、男性の平均寿命が短いことと関係している可能性があります。FlowingDataはこの分析を、離婚率や日々のルーティンを探るその他のデータ視覚化プロジェクトとともに掲載しています。
続きを読む
Castle Game Engineチームは、Webターゲット（JS+WebAssemblyを使用してブラウザでゲームを実行）、IFC（Industry Foundation Classes）フォーマットのサポート、mORMot2を使用した共同編集機能を含むアップデートを発表しました。Webターゲットは現在基本機能を備えており、WebGLサポートが改善されています。IFCサポートでは、モデルの読み込み、変更、保存が可能で、将来的な機能強化が計画されています。共同編集機能はまだ開発中ですが、3D世界の変更とサーバー同期が既に実現しています。
続きを読む
2021年のテキサス州の大規模停電から4年後、同州の電力網の信頼性については依然として疑問が残っている。州政府は天然ガス発電の増強を進めてきたものの、テキサス州は近隣の電力網と接続しておらず、独自の供給に完全に依存している。最新の電力網予測では、早くも2026年には需要が供給を上回る可能性が示唆されている。専門家らは、この予測は需要の伸びを過大評価しており、その一部は法律に「投機的」な需要増加予測が含まれているためだと懐疑的に見ている。テキサス州は発電能力やインフラ面で一定の進歩を遂げており、発電所の耐寒性向上や太陽光発電の開発などが挙げられるが、エネルギー効率の改善、天然ガス供給の適切な監視、近隣電力網との相互接続の拒否などが不足しているため、テキサス州の電力網の信頼性は長期的な課題に直面している。2021年の停電で母親を亡くした住民は、2月にはフロリダ州へ避難する選択をするなど、電力網の信頼性に対する不安は依然として根強く残っている。
続きを読む
大学の研究チームは、システム管理において難しい問題に直面しました。サーバーが長時間稼働し、再起動が必要でしたが、頻繁な再起動はユーザーエクスペリエンスを損なうためです。通常は再起動を避けていましたが、長時間の稼働により大規模な再起動を行う羽目になりました。同様の問題を避けるため、年間の再起動スケジュールを策定しました。少なくとも年に3回、大学の授業スケジュールに合わせて再起動することで、予防保全とユーザーエクスペリエンスのバランスを取っています。
続きを読む
この記事では、技術的負債と技術的資産の違いについて説明しています。技術的負債は財政的負債と同様に、バグやコードの可読性の悪さなど、解決しなければならないコードの問題であり、開発効率を低下させます。一方、技術的資産は、高品質なSDKの構築など、既知の問題への先を見越した投資であり、将来のメンテナンスコストを削減し、開発の自由度を高めます。この記事では、技術的資産への投資の前に、技術的負債の返済を優先し、実績のあるプロセスと技術を活用して技術的負債の蓄積を避けることで、開発効率と製品品質の向上を実現することを推奨しています。
続きを読む
この記事では、エンジニアリングリーダーがデータ主導型の意思決定のためにSQLと統計的手法を活用する方法を探ります。著者は、多くのエンジニアリングリーダーがデータの抽出と解釈に慣れていないことを指摘し、SQL（DuckDBなど）と統計ツールの学習を推奨しています。この記事では、記述統計、分布、信頼区間、ベイズ推論などを網羅し、Firefoxのバグ追跡データの分析による信頼区間の計算方法、モンテカルロシミュレーションによるプロジェクト時間推定、ベイズ推論によるプロジェクト完了確率の更新方法を示しています。この記事は、エンジニアリングリーダーにとってデータ分析スキルが不可欠であり、より正確な予測と意思決定を可能にすることを強調しています。
続きを読む
BYDのバッテリー事業CTOである孫華君は、同社が2024年にパイロット生産ラインで20Ahと60Ahの全固体電池セルを生産したことを明らかにしました。量産デモは2027年頃を予定していますが、大規模な量産は2030年以降になる見込みです。BYDはコストとプロセスの安定性を考慮して硫化物電解質に焦点を当てています。CATLと同様に、BYDは全固体電池が当初はハイエンドモデルで使用され、既存のLFPバッテリーを補完すると予想しています。
続きを読む
セキュリティ研究者は、Microchip SAM4C32マイクロコントローラーのJTAGロックをバイパスする電圧グリッチング攻撃を発見しました。この攻撃は、リセットピンをサイドチャネルとして利用し、起動時に電圧グリッチを注入することでセキュリティビットを無効にし、ロックされていないJTAGアクセスを取得します。この方法は、セキュリティにGPNVMビットを使用する多くのSAMシリーズマイクロコントローラーに適用できる可能性があります。この脆弱性は修正が困難であり、これらのマイクロコントローラーに依存するデバイスのセキュリティに大きな脅威をもたらします。
続きを読む/cdn.vox-cdn.com/uploads/chorus_asset/file/25263501/STK_414_AI_A.jpg)
Google DeepMindは、物理環境をシミュレートできる「ワールドモデル」の開発に特化した新しいAI研究チームを結成しています。元OpenAI Soraプロジェクトの共同リーダーであるTim Brooks氏が率いるこのチームは、ビデオとマルチモーダルデータの大規模な事前トレーニングを活用して、AGI開発の進展を目指します。この取り組みは、ゲーム、ロボットトレーニング、そして視覚推論やシミュレーション、エンボディドエージェントのプランニング、リアルタイムインタラクティブエンターテインメントなど、幅広い分野への応用を促進します。これは、OpenAIなどの競合他社とのAGI競争におけるGoogleの取り組み強化を示しています。
続きを読む
2024年、二人の友人はYouTubeでの挑戦を始め、その経験をこの記事に記しています。Apple Vision Proを装着してスカイダイビングをするなど初期のクリエイティブな動画から、目隠しハイキングやAIが計画した休暇など、様々な試練と貴重な学びがありました。この記事では、各動画の制作プロセス、問題点、データ分析を詳細に解説し、『タイトルトーナメント』といったワークフローの改善策も共有しています。まだ大きな成功は収めていませんが、未来への楽観的な展望を持っています。
続きを読む
著者は、軽妙洒脱でありながら洞察力のある方法で、米国のヒト被験者研究における機関審査委員会（IRB）承認の複雑さを語っています。極端に急な私道の比喩を用いて、しばしば非論理的な規則を理解することの難しさを示しています。この記事では、IRBの適用可能性に関する一般的な誤解を解き、コモンルールとその起源と複雑さ、そしてFDA規制の追加層を深く掘り下げています。著者は、現在の規制の複雑な性質を強調し、実際の実施は、書かれた法律の厳格な遵守ではなく、規制当局による選択的な適用に依存していることを強調しています。最終的に、著者は、特に低リスク研究において、IRBのプロセスを合理化し、事前承認ではなく事後罰則制度を提案することを提唱しています。
続きを読む
Lagoは、従来の請求システムに固有の面倒なPDF生成プロセスを排除するように設計された革新的な請求システムです。従来のシステムでは、エンジニアは複雑な使用量の計算と請求プラットフォームへの手動インポートのためのスクリプトを作成する必要があり、貴重なリソースが奪われていました。LagoのカスタムSQL式機能により、ユーザーは生のデータを直接送信でき、計算、集約、重複排除が自動化され、請求書が生成されます。これにより、エンジニアは製品開発に集中できるようになり、さまざまな請求モデル（ユーザーごと、ストレージベースなど）と、複雑な割引やマルチクラウドシナリオに対応できます。
続きを読む
SiaPyは、スペクトル画像を効率的に処理するためのPythonツールです。スペクトル画像データの読み込み、処理、分析のための包括的なツールセットを提供します。SiaPyは複数のファイル形式をサポートし、使いやすいAPIを備えています。このプロジェクトはMITライセンスの下でライセンス供与されており、コミュニティからの貢献を歓迎しています。
続きを読む