この記事では、テック企業で蔓延しているエンジニアのオンコール体制の悪影響を検証します。Alexというエンジニアの経験をケーススタディとして用い、常時待機、睡眠不足、仕事と私生活の境界の曖昧化、そして十分な報酬がないことなど、オンコール業務に伴う計り知れないストレスと燃え尽きを明らかにします。このようなシステムに内在する搾取を当たり前のこととして扱う、蔓延する文化を批判し、企業に対し、オンコールポリシーの見直し、エンジニアの福祉のための公正な報酬と保護の提供を求めます。
続きを読む
コロンビア大学は、AIツールを使って技術面接で不正行為を助けるツールを開発した学生を停学処分にした。しかし、停学の理由はツールそのものではなく、懲戒委員会の記録と大学職員の写真をソーシャルメディアに公開したため。学生のChungin "Roy" Leeが開発したAIツール「Interview Coder」は月額60ドルで、年間200万ドルの収益が見込まれる。Leeは技術面接は大学の管轄外だと主張したが、大学は彼の行為を学事不正と判断し、1年間の停学処分とした。Leeはサンフランシスコに移住する予定だ。
続きを読む
Dishは、HTTP/Sと一般的なTCPエンドポイントの迅速なテストを目的とした、ミニマリストなGoベースのワンショット監視サービスです。ローカルのJSONファイルまたはリモートのJSON APIからターゲットリストを読み込むことができ、Telegram通知、Prometheus Pushgatewayへのプッシュ、Webhookコールバックなど、さまざまなアラート方法を提供します。ユーザーはコマンドライン引数を使用して柔軟に構成でき、カスタムヘッダーもサポートします。Dishは依存関係がなく、バイナリビルドまたはDockerイメージのどちらでも簡単に展開でき、監視システムの迅速な構築に最適です。
続きを読む
Revylは、iOS、Android、ウェブアプリケーションのバグを本番環境に到達する前に検出し、分類するプロアクティブなオブザーバビリティプラットフォームです。そのミッションは、エンドツーエンドテストを提供することでソフトウェアの信頼性を自動化し、より迅速で信頼性の高いリリースを可能にすることです。DragonCrawlの開発者によって設立され、Felicis、General Catalyst、Y Combinatorなどの著名な投資家、そしてMeta、Nvidia、Uberからの戦略的エンジェル投資家によって支援されているRevylは、初期段階からエンタープライズでのトラクションを誇り、デフォルトの信頼性プラットフォームになることを目指しています。
続きを読む
コロンビア大学の学生、ロイ・リーは、ソフトウェアエンジニアリング面接の標準であるLeetCodeの問題を解決するAIツール「Interview Coder」を開発しました。それを利用してアマゾンのインターンシップを獲得し、動画をオンラインで公開したところ、アマゾンと大学から反発を受けました。アマゾンが彼を報告し、調査が行われましたが、動画のバイラル的な成功とLeetCodeの妥当性に関する公の疑問から、大学は事件を再調査することになりました。この出来事は、AIの教育と雇用への影響に関する議論を引き起こし、従来の面接方法の限界を浮き彫りにしました。リーは、高圧的な時間制限のある試験ではなく、現実世界のプロジェクトやコーディングスキルに基づいて候補者を評価すべきだと主張しています。
続きを読む
この記事では、emダッシュ（—）、enダッシュ（–）、ハイフン（-）の3種類の記号の使い分けについて詳しく解説しています。emダッシュは、コンマ、コロン、または括弧の代わりに使用して、強調したり、補足情報を付け加えたりすることができます。enダッシュは主に範囲や単語間の接続を示すのに使用され、ハイフンは単語を繋いだり、音節を区切ったりするために使用されます。この記事では、多くの例を使って、これらの3種類の記号が様々な文脈で使用される方法を明確に説明し、フォーマルな文章とインフォーマルな文章における違いについても指摘しています。
続きを読む
『世界を理解できなくなる時』と『マニアク』の2冊は、20世紀の科学的ブレークスルーの背後にある物語を独自の視点から提示している。著者のベンハミン・ラバトゥートは、歴史的事実とフィクションを巧みに融合させ、ハイゼンベルク、シュレーディンガー、グロタンディークといった天才科学者たちの狂気と苦悩、そして量子力学や化学兵器などの発見が世界にもたらした深い影響を描写している。夢のような場面と不安を誘うディテールに満ちた本書は、科学的発見の代償と、人類の知識への飽くなき探求を問いかけている。
続きを読む
トランプ政権の職員がイエメン爆撃を計画するために使用していたSignalのグループチャットに、The Atlantic誌の編集長が誤って追加された「SignalGate」と呼ばれる事件により、この暗号化されたメッセージングアプリのダウンロード数が急増しました。この事件は、秘密の計画を暴露し、セキュリティプロトコルに関する懸念を引き起こし、Signalの米国におけるダウンロード数が通常の2倍に増加しました。これは、Signal史上最大の米国での成長であり、2021年のWhatsAppのプライバシーポリシー変更によるユーザー流入を上回っています。Sensor Towerのデータによると、米国のダウンロード数は前週比105％増、2024年の平均週比150％増となっています。
続きを読む
新しいレポートは、Amazonの米国ストアフロントにおける特定製品の地域別配送制限を明らかにしています。調査者らは、少なくとも1つの地域への配送が制限されている製品が17,050点にのぼることを発見しました。書籍は最も頻繁に制限されている製品カテゴリーであり、LGBTQ+、オカルト、エロティシズム、キリスト教、健康関連のトピックに関連していることが多かったです。影響を受けた地域には、多くの中東諸国と一部のアフリカ諸国が含まれていました。Amazonは、検閲を隠蔽するために誤解を招くようなエラーメッセージを使用しており、人権に関する公の約束に反しています。このレポートは、Amazonに検閲システムの改善と透明性の向上を推奨しています。
続きを読む
YouTubeの動画にインスパイアされたソフトウェアエンジニアが、自宅で人工太陽光を作るプロジェクトに挑戦しました。かさばる放物面反射鏡のデザインを避け、複数のレンズとLEDを格子状に配置するという巧妙な方法を採用しました。この記事では、3Dモデリング、PCB設計、CNC加工から最終組み立てまでの全工程を詳細に説明しており、直面した課題とその解決策も含まれています。最終製品は期待通りの明るさには届きませんでしたが、満足のいく幾何学的効果を実現し、作者に貴重なハードウェアエンジニアリングの経験をもたらしました。
続きを読む
xorqは、宣言型パイプラインの再現性とパフォーマンスをPython MLエコシステムにもたらす遅延計算フレームワークです。メモリ不足になることがなく、中間結果を自動的にキャッシュし、SQLエンジンとPython UDF間をシームレスに移動できます。再現性を維持しながらです。IbisとDataFusion上に構築されたxorqは、宣言型式、マルチエンジンサポート、ビルトインキャッシュ、シリアライズ可能なパイプライン、移植可能なUDF、Arrowネイティブアーキテクチャなどの機能を備えています。対話型ライブラリとCLIの両方を提供し、探索的研究から本番環境対応アーティファクトへのスムーズな移行を可能にします。
続きを読む
連邦当局によるタフツ大学大学院生ルメイサ・オズトゥルク氏の拘束を受け、パウダーハウス・パークで抗議活動が勃発しました。博士課程の候補者であるオズトゥルク氏は、ラマダン・イフタールに向かう途中で逮捕されました。様々な活動家グループが組織したこの抗議活動は、逮捕を非難し、移民の権利と移民コミュニティへの標的化への懸念を強調しました。演説者はコミュニティの関与を促し、具体的な行動を取らずに声明を出すだけの政治家を批判しました。このイベントは、抗議者たちが不当な慣習だと考えるものに対する継続的な抵抗の必要性を強調しました。
続きを読む
Inkoは、信頼性の高い並行ソフトウェアを構築するために設計された新しいプログラミング言語です。決定的な自動メモリ管理、ムーブセマンティクス、静的型付け、型安全な並行処理、効率的なエラー処理を提供することにより、並行ソフトウェア開発を簡素化し、予測不可能なパフォーマンス、ランタイムエラー、競合状態を排除します。InkoはLLVMマシンコードにコンパイルされます。例として、シンプルな「Hello, world！」と並行な階乗計算が示されています。詳細情報とインストール手順については、Inkoのウェブサイトをご覧ください。
続きを読む
研究者らは、ゼロ知識（ZK）回路構築のための、Lean4ベースの組込みドメイン特化言語（DSL）と形式検証フレームワークであるCleanを開発しました。ZK回路はバグが発生しやすいですが、CleanはLean4で回路を定義し、必要な特性を指定し、正式に証明することで、その正確性を向上させます。このプロジェクトはzkEVM形式検証プロジェクトの一部であり、zkEVMの形式検証のためのインフラストラクチャとツールを提供することを目指しています。Cleanは、回路の定義にwitness、assert、lookup、subcircuitの4つの基本操作をサポートし、使いやすさを向上させるためのモナドインターフェースを提供します。中核となるのはFormalCircuit構造であり、回路の定義、仮定、仕様、健全性、完全性の証明を依存型で密にパッケージングします。サブ回路の制約を（正式に検証された）仕様に再帰的に置き換えることで、大規模な回路を正式に検証できます。このフレームワークは、8ビット加算などの単純な回路を既に正常に検証しており、今後の計画として、より低レベルのガジェットを追加すること、一般的なハッシュ関数回路を定義すること、RISC-Vのサブセットのための正式に検証された最小限のVMを構築することが挙げられます。
続きを読む
日本語学習は、複雑な文字体系であるひらがな、カタカナ、漢字から始まります。この記事では、これら3つの文字の使い方、歴史的発展、常用漢字表、日本語能力試験（JLPT）について分かりやすく説明します。また、段階的にこの体系を習得し、最終的には日本語を流暢に読み書きできるようにするための学習方法も提案しています。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発および共有することを可能にするフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を受け入れ、尊重しています。arXivはこれらの価値観に尽力しており、これらの価値観を遵守するパートナーとのみ協力します。arXivコミュニティを強化するアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
Microsoftは、Officeアプリの読み込み速度を上げるため、5月に「Startup Boost」と呼ばれる新しいWindowsスケジュールタスクを導入します。このバックグラウンドタスクはパフォーマンスの向上を事前に読み込みますが、8GBのRAMと5GBの空きディスク容量を持つシステムでのみ実行され、省電力モードでは自動的に無効になります。ユーザーはOfficeアプリの設定で無効にできますが、Officeインストーラーは更新のたびに再び有効にします。起動時間を短縮するために設計されていますが、自動的に再度有効になるため、一部のユーザーをイライラさせる可能性があります。
続きを読む
ホワイトマン空軍基地からインド洋のディエゴ・ガルシア島へのB-2スピリットステルス爆撃機の大量展開が、公式には発表されていませんが、追跡されています。オープンソースの情報によると、少なくとも4機から5機のB-2が関与しており、1機は緊急事態のため真珠湾・ヒッカム統合基地に緊急着陸しました。この展開規模は前例がなく、通常の爆撃機任務部隊やグローバルパワーミッションをはるかに超えています。B-2には、人員や装備を輸送する多数のC-17輸送機が同行しています。ディエゴ・ガルシア島の滑走路閉鎖が5月1日まで続いていることから、長期滞在が示唆されます。公式発表はありませんが、イランに対するアメリカの制裁や軍事的な脅威など、中東の緊張の高まりと時期が重なっていることから、イランとの関連性を示唆する声が多くあります。B-2がGBU-57大型貫通爆弾を搭載できる能力も、この説を裏付けるものとなっています。
続きを読む
Dagger Shellは、最先端の実行時およびコンポジションシステムであるDagger Engineのbash構文フロントエンドです。Docker、Make、PowerShell、Nixの優れたアイデアを組み合わせ、最新のソフトウェア開発ワークフローを簡素化します。コンテナ、シークレット、サービスエンドポイントのネイティブサポート、型付きオブジェクト、宣言型実行、コンテンツアドレス可能なアーティファクトにより、Dagger Shellはビルド、テスト、一時的な環境、デプロイなどを合理化します。AIエージェントのオーケストレーションも容易にします。中心的な理念はモジュール性と合成可能性であり、複雑なタスクを単純なシェルスクリプトとコードに減らし、多数のDSLの必要性を排除することを目指しています。
続きを読む
Restateは、データベースやログシステムを必要としない、新しく構築された永続実行エンジンです。第一原理から構築され、コマンドログとイベントプロセッサを中心とした完全な自己完結型スタックを備え、耐久性と運用面で最高のログと競合します。この記事では、双方向接続されたサービス、パーティション化されたスケーリングモデル、組み込みRocksDB状態ストレージ、仮想ログの抽象化など、Restateアーキテクチャの詳細を説明します。Restateは、ログ設計とストレージ階層化によって低遅延と高耐久性のバランスを巧みに取り、複数のプログラミング言語のSDKをサポートしています。
続きを読む
OpenAIは、写真のようなリアルさと高度な世界知識を誇る強力な新しい画像生成モデルを発表しました。しかし、最も注目すべきはそのテキストレンダリング機能で、ぼやけたAI画像ではなく、くっきりとした読みやすいテキストを生成します。これにより、AI生成画像はマーケティングに非常に適したものとなり、「雰囲気マーケティング」という新しい概念が生まれました。この記事では、AI生成画像を使った雰囲気マーケティングの10個の例を紹介し、ソーシャルメディア投稿、漫画、インフォグラフィック、製品プロモーションなど、様々な用途をカバーしています。各例のプロンプトも含まれています。著者は、雰囲気マーケティングが製品開発の新しい標準になると予測しています。
続きを読む
カリフォルニア州は、2032年までに学校給食から特定の超加工食品を段階的に廃止する、全米初の法案（Assembly Bill 1264）を提出しました。この法案は、超加工食品を定義し、有害な製品の特定と除去を科学者に委託します。民主党と共和党の両方の支持を得ているこの取り組みは、肥満やADHDなど、これらの食品の健康への影響に関する懸念に対処するものです。これは、カリフォルニア州が以前に行った特定の食品着色料や化学物質の禁止に続き、他の州でも同様の法案が登場しており、食品安全と子供の健康に対する全国的な関心の高まりを反映しています。
続きを読む
この記事は、著者の個人的な経験を通してコルーチンの哲学を探ります。プリプロセッサのテクニックでC言語でコルーチンをシミュレートした初期の頃から、C++20のネイティブコルーチンが登場するまで、著者はその使用と利点に関する洞察を共有します。状態マシンやスレッドと比較することで、コルーチンの柔軟性、デバッグの容易さ、クリーンアップの容易さが強調され、特にネットワークプロトコルやデータストリーム処理などのシーケンシャルなタスクに役立つことが示されています。この記事では、様々なコルーチンの実装、キューとプリフィルターを使用した最適化技術、そしてコルーチンの将来像について探求します。
続きを読む
この記事は、アメリカ合衆国が現在直面している資源不足、特に住宅不足の問題を探っています。著者は、過剰な規制と承認プロセスが非効率性を生み出し、資源の有効活用を妨げていると主張しています。「完璧主義は善の敵」という考え方が、国民の広範な不満につながっています。この記事は、政府に対し、効率性を向上させ、煩雑な手続きよりも具体的な成果を優先し、深刻化する資源不足に対処するよう求めています。
続きを読む
マイクロソフトCEOのサティア・ナデラは、DeepSeekのR1モデルをAzureクラウドプラットフォームに迅速に展開し、マイクロソフトのAIアプローチにおける戦略的な転換を示しました。DeepSeekの高効率AIモデルと精鋭チームはApp Storeで成功を収め、マイクロソフト自身のAI開発における新たなベンチマークを打ち立てました。マイクロソフトはAIに多大な投資を行い、データセンターに800億ドルを投じ、Copilotのための独自のMuseモデルの研究開発を進めており、競争優位性を高めようとしています。しかし、データセンターの潜在的な過剰容量や、2030年のカーボンニュートラル目標達成などの課題も残っています。
続きを読む
TerraformでDockerコンテナを管理する場合、Dockerプロバイダーは`image`属性をSHAダイジェストに変換します。これにより、後続のTerraform refreshで画像の変更が誤って検出され、コンテナの再作成が強制されます。`lifecycle { ignore_changes = [image] }`を単純に使用すると、実際の画像の変更が隠蔽され、潜在的なリスクが生じます。この記事では、`null_resource`をトリガーとして利用する解決策を示します。`image`属性が変更されると、`null_resource`が再構築され、間接的にコンテナの再構築がトリガーされます。これにより、画像の更新を保証しながら、不要なコンテナの再作成を回避します。
続きを読む
WhatsAppのアップデート（バージョン25.8.74）後、iPhoneユーザーは、通話とテキストメッセージのデフォルトアプリとしてWhatsAppを設定できるようになりました。Appleは当初、EUユーザー向けにこの機能を発表し、その後、iOS 18.2で全ユーザーに拡張しました。デフォルトを変更するには、設定>アプリ>デフォルトアプリに移動し、メッセージと通話を選択します。変更後、Webページまたは連絡先上の電話番号をタップすると、WhatsAppが自動的に開きます。
続きを読む
イェール大学の新たな研究によると、ビデオ会議で安っぽい音質のマイクを使用すると、発言者の知性、信頼性、魅力度に対する人の評価に大きな影響を与え、就職活動にも悪影響を及ぼす可能性があることが明らかになりました。研究者らは、メッセージの内容とは関係なく、音質の悪さが否定的な判断につながることを実験で示しました。これは、マイクの音質と社会経済的地位との関連性も考慮すると、無意識の偏見と差別につながる可能性を示唆しています。この研究は、ビデオ面接の前にマイクの音質をテストすることの重要性を強調しています。
続きを読む
ロンドン警視庁は、犯罪対策のため、今夏、クロイドン市街地に常設の顔認識カメラ2台を設置する。この措置は、システムの誤認識や犯罪容疑者以外の者（脆弱な立場の人々や被害者を含む）の監視への利用可能性など、プライバシーへの懸念を引き起こしている。警察は高い精度を主張するものの、その合法性には異論があり、ディストピア的な監視の悪夢だと批判する声もある。
続きを読む
この記事は、医療請求に使用されるCPTコード（現在の処置用語）に対する、アメリカ医師会（AMA）による有利な独占を暴きます。AMAはこれらのコードを使用するソフトウェア会社に高額なロイヤルティを請求しており、その費用は最終的に医師と患者に転嫁されます。この慣習は医師に負担をかけ、医療政策に影響を与え、AMAの焦点を会員の利益から利益の最大化へとシフトさせています。著者は、公正な競争と公益を回復するために、CPTコードの著作権の無効化や代替案の開発などの政府介入を訴えています。ロバート・ケネディJr. のHHS長官指名に対するAMAの沈黙は、この権力構造を示唆しています。
続きを読む