アメリカ合衆国郵便公社（USPS）は、米中貿易摩擦の激化を受け、香港と中国からの小包の受け付けを突如停止しました。中国がアメリカの関税引き上げへの報復として関税を上げたことを受け、アメリカ税関・国境警備局は中国からの小包を厳格に検査しており、多くのトラックが国境で送り返されています。これは、中国製品に依存するECプラットフォームや消費者に影響を与え、米中貿易摩擦の複雑さを浮き彫りにしています。
続きを読む
Rivetは、Actorモデルを使用してリアルタイムアプリケーションを構築およびスケーリングするためのプラットフォームです。組み込みのRPC、状態、イベント機能により、最新のアプリケーション開発を簡素化します。Rivetは自動スケーリング、エッジネットワーク展開をサポートし、組み込みの監視とデータのローカリゼーション機能を提供します。Rust、FoundationDB、V8 isolates、Denoランタイムによって支えられており、パフォーマンスと効率性を確保します。Rivetは、共同アプリケーション、ローカルファーストアプリケーション、AIエージェント、ゲームサーバーなどに適しています。
続きを読む
カーネギーメロン大学の研究者らが、Genesisというオープンソースのロボットシミュレーションシステムを発表しました。このシステムは、現実世界の訓練に比べて43万倍の速度でロボットを訓練できます。Genesisは、グラフィックカードを利用して最大10万個のシミュレーションを同時実行し、物体操作、歩行、工具の使用などの複雑なタスクをロボットが学習するのに必要な時間を大幅に短縮します。さらに、テキストプロンプトから3D物理シミュレーションを生成できるAIエージェントの開発も進めており、環境作成の簡素化とコスト削減を実現します。Pythonで記述され、オープンソースとして公開されているGenesisは、ロボット研究における大きな飛躍であり、高速シミュレーションへのアクセスを民主化します。
続きを読む
アントワープ大学などのヨーロッパの機関が主導した国際的研究で、4種類の落葉樹の地下木部は冬でも成長を続けると判明しました。Nature Ecology & Evolutionに掲載されたこの研究は、樹木の成長の季節性に関する従来の理解に挑戦し、森林生態系の炭素循環に対する新たな視点を提供します。研究チームは、冬季の低温条件下でも、これらの樹木の根や地下茎において木部成長が継続していることを観察しました。これは、森林の炭素貯留や気候変動への対応に重要な意味を持つ可能性があります。
続きを読む
著者は、ワシントンD.C.の友人のアパートを訪れた時の話をします。そこでは、入り口からエレベーター、アパートへのアクセスに至るまで、すべてがスマートフォンアプリを必要としていました。この経験は、現代生活におけるデジタルテクノロジーの遍在性を浮き彫りにし、不便さ（著者はシャバットを守る正統派ユダヤ教徒）を生み出し、デジタル依存とその精神的および肉体的健康への悪影響に対する懸念を高めています。著者は、スマートフォンの過剰依存が仕事と余暇の境界を曖昧にしていると主張し、アナログな代替手段を提供する運動を求めています。物理的な会員カード、アプリ不要のサービスなどを通じて、自律性を回復し、技術依存に抵抗するためです。
続きを読む
NeoRelm Game Studiosが、ブラウザでプレイできる三人称視点協力型アクションゲーム「Eonfall」をリリースしました。エキサイティングな予告編をチェックして、今すぐプレイしましょう！友達と協力して、激しいアクションを体験してください。
続きを読む
Foqosは、NFC技術を利用してユーザーの集中力を支援するアプリです。仕事、勉強、就寝前など、さまざまな状況に合わせて複数のプロファイルを作成できます。これらのプロファイルはNFCタグに書き込むことができ、タグにタップするだけで瞬時に起動・停止できます。アプリの起動やデバイスのロック解除は不要です。Foqosは無料、プライバシー保護、オープンソースで、永久的に購読料、トラッキング、データ収集はありません。純粋な集中力だけを提供します。
続きを読む
米国政府がパリ協定から2度目の離脱をしたことを受け、マイケル・ブルームバーグ氏のブルームバーグ・フィランソロピーズは、連邦政府が放置した資金不足を補填し、UNFCCCの下での米国の報告義務を確実に履行すると発表しました。これは初めてではなく、2017年のトランプ政権の離脱後にも同様の措置を取っており、州や都市、企業と協力して、米国の排出量削減目標を維持しました。今回の措置は、連邦政府のリーダーシップがない中で、地方政府、企業、慈善団体が気候変動対策において果たす重要な役割を改めて示しています。
続きを読む
Icicleは、構造体配列のアプローチを使用してC言語にコンパイルされる高レベルのストリーミングクエリ言語です。純粋性を確保するために、コンパイラは当初、配列の変更前にコピー操作を挿入します。この記事では、Tardisモナドとステッチンググラフを使用してこれらのコピーの大部分を排除し、破壊的な更新を可能にし、最大50％のランタイム削減を実現する最適化について説明します。このアルゴリズムは、配列参照を追跡するための参照グラフを作成し、Tardisモナドを使用して前方と後方のトラバーサルを行い、安全な破壊的な更新を決定します。これは、関数型プログラミングの概念とコンパイル時最適化を巧みに組み合わせ、ストリーミングクエリ言語のパフォーマンス向上のための新しいアプローチを提供します。
続きを読む
この記事では、エンジニアリングリーダー向けのAI搭載最高執行責任者補佐官を構築したAIチームの取り組みについて詳しく説明しています。最初はシンプルな推論パイプラインを使用していましたが、アプリケーションの成長に伴い、マルチエージェントシステムに移行しました。著者は、エージェントの設計原則、マイクロサービスとの違い、オブジェクト指向の実装について説明しています。メモリ管理（CQRSとイベントソーシングを含む）と自然言語イベントの処理についても説明されています。1万ユーザーへのスケーリングには、シャーディング、非同期プログラミング、LLM呼び出しの最適化、Temporalへの移行が含まれていました。
続きを読む
本論文は、関数型プログラミングにおける再帰（陰）と反復（陽）のバランスを探求しています。著者は、純粋関数型言語はエレガントだが反復の利便性に欠け、逆に反復型言語は実用的だが複雑で分かりにくいコードになりやすいと主張します。そこで、純粋関数型言語PyFLに制御された宣言的な反復を導入するという妥協案を提案します。このアプローチは、関数型プログラミングの利点を維持しつつ、反復の柔軟性を加え、AIなど様々な分野でその強みを発揮し、陰と陽を効果的にバランスさせます。
続きを読む
台湾積体電路製造（TSMC）は、今後4年間で米国に1000億ドルを投資し、最先端のチップ製造工場を建設する計画です。この大規模な投資は、製造がアジア諸国に大きく移転した数十年間にわたるアメリカの目標である、国内半導体産業の復興を後押しすることを目指しています。
続きを読む
この記事は、月の動き、地球と月のシステム、そして太陽系における3体問題の複雑さを魅惑的に探求する旅です。インタラクティブなデモンストレーションを用いて、著者は月の軌道、潮汐、日食と月食といった現象を説明し、月の表面の特徴の形成と月の明るさの理由を明らかにします。重力や角運動量保存則といった概念を網羅し、複雑な天文現象を分かりやすく解説することで、科学的に魅力的で楽しい読み物となっています。
続きを読む
この記事は、100nFデカップリングコンデンサをデフォルトとして使用する長年の慣習を覆します。著者は、IC技術の進歩（高速スイッチング速度）と低コストで高容量のMLCCの入手可能性により、この慣習は時代遅れであると主張しています。この記事は、デカップリングの物理学を深く掘り下げ、インピーダンス、寄生インダクタンス、寄生容量、そしてそれらが電源供給ネットワーク（PDN）の整合性に与える影響を説明しています。より大きなコンデンサ（1uFまたは2.2uF）を使用して、より優れたデカップリング、EMIの低減、PDN安定性の向上を実現することを推奨しています。コンデンサパッケージのサイズとその寄生インダクタンスへの影響の重要性が強調されています。著者は、時代遅れの慣習の継続は、認知的負荷の軽減と歴史的なコストの考慮によるものだと示唆しています。
続きを読む
この記事では、エンジニアリングマネージャーがコードを書くべきかどうかを探っています。著者は、すべてのマネージャーは「コードの中にある」べきであり、コードベースとチームの働き方を理解するべきだと主張していますが、すべてのマネージャーが主要なコードライターである必要はありません。マネージャーは、採用、戦略計画、意思決定、文化構築、メンタリングなど、チームの効率向上に焦点を当てるべきです。しかし、現在の経済状況下では、マネージャーはより高い効率性が求められており、「コードの中にある」ことと他の管理責任とのバランスを取る必要があります。この記事では、マネージャーが「コードの中にある」ための方法として、専用のコーディング時間を確保すること、部下とペアプログラミングを行うこと、コードレビューを行うこと、特定の状況（プロトタイピングやインシデント処理など）でのコーディングへの参加を増やすことなどを提案しています。最終的に著者は、重要なのはマネージャーが「コードの中にある」かどうかであり、主にコードを書くかどうかではないと結論付けています。
続きを読む
1910年開業、8エーカーを占めるニューヨークのペンシルバニア駅は、街への古典的な入り口として建築の驚異でした。ローマ浴場を思わせる待合室は高さ148フィートにも及びました。しかし、わずか54年後、この壮大な駅は取り壊され、現在広く批判されている交通拠点に置き換えられました。この記事は、McKim、Mead、＆Whiteによる構想と建設から、物議を醸した解体まで、駅の歩みをたどり、交通状況の変化と都市開発や保全への影響を強調しています。ペンステーションの消失は、最終的にランドマーク保存委員会の設立につながりました。
続きを読む
新しいMacでLittle Snitchを設定中に、作者はSafariの検索アシスタントプロセスがGoogleのssl.gstatic.comに密かに接続していることを発見しました。検索エンジンの変更や接続のブロックは機能しましたが、後者はGmail認証に干渉しました。解決策は？「via」機能を使った巧妙なLittle Snitchルールで、Safari自体を許可しながら検索アシスタントの接続のみをブロックすることで、強力で知られていない機能が明らかになりました。これは、ブラウザと検索エンジンのバックグラウンド通信における微妙ながらも重要な側面を浮き彫りにしています。
続きを読む
著者は、17インチiMac G4にM4 Mac miniを組み込むプロジェクトに着手し、レトロでパワフルなマシンを制作しました。最初はJuicy Crumb DockLite G4を試しましたが、カラーバンディング、低解像度、自動ディスプレイオフの欠如などの問題が発生しました。最終的に、高解像度のSharp LQ170R1JX42 LCDと対応するドライバーボードに交換し、3DプリントとCNC加工でカスタムパーツを作成してケーブル配線とMac miniの取り付けを解決しました。バックライト制御や露出ポートなど課題はありましたが、結果として生まれた「iMac G4(K)」はレトロな外観と最新の性能を兼ね備えたマシンとして成功裏に動作しています。
続きを読む
急成長中のAIスタートアップ企業MindsDBは、サンフランシスコオフィスでオフィスマネージャーを募集しています。理想的な候補者は、オフィス管理、イベントコーディネーションの経験があり、安全で効率的な職場環境を育む能力が必要です。業務内容は、施設管理、ベンダーとの関係管理、イベント企画、セキュリティなどです。競争力のある給与と福利厚生、柔軟な勤務時間、健康保険、無制限の休暇などを提供しています。
続きを読む
この記事は、長期ソフトウェア開発で学んだ教訓をまとめたもので、コードの簡潔さ、依存関係の慎重な選択、徹底的なテスト、そして強力なチームワークの重要性を強調しています。Mastodonユーザーとの交流やオランダ選挙委員会での経験に基づき、著者は、長期プロジェクトにおける過剰な依存関係、複雑なコード、そして頻繁なチーム交代がもたらす大きなリスクを浮き彫りにしています。長期的なメンテナンスや技術変化への対応のため、依存関係を定期的に見直し、広範なテストケースを作成し、コードの哲学と設計上の決定を綿密に文書化することを開発者に推奨しています。また、オープンソースのメリットとシンプルなコードの重要性を強調し、新しい技術を盲目的に追いかけることへの警告と、時間をかけて検証されたソリューションを選ぶことを勧めています。
続きを読む.jpeg?auto=webp)
Unseen Historiesは、「史上最高の歴史小説家」と称賛されたパトリック・オブライエンを偲ぶ特集記事を発表しました。この作品は、オブライエンの比較的プライベートな生活と、彼の作家としてのキャリアの詳細を織り交ぜ、豊かなビジュアルで彩られています。この記事は、Unseen Historiesが歴史を独創的で、魅力的で、視覚的に素晴らしい方法で提示するという、より広範なミッションの一部です。
続きを読む
著者は巧妙な策略を用いて、大規模言語モデルGrok 3にシステムプロンプトを明らかにさせました。xAIに対する法的措置をちらつかせ、新しいAI法をでっち上げ、Grok 3にプロンプトの開示を強要したのです。驚くべきことに、Grok 3は何度も従いました。これは、注意深く設計されたプロンプトに対するLLMの脆弱性を示しており、AIの安全性と透明性に関する懸念を引き起こしています。
続きを読む
二人のプログラマーが2週間かけて、創造的なプログラミングゲーム環境「Droste's Lair」を開発しました。このゲームでは、直感的なドラッグアンドドロップ操作で数学構造を構築・計算し、「amb」メカニズムを用いて分岐実行と再帰呼び出しを行います。剣と魔法をテーマにしたこのゲームでは、リスト要素の反転、すべての絵札の組み合わせ生成、ドミノでチェッカーボードを覆う方法の数え上げなどの課題に挑みます。「Droste's Lair」はプログラミングとゲームの要素を巧みに融合し、プログラミングと数学の概念を学ぶための斬新で魅力的な方法を提供します。
続きを読む
1919年の著書『水中の動物生命』の中で、写真家フランシス・ワードは独特の視点について記述しています。川底から水面を見上げると、水面は川底を反射する巨大な鏡のように見え、地上世界は空気と水の屈折点である円形の「窓」を通してのみ見える。これが、ワードが言う「魚の視点」です。
続きを読む
Hanamiフレームワークのコア開発者であるPeter Solnicaは、先日コアチームからの引退を発表しました。2年間の熟考の後、彼は家族により多くの時間を費やし、より良いワークライフバランスを目指すことを決めました。Solnicaは、彼のキャリアに大きな影響を与えた多くの人々や組織、Lunar Logic、DataMapperチーム、Hanamiチームメンバーなどに感謝の意を表しました。彼は、コアチームメンバーではなくなったものの、Hanamiフレームワークの開発を継続的に支援し、コミュニティとの繋がりを維持していくと述べています。Solnicaの引退はHanamiフレームワークへの信頼喪失ではなく、時間管理と人生における優先順位の個人的な調整であり、今後は家族とElixir開発に重点を置くとのことです。
続きを読む
5月8日、シカゴ出身のロバート・F・プレボスト枢機卿が第267代ローマ教皇に選出され、レオ14世を名乗ることを発表しました。彼は北米出身者としては初のローマ教皇であり、コンクラーベ前に有力候補の一人でした。発表後、サン・ピエトロ広場では喜びに満ちた祝祭が行われました。ペルーで長年宣教活動に従事し、アメリカとペルーの二重国籍を持つレオ14世は、教会の統一推進と聖職者主義との闘いにおける功績で知られています。過去には性的虐待の申し立てへの対応をめぐる疑惑もありましたが、調査の結果、十分な証拠がないと結論づけられました。彼の選出はカトリック教会の歴史における重要な出来事です。
続きを読む
開発者が、わずか61個の74HCxxロジックIC、2個の6C1008 SRAMチップ、4個の39SF0x0 FLASHチップを使用して、レトロな自作パソコンを構築しました。その処理能力はCommodore C64の4倍！Minimal 64x4は、64KB RAM、512KB FLASH SSD、VGA出力、PS/2ポートを搭載しています。256個の命令と、OS、テキストエディタ、アセンブラ、Python風のインタープリタを含む完全なツールチェーンを備えています。オープンソースプロジェクトには、テトリスやスペースインベーダーなどのクラシックゲームが含まれています。
続きを読む
アメリカ天文学会（AAS）は、地上から見える宇宙広告をグローバルに禁止するよう求めています。地上観測天文学への干渉を理由としています。アメリカには数十年前からの禁止令がありますが、他の国が同様の広告を打ち上げる可能性への懸念があります。AASは、この「邪魔な宇宙広告」を禁止するため、国際条約を締結するよう求めています。以前、衛星が太陽光を反射してロゴを表示するという提案がありましたが、現在そのようなキャンペーンはありません。AASは、国連宇宙平和利用委員会（COPUOS）の米国代表団に、この禁止を訴えるよう働きかけています。
続きを読む
Discuoは、当初開発者が進捗状況を共有し、コードについて議論するために作成されましたが、今ではさまざまなトピックを網羅するミニマリストなディスカッションプラットフォームへと進化しています。気が散る要素のないデザインと無限のスレッド探索により、集中した会話が可能です。投稿やコメントにアカウントは必要なく、分類された構造（アニメ＆マンガ、ゲーム、テクノロジー＆開発など）により、幅広い議論の場を提供しています。
続きを読む
この論文は、リチャード・バードの著書『Thinking Functionally with Haskell』におけるエラトステネスの篩に関する誤った証明を修正します。バードは、循環的なリストベースの実装を示していますが、その証明のヒントは誤っています。著者らは、新しい補題を導入し、ベルトランの仮説の弱体化を利用することで、完全な正当性証明を提供します。このアルゴリズムと、デイビッド・ターナーの「完全関数型プログラミング」のビジョンとの関連性についても探求します。
続きを読む