テスラは、カナダの電気自動車インセンティブで数百万ドルの申請をめぐる論争に巻き込まれている。カナダ政府は、テスラがインセンティブ期限の72時間前に8653台の車両の申請を提出したことを受け、4300万ドルの支払いを凍結した。これは異常に高い数字である。テスラは、これらは単なる未処理の申請だったと主張しているが、遡及的な申請がいくつあったかは明らかにしていない。この事件は、テスラのカナダ事業の経営、CEOイーロン・マスクの行動、カナダ政府との関係の悪化、そしてカナダにおけるテスラの悪化する評判について疑問を投げかけている。
続きを読む
このブログ記事では、優れたソフトウェアチュートリアルを作成するためのルールについて概説しています。専門用語を避け、目標を明確に示し、コピー＆ペースト可能なコードスニペットを提供し、コードの状態を動作可能に維持し、依存関係を最小限に抑えることの重要性を強調しています。良いチュートリアルと悪いチュートリアルの違いを対照的な例で示し、長いコマンドラインフラグの使用、ユーザー定義値と再利用可能なロジックの分離、一貫性のある記述的な見出しの使用などの実際的な改善策を提案しています。最終的な目的は、初心者にも分かりやすく、簡単に従うことができるチュートリアルを作成することです。
続きを読む
Ergo S-1は、Cherry/GateronスイッチとCherry/OEM/DCSキーキャップに対応した、オープンソースのワイヤレス分割エルゴノミクスキーボードで、ZMKファームウェアを使用しています。失業中に設計されたこのキーボードは、DIYでの組み立てやすさを重視しており、より幅広いユーザーにアクセスできるようにしています。このプロジェクトでは、包括的な組み立て手順、部品表、Fusion 360設計ファイル、カスタムキーマップのサポートを提供しています。完全なキットはまだ入手できませんが、組み立て済みのキーボードはEtsyで販売されており、作成者はより簡単に組み立てられるキットの開発に積極的に取り組んでいます。
続きを読む
この記事では、メールが時代遅れであると主張し、情報の漏洩やメールの誤送信など、メールの誤用によって引き起こされる数多くのエラーやセキュリティリスクの例を挙げています。著者は、メールのBCC機能は1975年から存在するにもかかわらず、多くの人にとって依然として混乱の源であると指摘しています。共有ドキュメントやインスタントメッセージングなどの最新の共同作業ツールは、コミュニケーションのニーズにとって優れていると主張しています。メールは永続的なストレージという利点がありますが、デジタル時代においては扱いにくく、エラーが発生しやすいものです。著者は、より効率的なコミュニケーション方法を採用し、最終的にはメールを段階的に廃止することを提唱しています。
続きを読む
この記事では、SQLにおけるテストとビジネスロジックの再利用における欠点を考察し、「関数子」と呼ばれるコンポーザブルSQLフラグメントのソリューションを提案しています。クエリをパラメーター化し、具体的なテーブルではなくインターフェースに依存することで、関数子はSQLテストの課題を解決し、クエリ間でのビジネスロジックの再利用を可能にし、コードの可読性、テスト可能性、再利用性を向上させます。著者らは、ジェネリクス、ビジネスロジックの一般化、グローバル変数の回避といった拡張についても議論しており、最終的には効率的で、テスト可能で、理解しやすいSQLクエリを実現しています。
続きを読む
ナポリ国立考古学博物館に収蔵されている、イッソスの戦いを描いた2100年前のモザイクに対して、非破壊分析が行われました。マルチスペクトルイメージング、X線蛍光分析、分光分析などの手法を用いて、モザイクの複雑な構成と劣化の兆候が明らかにされました。研究では、イタリア産や地中海産の様々な大理石や火山岩、過去の修復に使用された石膏やワックスなど、様々な材料が使用されていることが判明しました。また、熱的不安定性や構造的問題も明らかになり、今後の修復作業に貴重なデータが提供されました。
続きを読む
シュタインズ・ゲートの世界では、予め定められた経路から外れる出来事や人物を消去する自動的なエラー修正メカニズムが存在するように見えます。主人公の岡部倫太郎は、何度も過去を変えようとして友人たちを救おうとしますが、常に失敗します。これは、動作中のシミュレーションが「エラー」を修正しているように見えます。最終的に岡部が消え、世界が「正常」に戻るのは、彼の行動がシミュレーションにおける異常であり、システムによって自動的に削除されたことを示唆しています。これは、私たちも同様のシミュレーションされた現実の中で生きているのではないかという疑問を投げかけます。
続きを読む
TSMCはIEDM 2024で、省電力ナノシートトランジスタと3DICの同時最適化を特徴とする2nmプラットフォームテクノロジーを発表しました。このプロセスは、3nmノードと比較して、電力性能が30%向上し、性能が15%向上すると謳われており、2nmクラスで最も高密度になると予想されています。しかし、分析によると、初期歩留まりは良好であるものの、1枚あたり3万ドルという価格が競争力を阻害し、IntelやSamsungに市場シェア獲得のチャンスを与える可能性があります。TSMCの2nmノードは、今年の後半に量産開始される予定です。
続きを読む
WordPeckerは、Duolingoスタイルのレッスンと独自の厳選された語彙リストを組み合わせたパーソナライズされた言語学習アプリです。書籍、記事、動画からシームレスに単語を追加し、インタラクティブなクイズとLLM生成のレッスンで復習できます。従来の言語学習における語彙習得の課題に対処し、学習を文脈に結び付けることで効率と定着率を高めます。現在、複数の問題タイプに対応しており、今後の開発では、進捗状況の追跡、リストの共有などが予定されています。
続きを読む
今日の商品市場では大きな変動が見られました。原油価格は2％以上下落し、ブレント原油とWTI原油は大幅な下落を示しました。ガソリンと灯油の価格も下がりました。しかし、金価格は逆行し、1％以上上昇し、銀と銅も上昇しました。大豆、小麦、石炭の価格はすべて下落しましたが、天然ガスと木材の価格はわずかに上昇しました。鉄鉱石価格はわずかに上昇しました。鉄鋼価格はわずかに下落しました。TTF天然ガス価格は2％以上上昇しました。
続きを読む
アメリカ海洋大気庁（NOAA）は、職員に対し、アメリカ政府と直接協力している者を含む外国人との一切の連絡を一時的に停止するよう命じた。この措置は懸念を引き起こしており、その動機は不明だが、トランプ政権の再生可能エネルギーに対する姿勢や、NOAAへの政治的圧力と関連している可能性がある。この禁止は、国際協力、データ共有、人事交流に影響し、気候変動研究、海洋保護、災害警報システムなどに深刻な影響を与える可能性がある。情報筋によると、これはNOAA内部の人事異動や政治的な審査と関連しているという。
続きを読む
プリンストンビジョン＆ラーニングラボによって開発されたInfinigenは、Blenderをベースとした、BSD 3-Clauseライセンスで自由に利用できる3Dシーンのプロシージャルジェネレーターです。ランダム化された数学的ルールを使用して、マクロ構造からミクロなディテールまで全てを制御し、無限のバリエーションを持つ高品質な3Dシーンを生成します。光流や深度推定など、様々なコンピュータビジョンタスクのための注釈を自動的に生成し、3Dビジョン研究に最適です。リアルなジオメトリに焦点を当てることで、正確なグランドトゥルースデータが保証されます。
続きを読む
DOSエミュレータの改良中に、開発者はファイル入出力において、一見些細なバグを発見しました。`echo`コマンドでファイルにテキストを追加したところ、予期せぬ結果になったのです。デバッグの結果、Cランタイムライブラリが読み書きの切り替えを処理する方法に欠陥があることが判明しました。この欠陥は、1970年代、さらにはそれ以前のUNIXシステムにまで遡ります。この記事では、初期のK&R Cから現代のC規格まで、歴史的文脈を深く掘り下げ、さまざまなUNIXバージョンとCコンパイラ間の実装の違いを探ります。根本原因は、初期のCライブラリがアップデートモードを処理する際の制限にあると特定され、異なるオペレーティングシステムとコンパイラがこれらの制限をどのように扱ったかという違いが明らかになります。著者は、現在でもポータブルなCコードでは、ファイルの読み書きを切り替える際に、明示的な`fseek`呼び出しが必要であると結論付けています。
続きを読む
「Marsha P Johnson」というブラウザ拡張機能は、「LGB」を「LGBTQ+🧱」に置き換えることで、トランスジェンダーの抹消に対抗します。開発者は、米国政府が政府ウェブサイトからトランスジェンダーに関する記述を積極的に削除していること、ストーンウォール国立記念碑のウェブサイトからも「TQ+」が削除されていることを強調しています。この露骨な抹消行為は、この拡張機能によって積極的に対抗され、ユーザーは検閲に気づき、抗議することができます。
続きを読む
エルパソのセグンド・バリオ地区で、60代の職人ホセ・コントレラスとビクター・ロドリゲスは、手作りカウボーイブーツの伝統を守り続けています。「黄金の針」（Agujas de oro）として知られる彼らは、消えゆく職人技の担い手です。この記事では、彼らの素晴らしい技術と、この伝統的技術の未来への課題と希望について語られています。
続きを読む
Futility Closetのブログ記事では、数学の公式a² – b² = (a + b)(a – b)の視覚的な証明が提示されています。ソフィー・ジェルマンの洞察に富んだ言葉「代数は書かれた幾何学であり、幾何学は図解された代数であると言われている」を引用しています。この記事では、この公式を分かりやすく図解して示し、数学の優雅さと代数と幾何学の密接な関係を強調しています。
続きを読む
トランプ大統領の2回目の就任式当日、Instagramは主要な民主党系のハッシュタグの検索結果を9時間にわたって検閲し、世界中のユーザーに影響を与えました。Metaは技術的なエラーだと主張しましたが、証拠は民主党系のハッシュタグを意図的に選んで検閲したことを示唆しており、共和党系のハッシュタグは影響を受けませんでした。これは、トランプの「言論の自由回復」に関する大統領令、ザッカーバーグ氏とトランプ氏の会談、Metaの内容モデレーションチームの変更の後に行われたもので、政治的偏見に関する懸念を引き起こしています。
続きを読む
AI支援コーディングツールの台頭はソフトウェアエンジニアリングに革命をもたらしましたが、完璧ではありません。この記事では、AIの2つの典型的な使用方法である「ブートストラッパー」と「イテレーター」を探ります。ブートストラッパーはAIを利用して迅速にプロトタイプを作成する一方、イテレーターは日々の開発ワークフローでAIを活用してコード補完、リファクタリングなどを実行します。AIは効率を大幅に向上させますが、「70%問題」も存在します。AIは大部分の作業を迅速に処理しますが、残りの30%の微調整には依然として人的介入が必要であり、特に経験の浅い開発者にとって困難です。この記事では、AIは経験豊富な開発者にとってより適しており、既知の問題解決の加速や新しいアプローチの探求に役立つものの、開発者を完全に置き換えるものではないことを強調しています。将来的には、AI支援コーディングは、より高い自律性とマルチモーダル機能を備えた「インテリジェントエージェント」へと進化しますが、人間の監督とガイダンスは不可欠なままです。最終的に、ソフトウェアエンジニアリングの本質は変わらず、経験豊富なエンジニアの需要はさらに高まる可能性があります。
続きを読む
ブロガーのTavian Barnesは、Intel Alder LakeプロセッサにおけるSHLX命令に関する奇妙なパフォーマンスの不具合を発見しました。特定の条件下では、この命令は予想よりもはるかに遅く、3倍も遅くなります。ベンチマークテストでは、64ビットの即値を使用してシフトカウントレジスタを初期化すると速度低下が発生しますが、32ビット命令やその他の初期化方法では発生しません。この違いは不可解であり、SHLXはシフトカウントレジスタの下位6ビットしか使用しないためです。根本原因はまだ不明ですが、この発見はAlder Lakeマイクロアーキテクチャにおける潜在的な最適化の欠如を示唆しています。
続きを読む
Ghostwriterは、reMarkable 2上で動作するAIアシスタントで、手書きまたは画面上のプロンプトに応じて、OpenAI、Anthropic、Google Geminiなどのモデルを使用してテキストまたは画像の応答を生成します。開発者は、手書き認識、画像生成、仮想キーボード機能を繰り返し改良し、さまざまなモデルとAPIへの対応を追加しました。Ghostwriterは現在、テキストアシストモードと描画モードを提供しており、堅牢な評価システムと拡張されたツールセットによるユーザーエクスペリエンスの向上を目指して開発が続けられています。
続きを読む
コンピュータ歴史博物館は、コンピューティングのパイオニアであるドナルド・L・ビッツァー氏（1934-2024年）の逝去を悼みます。氏は、フラットパネルプラズマディスプレイの共同発明者であり、世界初のタイムシェアリング型コンピュータベース教育システムであり、画期的なオンラインコミュニティでもあったPLATOシステムの開発者でした。ビッツァー氏の革新は、現代の多くのオンライン機能を先取りしており、PLATOシステムには、フォーラム、掲示板、オンラインテスト、電子メール、チャットルーム、インスタントメッセージング、マルチプレイヤーゲームなどが含まれており、今日の私たちが知るインターネット社会の基礎を築きました。
続きを読む
Y Combinator支援のスタートアップ企業OmniAIが、年収125,000ドル～175,000ドルと株式報酬でフルスタックエンジニアを募集しています。非構造化データの処理方法を新たに構築し、これまで不可能だった大規模な分析を実現することを目指しています。応募条件は3年以上の経験、Node.js、TypeScript、React/NextJS、Postgresなどの技術スタックへの習熟、そしてLLMとOCRに関する深い理解です。面接プロセスは、電話面接、アーキテクチャ設計面接、そして現場でのコーディング課題となっています。
続きを読む
Cloudflareは、Topazと呼ばれるシステムを使用して、内部DNSアドレス指定動作の正確性を正式に検証しています。Topazは、DNSビジネス目標を宣言型プログラムとしてエンコードし、各プログラムはマッチング関数、レスポンス関数、構成で構成されています。デプロイ前に、カスタムモデルチェッカーがこれらのプログラムを検証して、競合やバグがないことを確認し、信頼性が高く一貫性のあるDNS構成を保証します。これにより、IPアドレス解決の矛盾を防ぎ、インターネットの信頼性が向上します。
続きを読む
この記事では、著者が数学の学習に戻ったこと、そしてオンライン学習プラットフォームMathAcademyでの経験について詳しく説明しています。以前、数学の教師とのネガティブな経験から長い間数学から離れていましたが、プログラミングに必要な数学スキルを向上させるために再び数学を学び始めました。MathAcademyの体系的なカリキュラム、サポート力のあるコミュニティ、ゲーム化された機能は、継続的な学習と進歩を促進するとして高く評価されています。費用が高いことを認めつつも、著者はMathAcademyを将来の数学学習者にとって貴重なリソースとして推奨しています。
続きを読む
C言語におけるジェネリック型（パラメトリック多相）のサポート不足はよくある不満です。この記事では、C言語でジェネリック型をエミュレートする4つの方法を調べます：テンプレートマクロ、テンプレートヘッダー、型消去、インラインマクロ。テンプレートマクロはシンプルですが、可読性とエラーを起こしやすいという欠点があります。テンプレートヘッダーは可読性を向上させますが、名前付けの問題が残ります。型消去は型安全性を犠牲にしますが、FFIや動的リンクには役立ちます。インラインマクロは使いやすいですが、コードの肥大化につながります。最終的に、著者はプロジェクトのニーズに基づいて、テンプレートヘッダー（開発が容易）とインラインマクロ（使用が容易）のどちらかを選択することを提案しています。
続きを読む
ダリオ・アモデイの記事は、中国のAI企業DeepSeekの台頭とその米国におけるチップ輸出規制政策への影響を考察しています。DeepSeekは効率的なエンジニアリングの革新により、より低いコストで、米国の最先端AIモデルに匹敵する性能を実現しました。アモデイは、DeepSeekの成功は輸出規制を否定するものではなく、むしろその重要性を強調していると主張しています。彼はAI開発の3つのダイナミクス、つまりスケーリング則、曲線のシフト、パラダイムシフトを分析し、DeepSeekの進歩は予想されるコスト削減トレンドと一致すると結論付けています。最終的に、アモデイは、中国が大量のチップを入手するのを防ぎ、それによってAI分野の二極化を回避し、米国の世界的なリーダーシップを守るために、輸出規制が不可欠であると強調しています。
続きを読む
dnSpyExは、人気の.NETデバッガーおよびアセンブリエディターであるdnSpyプロジェクトの非公式な継続です。ソースコードがなくても.NETおよびUnityアセンブリの編集とデバッグが可能です。主な機能には、.NETおよびUnityアセンブリのデバッグと編集、明るいテーマと暗いテーマ、そして強力な逆コンパイル、16進編集、デバッグ機能（ブレークポイントの設定、変数ウィンドウ、コールスタック、例外処理など）が含まれます。dnSpyExは、拡張機能とスクリプト作成のための公開APIを提供しており、複数の言語翻訳をサポートしています。
続きを読む
英国政府は、政府サービスや書類へのアクセスを簡素化するため、GOV.UK Walletアプリとデジタル運転免許証を導入します。デジタル運転免許証は最初の機能の一つとなり、ユーザーはスマホで免許証を提示して、オンライン・オフラインで年齢確認や運転資格の証明を行うことができます。Walletには、退役軍人カードなどの他の政府発行書類も含まれます。同時に政府は、公共部門の技術改善を通じて450億ポンドを節約し、技術を活用して経済成長を促進する計画です。今夏にローンチ予定のGOV.UKアプリは、パーソナライズされたサービスやAI搭載のチャットボットなどの機能を提供します。
続きを読む
FOSDEMで、MetaのJake HillionとOpenJDK開発者のJohannes Bechbergerは、BPFスケジューリングフレームワーク`sched_ext`を用いて構築したコンカレンシーファジングスケジューラを発表しました。このスケジューラは、意図的にスケジューリングにランダム性を取り入れることで、遅延を発生させ、スレッドの実行順序を変更し、再現困難なコンカレンシーバグを表面化させます。現在、パフォーマンスオーバーヘッドが大きく、開発段階でのデバッグに限定されますが、現実世界のロジックエラーを発見する効果的な方法を提供し、最適化後に将来的な本番環境での使用が期待されます。
続きを読む
この記事は、RubyのJSONパフォーマンス最適化に関するシリーズの第4部であり、RubyのJSONシリアライゼーション速度を向上させるための著者の取り組みを詳述しています。綿密なマイクロベンチマークとプロファイリングを通じて、著者はスタックアロケーションとインライン化の手法を探求します。バッファの割り当てをヒープからスタックに変更し、戦略的にインライン化を使用することで、パフォーマンスが大幅に向上します。しかし、この記事では、マイクロベンチマークの改善と現実世界のアプリケーションのパフォーマンスのバランスを取る重要性を強調し、最適化がより大きなデータセットに悪影響を与えた事例を示しています。
続きを読む