ブラウザ上でのPythonの速度制限を克服するため、AnacondaとCloudflareのエンジニアがSPyを開発しました。SPyは単純なPython移植ではなく、コンパイル時と実行時のコードを混在させることができる新しい言語です（それぞれ青コードと赤コード）。Pythonに似た青コードは、コンパイル時に事前計算を実行でき、パフォーマンスを劇的に向上させます。SPyコードは解釈実行することも、Cコードにコンパイルし、さらにネイティブバイナリやWebAssemblyにコンパイルすることもできます。生成アートのデモでは、PyScriptからSPyに移行することで、100倍以上の速度向上を実現しました。まだ初期段階ですが、SPyは将来、ブラウザ上でRust並みの速度でPythonを実行できる可能性を示唆しています。
続きを読む
この記事では、ハッシュ衝突の確率について深く掘り下げています。ハッシュ関数は、任意に複雑な入力を単一の数字にマッピングしますが、ハッシュ衝突（異なる入力が同じ数字にマッピングされる）のリスクがあります。誕生日パラドックスから始めて、ハッシュ衝突確率を計算するための正確な公式と、3つの近似方法（指数近似、簡略化された近似、さらに簡略化された近似）を説明します。比較すると、指数近似はほとんどの場合で最高の性能を発揮しますが、他の2つの方法は迅速な推定に適しています。この記事では、近似方法を裏付ける数学的証明も提供しています。
続きを読む
トリメチルアミノ尿症（TMAU）、または「魚の臭い症候群」は、強い魚の臭いを発する原因となる稀な代謝異常です。女性に多くみられ、トリメチルアミンの分解を阻害するFMO3遺伝子の変異に関連しています。この化学物質は蓄積し、汗、尿、呼気から放出されます。命に関わるものではありませんが、TMAUは生活の質に大きな影響を与えます。治療は、食事療法（トリメチルアミンを多く含む食品を避ける）、衛生習慣、ストレス軽減、場合によっては抗生物質や活性炭の使用による症状管理に焦点を当てています。現在、治療法はありません。
続きを読む
セキュリティ研究者が、デートアプリCercaに重大な脆弱性があり、数千人のユーザーの個人情報（電話番号、大学メールアドレス、さらには国民ID情報を含む）が漏洩していることを発見しました。研究者は2月末にCercaチームに脆弱性を報告しましたが、返答はありませんでした。この脆弱性により、攻撃者はユーザーのプロファイル、プライベートメッセージにアクセスしたり、ユーザー同士のマッチングを強制したりすることができました。脆弱性は修正されましたが、Cercaは事件を公表したり、影響を受けたユーザーに通知したりしていません。これは、スタートアップがセキュリティを優先し、セキュリティ上の脆弱性報告に迅速に対応する必要があることを浮き彫りにしています。
続きを読む
Fandomウィキの煩わしい広告や動画にうんざりしていませんか？BreezeWikiは、クリーンで快適な読書体験を提供します。「fandom.com」を「breezewiki.com」に置き換えるだけで、読み込み速度の遅さやデータ消費量の問題を解消できます。BreezeWikiは、複数の独立して運営されているミラーサイトによってサポートされているため、1つのミラーがオフラインになっても他のミラーは機能し続けます。BreezeWikiでは編集や新規ページの作成はできませんが、コンテンツ重視の読書環境を提供し、多くのユーザーから好評を得ています。
続きを読む
ロンドンのビクトリア線は、2024年の平均気温が28度と、家畜輸送の法的制限値さえ上回る、最も暑い地下鉄路線であり続けています。ロンドン交通局（TfL）は空調や換気システムなど冷却技術に多大な投資を行っていますが、路線の深さと独特の地理的条件（ロンドンの粘土層の奥深く）が冷却努力を妨げています。他の路線が2013年以降7％の気温上昇を示したのに対し、ビクトリア線はほぼ30％の上昇、約7度の急上昇を経験しました。高温は冬でも続き、気温が25度を下回ることはありません。乗客の熱中症事件が増加する中、TfLは大きな課題に直面しており、乗客は夏はより涼しい地下鉄路線を選ぶことを検討するかもしれません。
続きを読む
流出した内部メールによると、Metaの幹部と研究者たちは、Llama 3の開発においてOpenAIのGPT-4を凌駕することに執着していたことが明らかになった。メールには、競合他社を凌駕したいという強い願望が示されており、オープンソースの競合モデルを軽視する発言も見られる。その野心から、著作権で保護された作品を含むLibGenデータセットをトレーニングに使用し、現在、複数の著作権訴訟に直面している。公開されたLlama 3は、主要なクローズドソースモデルと互角に渡り合い、一部を上回る成果を収めたものの、Metaの攻撃的な戦略は、AI競争における激しい競争と潜在的なリスクを浮き彫りにしている。
続きを読む
この記事では、ウェブサイトのログイン方法の進化を探ります。魔法リンクは便利ですが、ユーザーエクスペリエンスはしばしば不満なものとなります。著者は、次世代認証規格であるPasskeysが、魔法リンクとシームレスに統合することで、より安全で高速なログイン体験を提供できると主張しています。Passkeysはアプリの切り替えを不要にし、パスワードや魔法リンクよりも大幅に高速で、オートフィル機能とも完璧に統合されます。この記事では、ウェブサイトがPasskeysを補完的に採用し、ユーザーエクスペリエンスを徐々に改善し、最終的にはパスワードへの依存をなくすことを提案しています。
続きを読む
この記事は、オーストラリアのディンゴの生態的地位を探り、「在来種」の概念の絶対性を疑問視しています。ディンゴの祖先は数千年前に入ってきたと考えられていますが、現在ではオーストラリアの生態系の不可欠な部分となっています。この記事は、生態系における「機能形質」の重要性を深く掘り下げ、ある種の生態学的役割はそれが「在来種」かどうかとは無関係であると主張しています。著者は、生態系を動的で常に変化するシステムと見なすべきであり、「在来種」という概念を再評価し、静的で絶対的な基準を拒絶する必要があると提案しています。
続きを読む
この記事は、インテルCEOのパット・ゲルシンガーの退任について分析しています。かつて苦境に陥っていたテクノロジー大手インテルの救世主として期待されたゲルシンガーですが、3年間の在任期間中にインテルの状況を好転させることができませんでした。この記事では、モバイル市場における機会損失、AIブームの破壊的影響、地政学的課題、政府との協力における遅延など、複数の要因を探っています。最終的に、ゲルシンガーの退任は、インテルの長年の内部問題と外部市場勢力の組み合わせの結果として提示されており、インテルの未来は不確実なままです。
続きを読む
libmodulorは、高品質なビジネスアプリケーションの開発を加速させることを目的とした、TypeScriptライブラリです。階層型アーキテクチャ（UseCase、App、Product、Target）を採用し、型安全性とエンドツーエンドテストを重視しています。開発者は好みのデータベース、フロントエンドフレームワーク、サーバー、ツールを使用でき、libmodulorはより高レベルなプリミティブを提供することで、ボイラープレートコードとベンダーロックインを回避します。現在も開発中ですが、既にパイロットプロジェクトで使用されています。
続きを読む
Doctor Droidは、エンジニアリングチームが生産インシデントの調査を迅速化するためのスマートアシスタントを開発しています。AccelとY Combinator W23のバッチの卒業生であるこのオープンソースプラットフォームは、ダウンタイムを削減し、開発者の生産性を向上させることを目指しています。彼らのビジョンは、チームのどのメンバーでも、シニアエンジニアを必要とせずに、一般的な生産上の問題をデバッグできるようにすることです。彼らは情熱的な開発者をチームに迎え入れています。
続きを読む
この記事では、Pythonを使用して、SQLよりも強力なリレーショナルデータベース言語であるDatalogを実装する方法を示します。DatalogはPrologのサブセットであり、チューリング完全ではありませんが、関係をモデル化することに優れています。この記事では、述語、事実、ルール、変数など、Datalogの基本概念を詳しく説明し、ナイーブ評価アルゴリズムを使用した簡単なPython実装を提供します。この実装により、Datalogプログラムを作成およびクエリし、このリレーショナルモデリングアプローチのエレガンスとパワーを体験できます。
続きを読む
SerpApiは、最新のウェブサイトからデータ抽出を行う際に課題に直面し、しばしば正規表現に頼っています。ベンチマークでは、RubyのOnigmoエンジンを、Googleのre2とRustのregexエンジンと比較しています。Rustのregexエンジンは、ほとんどの場合、特にUnicodeテキストを扱う際に最速であることが証明されましたが、集合機能（set）の性能は一貫していません。re2も高速ですが、Unicodeのサポートに制限があります。Pcre2のRubyバインディングは古くなっています。Rustのregexエンジンは、Rubyの最良の代替手段として浮上していますが、集合機能の使用には注意が必要です。
続きを読む
中古車市場が活況を呈しています！新車の高価格化を背景に、よりお得な選択肢を求めて中古車市場に目を向ける消費者が増えています。特にテスラ モデルYの中古車価格は、過去1年で6000ドル以上も下落しており、低走行距離の車両の中には3万ドルを下回るものも出てきています。モデル3の中古車価格はさらに安く、高走行距離の車両でも1万5000ドルを下回るものも見られます。この傾向は、新型テスラモデルの発売、競争激化、消費者の検索傾向の変化と関連しています。競合するEVメーカーの増加により消費者の選択肢が増え、テスラの市場支配力は試されています。
続きを読む
このデータは、3種類の気体（H2、H2O、N2）の異なる全モル数におけるモル分率分布を示しています。全モル数の増加に伴い、各気体のモル分率の変化は線形ではなく、複雑な非線形パターンを示します。例えば、H2のモル分率は全モル数の増加とともに増加しますが、その増加率は徐々に低下します。これは、気体混合物内に何らかの相互作用や反応機構が存在することを示唆しており、さらなる調査が必要です。
続きを読む
全電気式自律飛行開発企業のWisk Aeroは、NASAとの5年間の研究パートナーシップを更新したと発表しました。この協力は、自律飛行機を国家空域システム（NAS）に統合するための高度なエアモビリティ基準を確立することを目指しています。NASAのシミュレーションとLVC（Live Virtual Constructive）環境を活用し、第6世代自律システムの開発を加速し、2030年までに安全で効率的な自律旅客飛行を実現することを目指します。
続きを読む
研究者たちは、現在のTransformerベースの大規模言語モデル（LLM）が、複合的な推論タスクを解く能力に根本的な限界があることを発見しました。アインシュタインの論理パズルや多桁の乗算に関する実験では、大規模なファインチューニング後でも著しい欠陥が明らかになりました。これらの知見は、Transformerアーキテクチャが普遍的な学習に適しているかどうかという疑問を提起し、LLMの推論能力を高めるための代替アプローチ（改良されたトレーニングデータや思考連鎖プロンプトなど）の研究を促しています。
続きを読む
大型ハドロン衝突型加速器（LHC）における超周辺衝突（UPC）は、グルーオンダイナミクスのユニークな窓を開きます。実験では、光子を用いて陽子と原子核内部のグルーオンを調べ、グルーオン分裂と再結合の間の動的な平衡状態であるグルーオン飽和を研究しています。研究者らは、エネルギーが低下するにつれて、ハドロン中のグルーオンの数が増加し、「グルーオンホットスポット」を形成し、グルーオン飽和状態において重なり合うことを発見しました。また、実験では、原子核が予想よりも少ないグルーオンを含む核遮蔽効果も観測されました。これらの発見は、可視宇宙の質量の99％の起源と強い相互作用の本質に光を当てます。将来のLHC稼働と電子イオン衝突型加速器（EIC）は、グルーオンダイナミクスをさらに深く探求し、より多くの謎を解き明かします。
続きを読む
著名なLinuxカーネル開発者であるHector Martinが、カーネルのメンテナンスから辞任することを発表しました。特にApple/ARMプラットフォームのメンテナから身を引きます。カーネル開発プロセスとコミュニティマネジメントへの信頼を失ったことが理由です。 今後も個人でパッチを送信する可能性はありますが、彼の辞任はLinuxカーネルのコミュニティマネジメントに関する議論を巻き起こしています。
続きを読む
1961年のベルエア火災は、数百戸の家屋を破壊し、難燃剤技術の革新を促しました。U.S. Borax社は、ホウ酸塩化合物を使用して火災を抑制する上で重要な役割を果たし、画期的な難燃剤Firebrake®の開発につながりました。数十年にわたる研究開発の成果として、Firebrake 500などの製品が生まれ、比類のない熱安定性とポリマーへの幅広い適用性を備えています。現在、U.S. Borax社は、より安全で効果的な防火対策というニーズの高まりに応えるため、高度なホウ素系難燃剤の開発に引き続き取り組んでいます。
続きを読む
この記事では、著者がシンプルなNix派生を手で構築した過程を詳細に説明しています。Faridのブログ記事を段階的に分析することで、作者はNix派生の内部動作、特にハッシュ生成プロセスを深く理解します。この過程では、ATerm表現、SHA256ハッシュ計算、Nix独自のbase32エンコーディングなどの課題を克服する必要がありました。最終的に、作者はFaridのブログ記事と同じハッシュ値を生成し、シンプルな「hello world」派生を正常に構築しました。
続きを読む
ハンガリーのオルバーン首相がプライドイベントを抑制するために顔認証システムを使用する計画は、EUの人工知能法に違反している。この法律は、国家安全保障やテロリズムを除き、警察によるリアルタイムの顔認証を大部分禁止している。オルバーンが提案した児童保護法の改正案は、プライドイベントを禁止し、警察が参加者の特定に顔認証ソフトウェアを使用することを許可する。EUのAI規則の交渉に関わったローラ・カロリ博士は、この使用が明示的に禁止されていることを確認している。国家安全保障を主張しても正当化されない。2月2日に発効したこの禁止は、激しい批判を招いている。欧州議会議員のダニエル・フロイントは、これをロシアや中国と同様だと呼び、EUにオルバーン政権への資金提供を停止するよう促している。ハンガリー・ヘルシンキ委員会は、データ保護権の侵害を強調している。執行はハンガリーの当局に委ねられているものの、他の加盟国はこうした措置に反対することができる。AI法の実用的な適用には時間がかかり、その間、このような乱用が行われる余地が残されている。
続きを読む
この記事では、Almquist Shell (ash)とその多くのバリアントの進化を1989年の最初のリリースから、AndroidやBusyBoxを含む様々なシステムでの現在の存在に至るまで、綿密にたどります。明確な系統樹が、異なるashブランチ間の関係を示しており、記事では各バージョンにおける主要な改良点、バグ修正、他のBourne Shellとの違いについて詳細に説明しています。これは本質的にashの歴史の年代記です。
続きを読む
宇宙船の故障により国際宇宙ステーションに9ヶ月間も取り残されていた、宇宙飛行士のブッチ・ウィルモア氏とスニ・ウィリアムズ氏は、ついに救出された。SpaceXのファルコン9ロケットは、4人の宇宙飛行士を乗せたクルードラゴン宇宙船を打ち上げ、取り残されていた2人の帰還への道を切り開いた。この救出劇は、ヘリウム漏れ、スラスターの故障、バッテリー修理といった数々の困難に見舞われ、政治的な要素も絡んできた。宇宙飛行士たちは乗組員の交代を経て地球へ帰還する予定で、予想外の長期ミッションは女性宇宙遊泳時間の記録更新をもたらし、宇宙探査の複雑さを浮き彫りにした。
続きを読む
この記事では、六脚ロボットCARAの制御システムについて詳しく説明します。各関節のホーミングシーケンスから始まり、電流を使用して物理的な限界を検出します。滑らかな動きを実現するために、逆運動学、順運動学、回転運動学方程式を利用した軌跡計画が行われます。歩容と支持相を組み合わせたトロット歩容を実装することで、脚の角度と位相を調整することにより、前進と旋回が可能になります。
続きを読む
RubyKaigiで、作者はRubyにおける外部ライブラリの使用における困難に遭遇しました。CライブラリではC拡張の記述かFFIバインディングが必要になり、他の言語のライブラリはさらに複雑になります。Charty（matplotlibをラップ）やQuickChart（JavaScriptで実装）といった例は、既存ソリューションの扱いにくさを示しています。作者はより洗練された解決策として、JRubyによるJavaライブラリの統合を提案します。JFreeChartを例に、Java、C、Python、JavaScriptのコードを書かずに簡単にチャートを作成する方法を示しています。記事ではJRubyのJava統合レイヤーについて詳細に説明し、`jar-dependencies`による依存関係管理、Javaクラスの呼び出し、簡単な棒グラフと円グラフの作成手順を解説します。最後に、JRubyを試してみて、その発展を支援するよう読者に呼びかけています。
続きを読む
2019年の画期的な気候変動法の制定にもかかわらず、ニューヨーク州は再生可能エネルギーとインフラ整備という野心的な目標に遅れを取っています。その進捗状況は、他の州の気候計画に大きな影響を与えます。州を挙げて活動する非営利のニュース組織は、州の気候変動対策を綿密に追跡し、権力構造を明らかにし、決定がニューヨーク市民にどう影響するかを強調しています。資源が限られているため、重要な報道活動を続けるために読者の寄付を呼びかけています。
続きを読む
オランダ議会は、米国ソフトウェア企業への依存を減らすよう政府に促す動議を可決しました。国内管理のクラウドプラットフォームの構築を目指しています。これは、米国とオランダの関係の変化、そして米国テクノロジー大手によるデータ管理への懸念を受けてのことです。動議は、アマゾンウェブサービスの役割の再評価と、公共入札における欧州企業への優遇措置も求めています。実行可能な欧州の代替案は少ないものの、これは米国テクノロジーへの依存を減らすための重要な第一歩であり、米国クラウドサービスの利用に関連するリスクに関する透明性を高めます。
続きを読む
トレイシー・キダーの『新マシンの魂』は、1970年代後半、DECのVAXに対抗するため、Data General社がEclipse MV/8000を開発した際の激しい開発競争を描いています。キダーは「反逆者」エンジニアチームの奮闘に読者を没頭させ、不可能を可能にする彼らの献身と衝突する個性を見事に描き出しています。このスリリングな物語は、技術革新における人的コストを説得力のある視点から示しており、数十年経った今でも驚くほど現代的です。
続きを読む