Googleは、すべての国コードトップレベルドメイン（ccTLD）（google.fr、google.co.ukなど）をGoogle.comにリダイレクトします。今後数ヶ月かけて段階的に展開されるこの変更は、Googleが世界中でローカライズされた検索結果を提供する能力が向上したためです。ユーザーは大きな混乱を経験する必要はありませんが、再ログインしたり、検索設定を調整したりする必要があるかもしれません。検索の主要機能は変わりません。
続きを読む
Common Lispコミュニティは過去2年間で目覚ましい成長を遂げ、数多くの新しいプロジェクト、ツール、ライブラリが登場しました。驚くべきことに、Hacker NewsウェブサイトがSBCL上で動作するようになりました！この記事では、SBCL、ABCL、CCLなどの実装のアップデート、Lemエディターの大幅な改良、新しいゲーム開発ツールやWebフレームワークなど、Common Lisp分野の最近の進歩をまとめています。さらに、ELSカンファレンスやLisp Irelandのミートアップなど、コミュニティ活動も盛んです。経験豊富な開発者も初心者も、この概要からCommon Lispエコシステムの活気と魅力を感じ取ることができるでしょう。
続きを読む
プライバシー擁護者は、しばしば2つの有害な議論に遭遇します。プライバシーは死んでおり、データ保護の努力は無益であるという主張と、完全にプライベートで安全なツールだけが使用に値するという主張です。著者は、どちらの考え方もうんざりするようなものだと主張しています。この記事では、SMSからSignalへの切り替えなど、たとえ完璧ではなくても小さな勝利を祝う漸進的なアプローチを推奨しています。完璧を目指すのではなく、段階的な改善によってプライバシーを徐々に高めていくのです。積極的なプライバシー文化の構築が重要です。
続きを読む
著者は、ソフトウェアプロジェクトから本、家事に至るまで、何も完成させることができないことに苦しんでいます。彼は3つの仮説を立てています。1. 完了後の実存的不安、2. 新しい目標が常に現れるため真の完了ができない、3. 診断されていないADHDの可能性。彼は仕事での生産性と個人的なプロジェクトでの苦労を比較し、暴露療法や対処メカニズムなど、考えられる解決策を探っています。最終的に、それは複数の要因の組み合わせであると示唆し、共通の質問で読者の関与を促しています。
続きを読む
フラウンホーファー太陽エネルギーシステム研究所（Fraunhofer ISE）によると、ドイツは2024年、電力の62.7％を再生可能エネルギー源から発電しました。太陽光発電は全体の14％を占め、72.2TWhという記録的な数値を達成しました。天候条件はあまり良くなかったものの、太陽光発電容量の急速な拡大によってこの記録が達成されました。風力発電は136.4TWhで最大の電力源であり続けました。バッテリー貯蔵容量も大幅に増加し、8.6GWから12.1GWに増加しました。ドイツのCO2排出量は減少を続け、2024年には1億5200万トンとなり、1990年レベルから58％減少しました。
続きを読む
アマゾンの創設者であるジェフ・ベゾスは、ワシントン・ポストのオピニオン欄が「個人の自由と自由市場」を重視し、反対意見は明確に除外すると発表した。この決定は社内での懸念と批判を招き、記者や元幹部はベゾスが異論を封じ込めていると非難し、アマゾンの独占禁止訴訟との関連性を示唆している。ベゾスがトランプ政権に対する姿勢を変え、ポストの編集方針に介入したことは、ジャーナリズムの健全性に対する大きな懸念を引き起こしている。
続きを読む
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/23952202/HT009_facebook_0008.jpg)
この包括的なガイドでは、Facebookアカウントを完全に削除する手順を説明します。まず、データアーカイブをダウンロードすることの重要性を強調し、写真、チャットログ、IPアドレスなどの個人情報へのアクセス方法と保存方法を詳細に説明します。次に、アカウントセンターを使用してアカウント削除プロセスをステップバイステップで説明し、一時的な非アクティブ化と永続的な削除のオプション、および退会理由の提供方法を解説します。最後に、InstagramやWhatsAppなどの他のMetaサービスのアカウントも削除するようユーザーに促し、削除後も一部の情報が残る可能性があることを指摘しています。
続きを読む/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の取り組み強化を示しています。
続きを読む
中国とシンガポールの研究者チームが、重力水波を用いて水表面にトポロジカル構造を生成する新しい技術を開発しました。重なり合う波によって生じるノイズを利用することで、波の渦、スキルミオン、メビウスの帯などの構造を作り出します。「ウォーターピンセット」と呼ばれるこのアプローチは、微小な物体の操作を可能にし、薬物送達など医療分野への応用が期待されます。
続きを読む
2025年2月、postmarketOSプロジェクトは大きな進歩を遂げました。名称変更が進められており、コミュニティからの提案を求めています。MSM89x7のオーディオサポートが向上し、より多くのXiaomiデバイスがコミュニティサポートに加わりました。セキュリティ監査が完了し、バックアップやCIシステムを含むインフラストラクチャの改善が実装されました。多数のカーネルアップデートとパッケージアップグレードがリリースされ、安定性とパフォーマンスが向上しました。
続きを読む
MITスローン経営大学院の研究によると、AIの成功は技術だけでなく、その開発を導く根本的な哲学的枠組みに依存していることが明らかになりました。この記事では、トレーニングデータから展開まで、哲学がAI全体に浸透し、推論、予測、イノベーションに影響を与えていると主張しています。リーダーは、暗黙の原則に頼るのではなく、積極的に哲学的な思考を活用することで、AIの価値を最大限に引き出し、競争優位性を獲得する必要があります。この哲学的側面を無視すると、AI投資の収益率が低下します。
続きを読む
SiaPyは、スペクトル画像を効率的に処理するためのPythonツールです。スペクトル画像データの読み込み、処理、分析のための包括的なツールセットを提供します。SiaPyは複数のファイル形式をサポートし、使いやすいAPIを備えています。このプロジェクトはMITライセンスの下でライセンス供与されており、コミュニティからの貢献を歓迎しています。
続きを読む
Black Candyは、自己ホスト型の音楽ストリーミングサーバー、つまりあなた自身のパーソナルミュージックセンターです。Dockerによる簡単なインストールが可能ですので、自分の音楽ストリーミングサービスをすばやく設定できます。デモ版で試すことができます。デフォルトのデータベースはSQLiteですが、PostgreSQLもサポートしています。データの永続化は、/app/storageディレクトリのマウントによって管理されます。パフォーマンス向上のため、Nginxプロキシがサポートされており、モバイルアプリも利用可能です。
続きを読む
このトークでは、JTAGやSWDなどの一般的なマイクロコントローラーデバッグプロトコルについて詳しく解説します。物理的な信号から始め、これらのプロトコルの動作原理、組み込みプロセッサの管理メカニズム、さまざまなマイクロコントローラーとのインタラクション方法を説明します。組み込みソフトウェアのデバッグの意味、快適なデバッグ環境に必要な要件リストの作成、既存のカスタムデバッグ手法の参照についても解説します。FPGAコアから小さな8ビットマイクロコントローラーまで、さまざまな例を取り上げます。ARMのADIやRISC-V DMIなどの一般的な抽象化についても説明し、プロトコルとコア制御のギャップを埋めます。最後に、フラッシュプログラミング、ウォッチポイント、シングルステップデバッグなどの一般的なタスクについて説明します。
続きを読む
このチュートリアルでは、各ピクセルのx座標とy座標をXOR演算することで作成されるシンプルなXORテクスチャの生成方法を説明します。ゲームやアートには理想的ではありませんが、テクスチャマッパーのテストに最適です。この記事ではXOR演算の詳細、テクスチャサイズの色輝度への影響、AND演算子とOR演算子を使用した同様のテクスチャの生成方法について説明します。XORを使用した3Dテクスチャの例も示します。
続きを読む
フィンランド当局は、海底電力・データケーブルの損傷に関する捜査で、押収されたタンカーEagle Sの錨によると思われる数十キロメートルに及ぶ海底のドラッグ痕を発見しました。行方不明の錨が、フィンランドとエストニアを結ぶ170キロメートルの送電線を切断し、4本のデータケーブルにも障害を与えたと疑われています。クック諸島船籍のこのタンカーは拿捕され、当局は重大な器物損壊罪の可能性について捜査中です。悪天候が捜査を妨害しました。
続きを読む
この記事では、経験豊富なRustプログラマーでさえ遭遇する可能性のある、Rustの借用チェッカーの4つの驚くべき制限について掘り下げています。最初の制限は、借用チェッカーがmatchとreturn文を完全に考慮できないという点であり、HashMapを使用する際に冗長なチェックにつながります。2つ目の制限は非同期プログラミングに関連しており、Rustは現在、特定の非同期コールバックの型シグネチャを表現できません。3つ目は、FnMutクロージャがキャプチャされた変数の再借用を許可しないという点であり、非同期操作における可変状態へのアクセスを制限します。最後に、Sendチェッカーの制御フロー認識の欠如により、Sendであるべき一部のFutureが誤って非Sendとしてフラグ付けされます。著者は、具体的なコード例と回避策を用いてこれらの制限とその課題を示し、開発者の生産性を向上させるためにRustの型システムの改善を提唱しています。
続きを読む
Sonair社は、画期的な3D超音波センサーの開発を劇的に加速するために、Rustプログラミング言語を活用しました。この記事では、速度、安全性、堅牢なエコシステムなど、Rustを選択した理由を詳しく説明しています。チームは当初Rustの経験がありませんでしたが、驚くほど簡単に習得でき、強力な型システムと借用チェッカーにより、より安全で信頼性の高いコードを作成することができました。Sonair社は、本番環境でRustを使用し、アルゴリズムのプロトタイピングにはPythonを使用することで、効率的なワークフローを実現しています。最終的に、Sonair社は、安全認証済みのRust実装を展開する最初の企業の1つになることを目指しており、組み込みシステムにおける機能安全の新しい基準を確立しようとしています。
続きを読む
アリババは、20兆トークン以上で事前学習され、教師ありファインチューニングと人間のフィードバックからの強化学習によってさらに洗練された、大規模なMixture-of-Experts (MoE)モデルであるQwen2.5-Maxを発表しました。MMLU-Pro、LiveCodeBench、LiveBench、Arena-Hardなどのベンチマークで、Qwen2.5-MaxはDeepSeek V3などの他のモデルを上回ることが示されています。このモデルは、Qwen ChatとアリババクラウドAPIを通じてアクセスできます。このリリースは、大規模言語モデルのスケーリングにおける重要な進歩を表しており、将来のモデルインテリジェンスの向上への道を拓きます。
続きを読む
この記事では、堅牢なOCamlエコシステムの主要コンポーネントを紹介します。Dune（旧Jbuilder）はコンポーザブルなビルドシステムです。Baseは、パフォーマンスと移植性を向上させるために、OCamlの標準ライブラリに取って代わります。Coreは、拡張された機能でBaseを拡張します。Asyncは非同期プログラミングを可能にします。Bonsaiは、宣言的な増分ステートマシンを構築します。Incrementalは、自己調整計算を容易にします。Base_quickcheckは、ランダムなプロパティベースのテストを提供します。Patdiffは、コードと設定ファイルに最適化されたdiffツールです。これらのライブラリは、OCaml開発の強力な基盤を形成し、効率性とコードの品質を向上させます。
続きを読む
TypeScript 5.8 は `--erasableSyntaxOnly` フラグを導入し、列挙型と名前空間の時代が事実上終わりました。リテラルユニオンはより優れた使い勝手を提供しますが、著者は列挙型へのノスタルジアを表明しています。この記事は、列挙型の重要な利点、つまり、非推奨宣言を含むメンバーの優れたドキュメントサポート（大規模コードベースにおいて不可欠）を強調しており、リテラルユニオンにはこの機能がありません。著者は、TypeScript チームに対し、将来のリリースでリテラルユニオンのドキュメントサポートを改善するよう求めています。
続きを読む
オープンソースプロジェクトのメンテナは、AIによって生成された低品質のバグ報告に悩まされています。これらの報告は、多くの場合、貴重な時間とリソースを無駄にするものであり、現在のAIシステムはコードを理解できず、誤った報告や悪意のある報告を頻繁に生成するためです。Pythonソフトウェア財団のセス・ラーソン氏とCurlプロジェクトのダニエル・ステンバーグ氏は、この問題を強調し、ボランティアのメンテナへの負担と、真のバグを見落とすリスクを指摘しています。この問題の解決には、コミュニティ全体での取り組みが必要であり、資金調達を改善し、効率性を高め、AI生成のジャンクレポートを特定して処理するためのより優れたフィルタリングメカニズムを開発することが必要です。
続きを読む
OpenAIの政府へのロビー活動費は、2024年に176万ドルに急増し、前年比で約7倍となった。これは、OpenAIが政治の世界に本格的に進出し、AI政策を形成しようとしていることを示している。ロビー活動は、AI研究センターの設立やAIモデルのベンチマークテストに関する法案に焦点を当てている。同社は、リンジー・グラハム上院議員の元スタッフを含むベテランのロビイストを複数雇用した。競合他社と比較してまだ少ないものの、OpenAIの影響力が増大しており、有利なエネルギー政策、国防関連契約、緩やかな規制を求めている。
続きを読む
ベテランエンジニアが、Telegramや様々なプロジェクトで「バグのないコーディング」を追求してきた経験を共有します。一見非効率に見えるかもしれませんが、長期的に見ると、莫大なメンテナンスコストとチームの燃え尽き症候群を防ぐことができると主張します。自身の経験やプロジェクトの事例を通して、製品の速度を重視しつつ、コードの品質と保守可能性を重視することで、効率的な開発と高品質な製品を実現できることを示しています。
続きを読む