ボディダブルは、特にADHDの人々の間で人気が高まっている生産性向上テクニックです。これは、物理的または仮想的に他の人と一緒に作業することで、集中力とタスクの完了を向上させることを意味します。「ボディダブル」の存在は外部からのモチベーションとなり、気を散らすものを減らし、責任感を高めます。長期的な研究は限られていますが、逸話的な証拠と専門家の意見から、薬物療法の補足的なアプローチとして、また自閉症や不安障害などの他の状態を持つ人々にも役立つことが示唆されています。
従来の分析ベンチマークは、特定のユーザー、デバイス、またはトランザクションに対する迅速かつターゲットを絞ったインサイトの生成など、リアルタイムアプリケーションのニーズをしばしば見過ごしてきました。RTABenchはこのギャップに対処するために、正規化されたスキーマ、現実的なデータセットサイズ、および現実世界の使用パターンに一致するクエリを使用して、アプリケーション内のリアルタイム分析を正確に反映するベンチマークを提供します。33個のクエリを含み、生のイベントクエリ、選択的フィルタリング、複数テーブルの結合、および事前集計クエリを網羅して、正規化されたスキーマ、選択的フィルタリング、および増分マテリアライズドビューにおけるデータベースのパフォーマンスを評価します。RTABenchは複数のデータベースをサポートしており、データベースのサポートと最適化を拡張するためにコミュニティからの貢献を歓迎しています。
vramfsは、FUSEライブラリを利用して、GPUのVRAMにファイルシステムを作成するユーティリティです。RAMディスクに似ていますが、ビデオRAMを使用します。高負荷な用途には適していませんが、4GB以上のVRAMを搭載したコンシューマー向けGPUでは驚くほど良好に動作します。開発者は、約2.4GB/秒の読み取り速度と2.0GB/秒の書き込み速度を達成しており、RAMディスクのおよそ1/3です。メモリ管理にはOpenCLを使用し、開発の簡素化にはFUSEライブラリを使用しています。将来の改善目標は、PCI-e帯域幅の限界に到達することです。
Typed Japaneseは、TypeScriptの型システムを使って完全な日本語の文を表現できる型レベルのライブラリです。日本語の文法規則に基づいてドメイン固有言語（DSL）を作成し、TypeScriptコンパイラを使用して文法的に正しい自然言語の記述と検証を可能にします。このプロジェクトは、AIによる言語学習の中間形式も探求しており、JSONの代わりに型チェックされた表現を使用することで精度を向上させる可能性があります。動詞や形容詞の様々な活用形、句や文の構成をサポートし、日本語文法の学習と検証のための型システムの構築を目指しています。まだ初期段階であり、LLM生成の規則に依存していますが、言語学習と文法検証に対するユニークなアプローチを提供します。
LaTeXは高品質な組版ドキュメントの作成に優れていますが、PDF出力のためアクセシビリティの問題を抱えています。この記事では、アクセシビリティを向上させるためのLaTeXからHTMLへの変換について探求します。LaTeXの代替案（Pressbooks、PreTeXt、Markdown）を比較し、変換ツールとしてLaTeXMLとBookMLに焦点を当てています。オープンな論理学教科書の変換の詳細なケーススタディでは、数学公式、画像の代替テキスト、スクリーンリーダーとの互換性などの課題とコツが強調されています。著者の経験は、さまざまな支援技術のニーズをバランスさせながら、よりアクセシブルなオンライン教科書を作成するプロセスを示しています。
最新のWindows 11 Devチャネルプレビュービルドでは、bypassnro.cmdスクリプトが削除されました。このスクリプトはこれまで、強制的なMicrosoftアカウントサインイン要件を回避するために使用されてきました。マイクロソフトは、この変更によりセキュリティが強化され、すべてのユーザーがオンラインでMicrosoftアカウントを使用してサインインすることが保証されると述べています。オフラインでのセットアップやローカルアカウントを好むユーザーには不便が生じますが、Microsoftアカウントはサブスクリプションへの容易なアクセスやデータ同期などのメリットがあります。ただし、ローカルアカウントでは通知や追加のアップセルが減少します。
著者は、アーキテクチャレビュー会議でのマイクロサービスに関する終わりのない議論へのフラストレーションを語っています。明確な定義の欠如、ビジネス目標からの乖離、組織変更の無視により、これらの議論は非生産的であると主張しています。多くのマイクロサービスに関する議論は、実際には現実の問題解決ではなく、最先端技術への願望を表しています。著者は、マイクロサービスに関する抽象的な議論を放棄し、より迅速な機能展開、結合度の削減、ボトルネックの解決といった具体的な課題に焦点を当てることを提案しています。マイクロサービスは、組織構造とプロセスがそれをサポートする場合にのみ機能し、そうでなければ複雑さを増すだけです。
Qualysの研究者らは、Ubuntu 23.10と24.04の非特権ユーザーネームスペース制限において、3つの重大なセキュリティバイパスを発見しました。これらのバイパスは、aa-execツール、busyboxシェル、LD_PRELOADテクニックを利用して、ローカルの攻撃者が完全な管理者権限を持つユーザーネームスペースを作成し、カーネルの脆弱性を悪用する可能性があります。Canonicalは、これらをAppArmor防御の制限と認識しており、脆弱性そのものではないとしており、kernel.apparmor_restrict_unprivileged_unconfined=1を有効にするなどの管理上の強化策を推奨しています。
bkndは、データベース管理、認証、メディア、ワークフローのための完全な機能を備えたバックエンドを提供することで、アプリ開発を簡素化します。Web標準に基づいて構築されており、軽量で、選択したフレームワーク内を含むほぼどこにでも展開できます。複数の独立したサービスを展開する必要はもうありません！REST API、React SDK、認証およびメディアコンポーネント用のReact要素、使いやすい管理UIを提供します。現在も積極的に開発中（v1.0.0以前）であるため、完全な下位互換性は保証されていません。
最新のWindows 11 Insider Preview Build 26200.5516は、Devチャネルに多くの改良をもたらします。最も注目すべき点は、AMDおよびIntel搭載のCopilot+ PC向けのWindows検索の強化です。意味的インデックスを使用することで、ユーザーは「夕暮れの橋」など、自然言語を使用してドキュメント、写真、設定を検索できるようになり、オフラインでも機能します。また、ナレーターの音声要約機能（ナレーターが話した内容を確認およびコピーできる機能）、予期せぬ再起動時のUIの改善、CopilotのWin+Cショートカットキーと押しながら話す機能、Click to Doの改善、Windows共有機能の強化なども含まれています。いくつかの既知の問題は、今後のアップデートで修正される予定です。
ウェブサイト開発者が、Grammarlyブラウザ拡張機能がウェブサイトのレイアウトを壊していることを発見しました。Grammarlyは、ウェブサイト自身のスタイルを上書きするスタイルシートを注入します。特に、同じカスタムプロパティ`--rem`を使用することで、ウェブサイトの流動的なタイポグラフィシステムが機能しなくなります。作者は、MutationObserverとカスタムプロパティ`--🤡`を使用して問題を修正し、Grammarlyに拡張機能のデザインを改善して他のウェブサイトのスタイルとの競合を避けるよう呼びかけました。
この記事では、OpenBSDにおける`write()`システムコールの低レベル実装を深く掘り下げます。ユーザー空間の`write()`コールから始まり、カーネル内でのデータの経路をたどり、システムコールからNVMeハードドライブへのデータ書き込みまでの完全なパスを詳細に説明します。この記事では、`mi_syscall`、`sys_write`、`dofilewritev`、`vn_write`、`ffs_write`、`uiomove`、`bdwrite`、`syncer`、`bwrite`、`ufs_strategy`、`spec_strategy`、`sdstrategy`、そして最終的にNVMeドライバなど、カーネル関数の呼び出しチェーンを明らかにします。様々な抽象化レイヤーにおけるデータ変換と転送、キャッシングメカニズムやDMA転送などの重要な技術的詳細を示しています。
この記事では、クロスプラットフォーム暗号化検索エンジンの構築における最初の課題である、安全で効率的なブラウザサイドのデータストレージについて説明します。著者はLocalStorage、IndexedDB、FileSystem APIを比較し、最終的にファイルシステムのようなインターフェース、優れたパフォーマンス、および他のプラットフォームとの一貫性からFileSystem APIを選択しました。この記事では、Rustとweb-sysを使用してFileSystem APIと対話し、セキュリティのためにAES-GCM暗号化レイヤーを実装する方法を詳細に説明しています。最後に、暗号化されたファイルと暗号化されていないファイルの両方を管理するための統一された`File`トレイトを作成します。
この記事では、Gitフックを使用してコード変更時間を追跡し、開発効率をより客観的に測定する方法を紹介しています。ブランチの作成からマージまでの時間を記録することで、思考時間を除外した実際のコーディング時間をより明確に反映します。このアプローチは、特定のコンポーネントのメンテナンス時間が長すぎるといった、コードメンテナンスにおける非効率性を特定し、解決するのに役立ちます。また、AIツールによる効率化も把握できます。最終的な目標は、主観的な推定ではなく、データ主導型の洞察を通じて開発プロセスを最適化し、エントロピーを削減し、チームの生産性を向上させることです。
このプロジェクトは、Postgresの独自のパーサー（libpg_query）に基づいて構築された、Postgres開発のための包括的なツールチェーンを提供します。100％の構文互換性が保証されます。トランスポート非依存の設計によるサーバークライアントアーキテクチャを採用し、LSP、CLI、HTTP API、WebAssemblyを介してアクセスできます。現在の機能には、自動補完、構文の強調表示、型チェック（EXPLAINのインサイトを使用）、リンターが含まれます。今後の開発は、これらのコア機能の強化と堅牢なインフラストラクチャの構築に焦点を当てています。貢献は大歓迎です！
この記事では、プログラミング言語設計におけるサブタイピングの重要な役割を探ります。著者は、複数のプログラミング言語の開発経験に基づき、サブタイピングがオブジェクト指向プログラミングにおけるクラス継承のみに限定されず、はるかに基本的な概念であることを説明しています。つまり、型Xが型Yのサブタイプであるとは、型Xの値を型Yが期待される場所でいつでも使用できることを意味します。この記事では、パフォーマンス重視の低レベル言語においてもサブタイピングが不可欠である理由を明確に説明しています。サブタイピングにより、コンパイラはnull値、エイリアシングなどの問題を静的にチェックできるようになり、コードの信頼性を向上させ、最終的にはプログラミング言語の進化を促進します。
Go、Elixir、Node.jsのベンチマークテストで、Elixir（BEAM仮想マシン上で実行）は高いCPU使用率を示しましたが、応答性は抜群でした。原因は、応答性を最大化するBEAMの最適化であるビジーウェイトです。OSが報告するCPU使用率は誤解を招く可能性がありますが、専用ハードウェアでHTTPワークロードを実行する場合、ビジーウェイトを有効にすることは有益です。ただし、他のソフトウェアとカーネルを共有するシステムや、クラウドのバースト可能インスタンスでは、他のプロセスへの影響を避けるために、ビジーウェイトを無効にすることをお勧めします。HTTPリクエストに対してビジーウェイトを無効にしても、パフォーマンスの違いは見られませんでした。
arXivLabsは、共同研究者がarXivの新しい機能を直接当社のウェブサイトで開発・共有できるフレームワークです。arXivLabsと協力する個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという私たちの価値観を共有しています。arXivはこれらの価値観に尽力しており、それらに準拠するパートナーのみと協力しています。arXivコミュニティに利益をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
この記事では、モックやスパイを使用せずに、高速で信頼性が高く、メンテナンスしやすいユニットテストを実現する斬新なアプローチを紹介します。その核心は、状態ベースのテストと「Nullables」と呼ばれる新しいインフラストラクチャ技術を組み合わせることです。「Nullables」はテストダブルではなく、「オフ」スイッチ付きのプロダクションコードであり、外部システムや状態に依存せずにテストを実行できます。プロダクションコードの修正が必要ですが、このアプローチは、テストの不安定性やリファクタリングの困難さといった従来の方法の多くの欠点を回避し、パフォーマンスの大幅な向上をもたらします。この記事では、ナローテスト、状態ベーステスト、オーバーラッピングソーシャブルテストなど、関係するパターンとテクニックを詳細に説明し、多くのコード例と様々なユースケースを提供することで、開発者にとって学習と実装に最適なリソースとなります。
このガイドは、サードパーティサービスに依存するWebRTC実装の代替手段として、Oracle Cloudの無料層でほぼ無料でオープンソースのTURNサーバーをセットアップする方法を詳細に説明しています。サブネット、セキュリティリスト、インスタンス構成の作成、Nginx、Certbot、PeerJSサーバー、Coturnサーバーのインストール手順を説明します。iptablesルールの構成と、認証のためのcoturn-credential-apiの使用についても説明し、WebRTC通信の完全な制御を提供し、Googleなどの大規模プロバイダーへの依存を回避することで、プライバシーとセキュリティを強化します。
Swiftly 1.0が正式リリースされました！これはSwiftバージョンマネージャーで、Swiftツールチェーンのインストール、管理、更新を簡素化します。macOSと様々なLinuxディストリビューションをサポートし、開発者は簡単に異なるバージョンのSwiftをインストールし、Xcode以外でSwiftを使用できます。Swiftで記述され、自己更新機能も備えています。安定版、ナイトリービルド、旧バージョンに対応し、バージョン間の切り替えも簡単です。`.swift-version`ファイルでチーム全体でのバージョン統一も可能です。Swiftlyにより、Swift開発がより便利で効率的になります。
この記事では、AMD RDNA3 GPUでrocBLASを60%上回る性能のFP32行列乗算カーネルを作成する最適化の過程を詳しく説明しています。著者は、ナイーブな実装から始めて、ISAレベルの最適化へと段階的に8つのカーネルを改良しました。手法としては、LDSタイリング、レジスタタイリング、グローバルメモリダブルバッファリング、LDS利用率の最適化、そして最終的にはISAレベルでのVALU最適化とループアンローリングなどが含まれます。最終的なカーネルはrocBLASを上回り、約50TFLOPSを達成しました。
FreeBSD財団は、ラップトップにおけるFreeBSDエクスペリエンスの向上を目指し、開発者にFrameworkラップトップを提供しました。ある開発者が、FreeBSD 14.2のインストールと設定のプロセスを文書化しました。これには、OSのインストール、グラフィックドライバの設定、そしてベゼル取り付けやWaylandデスクトップ環境との互換性の問題など、遭遇した課題が含まれています。Wayland上でKDE Plasma 6を実行することに課題がありましたが、これはFreeBSDのデスクトップエクスペリエンス向上のための貴重な洞察を提供します。
SignalBotは、Signalベースの無料通知ボットで、強力なセキュリティ対策を採用し、メッセージやメタデータを保存しません。ただし、機密データには使用しないことをお勧めします。プレーンテキストと絵文字をサポートする汎用Webhook APIを提供しており（Markdownサポートは近日公開予定）、個人またはグループへの通知に使用できます。カスタム通知フォーマットや特定の統合が必要な場合は、開発者にお問い合わせください！
Hexiは、任意のソース（主にネットワークデータ）からのバイナリデータを安全に処理するための、軽量でヘッダーのみのC++23ライブラリです。手動でのバイトのコピーと本格的なシリアライゼーションライブラリの中間的な位置付けです。使いやすさ、信頼できないデータ処理時の安全性、妥当な柔軟性、オーバーヘッドの最小化を設計目標としています。カスタムコンテナ（非連続コンテナを含む）をサポートし、例外処理と境界チェックを提供します。追加機能として、バイナリファイル用のバッファタイプ、静的/動的バッファ、スレッドローカルブロックアロケーターが含まれています。
この記事では、GitHub CIパイプラインにおいて見落とされやすいディスクI/Oボトルネックについて考察しています。iostatとfioなどのツールを使用して、著者様々なランナーのディスクパフォーマンスを監視・テストし、デフォルトのubuntu-22.04ランナーに依存関係のインストールを妨げる帯域幅の制限があることを発見しました。キャッシュのダウンロード、展開、多数の小規模ファイルの書き込みがディスクI/Oに与える影響を詳細に分析し、fioツールを使ったベンチマークテストとランナー間のディスクパフォーマンス比較を推奨しています。最後に、ディスクI/Oパフォーマンスの大幅な改善を約束するDepotの今後のUltra Runnerについても強調しています。
著者は2年間かけて、Rustで実装されたXML実行エンジンXeeを開発しました。これは単なるライブラリではなく、コマンドラインツールとRustライブラリを含む完全なプログラミング言語の実装であり、衰えつつあるXML技術に新たな活力を与えることを目指しています。この記事では、Xeeのアーキテクチャ、実装の詳細、XMLの歴史と現状について説明し、開発者による貢献を呼びかけています。
この記事では、Zigを使ってCGO依存関係を利用する静的にリンクされたGo実行ファイルを作成する方法を示します。著者はZigの静的ライブラリを作成し、次にその中の関数を呼び出すシンプルなGoプログラムを作成します。`go build`の特定のフラグとZigのビルドシステムを利用することで、動的ライブラリ依存関係のない静的にリンクされた実行ファイルが作成され、移植性とセキュリティが向上します。
著者は最近、Windows上でclang-clを使用してNode.jsのビルドに成功し、いくつかのコンパイル上の問題を克服しました。この記事では、必要なVisual Studioコンポーネント（C++ ClangコンパイラとLLVMのMSBuildサポート）、ビルド高速化のためのccacheの設定、そして最終的なコンパイル手順を詳細に説明しています。また、Visual Studioコンポーネントの再インストールやccacheパスの修正など、トラブルシューティングのヒントも共有しています。これは、clang-clを使ってNode.jsをビルドしたいWindowsユーザーにとって貴重なガイドであり、従来のMSVCビルドプロセスに代わる選択肢を提供します。
新しい論文では、階乗をできるだけ大きな因子に分解するという問題を研究しています。エルデシュらはこれに関する予想を立てていましたが、証明が失われていました。この論文では、素数定理と近似分解の巧妙な応用により、新しい上限と下限を与え、この長年の問題を部分的に解決し、残りの予想を完全に解決するための新たな道筋を提供しています。