この記事では、ネットワークプログラミングにおけるBSD kqueueとLinux epollの違いについて掘り下げています。kqueueはイベントフィルタを使用し、強力な機能を提供しますが、合成性に欠けており、技術的負債が蓄積されます。一方、epollはカーネルハンドルを直接操作し、より高い合成性を持ち、ソケット、ファイルシステムパス、タイマーなど、様々なカーネルリソースの柔軟な監視を可能にします。著者は、epollのデザインは、新しい機能ごとにkqueueに新しいイベントフィルタタイプを追加し続けるという問題を回避するため、優れていると主張しています。
続きを読む
このブログ記事は、アウトオブオーダーマイクロアーキテクチャにおける実行ユニットのパイプライン化について考察しています。著者は当初、実行ユニットはμopの処理が完了するまで占有されたままであると考えていましたが、Firestormマイクロアーキテクチャ（A14およびM1）を例に、2つの整数実行ユニットが複数の乗算を同時に処理でき、それぞれ3サイクルかかることを示しています。依存命令シーケンスと独立命令シーケンスの実行時間を比較することで、多くの実行ユニット/μopの組み合わせが高度にパイプライン化されていることが明らかになり、ユニットが他のμopを処理している間にもμopを発行できることが示されています。これにより、独立命令シーケンスの実行時間が予測値の6サイクルから4サイクルに短縮されます。最後に、著者は、命令レイテンシと帯域幅の表が逆数スループットを指定する理由を説明しています。それはサイクル/命令に相当するためです。
続きを読む
アメリカは、多くが中国系ディアスポラのメンバーである、非伝統的なスパイを捜索しています。天安門事件後に台湾に逃亡し、後にアメリカで亡命を求めた中国の反体制派、唐元俊のケースは、この問題を浮き彫りにしています。ニューヨークでの民主主義運動活動にもかかわらず、唐は中国政府に情報を提供したとして逮捕されました。これは、病気の両親に会うために帰国する許可を得るためでした。この物語は、中国が情報収集のためにディアスポラを利用することの複雑さとリスクを示しています。
続きを読む
Little Snitchは、macOS用のネットワークモニターとパーソナルアプリケーションファイアウォールです。どのアプリがインターネットに接続するかを制御できます。接続試行ごとに警告が表示され、アクセスを許可または拒否することで、データの安全性を確保します。サイレントモード、視覚的なトラフィックチャート、柔軟なルール管理、組み込みDNS暗号化、マルウェア対策のための暗号化プロセス識別などの機能を備えています。Macのネットワークアクティビティを簡単に監視および管理し、プライバシーを保護します。
続きを読む
RSS.Beautyは、RSSの読書体験を向上させるためのオープンソースツールです。シンプルなRSSフィードを美しくフォーマットされた読書体験に変換します。RSSまたはAtomのスタイルファイル をダウンロードして、静的リソースディレクトリに配置し、RSSの``の後にコード行を追加するだけです。RSS.Beautyは優れた互換性を誇り、実績のあるテクノロジーを使用することで、RSSに新たな命を吹き込みます。
続きを読む
2024年末、2機のボーイング737-800が同日に別々の事故に巻き込まれ、ボーイング社に暗い影を落とした。1機はノルウェーで緊急着陸時に滑走路から逸脱したが、乗員乗客182名全員が無事に生還。しかし、もう1機は韓国で墜落し、47名の犠牲者が出た。同日に発生したこの2件の事故は、深刻な安全上の懸念を引き起こし、ボーイング社の航空機に対する徹底的な調査を招くことは間違いない。
続きを読む
約4億年前、オーストラリアはゴンドワナという超大陸の一部であり、南極大陸、インド、南アメリカなどを含んでいました。約2億年前、ゴンドワナは分裂を始め、現在の大陸配置に至ります。国際的な研究プロジェクト「ゴンドワナ/ランド」は、ゴンドワナの現代史を探求し、私たちが保護する遺跡から、私たちが利用する資源に至るまで、その影響を調べています。「ゴンドワナ」という名前はインド中部の一地域に由来し、その現代的な用法は、植民地時代の歴史、産業革命、資源抽出と深く結びついています。フィクションに登場し、文化的な認識を形作るゴンドワナの神秘的な地位も調査されています。オーストラリアのゴンドワナ熱帯雨林など、ゴンドワナのいくつかの遺跡は保護されていますが、先住民との歴史的つながりはしばしば見過ごされています。この学際的なプロジェクトは、ゴンドワナの完全な歴史を解き明かし、現代世界におけるその重要性を明らかにすることを目指しています。
続きを読む
ベルギーは、2025年1月1日から使い捨て電子タバコの販売を禁止します。これはEU加盟国では初の措置です。健康と環境への懸念から、この禁止は青少年のベイプを抑制し、廃棄されたデバイスから生じるゴミを減らすことを目的としています。保健大臣フランク・ヴァンデンブルックは、使い捨てベイプが若者を簡単にニコチン中毒にさせることを強調し、その依存性と健康への悪影響を指摘しました。この禁止は業界に経済的打撃を与える可能性がありますが、一部の販売業者は、再利用可能な代替品への転換により損失を軽減できると考えています。ベルギーは欧州委員会に対し、タバコ関連の法律を強化するよう求めています。
続きを読む
OpenAIの取締役会は最近、競争の激しいAI業界を乗り切るために、大幅な追加資金の必要性を発表しました。記事は、OpenAIが現在、AIチャットボットで最高のユーザーエクスペリエンスを提供しているものの、技術的なモートがないため、投資バブルの中心にいると主張しています。著者は、1990年代のNetscapeとOpenAIを比較し、生成AIがコモディティ化された技術になり、持続的な競争優位性を築くのが難しくなると示唆しています。巨額の資金を調達しているにもかかわらず、OpenAIの非営利組織から営利企業への移行は不確実であり、途方もない資金調達への継続的な取り組みは、ポンジスキームを連想させる懸念を引き起こしています。
続きを読む
大規模なコードベースで全てのテストを実行するのは非効率的です。この記事では、フォルダベース、依存関係ベース、ヒューリスティックベースの3つの選択的テストアプローチを探ります。フォルダベースはシンプルですがエラーを見逃す可能性があります。依存関係ベースは包括的ですが、過剰なテストを行う可能性があります。ヒューリスティックベースはカスタムルールでテスト選択を最適化し、速度と網羅性のバランスを取ります。Millビルドツールは、依存関係ベースの選択的テストをネイティブにサポートしており、CIの効率を大幅に向上させます。しかし、ヒューリスティックな方法と組み合わせることで、速度とテストカバレッジのバランスをさらに最適化できます。
続きを読む
本書では、脆弱なパスワードシステムに代わるものとして設計された、公開鍵暗号に基づく認証システムであるWebAuthnを詳しく解説します。パスワードの欠点から始まり、U2F、FIDO2、passkey、WebAuthn APIの使い方など、WebAuthnの中核となる概念を段階的に紹介します。公開鍵署名スキーム、RP ID、CTAP2プロトコル、証明、様々な拡張機能の詳細を説明し、サーバーサイドの実装、プラットフォームAPI（iOS、Android、Windows）、公開鍵フォーマットについても網羅しています。WebAuthnは、セキュリティキーとプラットフォーム認証子を組み合わせ、ランダムチャレンジと複数のセキュリティメカニズムを利用することで、フィッシング攻撃やデータベースの漏洩を効果的に解決し、ユーザーにより安全で信頼性の高い認証体験を提供します。
続きを読む
レンタカー大手ヘルツが、大量のテスラモデル3在庫を大幅値引きで処分セールを実施している。あるヘルツ顧客がRedditに投稿したスクリーンショットによると、走行距離3万マイルの2023年式モデル3がわずか1万7913ドルで販売されている。これは市場価格を大きく下回る。中古レンタカー購入にはリスクもあるが、この低価格と残存するバッテリー保証に魅力を感じる顧客も多い。ヘルツのこの措置は、大量のテスラ保有による減価償却の負担と、年末までに在庫を処分したいという意図によるものと考えられる。
続きを読む
スマートフォンのブームはネイティブアプリをどこにでも普及させましたが、今では負担になりつつあります。最新のブラウザは、かつてネイティブアプリ独自の機能であった通知やオフラインアクセスなどを提供できるほど強力になりました。この記事では、多くの企業が依然としてネイティブアプリに固執しており、ユーザーのアプリのオーバーロードにつながっていると主張しています。一方、ウェブアプリはコスト効率が高く、柔軟性があり、デバイス間でシームレスに動作します。ゲーム業界はこのことを特に示しており、HTML5、WebGL、WebAssemblyなどの技術により、ブラウザゲームがネイティブゲームに匹敵するようになりました。この記事は、開発者にウェブアプリの未来を受け入れ、Rogue Engineなどのツールを利用して、よりアクセスしやすく、普遍的に使用できるエクスペリエンスを作成するよう呼びかけています。
続きを読む
ワイツマン科学研究所の実験で、アリと人間が迷路の中で大きな物体を共同で運ぶ課題に挑戦しました。驚くべきことに、コミュニケーションが制限された状況下でも、アリのチームは人間のチームを上回りました。研究者たちは、アリの高い社会性と共通の目標を成功の要因と分析する一方、人間のチームは個人の違いやコミュニケーションの不足に苦しみ、「群衆の知恵」を十分に発揮することができませんでした。この研究は、集団意思決定と協力の利点と欠点に光を当て、「群衆の知恵」の人間社会における普遍的な適用性を疑問視しています。
続きを読む
大規模な採用活動の後、BYDはR&D従事者数において世界最大の自動車メーカーとなりました。90万人以上の従業員の中で、11万人以上がR&Dに従事しています。2024年第2四半期にはホンダと日産を上回り、世界第7位の自動車メーカーとしての地位を固めました。BYDの巨大なR&Dチームは、航続距離が長く、より手頃な価格のEVの開発に注力しており、トルコ、メキシコ、ブラジル、パキスタンに新工場を建設する計画で、新たな市場に拡大しています。この積極的な拡大と、世界第2位のEVバッテリーメーカーとしての地位により、BYDはEV市場での継続的な成長とリーダーシップを確立しています。
続きを読む
SiYuanは、プライバシーを重視した自己ホスト型、完全にオープンソースの個人知識管理ソフトウェアで、TypeScriptとGoで記述されています。細粒度のブロックレベル参照とMarkdownのWYSIWYGエディターをサポートし、ブロックレベル参照、カスタム属性、SQLクエリ埋め込み、Webクリッピング、PDF注釈リンクエクスポートなどの強力な機能を備えています。App Store、Google Play、F-Droidなどの複数のインストール方法があり、Dockerでの展開もサポートしています。個人ユーザーと商業ユーザーの両方にとって、ほとんどの機能は無料で利用できます。
続きを読む
開発者はTokioランタイム上で、生物学的ニューラルネットワークに基づいたAGIシステムの構築を試みました。非同期ニューラルネットワークを構築し、遺伝的アルゴリズムを用いて訓練しましたが、実験は最終的に失敗し、最高スコアはわずか3でした。著者は、Tokioが大量のニューラルインパルスを効率的に処理できないことと、遺伝的アルゴリズムの最適化戦略が失敗の原因である可能性を示唆しています。
続きを読む
この記事で、スティーブン・シノフスキーは、一見すると良さそうだが実際にはほとんどうまくいかないいくつかのソフトウェアエンジニアリングの概念を論破しています。「簡単にプラグイン可能にする」「単にAPIを追加する」「もう一段階抽象化する」といったアイデアは、ソフトウェアエンジニアリングの本質的な複雑さのために、多くの場合、実際にはうまくいきません。APIの保守性、非同期操作のバグ、アクセス制御の複雑さ、クロスプラットフォーム開発の困難など、多くの問題が指摘されています。シノフスキーは、成功するソフトウェアエンジニアリングは、パターンを盲目的に適用するのではなく、第一原理に基づいている必要があると強調しています。
続きを読む
F*（エフスターと発音）は、純粋関数型プログラミングと副作用のあるプログラミングの両方をサポートする、汎用の証明指向型プログラミング言語です。依存型による表現力の高さに、SMTソルバーとタクティクスベースの対話型定理証明に基づく証明自動化を組み合わせています。F*プログラムは、デフォルトでOCamlにコンパイルされます。KaRaMeLツールを使用してF#、C、Wasmに抽出することも、Valeツールチェーンを使用してアセンブリに抽出することもできます。F*はF*で実装され、OCamlを使用してブートストラップされています。F*はGitHubでオープンソースであり、Microsoft Research、Inria、およびコミュニティによって積極的に開発されています。Mozilla FirefoxやLinuxカーネルなど、さまざまなプロジェクトで使用されており、セキュリティ、暗号化、システム開発における応用を示しています。
続きを読む
Black Candyは、自己ホスト型の音楽ストリーミングサーバー、つまりあなた自身のパーソナルミュージックセンターです。Dockerによる簡単なインストールが可能ですので、自分の音楽ストリーミングサービスをすばやく設定できます。デモ版で試すことができます。デフォルトのデータベースはSQLiteですが、PostgreSQLもサポートしています。データの永続化は、/app/storageディレクトリのマウントによって管理されます。パフォーマンス向上のため、Nginxプロキシがサポートされており、モバイルアプリも利用可能です。
続きを読む
17世紀、ドイツの商人にして錬金術師であったヘニング・ブランドは、尿から金を取り出そうと試みました。彼は5500リットルの尿を集め、沸騰させ、高温で加熱した結果、思いがけず新しい元素、リンを発見しました。この発見は錬金術の成功ではありませんでしたが、化学の誕生を告げるものでした。ブランドの発見は、後にロバート・ボイルがリンの製造方法を改良し、マッチの製造に応用することにつながりました。さらに重要なのは、ボイルが自身の方法を公然と共有し、錬金術の秘密主義的伝統を打破し、化学の科学的発展を促進したことでした。
続きを読む
ELIZAGEN.orgは、世界初のチャットボットであるELIZAの歴史を保存し、探求することに特化した包括的なオンラインリソースです。このサイトには、さまざまなプログラミング言語（オリジナルのMAD-SLIP、Lisp、BASICバージョンなど）によるELIZAの実装が掲載されており、歴史的な文書、オリジナルコード、実験記録、論文なども含まれています。ELIZAGENは、PDP-10から最新のWebブラウザまで、さまざまなプラットフォームにおけるELIZAの進化を示しています。ELIZAの起源、開発、影響について魅力的な洞察を提供し、AIとコンピューターカルチャーへの永続的な影響を強調しています。
続きを読む
ベテランのコンピューターハードウェアエンジニアは、懸念すべき傾向を観察しています。PCハードウェアメーカーは、ユーザーのアクセスと制御をますます制限しています。たとえば、Dellは一部のラップトップのBIOSでストレージ設定を変更する機能を削除し、Webサイトで必要なRSTドライバーを提供していません。これにより、メディアからのクリーンなOSインストールが不可能になります。ユーザーは、プリインストールされたシステムまたは、ブロートウェアとデータ収集機能を含むメーカーのリカバリツールを使用せざるを得ません。これは、承認されていないソフトウェアを制限するAppleのMacOSのアプローチを反映しており、将来、消費者の選択肢が非常に限定される可能性があります。
続きを読む
この記事では、世界各地の様々な文化における「雪」の表記方法と象徴表現を探求します。古代中国の殷の甲骨文字から、中国の古い酒壺に見られる「風花雪月」のモチーフ、ナクシ族の東巴文字、イヌクティトゥット語による様々な雪の種類の詳しい説明まで、多様な表現方法を取り上げます。さらに、古代ギリシャ、エジプト、ヘブライ、マヤ文明における雪に関連する言葉や記号についても考察し、それぞれの文化における雪への独自の理解と表現方法、そしてその文化的背景や歴史的起源を明らかにします。
続きを読む
この記事は、TSMCの創業者である張忠謀の並外れた人生を描いています。アメリカの大学での学びから、テキサス・インスツルメンツやゼネラル・インスツルメンツでのキャリアを経て、張忠謀は半導体製造に関する豊富な経験と独自のビジネスセンスを培いました。台湾工業技術研究院での在職中にTSMCを設立し、ファブレスチップ製造モデルの先駆者となり、台湾を世界の半導体産業の中心地へと変貌させました。TSMCの成功は一朝一夕のものではなく、張忠謀が数々のキャリアにおける挫折やビジネスリスクを乗り越え、学び、適応してきた結果です。彼の鋭い市場洞察力と断固たる意思決定力が、最終的に世界をリードする半導体企業を生み出しました。
続きを読む
Kandoは、Windows、macOS、Linuxで使用可能なオープンソースで無料の効率化ツールです。ジェスチャー認識を使用して、ツールやアクションをミリ秒単位で選択できます。深くネストされたメニューでも簡単にクリックできます。Kandoは画面全体をクリック可能なターゲットにします。小さなボタンを正確に狙う必要はありません！最新リリースには素晴らしい新しいアイコンが搭載されています。デザインプロセスの詳細はKo-fiでご覧いただけます。今すぐお試しください！
続きを読む
小児救急医療クリニックBrave Careは永久閉鎖しました。オレゴン州とテキサス州で運営され、風邪やインフルエンザからアレルギー、発疹、骨折など、命に関わらない病気や怪我の治療を提供していました。主要な保険のほとんどに対応し、便利な院内検査、処方薬の調剤、簡単な予約システムを提供していました。閉鎖後も、Cariendを通じて患者は医療記録にアクセスできます。Brave Careは家族中心のケアと肯定的な患者レビューで知られていました。
続きを読む
この記事では、継続渡しスタイル（CPS）と関数型プログラミング言語のコンパイルにおけるその応用について詳しく解説します。著者は、単純なSchemeに似た言語を用いて、CPS変換器を段階的に構築し、最適化戦略とコード生成方法を説明しています。この記事では、整数、変数、関数呼び出し、算術演算子、ラムダ式、if文をCPS形式に変換する方法を詳細に説明し、メタ継続や定数畳み込み、ベータ簡約などの最適化技術についても論じています。最後に、CPSコードから実行可能なコードを生成するためのいくつかの方法の概要を示し、Cコードの生成、トランポリンの使用、単一の大規模switch文の使用などを含みます。
続きを読む
DOSエミュレータの改良中に、開発者はファイル入出力において、一見些細なバグを発見しました。`echo`コマンドでファイルにテキストを追加したところ、予期せぬ結果になったのです。デバッグの結果、Cランタイムライブラリが読み書きの切り替えを処理する方法に欠陥があることが判明しました。この欠陥は、1970年代、さらにはそれ以前のUNIXシステムにまで遡ります。この記事では、初期のK&R Cから現代のC規格まで、歴史的文脈を深く掘り下げ、さまざまなUNIXバージョンとCコンパイラ間の実装の違いを探ります。根本原因は、初期のCライブラリがアップデートモードを処理する際の制限にあると特定され、異なるオペレーティングシステムとコンパイラがこれらの制限をどのように扱ったかという違いが明らかになります。著者は、現在でもポータブルなCコードでは、ファイルの読み書きを切り替える際に、明示的な`fseek`呼び出しが必要であると結論付けています。
続きを読む
arXivの検索機能に問題があるとのユーザーからの報告があり、検索結果の不正確さと不完全さが一般的な不満となっています。この記事ではこれらの問題点を考察し、ユーザーエクスペリエンス向上のためのarXiv検索エンジンの改善を求めています。
続きを読む