Piccolo OSは、主に教育ツールとして設計された、Raspberry Pi Pico向けの小型マルチタスクオペレーティングシステムです。協調型マルチタスクOSとArm Cortex-M0+アーキテクチャの基礎を説明しています。タスクはシンプルなラウンドロビン方式でスケジュールされ、MSPとPSPスタックポインタを使用してコンテキストスイッチとThreadモードとHandlerモード間の切り替えを行います。機能は簡素化されていますが、マルチタスクOSの中核となる原則を明確に示しており、オペレーティングシステム内部の学習に最適です。
続きを読む
この記事は、著者が2020年のCOVID-19パンデミック中に在宅勤務をした経験を振り返り、当時のワークフローを今日のツールと比較しています。不安定なインターネット、限られたディスク容量、macOS 9など、当時の制約も考慮し、ノスタルジックな「Mac(os)talgia」体験を描いています。
続きを読む
Snykのセキュリティ研究者が、人気のあるAIコーディング企業Cursor.comを標的とした複数の悪意のあるNPMパッケージを展開しました。これらのパッケージは「cursor-retreival」、「cursor-always-local」、「cursor-shadow-workspace」などと呼ばれ、インストールされるとシステムデータが収集され、攻撃者によって制御されているWebサービスに送信されます。この攻撃は依存関係の混乱を利用しており、Cursorの従業員がこれらの公開パッケージを誤ってインストールすることを狙っています。OpenSSFパッケージ分析スキャナーはこれらの悪意のあるパッケージを特定して報告しましたが、NPMはまだそれらを悪意のあるものとしてマークしていません。これは、ソフトウェアサプライチェーンセキュリティツールの限界を示しており、NPMパッケージを注意深くインストールすることの重要性を強調しています。
続きを読む
匿名のメモが衝撃的な真実を明らかにしました。イーロン・マスクは、DOGEイニシアチブを通じて官僚主義を合理化するという名目で、米国の重要な政府インフラを密かに掌握しています。彼は連邦機関に忠実な者たちを配置し、人事管理から財務省の機密支払いシステムに至るまで、あらゆるものに浸透しました。これはシリコンバレーの「ネオリアクション」運動の目標を反映しており、民主主義を企業支配に置き換えることを目指しています。このメモは、トランプ大統領自身が彼の権力の犠牲者になる前に、議会がマスクによる政府の民営化を阻止するために迅速に行動する必要があると警告しています。
続きを読む
PythonのWindowsインストーラーには、正しいPythonインタープリターを見つけるランチャーが含まれています。しかし、以前は仮想環境をサポートしていませんでした。PEP 486は、ランチャーを「virtualenv対応」にすることを提案しています。つまり、特定のインタープリターが指定されていない場合、ランチャーは現在アクティブな仮想環境を優先し、アクティブな仮想環境がない場合はデフォルトのPythonに戻ります。これにより、仮想環境内でPythonコマンドを実行することが簡素化され、異なるコンテキストで異なるコマンドを使用する必要がなくなります。
続きを読む
TinyZeroプロジェクトは、強化学習を用いて、低コストで大型言語モデル（LLM）に自己検証と検索機能を与える方法を示しています。veRLをベースに、Qwen2.5シリーズのモデルを用いた実験を行い、インストール、データ準備、トレーニングの手順を詳細に説明しています。小さなモデルでも高度な推論が可能になります。このプロジェクトは、強化学習によるLLMの強化の可能性を示し、費用対効果の高いAI研究への新たなアプローチを提供します。
続きを読む
Hypershellは、股関節のピーク生体トルクを最大40％向上させ、30％低減し、30kgのオフセットを提供する（最大アシスト時、体重に合わせて調整）パワーアシスト型外骨格を発表しました。カーボンファイバーバージョン（バッテリーなし）の重量は1.8kgです。航続距離は、時速4kmでエコモード30％使用時の17.5kmです。充電時間はラボテストに基づいており、異なる場合があります。免責事項：この製品は医療用ではありません。使用者はすべてのリスクを負うものとします。
続きを読む
Hexiは、任意のソース（主にネットワークデータ）からのバイナリデータを安全に処理するための、軽量でヘッダーのみのC++23ライブラリです。手動でのバイトのコピーと本格的なシリアライゼーションライブラリの中間的な位置付けです。使いやすさ、信頼できないデータ処理時の安全性、妥当な柔軟性、オーバーヘッドの最小化を設計目標としています。カスタムコンテナ（非連続コンテナを含む）をサポートし、例外処理と境界チェックを提供します。追加機能として、バイナリファイル用のバッファタイプ、静的/動的バッファ、スレッドローカルブロックアロケーターが含まれています。
続きを読む
三菱という名前を聞いて、まず思い浮かぶのは自動車かもしれません。しかし、その裏には3つの全く異なる会社が隠されています。1つ目は三菱グループ。金融、原子力技術、自動車など幅広い分野を網羅する巨大企業グループで、その象徴的な三つ菱のロゴは1913年に登録されました。2つ目は三菱鉛筆株式会社。1887年創業で、筆記具の製造に特化しており、三つ菱ロゴを使用していますが、三菱グループとは無関係です。3つ目は熊本県の小西酒造株式会社。1883年創業で、三菱サイダーを製造しており、三つ菱ロゴを使用しています。これら3つの会社は名前とロゴを共有しているため、商標の混乱が生じ、三菱社名・商標委員会が設立されました。
続きを読む
RT64は、最新のAPI（D3D12とVulkan）上に構築された、最新のN64グラフィックレンダラーです。エミュレータとネイティブポートでのゲームプレイを強化するように設計されています。スタッタリングを排除するためのUbershaderを使用し、高解像度レンダリングとダウンサンプリング、ワイドスクリーン、高フレームレート（HFR）をサポートしています。強力な機能には、テクスチャパックのサポート、メモリ最適化、フレームバッファの再解釈が含まれます。将来の開発には、レイトレーシング、ゲームスクリプトインタープリター、モデルの置換が含まれ、N64ゲーム体験に革命的なアップグレードをもたらすと期待されています。
続きを読む
ピュー・リサーチ・センターの新しい調査によると、宿題にChatGPTを利用する10代の若者の数が大幅に増加していることが明らかになりました。13歳から17歳の生徒の26％が、AIチャットボットを宿題に使用しており、2023年の13％の2倍となっています。ChatGPTの許容度は課題によって異なり、調査には54％が許容すると回答した一方で、論文作成にはわずか18％しか許容しませんでした。多くの学区ではChatGPTの禁止を緩和または撤廃していますが、学問上の不正や公平なアクセスに関する懸念は依然として残っており、特に学校におけるAIの規制の欠如が問題となっています。
続きを読む
Stripeは10月にひっそりとV2 APIをリリースしました。フォームエンコードされたリクエストボディからJSONへの変更、HATEOASスタイルのページングの導入が特徴です。V2は速度の向上と`include`パラメータによるサブオブジェクトの読み込み制御を目指しています。真の冪等性も試みられており、失敗したリクエストの処理が改善されています。しかし、REST動詞の使い方やリソースのモデリングにはまだ改善の余地があります。著者は、優れた開発エクスペリエンス（DX）は、完璧なREST APIよりも高品質なSDKに依存するようになったと主張しています。
続きを読む
ダークパターン探偵は、オンラインでユーザーの意思決定を操作する隠れたデザインパターンを特定し理解することを教えるインタラクティブゲームです。ゲームを通して、あなたは操作的な戦術を発見し、デザインの選択の裏にある心理学を解読し、最終的により力強く情報に通じたデジタルユーザーになることを学びます。このゲームは無料でプレイできますが、価値があると感じる場合は、共有したり、将来の作品を支援したりすることを検討してください。
続きを読む
複数のシステムで異なるドットファイルを管理することにうんざりしていませんか？punktfはこの問題を解決します！このクロスプラットフォームドットファイルマネージャーは、Windows、Linux、macOSで動作し、単一のコマンドで複数のターゲットにドットファイルをコンパイルおよびデプロイできます。条件付きコンパイルと変数挿入にはHandlebarに似た構文を使用し、動作をカスタマイズするためのプリ/ポストフックも許可します。1つの設定で、すべてのマシンで一貫性のある開発者エクスペリエンスを実現できます！
続きを読む
Googleは、過熱リスクに対処するため、Pixel 4aのバッテリー性能向上プログラムを開始しました。オーストラリア競争消費者委員会は、このアップデートが新しいバッテリー管理機能を追加し、過熱リスクを軽減することで、火災や火傷の危険性を防ぐことを確認しました。全てのPixel 4aが影響を受けるわけではありません。ユーザーはGoogleが提供するツールで、自分のデバイスが対象かどうかを確認できます。対象ユーザーは、Googleストアの100ドル割引コード、または50ドルの支払いを受け取ることができます。
続きを読む
オープンソースプロジェクト `terraform-provider-hrui` は、HRUIブランドのスイッチ（Horaco、Sodola、XikeStorなど）を管理するためのTerraformプロバイダーを提供します。goqueryライブラリを使用してスイッチのWeb UIと対話し、Horaco ZX-SWTG124ASで正常にテストされています。貢献は大歓迎で、プロジェクトはMPL-2.0ライセンスの下でライセンス供与されています。
続きを読む
Slime OSは、PicoVision（近日中に他のRP2040およびRP2350デバイスにも対応予定）向けのアプリランチャーで、ミニサイバーデッキプロジェクトであるSlimedeck Zeroのために最初に設計されました。32色限定モードで、内部解像度400x240、最大800x480にアップスケールします。現在、i2cキーボード入力をサポートしており、USBキーボードのサポートも計画されています。このプロジェクトは実験段階であり、一部のアプリが逆さまになっていることや、ハードウェアのサポートが限られているなど、既知の問題があります。ハードウェア互換性の拡張のための貢献は大歓迎です。
続きを読む
ブロガーのルーベン・シェイドは、オンラインブックマークを整理中に、長年蓄積してきたリンクの大部分が壊れているか変更されていることを発見し、オンラインコンテンツ保存の意味について考えさせられました。彼はインターネットの一時的性質と、インターネットアーカイブでさえ安全ではないことを認識しました。彼は価値がない可能性のある大量の個人ブログ、ポッドキャスト、ビデオを保存していますが、それらは貴重な個人的な思い出と歴史のタイムカプセルであり、保存する価値があると信じています。最終的に、彼はオンラインコンテンツ保存の価値は歴史的意義と個人的な思い出にあり、課題は効率的で経済的な保存方法にあると主張しています。
続きを読む
DebianへのRustの統合は長年の取り組みですが、その依存関係処理のアプローチは論争の的となっています。著者のIan Jacksonは、Debianのパッケージ依存関係においてRustのセマンティックバージョニング（semver）を忠実に遵守することは非現実的であると主張しています。DebianとRustの依存関係管理のセマンティクスには根本的な違いがあり、Rustのバージョン依存関係を直接変換すると、膨大な手作業が必要になります。Jacksonは、抜本的な解決策として、Debianは上流のRust semver依存関係情報を正確に追従するのではなく、様々なパッケージの組み合わせを楽観的に試行し、自動化されたQAによって問題を発見して修正するべきだと提案しています。このアプローチはsemverに違反しますが、RustコミュニティがAPIの安全性と変更通知を重視していること、そしてDebianのQAメカニズムによってリスクを軽減できると主張しています。この提案は、Debian Rustパッケージの更新効率を向上させることを目的としていますが、一部の依存関係の組み合わせが失敗する可能性もあります。
続きを読む
Reactの5周年を記念して、この記事ではその道のりを振り返ります。複雑なWebアプリケーションを構築するためにFacebookの社内プロジェクトとして使われていたBoltJSやFaxJSから、最終的に機能的なUIライブラリとなるまで、Reactは何度も繰り返し改良され、APIの改修が行われました。この記事ではJSXの導入や、Reactをオープンソースにする上でInstagramが果たした役割についても取り上げています。Reactの成功は一朝一夕のものではなく、チームによる継続的な改善と活発なコミュニティの参加の賜物です。
続きを読む
Rune Skovbo Johansenが開発した、新しい表面安定フラクタルディザリング技術。この技術により、3Dシーン内のディザパターンはサーフェスに張り付き、サーフェスが動いても画面上のドットサイズと間隔はほぼ一定に保たれます。このGitHubリポジトリには、Unityサンプルプロジェクト、シェーダーとテクスチャのソースファイル、およびラジアル補正や量子化レイヤーなどのディザプロパティとグローバルオプションの詳細が含まれています。この技術はドットを動的に追加または削除することで実現され、さまざまなドット密度の3Dテクスチャを提供しています。MPL-2.0ライセンスで公開されており、コミュニティからの貢献を奨励しています。
続きを読む
レノボはCES 2025で、いくつかの革新的な製品を発表しました。最も注目すべきは、14インチのOLEDディスプレイが16.7インチに展開可能なロールアップ可能なAI PCであるThinkBook Plus Gen 6です。画面の利用面積が大幅に増加します。また、WindowsとSteamOSの両バージョンが用意されたLegion Go Sも発表されました（公式にライセンスされたSteamOS搭載ハンドヘルドとしては初）。さらに、ThinkCentre M90a Pro Gen 6オールインワンPCは、プライバシーを強化する指向性オーディオ技術であるLenovo Focus Soundを搭載しています。革新的ですが、価格は高額です。
続きを読む
OpenAIの新しい論文によると、GPT-4やClaude 3.5などの最先端の大規模言語モデル（LLM）でも、ソフトウェアエンジニアリングタスクの大部分をこなすことができないことが明らかになりました。研究者たちは、Upworkから1400以上のソフトウェアエンジニアリングタスクを集めた新しいベンチマークSWE-Lancerを使用しました。その結果、これらのモデルは表面的な問題しか解決できず、大規模プロジェクトのバグや根本原因を発見することはできなかったことがわかりました。LLMは高速ですが、正確性と信頼性が人間のプログラマーに取って代わるには不十分であり、OpenAIのCEOであるSam Altman氏の予測とは矛盾しています。
続きを読む
ケンブリッジ大学オルタナティブ・ファイナンス・センター（CCAF）は、ケンブリッジ・ブロックチェーン・ネットワーク・サステナビリティ・インデックスの一部として、世界のビットコインマイニングの電力消費量を視覚化したマイニングマップを発表しました。このマップは、国と地域別のビットコインマイニングハッシュレートのシェアを示し、安価な水力発電を利用するために、中国のマイナーが「乾季」と「雨季」の間を移動する季節的な移動パターンを明らかにしています。しかし、2021年6月の中国政府によるマイニング業界への取り締まり後、この移動パターンは終わった可能性が高いです。この研究は、いくつかのビットコインマイニングプールとの連携で収集されたジオロケーションマイニング施設データに基づいており、BTC.com、Poolin、ViaBTC、Foundryからの貢献に感謝しています。
続きを読む
教育ソフトウェア大手PowerSchoolが深刻なデータ漏洩に見舞われ、6000万人以上の小中高生と教師の個人情報が盗まれた。社会保障番号や医療情報など機密データを含む23個のデータベーステーブルが侵害されたとされる。攻撃は、不正アクセスされた認証情報を利用したネットワーク侵入によるもので、ランサムウェアやソフトウェアのバグとは無関係だとPowerSchoolは説明している。PowerSchoolはパスワードのリセットやアクセス制御の強化などの対策を実施し、影響を受けた成人には信用監視サービスを提供しているが、サイバーセキュリティ企業Cybleは、この侵害が2011年から始まっていた可能性を示唆している。この事件は、教育機関におけるデータセキュリティの脆弱性と、迅速な報告と対応の重要性を浮き彫りにしている。
続きを読む
Letta（旧MemGPT）は、状態を持つLLMアプリケーションを構築するためのオープンソースフレームワークです。高度な推論能力と透明性のある長期記憶を持つエージェントを作成できます。Lettaフレームワークはモデル非依存型であり、さまざまなLLMバックエンド（OpenAI、Anthropicなど）をサポートしています。Dockerとpipによるインストール方法があります。また、エージェント開発環境（ADE）というグラフィカルインターフェースを提供し、エージェントの作成、デプロイ、インタラクション、監視を簡素化します。
続きを読む
この記事では、Thunderbolt 4 および Thunderbolt 5 ドックが、さまざまな SSD（Thunderbolt 3 と USB4）の性能に与える影響をテストします。結果は、Intel Mac で TB5 ドックを使用すると、USB4 SSD の速度がほぼ 2 倍になり、20Gb/s に達することが示されました。これは前例のないことです。ただし、TB3 SSD の読み取り速度は TB5 ドックでは低下しました。TB4 ハブは USB4 SSD の速度を制限し、TB3 SSD の書き込み速度を低下させました。テストは、Mac、ドック、SSD の組み合わせによって、予測不可能なパフォーマンスのばらつきが生じることを示しており、慎重なテストが必要であることを強調しています。
続きを読む
この記事では、LLVMの命令スケジューリングモデルにおける逆スループットの計算について詳しく説明します。LLVMのスケジューリングモデルは、命令を3つの主要なプロパティで記述します。レイテンシ、使用されるハードウェアリソース、および各リソースが保持するサイクル数です。従来のアプローチでは、最大解放サイクルを使用して逆スループットを計算しますが、非ゼロ取得サイクルが存在する場合、これは失敗します。リソースセグメントと命令スケジューリングプロセスを分析することにより、著者は新しい方法を導き出しました。すべてのハードウェアリソースの中で最も長いセグメントの長さを逆スループットとして使用することです。これは、リソースセグメントを扱う際の従来の方法の欠点を解消し、LLVMコンパイラの性能最適化のためのより正確な基盤を提供します。
続きを読む
この記事では、組版エンジンTypstとTeXのレイアウトモデルの違いを探ります。ボックスとグルーに基づくTeXは柔軟性がありますが、正確な位置を認識できません。Typstは領域モデルを使用し、要素が自身の位置に反応することを可能にしますが、柔軟性を犠牲にします。著者は両モデルの長所と短所を分析し、Typstは再レイアウトメカニズムを導入することで、柔軟性と最適化のバランスを取り、複雑なレイアウト（回り込み画像やページを跨ぐ表など）の処理における現在の欠点を解消できると指摘しています。
続きを読む
中国最大の自動車メーカーであるBYDは、最安モデルを含む全車種に最先端の「ゴッドアイ」先進運転支援システム（ADAS）を無料で提供することで、電気自動車市場に衝撃を与えました。この動きにより、自動運転技術が民主化され、価格競争が激化し、テスラなどの競合他社に大きな影響を与える可能性があります。BYDは、特に中国市場で競合他社を価格で下回り、ヨーロッパ市場での販売にも影響を与える可能性があります。発表後、テスラの株価は下落し、BYDの株価は上昇しました。
続きを読む