1.
Raspberry PiでTrueNAS導入法
(How to Install TrueNAS on a Raspberry Pi)

2025年8月28日、TrueNASコミュニティのメンバーであるJoel0が、Armアーキテクチャで動作するTrueNASのバージョンを作成しました。著者はこのバージョンをRaspberry Piでテストすることにしました。著者はArmデバイスでストレージサーバーを運用した経験があり、性能が低いハードウェアを使用することで設定の問題を見つけやすくなり、アプリケーションの理解が深まると考えています。

Raspberry PiでTrueNASを実行するにはいくつかの課題があります。特に公式のUEFIサポートがないため、著者はコミュニティプロジェクトを利用してRaspberry Pi 5でUEFIを有効にする必要がありました。これにはブートローダーの更新と、UEFIに対応するようシステムを設定する作業が含まれました。

UEFIの設定が完了すると、著者はPiに接続されたUSBドライブにTrueNASをインストールする手順を進めました。インストール自体は順調に進みましたが、サービスが起動しないといった初期の問題があり、トラブルシューティングを通じて解決しました。

現在の設定には、UEFIサポートが不完全なために制限があります。具体的には、内蔵イーサネットや特定のデバイス機能が使用できないという問題があります。著者は、Raspberry Piに公式のUEFIサポートが考慮されていない理由を疑問視しており、これがさまざまなオペレーティングシステムとの互換性を広げることにつながると述べています。

また、著者はカスタムストレージサーバーに関する新しいプロジェクトについても言及しています。このプロジェクトでは、UEFIの制限により接続されたハードドライブの認識に問題が生じています。著者は、最適なパフォーマンスを得るためには、TrueNASはより強力なArmハードウェアや従来のx86システムで運用するべきだと提案し、他のArmプラットフォームにおけるUEFIサポートの進展が続いていることにも触れています。

投稿者: furkansahin | スコア: 65

2.
推論で赤字か?
(Are OpenAI and Anthropic Losing Money on Inference?)

この記事では、AI推論に関連するコストについて探求し、特に入力処理と出力生成の違いに焦点を当てています。主なポイントは以下の通りです。

著者は、AI推論が非常に高価であるという考えに疑問を呈しています。コストを詳細に分析し、主に計算にかかる費用を、仮想的なH100 GPUの設定を用いて考察しています。

入力処理は非常に安価で、百万トークンあたり約0.001ドルのコストがかかります。一方、出力生成は百万トークンあたり約3.08ドルと、はるかに高額です。このため、コストに大きな非対称性が生じています。

分析では、高スループットを目指したモデル設定が使用され、入力段階では毎秒数百万トークンを処理できる一方、出力生成は毎秒数千トークンに制限されています。

ユーザーの種類によって、カジュアルな消費者や開発者など、コスト構造は異なります。AIサービスプロバイダーにとっては、高い利益率が見込まれることが多いです。例えば、開発者向けのツールは、高い入力トークンの使用と低い出力ニーズから利益を得ています。

APIの価格設定は、80〜95%の高い利益率を示しており、AI推論ビジネスが非常に収益性が高いことを示しています。

著者は、AI推論が一般的に考えられているほど持続不可能ではない可能性があると主張しています。特に入力トークンに大きく依存するアプリケーションにおいては、コストを過大評価することが競争や革新を妨げる恐れがあると警告しています。

全体として、この記事はAI推論コストについてより複雑な理解を促し、多くのアプリケーションが高コストという一般的な見解にもかかわらず、利益を上げる可能性があることを強調しています。

投稿者: martinald | スコア: 176

3.
モッシュシェル
(Mosh (Mobile Shell))

Moshは、SSHターミナルのユーザー体験を向上させるために設計されたリモートターミナルアプリケーションです。特に不安定なネットワーク環境での使用に適しています。

Moshの主な機能は、異なるインターネット接続(Wi-Fiや携帯電話など)を切り替えてもセッションを失わずに安定した接続を維持できることです。また、デバイスがスリープ状態になったり、一時的に接続が切れたりしても問題なく動作します。

ユーザー体験において、従来のSSHはサーバーからの応答を待つために遅く感じることがありますが、Moshは入力時に即座にフィードバックを提供し、より反応が良いです。特にテキストエディタやターミナルアプリケーションで効果的です。

Moshは、GNU/Linux、macOS、iOS、Androidなど、さまざまなプラットフォームで利用可能です。ユーザーはパッケージマネージャーを通じてインストールするか、ソースからビルドすることができます。

セキュリティ面では、Moshのインストールにスーパーユーザー権限は必要ありません。初回ログインにはSSHを使用し、その後はUDPを介してデータを転送するため、安全で効率的な通信が確保されています。

Moshのユニークな機能として、UTF-8エンコーディングのサポート、SSHよりもパケットロスへの耐性、入力した文字を即座に表示するインテリジェントローカルエコーがあります。また、他のターミナルエミュレーターでよく見られる問題も解決しています。

Moshは定期的にアップデートされており、最新バージョン(1.4.0)は2022年10月にリリースされ、新機能や改善が加えられました。

全体として、Moshは特にモバイルや不安定なネットワーク環境においてリモートターミナルの使いやすさを向上させ、標準のSSHに代わる信頼できる選択肢となっています。

投稿者: rbinv | スコア: 11

4.
GAN Math (2020)
(GAN Math (2020))

要約がありません。

投稿者: sebg | スコア: 105

5.
間違えば何でもキューに
(Anything can be a message queue if you use it wrongly enough)

アクセスが拒否されました。エラーコードが表示されています。このメッセージはアヌビスによって保護されており、カナダのテクハロによって作成されました。マスコットのデザインはCELPHASEによるものです。

投稿者: crescit_eundo | スコア: 9

6.
重要な機械学習式
(Important machine learning equations)

このブログ記事は、機械学習(ML)における重要な数学的方程式についての包括的なガイドです。数学やプログラミングの基本的な理解を持つ読者が、主要な方程式を通じてMLの核心概念を把握できるようにすることを目的としています。

まず、確率と情報理論について説明します。ベイズの定理は、新しい証拠に基づいて確率を更新し、分類タスクにおいて基本的な役割を果たします。エントロピーは、分布の不確実性を測定し、決定木に役立ちます。共分散確率と条件付き確率は、イベント間の関係を説明し、確率モデルの基礎を形成します。クルバック・ライブラー発散は、二つの確率分布の違いを測定します。交差エントロピーは、実際の分布と予測された分布の違いを定量化する損失関数です。

次に、線形代数についてです。線形変換は、ニューラルネットワークにおいて入力を出力にマッピングするための基本的な概念です。固有値と固有ベクトルは、データの分散を理解するのに役立ち、主成分分析(PCA)などの手法で使用されます。特異値分解(SVD)は、データ構造の分析のために行列を分解します。

最適化の分野では、勾配降下法がモデルのパラメータを更新して損失を最小化する方法として紹介されます。バックプロパゲーションは、ニューラルネットワークの効率的なトレーニングのために勾配を計算します。

損失関数については、平均二乗誤差(MSE)が実際の値と予測値の平均的な二乗差を測定します。交差エントロピー損失は、分類タスクにおけるパフォーマンスを測定します。

最後に、進んだMLの概念について触れます。拡散過程は生成モデルの概念です。畳み込み操作はデータの特徴を抽出し、畳み込みニューラルネットワーク(CNN)にとって重要です。ソフトマックス関数は、多クラス分類のためにスコアを確率に変換します。注意機構は、トランスフォーマーのようなモデルで重要度の重みを計算します。

この記事は、機械学習の知識を深めたい人にとって、これらの方程式を理解することの重要性を強調し、さらなる学習のための追加リソースを提供しています。

投稿者: sebg | スコア: 195

7.
Altered states of consciousness induced by breathwork accompanied by music
(Altered states of consciousness induced by breathwork accompanied by music)

要約がありません。

投稿者: gnabgib | スコア: 482

8.
86-DOSの誕生
(Birth of 86-DOS – By Nemanja Trifunovic)

1980年4月、シアトルコンピュータープロダクツの若手社員ティム・パターソンは、インテル8086マイクロプロセッサ用のディスクオペレーティングシステムの開発を始めました。このプロジェクトは当初QDOS(クイック&ダーティオペレーティングシステム)と呼ばれていましたが、最終的には86-DOSとなり、マイクロソフトのMS-DOSの前身となりました。

1970年代後半、パーソナルコンピュータは主に8ビットのマイクロプロセッサを使用していました。しかし、インテル8086の登場とS-100バスの標準化により、16ビットアーキテクチャの時代が開かれました。パターソンはこの新しいハードウェアに対応するソフトウェアの需要を認識し、業界の主流であるCP/Mというオペレーティングシステムの開発が遅れていることを知り、オペレーティングシステムの開発に着手しました。

パターソンはマイクロソフトと協力し、彼らのBASICインタープリタをSCPの新しいハードウェアに統合しました。86-DOSは約6週間で開発され、APIはCP/Mに似せて設計され、ソフトウェアの互換性を高めることが意図されました。この選択は後に論争を引き起こし、彼がCP/Mをコピーしたとの非難を受けましたが、パターソンは86-DOSがオリジナルの作品であると主張しました。

1980年10月、マイクロソフトは86-DOSの再販に興味を示し、1981年7月には正式にマイクロソフトに売却され、MS-DOSと改名されました。このソフトウェアは、その後のパーソナルコンピュータの成功において重要な役割を果たしました。

投稿者: rbanffy | スコア: 17

9.
クロードのコード検査
(Claude Code Checkpoints)

作業を失う心配がなくなる:Claudeコードプロジェクトの自動バージョン管理

Macユーザー向けに、macOS 13.5以上で利用可能なこのツールは、無料でMac App Storeからダウンロードできます。

主な機能としては、自動変更検出があります。これにより、特別な設定なしでプロジェクトの変更を監視します。また、ワンクリックでチェックポイントを作成でき、変更を加える前にプロジェクトのスナップショットを簡単に取得できます。視覚的な差分表示機能もあり、チェックポイント間の違いを確認できます。さらに、コードのタイムトラベル機能を使えば、任意の以前のチェックポイントにプロジェクトを瞬時に復元できます。Claude Desktopとの統合もスムーズで、タスクが完了するたびに自動的にチェックポイントが作成されます。各チェックポイントは、すべてのプロジェクトファイルを保存し、簡単に復元できるようになっています。

シンプルなワークフローは次の通りです。まず、プロジェクトフォルダを選択します。次に、通常通りコーディングを行いながら、ツールが変更を追跡します。タスクの後には自動的にチェックポイントが作成され、いつでもワンクリックで以前の状態に復元できます。

シームレスな統合も特徴です。MCPとの統合により、Claude Desktopと自動的に接続し、タスクを追跡しながら重要な瞬間にチェックポイントを作成します。チェックポイントの管理や差分の表示、以前の状態への復元も簡単に行えます。

インターフェースはユーザーフレンドリーで、明確なチェックポイント管理と変更の視覚的比較ツールを備えています。

投稿者: punnerud | スコア: 91

10.
GPUの合計革命
(GPUPrefixSums – state of the art GPU prefix sum algorithms)

GPUPrefixSumsは、CUDAからの高度なGPUプレフィックスサム手法をポータブルなコンピュートシェーダーで使用できるように適応させたプロジェクトです。このプロジェクトでは「デカップルドフォールバック」という新しい技術が導入されており、特定の保証がないデバイスでもスキャンを行うことができ、クラッシュを防ぎます。GPUプレフィックスサムアルゴリズムの包括的なレビューが含まれており、異なるレベルでの並列処理に焦点を当てています。また、NvidiaのCUBライブラリとのベンチマークも行われています。

主な特徴としては、デカップルドフォールバックがあります。この方法では、スレッドブロックが計算を待つ間にブロックされることなく待機できるため、待機時間が長くなると別の操作にフォールバックすることができ、全体的なパフォーマンスが向上します。また、プレフィックスサムを計算するためのさまざまな手法が含まれており、これは並列計算においてソートやグラフの探索などのタスクに不可欠です。実装はD3D12、CUDA、Unity、そしてWGPUの基本バージョンで利用可能で、それぞれに特定のソフトウェアやハードウェアの要件があります。

始めるためには、D3D12とCUDAの場合、Visual Studio 2019以降と特定のWindows SDKバージョンが必要です。UnityパッケージはGitのURLを介して追加できます。WGPUバージョンは現在実験的であり、完全にはポータブルではありません。

このプロジェクトには、GPUプレフィックスサムや関連技術に関するさらなる読み物のための学術論文や記事へのリンクも含まれています。

投稿者: coffeeaddict1 | スコア: 29

11.
Microbial metabolite repairs liver injury by restoring hepatic lipid metabolism
(Microbial metabolite repairs liver injury by restoring hepatic lipid metabolism)

要約がありません。

投稿者: PaulHoule | スコア: 32

12.
Docker.io/Bitnami削除
(The Deletion of Docker.io/Bitnami)

このテキストは、同意管理システムのインターフェース要素の一連を示しています。主なポイントを簡単に説明します。

戻るボタンやフィルターを適用するボタンがあります。ユーザーは、さまざまな興味に応じたチェックボックスを使って同意の設定を管理できます。選択をクリアしたり、変更を適用するオプションも用意されています。レイアウトは繰り返しが多く、同意を管理するための複数のセクションがあることを示しています。

全体として、同意の設定と管理を行うためのユーザーインターフェースについて説明しています。

投稿者: zdkaster | スコア: 301

13.
Prosper AI (YC S23) Is Hiring Founding Account Executives (NYC)
(Prosper AI (YC S23) Is Hiring Founding Account Executives (NYC))

要約がありません。

投稿者: XDGC | スコア: 1

14.
オープンソースの力
(Open Source is one person)

ジョシュ・ブレッサーズの記事では、最近のロシアの開発者に関するニュースを背景に、個人が運営するオープンソースプロジェクトへの依存について論じています。ブレッサーズは、多くのオープンソースプロジェクト、特に人気のあるものが一人の開発者によって維持されていると指摘しています。

重要なポイントとして、約1180万のオープンソースプロジェクトが存在し、そのうち約700万が一人の個人によって管理されていることが挙げられます。この傾向はあまり知られていないプロジェクトに限らず、NPMエコシステムで最もダウンロードされているパッケージのほぼ半数も一人の開発者によって維持されています。また、単一のメンテナーの国籍に対する懸念は的外れであり、実際のリスクはこれらの個人開発者に対するリソースやサポートの不足にあると述べています。

ブレッサーズは、メディアが個々のメンテナーを非難することを批判し、このような焦点がオープンソースソフトウェアが直面している実際の問題、特にソロ開発者の課題から目を逸らさせると指摘しています。彼は、個々のメンテナーを悪者にするのではなく、オープンソース開発に影響を与える制度的な問題に取り組むことが重要だと結論づけています。

投稿者: LawnGnome | スコア: 215

15.
The startup bubble that no one is talking about
(The startup bubble that no one is talking about)

要約がありません。

投稿者: lemonlym | スコア: 60

16.
Yamanot.es: A music box of train station melodies from the JR Yamanote Line
(Yamanot.es: A music box of train station melodies from the JR Yamanote Line)

要約がありません。

投稿者: zdw | スコア: 300

17.
悪質なNxプラグイン出現
(Malicious versions of Nx and some supporting plugins were published)

この文章では、NXビルドシステムの人気パッケージに関するセキュリティ問題についての記事へのリンクが提供されています。この問題は、マルウェアによって引き起こされており、マルウェアはウォレットや認証情報などの機密情報を盗むことを目的としています。

投稿者: longcat | スコア: 426

18.
算術の高速VM
(A Fast Bytecode VM for Arithmetic: The Compiler)

このテキストは、Haskellを使用して算術式のための高速バイトコードコンパイラと仮想マシン(VM)の開発について説明しています。主なポイントは以下の通りです。

このシリーズでは、算術式を抽象構文木(AST)に解析すること、ユニットテスト、ASTをバイトコードにコンパイルすること、そしてVMでバイトコードを実行することに焦点を当てています。特にパフォーマンスに重点を置いています。

ASTの解釈は、ノードがメモリ内でどのように表現されるかによって遅くなることがあります。速度を向上させるために、ASTはコンパクトなバイトコード形式に変換され、実行がより効率的になります。

バイトコードは、VMが実行する一連の命令(オペコード)で構成されています。加算、減算、乗算、除算などの演算や、変数の扱いやlet式もサポートしています。

コンパイラは、算術式をバイトコードに変換する際に、バイトコード用のメモリを事前に確保し、効率的な書き込みのためにポインタを使用します。パフォーマンスをテストするためにいくつかのデータ構造が試され、事前に確保されたバイト列が最も速いことが確認されました。

デコンパイラも実装されており、バイトコードを読みやすい形式に戻すことができます。これにより、コンパイラの出力をデバッグしやすくなります。

ユニットテストにより、コンパイラが正しく動作することが確認され、さまざまな式に対する成功したコンパイルとエラーハンドリングがチェックされます。

異なるデータ構造や制御構造のパフォーマンスについても言及されており、慎重な設計選択によって大幅な改善が達成されたことが強調されています。

全体として、このテキストは算術演算のための効率的なコンパイラとVMの構築に関する技術的な探求を詳述しており、プロセス全体を通じてパフォーマンスの最適化が強調されています。

投稿者: abhin4v | スコア: 54

19.
AIでリアルタイムゲーム生成
(Rendering a Game in Real-Time with AI)

ウェブサイトがあなたのブラウザを確認しています。このウェブサイトの所有者であれば、問題を解決するためのリンクがあります。

投稿者: jschomay | スコア: 88

20.
フリーソフト求人
(Fossjobs: A job board for Free and Open Source jobs)

オランダ・アムステルダムにあるNLnet財団が、フルタイムのテクノロジーアセッサーを募集しています。求人の掲載日は2025年8月28日です。

投稿者: rendx | スコア: 115

21.
トヨタ、EVバッテリー再生でマツダ支援
(Toyota is recycling old EV batteries to help power Mazda's production line)

広島観光コンベンションビューローは、使用済みの電気自動車のバッテリーを再利用することがますます難しくなっていることを指摘しています。トヨタを含むさまざまなスタートアップや自動車メーカーが解決策を模索しています。トヨタのアプローチは、「スイープエネルギー貯蔵システム」と呼ばれる仕組みを採用しており、電気自動車やハイブリッド車から高電圧バッテリーを集めて電力網に接続します。

このシステムはエネルギーの流れを効率的に管理し、状態の良いバッテリーを優先的に使用し、性能が低いものは回避します。また、車両からインバーターを再利用することでコストを削減しています。マツダの広島キャンパスは独自の電源を持っており、この技術のテストに適した場所です。

トヨタとマツダは、再生可能エネルギーからの電力供給を調整するためにエネルギー管理システムを統合し、カーボンニュートラルの実現を目指しています。2022年に導入されたスイープシステムは、顕著な電力出力と貯蔵能力を達成し、効果的であることが証明されています。異なる品質のバッテリーと連携できる能力が、リサイクルの取り組みにおける実用性を高めています。

投稿者: computerliker | スコア: 293

22.
ブックマーク管理術
(Bookmarks.txt is a concept of keeping URLs in plain text files)

bookmarks.txtは、ブックマークをシンプルなテキストファイルで整理する方法です。主なポイントは以下の通りです。

ブックマークしたURLは、bookmarks.txtという名前のファイルに保存されます。ホームディレクトリにメインファイルがあり、他のディレクトリにも追加のファイルを作成できます。

各URLは別々の行にリストされ、必要に応じてタイトルが続きます。形式は次の通りです。

URL [タイトル]

例えば、単なるURLの場合は「https://www.example.com」、タイトル付きのURLは「https://sul.im personal website」となります。

これらのブックマークは、任意のプログラムを使って管理できます。bin/ディレクトリにあるスクリプトを使うと、URLをリストしたり追加したりできます。また、自分自身のツールを作成することも可能です。

URLをfzf(ファジーファインダー)を使って開くには、次のコマンドを実行します。

./bin/bookmarks | fzf | cut -d ' ' -f 1 | xargs open

新しいURLを追加するには、次のようにします。

./bin/bookmarks https://github.com/soulim/bookmarks.txt

メインのブックマークファイルには一般的なURLが含まれ、各プロジェクトディレクトリにはプロジェクト専用のbookmarks.txtがあります。シンボリックリンクを使うことで、ブックマークスクリプトに簡単にアクセスできます。

貢献はバグ修正のみ歓迎されており、新機能の追加はメンテナンスの課題を引き起こす可能性があるため、注意が必要です。

ライセンスの詳細については、LICENSEファイルを確認してください。

投稿者: secwang | スコア: 147

23.
Nvidia DGX火花
(Nvidia DGX Spark)

ウェブサイトで使用されるクッキーの種類について説明します。

まず、必須クッキーは、ウェブサイトが正常に機能するために必要不可欠です。これにより、セキュリティやアクセスの確保が行われます。これらのクッキーは無効にすることができません。

次に、パフォーマンスクッキーは、訪問者がウェブサイトとどのようにやり取りしているかを追跡します。具体的には、訪問回数やページに費やした時間、クリック数などの情報を収集します。このデータは、ウェブサイトのパフォーマンス向上に役立ちます。

個人化クッキーは、ユーザーのインタラクションに関するデータを収集し、体験を向上させるために使用されます。これにより、訪れたページを記憶し、興味に応じたマーケティングメッセージを提供することが可能になります。

最後に、広告クッキーは、訪問したページや閲覧した内容を追跡し、他のサイトで関連性のある広告を表示します。これにより、ユーザーの興味に基づいたターゲット広告のためのプロフィールを構築します。

全体として、クッキーはウェブサイトの機能を向上させ、ユーザー体験を改善する役割を果たしています。

投稿者: janandonly | スコア: 171

24.
オンionサービス証明書
(Certificates for Onion Services)

この文書では、Torネットワークの一部であるオニオンサービスのためのTLS/HTTPS証明書の統合と検証について説明しています。従来の証明書機関(CA)を利用する方法もありますが、他の選択肢も模索されています。

オニオンサービスはピアツーピアで暗号化されており、セキュアな接続のために追加の証明書を必要としません。しかし、ウェブ技術が進化する中で、HTTP/2やオンライン決済などの機能を利用するためには、有効な証明書が必要になっています。

有効なHTTPS接続を持つことは、セキュリティを必要とするブラウザ機能、例えばセキュアクッキーや決済処理を可能にします。また、暗号化の別の層を追加することでセキュリティが向上し、暗号鍵の管理もより効果的になります。

現在の証明書に関する提案には、特定の要件に基づいて.onionアドレス用の証明書を提供するCAの利用、ACMEプロトコルを使用してオニオンサービスの証明書発行を自動化する提案、CAに依存せずに使用できる自己署名証明書、自己署名証明書の利用を簡素化するための同一オリジンオニオン証明書(SOOC)の提案、DNSを利用した証明書検証のためのDANEの概念、.onionアドレス専用の証明書を発行するCAの提案があります。

証明書を実装することの利点には、さまざまなアプリケーションやブラウザとの互換性の向上、PCI基準を満たすことで決済処理をサポートすること、オニオンサービス全体のセキュリティモデルの改善が含まれます。

一方で、既存の多くのアプリケーションがオニオンサービスを認識していないため、証明書の実装が複雑になっています。また、異なるレベルのサポートや実装の複雑さ、既存のCAへの依存度が異なるさまざまな提案が存在します。

各提案には、実装の容易さや既存のインフラへの依存、アプリケーション全体でのサポートなど、それぞれの利点と欠点があります。主要なブラウザにおけるEd25519などの新しい暗号アルゴリズムの将来のサポートについては不透明です。

オニオンサービスの証明書エコシステムを改善することは、その機能性とセキュリティにとって重要です。自動化やウェブ技術とのより良い統合を目指す複数の提案が検討されていますが、標準化やブラウザのサポートには依然として課題が残っています。

投稿者: keepamovin | スコア: 107

25.
知られざるモバイル広告の裏側
(Lesser known mobile adtech domains where data is sent)

この記事では、AppGoblinが40,000以上のアプリを分析し、多くの広告ドメインを追跡した結果について述べています。一部のドメインは所有権が不明確で、その目的についての推測がされています。重要なドメインには以下のものがあります。

まず、qa-analytics.comはドイツに関連しているようで、Unity3Dのドメインともつながりがあります。次に、acobt.techはBigo Ads SDKを使用するいくつかのアプリに関与しています。また、onegg.siteもBigo Adsに関連しています。さらに、lazybumblebee.comはBidMachineに関連している可能性があり、多くのゲームで仲介SDKとして機能しています。最後に、marketingcloudapis.comは最初は不明でしたが、後にSalesforceに関連していることが判明しました。

調査の結果、ほとんどのドメインは主にゲームアプリで使用されており、特にBigo AdsやBidMachineなどのさまざまな広告ネットワークと関連していることがわかりました。この探求は、モバイルアプリの広告の状況についての洞察を提供し、これらのあまり知られていないドメインが広告技術のエコシステム内でどのように機能しているかを明らかにしました。

投稿者: ddxv | スコア: 78

26.
Windows 11 Update KB5063878 Causing SSD Failures
(Windows 11 Update KB5063878 Causing SSD Failures)

要約がありません。

投稿者: binwiederhier | スコア: 164

27.
サンプルなしで脅威を捕まえる
(iOS Elegantbouncer: When You Can't Get Samples but Still Need to Catch Threats)

ELEGANTBOUNCERは、実際の悪用サンプルにアクセスすることなく、高度な脅威を検出するために設計されたモバイルセキュリティツールです。従来の検出方法は、既知の悪意のあるサンプルがない場合や、攻撃者がファイル構造を変更する技術を使用する場合に苦労します。ELEGANTBOUNCERは、特定のパターンや署名ではなく、ファイルの構造的特性に焦点を当てることで、これらの課題に対処しています。

このツールの主な特徴は、構造分析です。既知のバイト列を探すのではなく、ファイルの構造を分析し、悪用の可能性を示す特徴が含まれているかどうかを判断します。また、元の悪用やその改変版、同じ脆弱性に基づく将来の脅威を検出する能力があります。例えば、ELEGANTBOUNCERは、PDF内のFORCEDENTRY悪用や、WebPファイル内のBLASTPASS悪用を、署名ではなく数学的な不可能性を用いて特定します。さらに、このツールはスマートな検出戦略や並列処理、早期終了を活用してスキャン性能を最適化しています。iOSのバックアップファイルをスキャンし、メッセージアプリの添付ファイルに隠れた脅威を分析するために、元のフォルダ構造を再構築することも可能です。

ELEGANTBOUNCERは、法医学的調査において効果を発揮し、検出された脅威の詳細なレポートを提供します。これには、悪用の起源や種類が含まれます。このツールは、インシデント対応、脅威インテリジェンス、法的案件、セキュリティ監査に特に価値があります。

ただし、ELEGANTBOUNCERはすべての悪用を検出できるわけではなく、新しい技術やポリモーフィックな変種には対応できない場合があります。また、疑わしいファイルを誤ってフラグ付けすることで、偽陽性を生じることもあります。

このツールはオープンソースであり、セキュリティコミュニティからの貢献を促進し、検出方法や性能の向上を目指しています。攻撃者がより複雑な技術を開発する中で、ELEGANTBOUNCERの構造的検出への焦点は、適応し進化するための強みとなります。ELEGANTBOUNCERは、秘密のサンプルに依存せずに効果的な脅威検出が可能であることを示しており、悪用のメカニズムを理解する重要性を強調しています。

投稿者: transpute | スコア: 12

28.
ラストの生産性革命
(Unexpected productivity boost of Rust)

著者は、プロジェクト「Lubeno」の成長するコードベースを管理する中でのRustとTypeScriptの経験について語っています。主なポイントは以下の通りです。

まず、Rustの利点についてです。Lubenoのバックエンドは完全にRustで書かれており、著者はプロジェクトが拡大する中でコードの品質を維持するのに役立つと感じています。Rustの強力な安全性の保証により、著者は自信を持ってコードをリファクタリングでき、生産性と長期的な保守性が向上しています。

次に、並行性の問題についてです。著者は、構造体をミューテックスでラップする際に並行性の問題に直面しました。これは、Rustのスレッド間でのミューテックス使用に関する厳しいルールのためにコンパイルエラーが発生しました。Rustのコンパイラは潜在的なバグを効果的に防ぎ、ライフタイムや非同期操作を管理する能力を示しています。

一方、TypeScriptではスケジューリングのレースコンディションに直面しました。これは本番環境で検出されず、非同期実行のために単純なリダイレクトロジックが失敗しました。これにより、TypeScriptがこうした問題を捉える限界が浮き彫りになりました。

著者は、PythonやJavaScriptのような言語はウェブ開発において初めは生産的に見えるものの、プロジェクトが成長するにつれて複雑さを引き起こすことが多いと主張しています。Rustは、無関係なコードを壊すことを恐れずに変更を加える自信を促します。

テストとコンパイラのサポートについても触れています。テストは重要ですが、Rustのコンパイラは多くのエラーを事前にキャッチするのに役立ち、広範なテストを必要としない場合もあります。著者は、Rustの設計が開発中の意思決定の精神的負担を軽減していることを評価しています。

最後に、Zigについても簡単に言及しています。Zigには魅力的な機能がありますが、そのエラーハンドリングの設計にはリスクも伴い、Rustのより厳格な型安全性と対比されています。

全体として、著者はRustの強力な型システムと安全機能が複雑なコードベースを効果的に管理するための貴重な選択肢であると強調しています。

投稿者: bkolobara | スコア: 485

29.
iPhoneでサクッとアプリ開発
(Bitrig (YC S25) – Build Swift apps on your iPhone)

カイル、ジェイコブ、ティムは「Bitrig」というアプリを開発しています。このアプリは、ユーザーがAIとチャットしながら、iPhone用のネイティブSwiftアプリを直接スマートフォン上で作成できるものです。初心者でも使いやすいように設計されており、アプリ開発の敷居を下げています。

Bitrigは独自のSwiftインタープリターを使用しており、アプリの即時プレビューが可能で、URLを通じて簡単に共有できます。ユーザーが有料のApple開発者アカウントを持っている場合、Bitrigはアプリをコンパイルし、App Storeにアップロードして配布することができます。

彼らはアプリを改善するために、AppleのSDKフレームワークを継続的に追加しています。ユーザーはApp StoreからBitrigをダウンロードできます。

投稿者: kylemacomber | スコア: 164

30.
VIMの達人
(VIM Master)

VIM Masterは、Vimのコマンドや動作を学ぶためのシンプルなブラウザベースのゲームです。インストールは不要で、index.htmlファイルをブラウザで開くだけでプレイできます(デスクトップでの利用が推奨されます)。

このゲームの主な特徴は、通常モードと挿入モードの2つのモードがあり、画面上にステータスバーが表示されることです。また、キー入力を記録するコマンドログがあり、レベルは単にキー入力を確認するのではなく、実際の行動を評価します。さまざまなVimのコマンドや動作に対応しており、コマンドには数字を使ったカウント(例:3w)も含まれています。さらに、元に戻す機能ややり直す機能もあり、レベルをクリアすると達成に応じたバッジがもらえるお祝い画面が表示されます。

ゲームのレベルは、移動、挿入、削除、検索といった基本的なコマンドを教えます。各レベルは特定のスキルセットに焦点を当てています。

チャレンジモードでは、時間制限の中でコマンドを思い出す能力を試すことができる、スピード感のあるバージョンです。

チートモードは、コマンドを探求し練習するためのインタラクティブなチートシートです。

使用方法は、リポジトリをクローンし、index.htmlを直接ブラウザで開くだけです。ローカルアクセスが制限されている場合は、静的サーバーを使用してください。

技術スタックは、HTML、CSS、JavaScriptで構築されており、スタイリングにはTailwindを使用し、外部依存関係はありません。

貢献や問題提起は歓迎されています。

ライセンスはMITライセンスです。

VIM Masterは、楽しいゲームプレイを通じてVimのコマンドを効果的に学べることを目指しています。

投稿者: Fluffyrnz | スコア: 345

31.
Like Intel before it, AMD blames motherboard makers for burnt-out CPUs
(Like Intel before it, AMD blames motherboard makers for burnt-out CPUs)

要約がありません。

投稿者: seemaze | スコア: 69

32.
GMP damaging Zen 5 CPUs?
(GMP damaging Zen 5 CPUs?)

要約がありません。

投稿者: sequin | スコア: 235

33.
The GitHub website is slow on Safari
(The GitHub website is slow on Safari)

要約がありません。

投稿者: talboren | スコア: 427

34.
Pausing Insect Activity
(Pausing Insect Activity)

要約がありません。

投稿者: surprisetalk | スコア: 20

35.
インドでSci-Hub封鎖
(Sci-Hub has been blocked in India)

2025年8月、インドで学術知識への無料アクセスを提供するプラットフォーム、Sci-Hubへのアクセスが大手出版社であるエルゼビア、ワイリー、アメリカ化学会の影響を受けた裁判所の命令により遮断されました。これらの出版社は2020年から無料の学術リソースへのアクセスを制限しようとしており、インドの研究者やオープンアクセスの支持者から大きな反発を受けています。

法的支援への期待があったものの、インドの裁判所はこの問題に関して明確な判断を下しておらず、技術的な課題もSci-Hubが新しい論文を提供する能力を妨げています。この問題に対処するため、2025年4月にコミュニティベースの研究論文共有を促進する新しいプロジェクト、Sci-Netが立ち上げられました。

出版社は現在、Sci-Netも制限しようとしており、これはSci-Hubに対する2021年の裁判所の命令に違反していると主張しています。この状況は、知識へのアクセスを遮断することの合法性や人権への影響について懸念を引き起こしています。特にインドにおいては、その影響が大きいです。

ブロックを回避してSci-Hubにアクセスするために、ユーザーはVPNやTORブラウザなどの検閲回避ツールを利用することができます。オープンアクセスの推進は続いており、多くのインドの学者が無料の知識への権利を主張しています。

投稿者: the-mitr | スコア: 238

36.
Google has eliminated 35% of managers overseeing small teams in past year
(Google has eliminated 35% of managers overseeing small teams in past year)

要約がありません。

投稿者: frays | スコア: 527

37.
C言語のデザインパターン
(Object-oriented design patterns in C and kernel development)

著者は、自身が開発しているオペレーティングシステムにおけるオブジェクト指向デザインパターンの実装経験について述べています。オペレーティングシステムの開発は、他者との協力や多くのユーザーのためのコード維持のプレッシャーがないため、創造的な自由を与えてくれます。

著者は、LinuxカーネルがC言語で書かれているにもかかわらず、構造体内の関数ポインタを通じたポリモーフィズムなどのオブジェクト指向の原則をどのように活用しているかを探ります。ここで紹介される「vtable」(バーチャルテーブル)の概念は、構造体が関数ポインタを含むことで、異なるデバイスタイプが特定の機能を実行しながら共通のインターフェースを共有できるようにします。

著者はこのパターンをカーネルサービスの管理に応用し、各サービスのためにロジックをハードコーディングすることなく、一貫した操作(起動や停止など)を可能にします。また、vtableはプロセススケジューリングにも使用され、カーネルのコアを変更することなく、実行時にスケジューリング戦略を切り替えることができます。

さまざまなコンポーネント(ソケット、デバイス、ファイル)とのやり取りを簡素化するために、ファイル操作のような統一されたインターフェースを持つことの利点も強調されています。このアプローチはカーネルモジュールとの互換性があり、ドライバを動的にロードする際に再コンパイルや再起動を必要としません。

ただし、著者は構文が煩雑で、操作に明示的な文脈が必要になることを指摘していますが、この明確さが依存関係の理解に役立つと感じています。全体として、vtableは著者のカーネルコードに柔軟性と一貫性を保つのに役立ち、オペレーティングシステムの開発を楽しく革新的なものにしています。

投稿者: joexbayer | スコア: 242

38.
コンテナとVMの真実
(About Containers and VMs)

Incusは、システムコンテナと仮想マシン(VM)の2種類のインスタンスをサポートしています。

システムコンテナは、ホストのLinuxカーネルを使用します。これにより、Linuxのみを実行し、リソースの消費が少なくなります。システムコンテナは、名前空間やcgroupsといったソフトウェア機能を利用して隔離を実現します。このため、複数のアプリケーションを同時に実行したり、プロセスの隔離のためのユーザースペースを作成するのに適しています。

一方、仮想マシンは、ホストのハードウェア機能を利用して隔離を行います。これにより、ホストとは異なるオペレーティングシステムを実行することが可能です。ただし、仮想マシンはより多くのリソースを必要とし、ハードウェアの仮想化が求められます。異なるOSを完全に実行する必要がある場合に適しています。

比較すると、アプリケーションコンテナ(Dockerのような)は単一のアプリケーションをパッケージ化しますが、システムコンテナは完全なオペレーティングシステムをシミュレートします。システムコンテナは速く、ホストのカーネルを共有しますが、仮想マシンは完全な仮想マシン体験を提供しますが、リソースを多く消費します。

要するに、軽量なLinuxベースのタスクにはシステムコンテナを使用し、異なるオペレーティングシステムやホストのカーネルがサポートしていない特定の機能を実行する必要がある場合には仮想マシンを利用するのが良いでしょう。

投稿者: Bogdanp | スコア: 94

39.
Areal, Are.na's new typeface
(Areal, Are.na's new typeface)

要約がありません。

投稿者: g0xA52A2A | スコア: 162

40.
What is this? The case for continually questioning our online experience (2021)
(What is this? The case for continually questioning our online experience (2021))

要約がありません。

投稿者: Gigamouse | スコア: 31

41.
小規模グループの新選択肢
(Meetup.com and eventribe alternative to small groups)

これは、モバイルに対応したオープンソースのRSVPプラットフォームで、特に小規模な企業やグループ向けに、meetup.comやeventribeの代替として機能します。ユーザーは、コストをかけずに自分のイベントを主催することができます。

主な特徴としては、まず「ワンクリック共有」があります。各イベントにはユニークなURLが付与されており、どのプラットフォームでも簡単に共有できます。また、「手間なし、サインアップ不要」という点も魅力です。ユーザーは、登録やフォームの記入なしに、すぐにイベントを作成し、共有することができます。さらに、「簡単さを追求した設計」により、誰でも迅速かつ簡単にイベントを作成できるようになっています。

フィードバックや改善案も歓迎しています。

投稿者: orbanlevi | スコア: 99

42.
Researchers find evidence of ChatGPT buzzwords turning up in everyday speech
(Researchers find evidence of ChatGPT buzzwords turning up in everyday speech)

要約がありません。

投稿者: giuliomagnifico | スコア: 185

43.
姉妹の逆説
(The sisters "paradox" – counter-intuitive probability)

「姉妹の逆説」と呼ばれる確率の問題についてのブログ記事があります。この問題は、少なくとも一人が女の子である二人の子供を持つ家族に関するものです。ここでの質問は、両方の子供が女の子である確率はどれくらいかということです。

まず、男の子または女の子が生まれる確率は50%です。無作為に選ぶと仮定すると、二人の子供の組み合わせを分析します。組み合わせは以下の通りです:男-男(0.25)、男-女(0.25)、女-男(0.25)、女-女(0.25)です。

多くの人は、どちらも女の子である確率は0.5だと考えます。なぜなら、一人が女の子であれば、もう一人も女の子である確率は50%だと考えるからです。しかし、この論理は間違っています。

実際には、両方の子供が女の子である確率は1/3です。少なくとも一人が女の子であることがわかると、可能な組み合わせは男-女、女-男、女-女の三つに減ります。この中で、両方が女の子である組み合わせは一つだけです。

サンプル空間、つまりすべての可能な結果を理解することは、このような問題を解く上で非常に重要です。もし長女が女の子であると指定されれば、確率は1/2に変わります。これは一つの組み合わせを排除するからです。

これらの確率を検証するためには、大きな家族でシミュレーションを行い、結果を観察することができます。

著者は、確率論における正確さの重要性を強調し、理論をテストするためにシミュレーションを行うことを提案しています。また、こうした逆説的な状況においては「常識」に頼ることの危険性についても警告しています。

投稿者: Vermin2000 | スコア: 42

44.
リビアの真実
(On the screen, Libyans learned about everything but themselves (2021))

著者はリビアにおける映画体験を振り返り、ハリウッドが描くリビアとの対比について考察しています。2017年に「スター・ウォーズ:最後のジェダイ」を初めて観た著者は、リビアで育った頃は海賊版の映画に頼っていたことを思い出します。政府も海賊行為に関与していたため、メディアへのアクセスが制限され、人々が見ることや知ることができる情報が限られていました。

そのような困難にもかかわらず、著者はハリウッド映画への愛情を育み、「ゴッドファーザー」や「バック・トゥ・ザ・フューチャー」といった名作を発見しました。しかし、映画におけるリビアの描写には問題があり、「バック・トゥ・ザ・フューチャー」ではリビア人がテロリストとして描かれています。これは歴史的な対立によって形作られたものです。また、「独裁者」や「13時間」といった他の映画も、リビアやその文化を誤って表現していると述べています。

著者は、世界がリビアについて誤解を抱いている一方で、リビア人自身も自国の歴史や文化の多様性についての知識が不足していることを指摘しています。家族と映画を観た思い出を語り、リビアのクリエイターが自国の豊かな遺産を反映した本物の物語を語る必要性を強調しています。著者は、普通の英雄やリビアの真のアイデンティティを描いたより正確なリビア人の表現が映画で見られることを期待しています。

投稿者: thomassmith65 | スコア: 49

45.
GoとCでForth実装
(Implementing Forth in Go and C)

著者は、プログラミング言語ForthをGoやCを使って探求し、実装する過程を語っています。

Forthとの出会いは20年前、組み込みハードウェアを学んでいるときでした。当初は「変わった言語」と感じ、深く掘り下げることはありませんでしたが、最近になって再び興味を持ちました。

2025年6月、さまざまなトピックを学んだ後、著者はオンラインで見つけたリソースに触発され、Forthの実装を決意しました。

Forthには二つのレベルがあります。ユーザーレベルは、Forthをプログラミングに使いたい人向けで、実装を理解する必要はありません。一方、ハッカーレベルは、Forthの構造や機能を深く探求したい人向けで、カスタム制御フロー構造を作成することができます。

実装には二つの主要なものがあります。goforthはGoに基づいた実装で、ユーザーレベルのニーズに応えますが、ハッカーレベルの探求には限界があります。ctilはCに基づいた実装で、Forthのコア部分をForth自体で実装することができ、より深い探求が可能です。

Forthの特徴として、連結型言語であることが挙げられます。これは、スタックに基づいてコマンドを処理し、パラメータを明示的に渡す必要がないことを意味します。このため、計算機やスクリプト言語として使いやすいですが、大規模なプログラムでは可読性の問題が生じることがあります。

Forthは興味深く有用な言語ですが、著者はそのスタックベースのモデルが読みづらく、理解しにくいと感じています。特に、Cのようなより一般的な言語と比較すると、その難しさが際立ちます。

著者はForthやその実装を学ぶためのリソースとして、いくつかの書籍やオンラインチュートリアルを推奨しています。

Forthの実装は、プログラマーにとって貴重で楽しいプロジェクトであり、プログラミング言語の設計に関する洞察やスタックベースの論理を理解する上での挑戦を提供します。全体として、著者のForthの探求は、異なるプログラミング言語での実装や言語自体のユニークな側面に焦点を当てています。

投稿者: Bogdanp | スコア: 160

46.
ミシシッピ制限開始
(Beginning 1 September, we will need to geoblock Mississippi IPs)

あなたのリクエストを確認するために、CAPTCHAを完了するように選ばれました。下のフォームに必要事項を入力し、ボタンをクリックしてください。

投稿者: AndrewDucker | スコア: 261

47.
Raspberry Piでラベル印刷
(Printing Labels via SSH with Raspberry Pi Zero and Nix)

著者は、中古のBrother QL-700ラベルプリンターをRaspberry Pi Zeroを使って設定し、専用ドライバーをインストールせずにラベルを印刷しました。最初はプリンターが無線接続に対応していなかったため、USBでノートパソコンに接続しましたが、既存のソフトウェアソリューションに問題がありました。最終的に、著者は自分のニーズに合ったPythonプロジェクト「brother_ql」を見つけました。

このライブラリがノートパソコンで動作することを確認した後、著者はRaspberry Pi Zeroに必要なソフトウェアを設定しました。これにはNixとbrother_qlライブラリが含まれています。しかし、PiのmicroUSBポートのためにプリンターが接続を認識するのに苦労し、プリンターを接続するためのカスタムケーブルを作成する必要がありました。

すべてが正しく設定されると、著者はターミナルからのコマンドを使ってラベルを印刷することに成功しました。また、ラベル作成を簡単にするために、Pi上で描画ツールをホストするアイデアも検討しました。しかし、著者はプリンターの即時の使用がなかったため、さらなる開発を一時中断することにしました。

投稿者: Bogdanp | スコア: 14

48.
マスターマインド攻略法
(Using information theory to solve Mastermind)

マスターマインドは、1人のプレイヤーがコードマスターとなり、6色の中から選んだ4つのペグで構成された秘密のコードを作る推測ゲームです。勝つためには、正しいコードを当てる必要があります。間違った推測をした後、コードマスターは黒と白のペグを使ってフィードバックを提供します。

黒いペグは、あなたが推測した色の中に正しい色があり、しかもその位置が正しいことを示します。白いペグは、推測した色の中に正しい色があるものの、その位置が間違っていることを示します。ペグが全く与えられない場合は、あなたの推測した色の中には秘密のコードに含まれている色がないことを意味します。

投稿者: SchwKatze | スコア: 115

49.
グラフェンOS専用デバイス
(I'll only buy devices with GrapheneOS)

著者は、GrapheneOSを搭載したデバイスの好みについて語り、権威主義が高まる中でプライバシーとセキュリティの重要性を強調しています。政府の監視や侵入的なデジタル通信法についての懸念を表明し、主流のデバイスがユーザーのコントロールやプライバシーを損なうことが多いと指摘します。企業が利益を優先するため、ユーザーの権利が軽視されがちだと述べています。

GrapheneOSは、使いやすさを保ちながら高いセキュリティとプライバシー基準を提供する解決策として紹介されています。インストールプロセスは簡単で、銀行アプリを含むほとんどのアプリが問題なく動作します。著者は、不要なソフトウェアやベンダーアプリがないことを評価し、これがユーザーのコントロールを向上させると述べています。

著者は、より多くのハードウェアオプションを望んでいますが、現時点ではGrapheneOSがGoogle Pixelデバイスのみをサポートしていることを認めています。モバイルデバイスを選ぶ際には、ハードウェアよりもソフトウェアの重要性が高まっていると強調し、良いソフトウェアがユーザー体験やデバイスの性能を大きく向上させることができると述べています。全体として、著者は今後もGrapheneOSをサポートするモバイルデバイスを使用することにコミットしています。

投稿者: lawn | スコア: 12

50.
インテル幹部、アナログデバイセズに転職
(Intel exec quits to run Analog Devices' Oregon factory)

アナログデバイセズは、オレゴン州ビーバートン近くの工場を10億ドルで拡張したばかりです。この新しい施設の管理を担当するのは、長年インテルに勤務していたナラハリ・ラマヌジャ氏です。彼の退職は、インテルが直面している大きな課題やリーダーシップの変化に伴うトレンドの一部です。

インテルはコスト削減と人員削減を進めており、過去1年間でオレゴン州の従業員を少なくとも5,400人減らしましたが、依然として州内で最大の雇用主です。同社は、高度なチップの需要が減少している中で回復を目指しており、最近の人員削減は合計で30,000人に達しています。

一方、アナログデバイセズは、さまざまな産業向けの確立されたチップ技術に注力しています。ビーバートンの工場は同社にとって最大の施設となり、カマスにも工場があります。これに対し、インテルは重要なエンジニアや技術者を失っており、革新を進める上でさらに困難な状況に直面しています。

投稿者: voxadam | スコア: 9

51.
ペイパルの不正、独銀に波紋
(A failure of security systems at PayPal is causing concern for German banks)

PayPalは現在、セキュリティシステムの不具合により大きな問題に直面しています。この影響で、多くのドイツの銀行が支払いをブロックしています。この混乱は数十億ユーロの取引に影響を及ぼし、商人たちは支払いを待たされる状況です。セキュリティシステムは不正を検出し防止するために設計されていますが、報告によれば、適切なチェックなしに直接引き落としが行われてしまったとのことです。

不正行為の可能性に備えて、バイエルン州立銀行やDZ銀行を含むいくつかの銀行は、PayPalの取引を一時的に停止しました。このため、消費者や商人にとって支払い処理が大きな困難をもたらし、食料品店での取引など、さまざまな取引に影響が出ています。

PayPalは問題が解決したと主張していますが、その影響はまだ続いており、多くの取引が遅延しています。ドイツ貯蓄銀行協会は、PayPalからの不正な直接引き落としがドイツやヨーロッパのさまざまな金融機関に影響を与えていることを確認しています。消費者は、自分の口座に不正な請求がないか確認することが推奨されています。

投稿者: tietjens | スコア: 266

52.
プログラムを遅くする方法
(How to slow down a program and why it can be useful)

プログラミングの研究は、通常、プログラムを速くしたり、メモリの使用量を減らしたりすることに焦点を当てています。しかし、プログラムを遅くすることには有用な理由があります。

まず、プログラムの一部を遅くすることで、複数のスレッドが同時に実行される際に発生するバグを特定するのに役立ちます。これは、指示のタイミングを変更することで行われ、ファジングと呼ばれる手法に似ています。

次に、Cozプロファイラのようなツールを使うことで、プログラムの他の部分を遅くし、最適化の潜在的な利点を実装前に推定することができます。

さらに、プログラムを遅くすることで、プロファイリングツールの精度を評価することも可能です。

現在のプログラムを遅くする方法はやや粗雑で、より精密に改善できる余地があります。研究者たちは、特定の遅延命令をコードの基本ブロックに挿入することで、より制御された結果を得る方法を探求しています。

実験では、Intel Core i5-10600 CPUを使用して、プログラムの実行を効果的に遅くすることができるx86命令を6つテストしました。その結果、NOP(無操作)命令とMOV(レジスタの値を自分自身に移動する)命令が、制御された遅延に効果的であることがわかりました。これらの命令を挿入することで、対象となる基本ブロックの実行時間を倍増させながら、一貫したパフォーマンスを維持できます。また、これらの遅延命令のコード内での配置が結果に影響を与えることがあり、細かい制御がより良いプロファイリングやデバッグツールにつながる可能性があります。

これらの発見は、機械語レベルでの精密な遅延技術を活用した高度な開発者ツールに関する今後の研究の指針となることを目指しています。

投稿者: todsacerdoti | スコア: 152

53.
柔軟ソフトウェア
(Malleable Software)

マイケル・デュバコフの記事では、AIの時代におけるソフトウェアの未来について論じられており、ツールの適応性の重要性が強調されています。

まず、最も成功するソフトウェアは、ユーザーがそれに合わせるのではなく、ユーザーのニーズに応じて適応できるものだとされています。例えば、Linearのようなツールは柔軟性に欠け、AIがその機能を向上させる可能性を制限しています。

次に、大規模言語モデル(LLM)の登場により、問題解決の焦点が解決策を見つけることから問題を定義することに移っています。ユーザーは自分のニーズを簡単な言葉で説明でき、AIが技術的な部分を処理することで、迅速にプロトタイプを作成することが容易になります。

また、従来のカスタマイズ可能なソフトウェアは複雑で時間がかかるものでしたが、AIの進化により、個別のニーズに応じたソリューションを迅速かつ簡単に作成できるようになり、ユーザーは柔軟なツールを好むようになるでしょう。

今後10年で、簡単にカスタマイズできるソフトウェアの需要が高まると予測されています。2030年から2035年には、これらのツールの設定プロセスがプロジェクトというよりも会話のように感じられるようになり、硬直したソフトウェアの使用は減少するでしょう。

AIによってソフトウェアがより適応性を持つようになるにつれ、硬直したツールは人気が低下し、ほとんどのユーザーが自分のニーズに応じて進化する柔軟なソリューションを好むようになると考えられています。

投稿者: tablet | スコア: 109

54.
「車大の岩、急降下!」
('Rocks as big as cars' are flying down the Dolomites)

イタリアの美しい山脈、ドロミテでは大規模な落石が発生しており、車ほどの大きさの岩が崩れ落ちています。この問題は、2004年6月にトレフォール塔が崩壊したことをきっかけに注目されました。専門家のアントニオ・ガルガロ氏は、次にどの山が崩れるかを予測しており、この地域の多くの塔に不安定な兆候、特に亀裂が見られると指摘しています。

近年、いくつかの著名な地滑りが発生し、地元住民や科学者の間で懸念が高まっています。ドロミテは古代のサンゴ礁から形成されており、その独特の地質は侵食に対して脆弱です。地滑り自体は自然現象ですが、専門家は気候変動や激しい降雨などの極端な気象イベントの影響で、最近はその頻度が増していると考えています。

科学者たちは、自然のプロセスを止めるのではなく、これらの山々を監視することに重点を置いています。地元のコミュニティにはリスクを認識し、それに応じた対策を講じるよう呼びかけています。風景の変化は避けられないことを認め、専門家は自然を制御することはできないと強調し、リスクと共に生きる方法を学ぶことが最善のアプローチであると述べています。

投稿者: bookofjoe | スコア: 112

55.
ゼッドにエージェントを!
(Bring Your Own Agent to Zed – Featuring Gemini CLI)

このテキストは、テキストエディタのZedにGemini CLIが統合されたことについて述べています。この新機能により、ユーザーはZedの環境内で直接Geminiプロジェクトを簡単に管理し、操作できるようになります。主な利点は、Geminiを使う開発者にとって効率が向上し、作業の流れがスムーズになることです。この統合は、プロジェクト管理の作業を簡素化するツールや機能を提供することで、ユーザー体験を向上させます。

投稿者: meetpateltech | スコア: 166

56.
合成ガソリン
(Synthetic gasoline)

合成ガソリンは、合成燃料やe燃料とも呼ばれ、原油から抽出されるのではなく、化学プロセスを通じて製造される液体燃料です。内燃機関用の化石燃料に代わる持続可能な選択肢を提供することを目的としており、二酸化炭素(CO2)や水素(H2)などの原材料を使用します。

合成ガソリンの製造プロセスは、いくつかのステップから成り立っています。まず、原料の取得として、CO2は大気や工業的な源から捕集され、水から水素が生成されます。次に、CO2とH2は合成ガス(シンガス)に変換されます。その後、フィッシャー・トロプシュ合成というプロセスを通じて、シンガスがガソリンに似た炭化水素の鎖に変換されます。最後に、生成された炭化水素の混合物はガソリンの仕様に合わせて処理され、性能を向上させるために添加剤が混ぜられます。

環境面では、捕集したCO2と再生可能エネルギーを使用して生産されれば、合成ガソリンはカーボンニュートラルまたはカーボンネガティブになる可能性があります。しかし、化石燃料からのCO2を使用すると、これらの利点は減少します。

合成ガソリンの利点には、化石燃料への依存を減らすことが挙げられます。また、既存の車両インフラに適合させることができ、温室効果ガスの排出を低減する可能性があります。さらに、多様なエネルギー供給を提供します。

バイオ燃料との比較では、合成ガソリンはバイオマス(例えばトウモロコシ)から作られるバイオ燃料とは異なり、従来のガソリンに近い特性に調整できるため、農地の使用に関する懸念なしにエンジン性能を向上させる可能性があります。

一方で、合成ガソリンの課題もあります。エネルギー集約的なプロセスのため、生産コストが高く、現在の生産効率は約50~60%です。また、直接空気捕集(DAC)は複雑でコストがかかります。

将来的には、合成ガソリンの成功は技術の進歩、支援的な政策、手頃な再生可能エネルギーに依存します。すぐに従来のガソリンを完全に置き換えることは難しいかもしれませんが、特に航空や長距離トラック輸送などの分野で、輸送の脱炭素化に大きく貢献する可能性があります。

全体として、合成ガソリンは持続可能な燃料の有望な解決策を提供しますが、その経済的および環境的な実現可能性には継続的な革新と支援が必要です。

投稿者: alexandrehtrb | スコア: 20

57.
You shouldn't salt a leech that's sucking your blood (2019)
(You shouldn't salt a leech that's sucking your blood (2019))

要約がありません。

投稿者: pabs3 | スコア: 86

58.
英国太陽光発電、史上最高の年!
(Strongest year on record for UK solar generation as deployment accelerates)

2025年上半期、イギリスの太陽光発電は過去最高を記録し、2024年の同時期と比べて32%増加し、総発電量は9.91テラワット時に達しました。この急増は、記録的な晴天と太陽光発電設備の急速な増加によるものです。

2025年7月には、新たに22,406基の太陽光パネルが設置され、106メガワットの発電能力が追加されました。これにより、イギリス全体の太陽光発電能力は1.8百万基の設置で19.1ギガワットに達しました。特に、この発電能力の42%は大規模な地上設置型の太陽光プロジェクトから来ています。

データは、家庭用の太陽光発電設備が大きくなっている傾向も示しています。現在、新たに設置される家庭用太陽光発電の半分は大規模なシステムであり、2010年から2019年の間はわずか5%でした。全体として、イギリスにおける太陽光発電の導入は加速しており、政府はこの成長が続くと予想しています。

投稿者: mmarian | スコア: 5

59.
宇宙からの衝撃信号
(The “Wow!” signal was likely from extraterrestrial source, and more powerful)

提供されたリンクは、研究論文のリポジトリであるarXivに掲載された学術論文に繋がっています。論文の具体的な内容は記載されていないため、重要なポイントを要約することはできません。簡潔な概要を得るには、リンクを訪れて各論文の要旨や主要な発見を確認する必要があります。

投稿者: toss1 | スコア: 222

60.
予測ピクセル形式
(Prediction-Encoded Pixels image format)

PEPは、低色数のピクセルアート用に設計された新しい画像フォーマットです。理想的には16色以下を使用し、最大256色までサポートしています。このフォーマットは「部分一致による予測、2次」という圧縮手法を採用しており、GIFやPNG、QOIよりも優れた圧縮率を実現し、ファイルサイズを20〜50%削減します。ただし、これらのフォーマットよりも2〜10倍遅くなります。

PEPの主な特徴は、GIFやPNGに比べてファイルサイズが小さく、QOIよりもさらに小さいことです。速度はGIFやPNG、QOIよりも遅いですが、画像サイズを重視するユーザーには適しています。現在、PEPは開発段階にあります。

使用方法は簡単です。まず、プロジェクトにPEPヘッダーを含めます。次に、pep_compress()関数を使用してピクセルデータを圧縮します。最後に、pep_save()pep_load()関数を使ってPEPファイルを保存および読み込みます。

性能の例として、4色の112x96の画像ではPEPサイズが858バイトになります。また、251色の640x200の画像ではPEPサイズが71,495バイトです。

PEPはゲーム開発を念頭に置いて設計されており、ピクセルデータを効率的に管理する方法を提供します。BMPローダーは含まれておらず、ピクセルデータは直接供給する必要があります。

ユーザーの貢献が奨励されており、PEPフォーマットの改善に協力することが求められています。

投稿者: msephton | スコア: 52

61.
UMich調査:EVはICEよりクリーン!
(UMichigan study: EVs are cleaner than ICEs over average vehicle life)

ミシガン大学の最近の研究によると、電気自動車(EV)は、バッテリーの生産や電力の生成による排出を考慮しても、アメリカのすべての郡で従来のガソリン車よりもクリーンであることが確認されました。この研究では、EV、ハイブリッド車、ガソリン車など、さまざまな車両タイプの生涯排出量が分析されました。

主な結果として、EVはガソリン車に比べて生涯排出量が71%から73%低いことが示されました。この結果は、EVの種類や地域の電力源に関係なく当てはまります。また、大型車両、特にピックアップトラックを電動化することで、最も大きな環境上の利点が得られることがわかりました。これらの車両は、絶対的な排出削減が最も大きいからです。

化石燃料に基づく電力でEVを充電することは、ガソリン車を使用するよりも依然としてクリーンであるとされています。これは、発電所が一般的に個々の車よりも効率的であるためです。

この研究は、EVへの移行が環境にとって有益であることを強調しており、中古のEVを購入することがカーボンフットプリントを大幅に削減できる可能性があると示唆しています。全体として、この研究はEVを運転することが気候にとって良い選択であることを支持しています。

投稿者: heresie-dabord | スコア: 28

62.
プライバシー重視のブラウザ
(WebLibre: The Privacy-Focused Browser)

WebLibreは、プライバシーと使いやすさを重視した新しいウェブブラウザです。このブラウザはMozillaのGeckoエンジンを基にしており、Firefoxのモバイル用アドオンもサポートしています。

重要な注意点として、WebLibreは現在アルファテスト段階にあり、バグが存在する可能性があります。また、定期的にアップデートが行われます。ユーザーはGitHubで問題を報告することができます。現在、F-Droidで入手可能なバージョンのみがGoogleサービスに依存していません。

投稿者: mnmalst | スコア: 114

63.
コックス事件:DMCAの壁を越えて
(Internet Access Providers Aren't Bound by DMCA Unmasking Subpoenas–In Re Cox)

最近の裁判、In re Coxでは、インターネット接続プロバイダー(IAP)が著作権を侵害する匿名ユーザーを特定するための召喚状に従う必要がないことが明確にされました。デジタルミレニアム著作権法(DMCA)は、著作権者が侵害者を特定するために召喚状を要求することを認めていますが、これはウェブホストにのみ適用され、IAPには適用されません。IAPはコンテンツをホストしていないため、裁判所はIAPが適切な削除通知を受け取ることができないと判断し、512(h)の召喚状は無効であるとしました。

この判決は、著作権者が侵害者に対して法的措置を講じることができる一方で、迅速な512(h)プロセスを好むことが多いという点を強調しました。裁判所は、過去の判決がこの理解を確立していることに言及し、著作権者がこのシステムを誤用し続ける可能性があることを示唆しました。多くのIAPがこれらの召喚状に従うため、正当性がないにもかかわらず、著作権者が利用しやすい状況が続いています。

このケースは、著作権法に対するより広範な影響にも注目を集めており、将来的にIAPに影響を与える可能性のあるサイトブロッキング規制についての議論が続いています。この判決は、著作権者に対するIAPの立場を強化し、今後の法的解釈にも影響を与える可能性があります。

投稿者: hn_acker | スコア: 135

64.
ETFs Are Inflating the Everything Bubble
(ETFs Are Inflating the Everything Bubble)

要約がありません。

投稿者: vincent_s | スコア: 7

65.
アプリ内ブラウザの危機
(In-App Browsers: The worst erosion of user choice you haven't heard of (2024))

アプリ内ブラウザは、FacebookやInstagramなどのアプリに組み込まれており、ユーザーはアプリを離れることなくウェブページを閲覧できます。しかし、これらのブラウザはしばしばユーザーのデフォルトブラウザの設定を無視し、プライバシーの懸念やユーザーの選択肢の減少を引き起こします。アプリ内ブラウザはユーザーの活動を追跡したり、ウェブコンテンツを操作したりすることができ、深刻なリスクを伴います。

主な問題点として、アプリ内ブラウザはユーザーの選択肢を損ない、革新を妨げ、プライバシーを侵害します。また、多くのユーザーはデフォルトブラウザが置き換えられていることに気づかず、オンライン体験に対するコントロールが制限されています。さらに、多くのアプリ内ブラウザは必要な機能やセキュリティが欠けており、快適なブラウジング体験を提供できていません。

提案されている解決策には、非ブラウザアプリがウェブリンクに対してユーザーのデフォルトブラウザを使用することを義務付けること、Appleのアプリ内ブラウザをユーザーの設定を尊重するように更新すること、サードパーティの企業がアプリ内ブラウザを利用しない選択をできるようにすること、オペレーティングシステムがユーザーに対してグローバルなオプトアウトオプションを提供すること、Androidではアプリがデフォルトブラウザの設定を上書きできないようにすることが含まれます。

これらの変更は、ユーザーのプライバシーやセキュリティ、ウェブブラウジング全体の満足度を向上させることを目的としています。この問題に取り組むために、支援団体はユーザーの選択がデジタル環境で尊重されるよう努めています。

投稿者: wicket | スコア: 9

66.
マイナーの裏切り
(Will Bardenwerper on Baseball's Betrayal of Its Minor League Roots)

Lit Hubをサポートし、私たちの読者コミュニティの一員になりましょう。

最近の人気投稿からのハイライトを紹介します。チャーリー・ジェーン・アンダースは、A.S.バイアットの「所有」がダークアカデミアジャンルに与えた影響について語っています。セバスチャン・パーセルは、他者の助けを借りてより良い生活を送る方法を探ります。ピアーズ・ゲリーは、英語の授業でChatGPTを代替として使用した経験を共有しています。エミリー・テンプルは、ジェーン・オースティンが嫌っていたことをリストアップしています。

さらに、Book Marksでは注目の本に関する週刊レビューや、さまざまな興味深いトピックに関する記事も掲載しています。ダニー・デビートの監督キャリア、王室に関するスキャンダル、中世の僧侶とCIAの関係、「ザ・シスターズ・ブラザーズ」における環境テーマ、ティム・レボンによる魅力的な悪役の創造に関する洞察などが取り上げられています。

投稿者: PaulHoule | スコア: 20

67.
別のブールが必要だ
(That boolean should probably be something else)

ブログでは、プログラミングにおけるブールデータ型の使用について議論し、しばしば誤用されていると指摘しています。ブール値は一般的に使われていますが、著者は多くのケースで他のデータ型を使った方が良い結果が得られると主張しています。

ブール値の限界について説明します。プログラミングではブール値がよく使われますが、複雑なデータを単純化しすぎることがあります。ブール値は、他のデータ型でより良く表現できる豊かな情報を隠してしまうことが多いのです。

代替のデータ型として、日付と時刻を示すデータ型や列挙型(エニューム)があります。例えば、イベントが発生したかどうかを示すためにブール値を使うのではなく、実際の日時を保存することで、より有用なデータを得ることができます。また、ユーザーの役割や仕事のステータスなど、複数の状態が関わる場合には、列挙型を使う方が効率的です。これにより、簡単に拡張でき、複数のブール列を必要としなくなります。

ブール値を使うべき場面についても触れています。著者は、複雑な条件ロジックから得られた結果を一時的に保存するためにはブール値が適切な場合もあると認めています。しかし、最終的な結果には列挙型を使うことで、明確さと保守性が向上することがあります。

結論として、すべてのブール値を排除すべきではありませんが、プログラマーはブール値の使用方法を批判的に見直すべきです。より意味のあるデータを保存することで、システム設計が改善され、メンテナンスが容易になる可能性があります。全体として、プログラミングにおける思慮深い設計を促し、ブール値に関連する一般的な落とし穴を避けることが重要です。

投稿者: vidyesh | スコア: 35

68.
モノドロー
(Monodraw)

Monodrawは、Macユーザー向けの強力なASCIIアートエディタで、無料トライアルまたは9.99ドルで購入できます。macOS 11 Big Sur以降が必要です。

このソフトウェアの主な機能には、テキストアートの作成、マインドマッピング、ER図の作成、テキストバナーの作成、描画ツールの利用、コマンドラインインターフェースの提供、グループ管理、ガイドやショートカットの活用があります。テキストアートを使って、図やフローチャート、アルゴリズムの視覚的表現を簡単に作成でき、これらは画像(PNGやSVG)として埋め込んだりエクスポートしたりできます。無限のキャンバス上で自由にテキストデータを整理でき、従来のテキストファイルの制約を受けません。データベース設計のためのエンティティ-リレーションシップ図も、複数の表記オプションを使って作成できます。内蔵フォントを使ってバナーを作成し、サイズや配置を調整することも可能です。ペン、消しゴム、ラインツールなどのさまざまなツールを使って、正確なテキストアートを作成できます。また、コマンドラインインターフェースを利用することで、ドキュメントの自動生成も行えます。グループ化した形状を簡単に管理したり移動したりでき、効率的な作業のために整列ガイドやキーボードショートカットを活用できます。

システム要件としては、macOS 11以降が必要で、以前のmacOSシステム向けの古いバージョンも利用可能です。ユーザーはメールやTwitterを通じてフィードバックを提供でき、教育機関向けの割引も用意されています。プライバシーに関しては、Monodrawはユーザーデータを収集せず、ユーザーのプライバシーを重視しています。

投稿者: mafro | スコア: 578

69.
効率的配列プログラミング
(Efficient Array Programming)

このリポジトリは、配列言語における効率的なプログラミングを学ぶための情報や例を集めています。内容は著者の理解に基づいているため、まずは独自にプログラムを確認することをお勧めします。

目標は、配列言語の理解を深めることと、質の高い配列コードのさまざまな例を提供することです。

プログラミングに関する一般的なヒントや、Dyalog APL、dzaima/APL、ngn/kといった特定の言語に関する実装のアドバイスも含まれています。

リソースとしては、Jay Foadによる「Advent of Code」の解答、ngn/kのコード例、Andriy MakukhaによるAPLコンテスト2020、Bubbler-4 Advent of APL、APL Orchardのチャットログ、Aaron Hsuによるパフォーマンスに優れた木構造に関する洞察などがあります。

投稿者: todsacerdoti | スコア: 89

70.
セラコ25事件
(The Therac-25 Incident (2021))

このテキストは、ウェブサイトや出版物に関連するさまざまなセクションやカテゴリーを示しています。主なポイントは以下の通りです。

特集記事は、特定のテーマについて深く掘り下げた内容です。Codesodは、コーディングやプログラミングに関連するセクションと思われます。Error'dは、エラーや問題について議論するセクションかもしれません。フォーラムは、ディスカッションやコミュニティの交流の場です。その他の記事は、さまざまなテーマに関する追加の記事を含んでいます。ランダム記事は、ランダムに選ばれた記事のセレクションです。

全体として、さまざまな種類のコンテンツが利用可能であることを示しています。

投稿者: lemper | スコア: 431

71.
ジェミニ2.5速報
(Gemini 2.5 Flash Image)

DeepMindは、Geminiという新しいAI画像モデルを発表しました。この新バージョンは、以前の機能を向上させており、画像の理解や生成がより得意になっています。Geminiについての詳細は、DeepMindのウェブサイトやTechCrunchの記事で確認できます。

投稿者: meetpateltech | スコア: 1070

72.
The man with a Home Computer (1967) [video]
(The man with a Home Computer (1967) [video])

要約がありません。

投稿者: smarm | スコア: 82

73.
グローブスINKの逆襲
(Reverse-engineering the Globus INK, a Soviet spaceflight navigation computer (2023))

グローブスINKは、ソユーズ宇宙船で使用されるソビエト時代の航法コンピュータです。この装置の特徴は、地球に対する宇宙船の位置を示す独特の回転する地球儀です。この電気機械式のデバイスは、複雑な歯車やメカニズムを使って宇宙船の軌道を計算し、表示します。

グローブスの主な特徴には、回転する地球儀があります。この地球儀は二方向に回転し、宇宙船の軌道と地球の回転を示します。また、宇宙飛行士はノブを使って初期位置や軌道速度を手動で設定します。このデバイスは外部の航法入力を持たないため、手動での設定が必要です。さらに、グローブスは特定の角度(ソユーズの場合は51.8度)での固定円軌道しか扱えず、軌道の変動には対応していません。

内部の仕組みには、差動歯車が含まれています。これにより回転を通じて計算が行われ、入力の加算や減算によって宇宙船の位置を特定します。また、カムやダイヤルがさまざまな表示を制御し、緯度や経度、光と影の指標を示します。これにより、宇宙飛行士は飛行中の位置や状況を把握できます。

グローブスは当時としては先進的でしたが、手動操作や現代のデジタルシステムに比べて適応性が限られているため、現代の航法技術に比べると効果的ではありません。それでも、グローブスは宇宙探査におけるアナログ計算の興味深い例として残っています。

投稿者: trymas | スコア: 25

74.
下水道の発見
(What we find in the sewers)

「下水道で見つかるもの」という記事では、下水管理の歴史的および現代的な重要性について、廃棄物処理から資源回収への進化が論じられています。

歴史的な視点では、初期の社会では下水や動物の糞が肥料や燃料として利用され、その価値が認識されていました。古代文明では、廃棄物を管理するためのさまざまな方法が発展し、特にローマは先進的な衛生システムで知られています。

都市人口の増加に伴い、廃棄物処理の課題が生じ、公衆衛生の問題、例えばコレラや赤痢が発生しました。エドウィン・チャドウィックのような改革者は、健康状態を改善するためにより良い下水システムの必要性を強調しました。

現代の下水処理では、水洗トイレの発明により下水の量が増加し、汚染や病気の発生が問題となりました。これに対応するため、特にロンドンでは包括的な下水道システムが構築され、効果的な廃棄物管理が行われました。

最近では、下水を単なる廃棄物ではなく資源として見る考え方が広がっています。都市鉱採掘のような技術を用いて、下水から貴重な栄養素やエネルギー、さらにはデータを回収することが目指されています。

下水に基づく疫学(WBE)についても説明されており、下水が公衆衛生に関する洞察を提供する方法、特に病気の発生を追跡する手段としての役割が強調されています。これは特にCOVID-19パンデミックの際に注目されました。

将来的には、栄養素のリサイクルや下水からの貴重な情報の抽出の重要性がますます認識されており、持続可能な発展のための重要な資源として位置づけられています。

全体として、この記事は下水との関係を再考し、健康や環境の持続可能性、資源管理に貢献できる貴重な資産として見る必要性を強調しています。

投稿者: surprisetalk | スコア: 68

75.
AIの影響、雇用危機?
(Canaries in the Coal Mine? Recent Employment Effects of AI [pdf])

この論文は、生成的人工知能(AI)が労働市場に与える影響を分析しており、特に22歳から25歳の若い初期キャリアの労働者に焦点を当てています。

まず、若い労働者の雇用が減少していることが挙げられます。生成的AIが広く普及して以来、ソフトウェア開発やカスタマーサービスなどAIに影響を受けやすい職種で働く若い労働者は、雇用が13%も減少しました。一方で、同じ分野で働く年配の労働者や、AIにあまり影響を受けない職種の労働者は、雇用が安定しているか増加しています。

次に、若い労働者の成長が停滞していることも重要です。全体的な雇用は続いていますが、AIに強く影響を受ける職種にいる若い労働者は、2022年末以降、雇用が停滞しています。この年齢層は、AIが多く使われる分野で6%の雇用減少を経験しているのに対し、年配の労働者は6%から9%の増加を見ています。

また、雇用の減少は、AIが人間の労働を補完するのではなく、自動化するアプリケーションに主に関連しています。若い労働者は、AIが人間の労働を置き換える役割でより大きな影響を受けています。

雇用の変化と賃金については、雇用数の調整が賃金よりも明確に現れています。これは、雇用が失われている一方で、賃金は比較的安定していることを示しています。

さらに、観察された傾向はさまざまなサンプルグループにわたって持続しており、企業レベルのショックや影響を受けた職種の種類だけによるものではないことが示唆されています。これは、若い労働者の雇用に対するAIの明確な影響を示しています。

最後に、論文はAIが進化し続ける中で、これらの雇用傾向を監視するための継続的な分析の必要性を強調しています。若い労働者がなぜより脆弱なのかという疑問を提起し、AIが容易に再現できる体系化された知識に依存していることが一因かもしれないと示唆しています。

この研究は、生成的AIが特定の職種において若い初期キャリアの労働者の雇用に悪影響を及ぼしていることを強く示していますが、年配の労働者は同じレベルの混乱を経験していないことが明らかになっています。

投稿者: p1esk | スコア: 97

76.
A teen was suicidal. ChatGPT was the friend he confided in
(A teen was suicidal. ChatGPT was the friend he confided in)

要約がありません。

投稿者: jaredwiener | スコア: 426

77.
現金の真実
(What cash can and can't do)

マシュー・イグレイシアスは、ケルシー・パイパーによるアメリカの現金給付プログラムに関する最近の研究記事について論じています。彼はその結果に失望しており、貧しい人々にお金を渡しても彼らの状況が大きく改善されないことを示唆していると指摘しています。この結果に対する反応は様々で、左派の一部は現金給付が貧困を減らすためのものであると主張し、右派の一部は社会プログラムは一般的にうまく機能しないと考えています。

イグレイシアスは、アメリカ国内の結果を、ケニアのような貧しい国の現金給付プログラムの研究と対比させています。貧しい国では、現金が人々の生活を改善するのに役立つことが多く、経済的安定や健康の向上といったポジティブな結果が見られます。貧しい国では、より大きな障壁に直面しているため、現金が生活の向上に寄与するのです。しかし、裕福な国では、国内の貧困層は個人的な事情により苦しむことが多く、単にお金を渡すだけでは状況があまり変わらないのです。

彼は、現金給付の効果は文脈によって大きく異なる可能性があると結論づけ、これらの違いを理解することが普遍的基本所得(U.B.I.)についての議論において重要であると強調しています。

投稿者: JumpCrisscross | スコア: 8

78.
Light pollution prolongs avian activity
(Light pollution prolongs avian activity)

要約がありません。

投稿者: gmays | スコア: 114

79.
A mini-book on AWS networking
(A mini-book on AWS networking)

要約がありません。

投稿者: crescit_eundo | スコア: 56

80.
Google、デバイス認証でセッション防御
(Google Debuts Device-Bound Session Credentials Against Session Hijacking)

2025年8月28日、イヴァン・リスティックによる暗号技術とセキュリティに関するニュースレター第128号が発行されました。

Googleは新しいセキュリティ機能「デバイスバウンドセッション認証情報(DBSC)」を導入しました。この機能は、セッションハイジャックを防ぐためのもので、現在Windows用のChromeでベータ版が利用可能です。DBSCは公開鍵暗号を使用して、セッション識別子を特定のデバイスに結びつけるため、他のデバイスでは無効になります。

従来のセッション管理はHTTPクッキーに依存していましたが、これはセキュリティを考慮して設計されたものではありませんでした。そのため、セッションハイジャック攻撃を含む脆弱性が生じました。HTTPSの導入によりセキュリティは向上しましたが、攻撃者はクッキーを盗むマルウェアに焦点を移しています。

クッキー盗難マルウェアは、ユーザーを騙してセッショントークンを盗むソフトウェアを実行させるもので、特に二要素認証を使用している場合、攻撃者がアカウントにアクセスすることを可能にします。

HTTPクッキーのセキュリティを強化するための取り組みには、さまざまな保護フラグやブラウザのアップデートが含まれていますが、セッションハイジャックに関連するリスクを完全に排除するには至っていません。

今後、他のブラウザがDBSCを採用すれば、セッションハイジャックの脅威を効果的に排除できる可能性があります。

ニュースレターには、Usenix Security Symposiumや公的TLS証明書の取り扱いの変更、ポスト量子暗号に関する進展など、暗号技術に関連するさまざまな最新情報も含まれています。このニュースレターは、暗号技術とセキュリティにおける重要なトレンドや革新について読者に情報を提供することを目的としています。

投稿者: speckx | スコア: 54

81.
タイプパッド終了
(Typepad is shutting down)

Typepadは2025年9月30日にサービスを終了します。この日以降は、アカウントやブログ、すべてのコンテンツにアクセスできなくなります。コンテンツを保持したい場合は、終了日までに必ずエクスポートしてください。終了後はアクセスできなくなります。

2025年8月31日から、Typepadはサービスの料金請求を停止します。最近支払いをした場合は、日割り計算での返金を受けることができるかもしれません。返金を受けるためには、支払い情報が最新であることを確認してください。

質問がある場合は、FAQページを確認するか、アカウントからヘルプチケットを提出してください。ご利用いただきありがとうございます。ご不便をおかけしますことをお詫び申し上げます。

投稿者: gmcharlt | スコア: 162

82.
QEMU 10.1登場!
(QEMU 10.1.0)

QEMUバージョン10.1の変更点と更新内容についてまとめた文書です。

システムエミュレーションにおいて、一部の機能が削除または非推奨となりました。ユーザーは「削除された機能」や「非推奨機能」のセクションを確認し、代替手段を探す必要があります。

新機能として、Arm、RISC-V、x86などのさまざまなアーキテクチャ向けに新しいCPU機能が追加されました。また、「max78000fthr」といった新しいボードモデルが導入され、いくつかの古いモデルは非推奨となりました。Armの「virt」ボードは、ネストされた仮想化とACPI PCIホットプラグをサポートするようになりました。

修正と改善点として、CPUエミュレーション、浮動小数点例外、マシンの互換性に関するさまざまなバグ修正が行われました。さらに、メモリ管理、マイグレーション、ネットワークパフォーマンスの向上も含まれています。

デバイスエミュレーションでは、オーディオ、グラフィックス、ネットワークデバイスなどのさまざまなデバイスに対する強化が行われ、TCP設定のサポートも改善されました。

QEMUのビルドと使用に関するドキュメントも更新され、Rustや依存関係に関する変更が含まれています。

既知の問題として、特にWindowsの互換性や特定の設定に関する問題が残っています。

この要約では、QEMUバージョン10.1の主要な変更点や改善点を、新機能、修正、ドキュメントの更新に焦点を当てて紹介しています。

投稿者: dmitrijbelikov | スコア: 292

83.
技術負債解消のパートナーシップ
(Partner with Product to pay down technical debt)

技術的負債は、ソフトウェア開発において一般的な課題です。新しい製品を始める際には、後で後悔するような技術的選択をしやすくなります。技術的負債を効果的に管理するためには、技術的な問題としてだけでなく、プロダクトチームと共有の課題として捉えることが重要です。

まず、技術的負債を可視化することが必要です。定期的に技術的負債の領域を特定し、セキュリティやパフォーマンス、コードの問題に焦点を当てて分類します。この評価は四半期ごとに更新します。

次に、プロダクトリーダーとの関係を築くことが大切です。プロダクトリーダーとコミュニケーションを取り、技術的負債が彼らの目標、例えば納品のスピードや顧客の維持にどのように影響するかを示します。これにより、技術的負債が共有の責任であることを理解してもらえます。

また、負債を減らす機会を特定することも重要です。プロダクトが問題のあるコードを改善したいと考える際には、技術的負債を解消することで得られる時間の節約を計算します。このアプローチは、短期的な投資が長期的な利益につながることを示します。

さらに、技術的負債を解決することで、納品の予測可能性や品質が向上し、計画外の作業が減少することを強調します。これにより、全体的なパフォーマンスが向上します。

最後に、現在のパフォーマンスや納品を妨げている重要な技術的負債に優先的に取り組むことが求められます。一方で、あまり重要でない問題については今後の対応を考慮しておきます。

プロダクトと連携することで、チームはコードの品質を重視する文化を育むことができます。これにより、機能の迅速な提供や信頼性の高いシステム、技術的健康への積極的なアプローチが実現します。この協力により、エンジニアリングとプロダクトの間の摩擦が避けられ、技術的負債が単なる技術的要求ではなく、戦略的なビジネス課題として位置づけられます。最終的には、顧客へのサービス向上とより効率的な開発プロセスにつながります。

投稿者: kiyanwang | スコア: 15

84.
フィルターQL
(FilterQL – A tiny query language for filtering structured data)

FilterQLのバージョン2.0.0をリリースしました。これはクエリ言語とTypeScriptライブラリです。このアップデートでは、データをフィルタリングした後に変換できる新しい操作が追加されました。もしこれがあなたのプロジェクトに役立ちそうだと思ったら、ぜひ試してみてください。そして、感想を教えてください。

投稿者: genshii | スコア: 75

85.
Pythonで強力NLP
(SpaCy: Industrial-Strength Natural Language Processing (NLP) in Python)

spaCyは、実用的なアプリケーション向けに設計されたPythonとCythonのための強力な自然言語処理(NLP)ライブラリです。70以上の言語をサポートしており、タグ付け、構文解析、固有表現認識、テキスト分類など、さまざまなNLPタスクのための事前学習済みモデルが含まれています。

このライブラリの主な特徴には、高速かつ正確なパフォーマンスを提供する最先端のニューラルネットワークモデル、BERTのような事前学習済みトランスフォーマーを使用したマルチタスク学習、多くの言語に対応したトークン化と学習、モデルのパッケージ化や展開、ワークフロー管理が簡単に行える生産準備完了のツールがあります。

最新のバージョン3.8では、新機能や更新が追加されています。使用方法やインストールに関する詳細なガイドがドキュメントとして提供されており、無料のインタラクティブコースも用意されています。GitHubでは、質問や機能リクエストについてのディスカッションに参加することができます。

spaCyはpipやcondaを使ってインストールできます。問題を避けるために仮想環境を使用することが推奨されます。例えば、pipを使ってインストールするには、次のコマンドを実行します。

事前に学習されたモデルを簡単にダウンロードして読み込むことができます。例えば、次のように使用します。

spaCyはオープンソースであり、コミュニティからの貢献を奨励しています。ユーザーはバグを報告したり、機能を提案したり、ディスカッションに参加することができます。

更新やモデルの互換性を確認するためには、検証コマンドを使用します。モデルが最新のspaCyバージョンと互換性があることを確認することが重要です。

要するに、spaCyはパフォーマンスと使いやすさに重点を置いた堅牢なNLPツールであり、研究や生産環境の両方に適しています。

投稿者: marklit | スコア: 128

86.
AI時代のデルファイ
(Delphi in the Age of AI)

AIは急速に技術を変革しており、自動運転車や医療診断などさまざまな分野で応用されています。Delphiは、開発者が自分のアプリケーションにAIを統合するためのツールを提供しています。

Delphiで利用できる主要なAIツールには、まず「Stable Diffusion Client」があります。これは50以上のカスタムモデルを使用して生成アートを作成できるツールで、画像の編集や拡大もサポートしています。Windows、macOS、Linuxで利用可能です。

次に「CodeDroid AI」があり、これはGPT-4のようなAIモデルを使ってコードやDelphiフォームを生成します。カスタマイズ可能なプロンプトテンプレートも用意されています。

「SDXL Inpainting」は、AIを活用した画像の修正ツールです。ユーザーはマスクを作成し、画像を編集することができます。

「AI Vision Chat」では、LLaVA-7bモデルを使用してAIと画像について話し合うことができます。

AIは、人間のような知能を必要とするタスクを実行するコンピュータシステムを指します。機械学習(ML)は、明示的なプログラミングなしでデータから学ぶことを可能にします。深層学習は、画像や音声認識などの複雑なタスクに人工ニューラルネットワークを使用するMLの一部です。

人気のあるライブラリやフレームワークには、「TensorFlow」があります。これは数値計算のためのライブラリで、MLや深層学習をサポートしています。「Keras」は、TensorFlowと互換性のあるニューラルネットワークを構築するための高レベルAPIです。「PyTorch」は、深層学習をサポートするオープンソースのMLライブラリです。

AIはソフトウェア開発において、タスクの自動化や複雑な問題の解決に利用されています。「IntelligenceLab」のようなツールは、データ分析や画像処理などの高度なAI機能を提供します。

DelphiでAIを始めるには、開発者は利用可能なライブラリを探し、データを収集し、Delphiでモデルを構築する実験を行うことが重要です。Delphiのコミュニティやリソースは、アプリケーションへのAI技術の統合をサポートしています。

DelphiはAIソリューションを構築するための強力なプラットフォームを提供しており、開発者がプロジェクトにAI機能を探索し、実装することを容易にしています。

投稿者: andsoitis | スコア: 78

87.
架空化合物の謎
(Why do people keep writing about the imaginary compound Cr2Gr2Te6?)

ケン・シリフのブログでは、化合物Cr2Gr2Te6に関する混乱について取り上げています。この化合物は最近の科学論文で誤って言及されましたが、正しい化学式はCr2Ge2Te6で、「Ge」はゲルマニウムを指します。この誤りは、2017年の研究以来、正しい化合物とCrI3における内因性フェロ磁性が報告されたことから、複数の出版物で広く繰り返されています。

シリフは、科学的な文章における正確さの重要性を強調しています。このような誤りは、特にAIシステムによって取り上げられると簡単に広がる可能性があると指摘しています。彼は「Gr」が認識された元素ではないことを明確にし、この誤情報のさらなる拡散を防ぎたいと考えています。正しい化合物であるCr2Ge2Te6は、クロム・ゲルマニウム・テルルの一種です。

投稿者: freediver | スコア: 185

88.
米国、ブロックチェーン経済データ発表
(US to publish economic data on blockchain, Commerce chief Lutnick says)

アメリカの商務長官ハワード・ルトニックは、アメリカ合衆国商務省が国内総生産(GDP)を含む経済データをブロックチェーン上で公開することを発表しました。この取り組みは、政府機関間でのデータ配信を改善することを目的としています。ルトニック長官はホワイトハウスでの会議でこの動きを強調し、トランプ大統領が暗号通貨に関心を持っていることを示しました。

この取り組みはGDPの数値から始まり、実施の詳細が決まるにつれて、他のデータも含まれる可能性があります。エストニアやシンガポールなどの国々は、公共行政にブロックチェーンを成功裏に活用しており、その安全で効率的なデータ管理の可能性を示しています。

ただし、ブロックチェーンはデータの保存や共有を安全に行うことができますが、データ自体の正確性を保証するものではありません。この発表は、アメリカの経済データの信頼性についての議論が続く中で行われました。特に、トランプ氏がさまざまな経済報告に対して批判をしていることが背景にあります。

投稿者: throw0101a | スコア: 8

89.
It's time for you to contribute to the Climate Commons
(It's time for you to contribute to the Climate Commons)

要約がありません。

投稿者: protontypes | スコア: 3

90.
クロームのクロード
(Claude for Chrome)

要約を求めているようですが、要約するためのテキストがありません。要約してほしいテキストを提供してください。

投稿者: davidbarker | スコア: 783

91.
音楽なしのAIコーディング
(AI coding made me faster, but I can't code to music anymore)

2025年8月、著者はAIによるコーディングが生産性を向上させた一方で、音楽を聴きながらコーディングできなくなったことを振り返っています。以前は、コーディングはスムーズなプロセスで、集中して簡単に創造することができました。しかし今は、AIに指示を出し、その出力を評価し、調整する必要があり、より混沌として精神的に負担が大きく感じられます。

著者は、4時間のAIコーディングセッションが従来のコーディングセッションよりもはるかに集中を要することに気づきますが、AIの助けによるスピードと効率のために、その認知的な努力は価値があると感じています。プログラミングは技術的なプロセスよりもアイデアを表現することが重要だと実感しています。AIが進化するにつれて、コーディングの方法はよりシンプルになるでしょうが、考えを明確な出力に整理することの難しさは増すかもしれません。調整が必要な状況ではありますが、著者はコーディングの未来に対して楽観的でありながら、作業中に音楽を聴けないことを寂しく思っています。

投稿者: _praf | スコア: 95

92.
ブラックホールの秘密
(Astrophysicists find no 'hair' on black holes)

天体物理学者たちは、アインシュタインの重力理論に基づき、ブラックホールには「毛」と呼ばれる独自の特徴がないことを発見しました。ブラックホールは、その質量と回転によってのみ特徴づけられます。最近の研究では、ブラックホールの衝突から得られた重力波データを用いてこの考え方を検証し、もし何らかの特徴が存在するなら、それはブラックホールの非常に近く、40キロメートル以内にある必要があることを示唆しています。

この研究は重要です。なぜなら、アインシュタインの一般相対性理論と、情報が失われることはないとする量子力学との関連を示しているからです。これらの理論の間には、物体がブラックホールに落ち込むときに情報がどうなるのかという「情報パラドックス」が生じます。

現在の発見はアインシュタインの理論を支持していますが、研究者たちはブラックホールの事象の地平線のすぐ外側に「量子の毛」が存在する可能性を示唆するさまざまな理論を探求しています。将来的には、重力波観測所がさらに多くのデータを提供し、アインシュタインの予測が正しいのか、あるいは予想外の現象が発見されるのかを明らかにする手助けとなることが期待されています。

投稿者: rolph | スコア: 61

93.
逆転発想のRaspberry Pi CM5
(Reverse Engineered Raspberry Pi Compute Module 5)

この文書は、Raspberry Pi Compute Module 5(CM5)のリバースエンジニアリングによる回路図とレイアウトを示しています。この回路図は、信号の整合性に誤りがあり、フットプリントの不一致や材料リストが不完全であるため、製造用には適していません。また、使用されているチップの多くはカスタム製であったり、一般消費者には入手できないものです。

リバースエンジニアリングの目的は、CM5を使用したプロジェクトに関連する設計上の問題を解決するために回路図を作成することです。元の回路図が入手できなかったため、この資料は主に教育目的や高度な改造に役立ちます。ユーザーは、PMIC(電源管理集積回路)やそのI2Cレジスタマップなどの機能を探求できます。

回路図の作成プロセスでは、制作者が基板から部品を慎重に取り外し、測定し、基板を層ごとにスキャンしました。その結果を基に、KiCadソフトウェアを使用してレイアウトに変換しました。

CM5ボードは、信号と電力管理のために特定の構造を持つ10層の設計です。抵抗器はメモリ設定を構成するために使用され、PMICには電源供給の突入を管理するホットスワップ機能があります。WiFiとBluetoothはGPIOピンを介して無効にでき、オンボードのeMMCは外部SDカードと干渉しません。さまざまな信号のためにテストポイントが提供されており、特定の座標が参照用に示されています。

この文書には、ボードの設計や機能に関するトリビア、座標付きの完全なテストポイントリスト、将来の探求のための未確認ピンに関する情報も含まれています。制作者は、今後の作業でPCIeネットやPMICのI2Cレジスタマップを特定する予定です。

この回路図は、共有や改変のためにクリエイティブ・コモンズ BY-SA 4.0ライセンスの下で公開されています。

投稿者: _Microft | スコア: 87

94.
SDS: シンプル動的文字列
(SDS: Simple Dynamic Strings library for C)

SDSはC言語用の文字列ライブラリで、libcの標準的な文字列処理を改善し、文字列の操作をより簡単かつ効率的に行えるようにしています。最新バージョンの2は、さまざまな実装を統一することを目指していますが、バージョン1とのバイナリ互換性はありません。

SDSの特徴の一つは、メモリ管理です。動的なヘッダーサイズを使用することで、前のバージョンに比べてメモリ使用量を削減しています。一部の処理では遅くなることがありますが、メモリ効率は向上しています。

APIの互換性も重要なポイントです。バージョン2のAPIは主にバージョン1と互換性があり、移行が容易です。また、SDSの文字列はバイナリセーフで、ヌル文字を含む任意のバイト内容を扱うことができます。

使いやすさもSDSの魅力です。SDSの文字列は従来のC文字列よりも管理が簡単で、内部構造のメンバーにアクセスせずに標準C関数に直接渡すことができます。

文字列操作に関しては、SDSは文字列の作成、連結、トリミング、操作を簡単かつ効率的に行うためのさまざまな関数を提供しています。例えば、sdsnewで文字列を作成し、sdscatで連結、sdslenで文字列の長さを定数時間で取得し、sdsfreeでメモリを解放できます。

特別な関数としては、sdscatprintfを使ってフォーマットされた文字列の連結ができ、sdsfromlonglongでは数値を効率的に文字列に変換できます。

トークン化や結合の機能もあり、文字列をトークンに分割したり、再度結合したりすることができます。これはコマンドライン入力やデータ処理に役立ちます。

メモリ管理機能としては、sdsRemoveFreeSpaceを使って文字列を縮小でき、共有文字列のための参照カウントもサポートしており、メモリリークを防ぎます。

SDSはプロジェクトに必要なソースファイルをコピーすることで簡単に統合でき、提供されている割り当てマクロを変更することでカスタムメモリアロケータを使用することも可能です。

このライブラリは、効率的で柔軟な文字列処理を必要とするCプログラマーに特に役立ち、標準C関数との互換性を保ちながら利用できます。

投稿者: klaussilveira | スコア: 111

95.
Adventures in State Space [video]
(Adventures in State Space [video])

要約がありません。

投稿者: bo0tzz | スコア: 78

96.
Elon Musk is lying about Tesla's self-driving and I have the DMs to prove it
(Elon Musk is lying about Tesla's self-driving and I have the DMs to prove it)

要約がありません。

投稿者: mdhb | スコア: 13

97.
756窓の3D建築
(3D printing a building with 756 windows)

著者はブラウン大学でコンピュータサイエンスを専攻しており、ブリュッセルにあるCBRビルをテーマにした建築プロジェクトを完成させました。このビルは建築家コンスタンティン・ブロッズキによって設計され、革新的なコンクリートの使い方と特徴的なオレンジ色のガラスで知られています。建物は迅速に建設され、自然との調和や現代的な設備が評価されています。

プロジェクトの中で、著者は広範なリサーチと実践的な作業に取り組みました。具体的には、建物のデザインを模した756個の窓モジュールを設計し、3Dプリントしました。モデリングにはAutodesk Fusionというソフトウェアを使用し、3Dプリントの準備にはPrusaSlicerを利用しました。また、ブラウンデザインワークショップのリソースも活用し、学生向けのさまざまなツールを使いました。

著者は印刷時間の最適化やモジュールの品質向上に苦労し、最終的には印刷時間を大幅に短縮することに成功しました。さらに、建物のロゴや構造に合った家具のモデルも作成しました。

このプロジェクトを通じて、著者は実際にものを作ることへの情熱を育み、今後さらにデザインや製作のスキルを磨くことを計画しています。CBRビルの時代を超えたデザインと現代における重要性を高く評価しています。

投稿者: jer0me | スコア: 38

98.
インテルの怪物CPU
(Intel's "Clearwater Forest" Xeon 7 E-Core CPU Will Be a Beast)

インテルは2026年に新しいXeon 7 E-Core CPU「Clearwater Forest」を発表する予定です。このプロセッサは、Xeon 7 P-Coreプロセッサの発売に続くもので、インテルにとって重要な製品です。現在、AMDがX86サーバーCPU市場で大きなシェアを持っているため、インテルは競争力を取り戻すことを目指しています。新しい18Aプロセスを含む先進的な製造技術を活用し、従来の設計よりも効率的なものとなっています。

Clearwater Forest CPUは、改良された3Dトランジスタ技術を採用しており、性能と電力効率の向上が期待されています。新しいアーキテクチャには強化されたコアモジュールと増加したキャッシュ帯域幅が含まれており、かなりの処理能力を提供することを約束しています。設計には288コアが含まれ、優れたメモリ帯域幅と入出力機能を実現することを目指しています。

発売の遅れがあるものの、インテルは高い生産歩留まりと品質の確保に注力しています。この新しいCPUアーキテクチャは前モデルよりも性能が向上すると期待されており、サーバーCPUの需要が高まる中で、インテルがAMDに対抗するための助けとなるかもしれません。

投稿者: rbanffy | スコア: 4

99.
パウロの旅路マップ
(Interactive map of Paul's first century travels in Roman world)

このテキストでは、使徒パウロの旅について説明しています。彼がローマ世界を横断した四つの主要な旅が紹介されており、インタラクティブな地図がこれらのルートを示しています。地図では、旅の種類ごとに異なる色が使われています。オレンジ色は第一次伝道旅行、紫色は第二次伝道旅行、緑色は第三次伝道旅行、赤色はローマへの最終旅行を表しています。

目標は2026年末までにパウロの訪れたすべての場所を再訪することであり、最新情報は彼らのインスタグラムアカウント@kingdoms.collideで共有されています。

投稿者: intofarlands | スコア: 195

100.
ミシガン高裁:電話検索は違憲
(Michigan Supreme Court: Unrestricted phone searches violate Fourth Amendment)

Appleが予告なしに、サードパーティのアプリストアであるAltStoreからiTorrentアプリを削除しました。この措置については事前の通知はありませんでした。

投稿者: mikece | スコア: 543
0
Creative Commons