オープンソースソフトウェアを提供するプラットフォームSourceHutは、大規模言語モデル（LLM）による積極的なデータスクレイピングに積極的に対抗しています。LLM企業はユーザーデータへの権利を持たないと主張し、有料であってもいかなる企業ともデータ共有契約を結ばないと明言しています。SourceHutはサービス保護のためAnubisを導入し、サービス利用規約を更新してデータスクレイピングを厳しく制限し、検索エンジンのインデックス作成、オープンアクセス研究、アーカイブなどの用途のみに許可しています。ユーザーデータはユーザーに属し、そのデータがユーザーの最善の利益のために使用されることを保証することがSourceHutの責任であると強調しています。これは、営利目的やLLMモデルのトレーニングには使用されません。
続きを読む
Ruby Tk gem は、Tcl/Tkライブラリを使用してRuby GUIアプリケーションを構築するためのインターフェースを提供します。最近のアップデートにより、インストールプロセスが簡素化され、より明確なドキュメントと例が提供されています。開発者は`gem 'tk'`を使用して簡単にインストールし、豊富なTkコマンドを使用してさまざまなインターフェースを構築できます。Tcl/Tkヘッダーファイルとライブラリのパスを指定するために、追加のオプションを設定する必要がある場合があります。
続きを読む
Eric Hellmanがtilde.zoneに投稿したメッセージによると、長期間開発中のプロジェクトのアップデートとして、Mastodonウェブアプリを使用するにはJavaScriptを有効にするか、またはMastodonのネイティブアプリを使用する必要があるとのことです。これは、Mastodonのウェブクライアントやユーザーエクスペリエンスの改善に関する作業を示唆しています。
続きを読む
大規模言語モデル（LLM）は人間の行動をシミュレートする上で大きな可能性を秘めていますが、その意思決定プロセスは透明性に欠けています。本論文では、Shapley値に基づいた新しいアプローチを提案し、LLMの行動を解釈し、プロンプトの各構成要素がモデル出力に与える影響を定量化します。2つのアプリケーションを通して、LLMの意思決定は「トークンノイズ」の影響を受けやすく、情報量の少ないトークンにモデルが不釣り合いに反応することが明らかになりました。これは、人間の行動シミュレーションにおけるLLMからの知見の堅牢性と汎化可能性に関する懸念を引き起こし、研究で使用する場合には、慎重なプロンプトエンジニアリングと、その限界のより微妙な理解が必要であることを強調しています。
続きを読む
Wine 10.0-rc4 リリース候補版が公開され、このオープンソース互換レイヤーソフトウェアのメジャーアップデートが間近に迫っていることを示しています。今回のアップデートは、安定性と互換性の向上に重点を置いており、ユーザーはよりスムーズなWindowsアプリケーション実行体験を得ることができます。開発チームは、多数のバグ修正とパフォーマンス向上に多大な努力を払っており、正式版リリースに向けた堅実な基盤を築いています。正式版でのさらなる改善に期待しましょう。
続きを読む
Raspberry Pi用のローランドMT-32オーディオモジュールをエミュレートするベアメタルMIDIシンセサイザーであるmt32-piの開発者が、継続的なオンラインでの嫌がらせによりプロジェクトの終了を発表しました。これには、個人的な攻撃、コードの盗用、3Dプリントデザインの盗難などが含まれます。開発者は、精神的な健康への悪影響を理由に開発を中止すると述べ、コミュニティからの感謝と励ましの不足を訴えました。
続きを読む
フラウンホーファー太陽エネルギーシステム研究所（Fraunhofer ISE）によると、ドイツは2024年、電力の62.7％を再生可能エネルギー源から発電しました。太陽光発電は全体の14％を占め、72.2TWhという記録的な数値を達成しました。天候条件はあまり良くなかったものの、太陽光発電容量の急速な拡大によってこの記録が達成されました。風力発電は136.4TWhで最大の電力源であり続けました。バッテリー貯蔵容量も大幅に増加し、8.6GWから12.1GWに増加しました。ドイツのCO2排出量は減少を続け、2024年には1億5200万トンとなり、1990年レベルから58％減少しました。
続きを読む
プログラマーが、18年間Linuxのコンソールのみを使用してきた経験を語ります。2000年代初頭、インターネットへのアクセスが限られていた地方でLinuxを学び始め、その後、幾多の徹夜と様々なディストリビューションを試す中で「悟り」を開いたそうです。Systemdの台頭など、現代のLinuxトレンドについても洞察を共有し、なぜGentooを選んだのかを説明しています。ノスタルジックなこの文章は、純粋な技術への献身に満ちた魅力的な物語です。
続きを読む
この記事では、モックやスパイを使用せずに、高速で信頼性が高く、メンテナンスしやすいユニットテストを実現する斬新なアプローチを紹介します。その核心は、状態ベースのテストと「Nullables」と呼ばれる新しいインフラストラクチャ技術を組み合わせることです。「Nullables」はテストダブルではなく、「オフ」スイッチ付きのプロダクションコードであり、外部システムや状態に依存せずにテストを実行できます。プロダクションコードの修正が必要ですが、このアプローチは、テストの不安定性やリファクタリングの困難さといった従来の方法の多くの欠点を回避し、パフォーマンスの大幅な向上をもたらします。この記事では、ナローテスト、状態ベーステスト、オーバーラッピングソーシャブルテストなど、関係するパターンとテクニックを詳細に説明し、多くのコード例と様々なユースケースを提供することで、開発者にとって学習と実装に最適なリソースとなります。
続きを読む
3FSは、AIのトレーニングと推論のワークロードの課題に対処するために設計された高性能分散ファイルシステムです。最新のSSDとRDMAネットワークを活用することで、分散アプリケーションの開発を簡素化する共有ストレージレイヤーを提供します。主な機能には、優れたパフォーマンスと使いやすさ、CRAQによる強力な整合性、標準的なファイルインターフェース、さまざまなワークロード（データ準備、データローダー、チェックポイント、推論のためのKVCache）のサポートが含まれます。ベンチマークテストでは、大規模クラスタで最大6.6 TiB/秒の読み取りスループットと3.66 TiB/分のソートスループットを実現しました。KVCacheはLLM推論の効率を大幅に向上させ、最大40 GiB/秒のピーク読み取りスループットに達します。このプロジェクトはオープンソースであり、詳細なセットアップと実行手順が提供されています。
続きを読む
この記事では、「ウォークネス」の起源と進化を探っています。著者は、「ウォークネス」は新しい現象ではなく、1980年代に端を発し、1960年代の学生運動の参加者たちが教授となり、政治的見解を教育や研究に持ち込んだことから、最初の政治的正しさの波が生まれたと主張しています。ソーシャルメディアとメディアの分断は、第2の波を煽り、「キャンセルカルチャー」を生み出し、アルゴリズムを通じて怒りを増幅させました。著者は「ウォークネス」をパフォーマンス的なモラルと見なし、その危険性は、複雑なルールを真の美徳に取って代わることにあると述べています。現在衰退しつつあるこの現象に対し、著者は、将来の発生を防ぎ、知的自由主義を維持するために、宗教と同様に扱うことを提案しています。
続きを読む
英国政府は、イングランドの河川流域へのビーバーの再導入申請を受け入れると発表し、この在来種が英国の河川や湖沼で再び繁栄するための道を切り開きました。この自然に基づく解決策は、洪水、汚染、水質悪化などの問題に対処することを目的としています。ビーバーは生態系エンジニアとして機能し、水文条件や水質を改善し、他の野生生物のための生息地を創出します。この計画は、長年の綿密な計画と公的協議を経ており、幅広い支持を得ています。再導入により、生物多様性が大幅に向上し、より広範な生態系修復への取り組みにも貢献すると予想され、ビーバーは最終的に英国の野生生物の通常の構成要素となるでしょう。
続きを読む
完全リモートワークの会社Jigaは、物理製品開発の加速を目指しています。React、NodeJS、MongoDBを使ったWebアプリケーション開発経験3年以上、AWS/EC2/ECSの経験を持つフルスタックエンジニアを募集しています。Jigaは、成果重視、信頼関係、会議最小化を重視した実務的な文化です。柔軟なリモートワーク、ストックオプション、年間チームオフサイトなど福利厚生も充実しています。UIとAPIの構築に情熱を持ち、スピード感あふれる環境で活躍したい方、ぜひご応募ください！
続きを読む
干潮時のテムズ川河畔には、様々な宝物が姿を現しますが、中でも最も注目を集めるのは深紅色のテムズガーネットです。これらの宝石はイギリス原産ではなく、その起源は謎に包まれています。工業廃棄物説から古代の難破船の残骸説、さらには密輸業者が捨てた貨物説まで、様々な憶測が飛び交っています。テムズ川で合法的に遺失物を探すマッドラークたちは、これらの宝石の場所を厳重に守っており、川にミステリアスな雰囲気を添えています。考古学者や歴史家は、この謎を解き明かそうと努力を続けており、輝くガーネットは、テムズ川の数千年にわたる歴史を静かに語りかけています。
続きを読む
Fidgetは、大規模な数学式を表現、コンパイル、評価するためのRustライブラリです。主に陰関数曲面のために設計されていますが、その柔軟性から様々な用途に使用できます。Fidgetは、フロントエンド（スクリプトからバイトコードへ）、バックエンド（高速で柔軟な評価）、アルゴリズム（レンダリングとメッシュ化）の3つのレイヤーで構成されています。中心的な革新は、区間演算とトレースの簡素化を組み合わせることで、大規模な式を効率的に処理し、JITコンパイルによってさらにパフォーマンスを向上させることです。WebベースのGUIを含む様々なデモを提供し、自動微分と区間演算をサポートしています。
続きを読む
Tabbyは、GitHub Copilotのローカル代替手段となる、オープンソースの自己ホスト型AIコーディングアシスタントです。データベースやクラウドサービスは不要で、OpenAPIインターフェースにより既存のインフラストラクチャ（例：クラウドIDE）との統合が容易です。コンシューマーグレードのGPUをサポートしています。最近のアップデートには、Llamafileのデプロイ統合、Answer Engineのユーザーエクスペリエンスの向上、Answer Engineでの異なるバックエンドチャットモデルの切り替え、メインページでの最近共有されたスレッドの表示などが含まれます。また、IDEプラグインや、チーム管理やセキュアアクセスなどのエンタープライズ機能も備えています。
続きを読む
86Boxは、1981年からPCIバス時代までのIBM PC互換システム向けに設計された、古いオペレーティングシステムとソフトウェアを実行できる強力なx86エミュレーターです。ユーザーフレンドリーなインターフェースと高いカスタマイズ性を備え、MS-DOS、古いバージョンのWindows、OS/2、その他のビンテージシステムやアプリケーションを実行できます。幅広い周辺機器（ビデオカード、サウンドカード、ネットワークアダプターなど）をサポートしており、複数の仮想マシンを簡単に処理できる複数のマネージャーアプリケーションも提供されています。懐かしさを感じるか、レトロコンピューティングに興味があるかに関わらず、86Boxは過去への魅力的な一瞥を提供します。
続きを読む
Gitプロジェクトは、Rustプログラミング言語の導入をめぐって激しい議論を展開しています。賛成派は、Rustのメモリ安全性とリファクタリングの容易さが、Gitのセキュリティと開発者体験を向上させると主張しています。しかし、反対派は、Rustの導入がNonStopなどのニッチなプラットフォームのサポートを損ない、Gitの長期的な存続可能性を阻害する可能性があると懸念を表明しています。金融セクターにおけるNonStopの普及、Gitへの依存、そしてプラットフォーム向けのRustコンパイラの不足が、問題を複雑にしています。議論は最終的に決着せず、Gitプロジェクトは広範なプラットフォームサポートの維持とセキュリティおよび開発者体験の向上という、重要な決断に苦慮しています。
続きを読む
スタンフォード大学による研究によると、2050年までに風力、太陽光、地熱、水力発電を100％に切り替えることは、世界の大部分の国々にとって、炭素回収技術よりもはるかに費用対効果が高いことが明らかになりました。この転換により、エネルギー需要とコストが大幅に削減され、大気質が改善し、気候変動が緩和されます。研究では、再生可能エネルギーへの完全な転換と、追加の炭素回収を伴う化石燃料への継続的な依存という2つの極端なシナリオを比較しました。研究によると、再生可能エネルギーへの転換は、化石燃料による大気汚染に関連する年間数百万件の疾病と死亡を回避するため、炭素回収よりも優れた費用対効果の高い解決策となります。研究者たちは、炭素回収を促進する政策を放棄し、大気汚染と気候変動に対処するためには燃焼の排除が不可欠であると主張しています。
続きを読む
現代の忙しい生活の中で、孤独感は増えています。この記事では、著者がドイツで孤独と戦う伝統的な方法、シュタムティッシュを発見した体験について語っています。シュタムティッシュとは、志を同じくする人々が定期的にバーやレストランに集まり、お酒を飲みながらおしゃべりをする集まりです。シュタムティッシュは友情を深め、気楽な社交の場を提供し、現代の孤独に対する解決策となります。著者は自身のコーヒー・クラブと比較しながら、定期的な集会の利点を強調し、人間関係の重要性を訴えています。
続きを読む
世界的なコンサルティング会社であるマッキンゼー・アンド・カンパニーは、オピオイドの販売増加における役割について連邦捜査当局との和解で6億5000万ドルの支払いに合意しました。マッキンゼーは、自社の戦略が安全でなく不必要なオピオイド処方につながったことを認め、元シニアパートナーは文書破棄で有罪を認めたものの、他の幹部は刑事訴追を免れました。これは、オピオイド危機における大企業の巨額罰金支払いと、経営幹部の責任追及の少なさを示すものであり、企業の責任問題への懸念を引き起こしています。
続きを読む
今後のcurl 8.12.0リリースでは、エキサイティングな新機能が導入されます。部分ファイルの読み込みに対応します。ユーザーは新しい変数システムを利用して、ファイルから特定のバイト範囲を抽出し、curlコマンドラインで使用できるようになります。これにより、curlによるファイルの処理方法に大きな柔軟性が加わり、ファイルの先頭部分をユーザー名として抽出したり、中央部分をPOST本文として使用したりといったタスクが可能になります。curlの機能が大幅に拡張され、より堅牢なコマンドラインツールがユーザーに提供されます。
続きを読む
この記事では、GPTモデルを活用してブログ記事作成を支援するツール「unit-text」を紹介します。著者は、反復的なライティング、目標指向のアプローチを強調し、ソフトウェア開発におけるテスト駆動開発（TDD）との類似点を指摘し、「テスト駆動型ブログ」という概念を提案しています。unit-textはプロンプトとGPTからのフィードバックを用いて、記事の一貫性、論理的矛盾、目標達成状況などを確認することで、ライティングの効率性と質を高めます。現在プロトタイプのCLIツールであり、今後の計画にはインタラクティブな発想、自律的なリサーチ、API統合などが含まれています。
続きを読む
新年の抱負はしばしば失敗に終わる？この記事では、目標設定と行動変容のためのエビデンスに基づいた戦略を探ります。研究によると、新年の抱負の成功率は一般的に考えられているほど低くありません。「新たなスタート効果」を活用し、目標階層設定（上位目標、中間目標、下位目標）、接近目標対回避目標、プロセス目標対結果目標、習得目標対パフォーマンス目標、柔軟な抑制対厳格な抑制、そして実行意図戦略を組み合わせることが重要です。この記事では、MacroFactorなどのツールがどのように目標設定と行動変容を支援するかについても詳述しています。
続きを読む
Hyperbola GNU/Linux-libreは、コミュニティ主導のオペレーティングシステムプロジェクトで、完全に自由で、安定性、セキュリティ、シンプルさ、軽量さを備えた長期サポート版を提供することを目指しています。Arch Linuxのパッケージ管理システムとDebianのセキュリティパッチを利用し、GNU自由システム配布ガイドラインに準拠しています。i686とx86_64アーキテクチャをサポートしており、BSDベースのシステムであるHyperbolaBSDのリリースも計画されています。最近のニュースには、32ビットシステムの継続的なサポート、Debian 12以降のパッチセットの使用停止、フリーソフトウェアファウンデーションの機械学習に関する声明への懸念表明などが含まれています。
続きを読む
254人の病院職員を対象とした前向き研究で、「バズワイヤー」ゲームを使った手先の器用さテストにおいて、外科医が他の職種を大幅に上回り、成功率84％を達成したことが分かりました。しかし、外科医はタスク中に悪態をつく頻度も高かった。看護師と非臨床職員は成功率が低かったものの、聴覚的に分かるほどの不満をより頻繁に表現しました。この結果は、病院の様々な職種における多様な技能セットを浮き彫りにし、将来の研修に同様の器用さゲームを取り入れることで、技能とストレス管理の両方を向上させることを示唆しています。
続きを読む
2023年、ビニールレコードの売上高が1987年以来初めてCDを上回り、音楽体験の本質についての省察を促しました。ハイデガーの『存在と時間』における「解体」の概念を借用し、Spotifyなどのストリーミングサービスに内在する「不在性」を探求します。音楽体験は断片化され、パーソナライズされ、ビニールレコードに伴う触覚的、視覚的、社会的な関与が欠如しています。ビニールの復活は、より経験豊かで社会的な音楽体験への願望を示しています。
続きを読む
NsJailは、Linuxネームスペース、リソース制限、seccomp-bpfシステムコールフィルターを利用して、様々なアプリケーションのための安全なサンドボックスを作成する、堅牢なLinuxプロセス分離ツールです。ネットワークサービスの分離、CTFコンテストのホスティング、積極的なOSファジングの封じ込めをサポートしています。NsJailは、UTS、MOUNT、PID、IPC、NET、USERネームスペースを含む多様な分離メカニズムと、ファイルシステムの制約、リソース制限、プログラム可能なseccomp-bpfフィルターを提供します。信頼できないコードを安全に実行し、システムを悪意のある攻撃者から保護します。
続きを読む
ExoはPython 3.9以降をサポートするプログラミング言語です。pipを使用して簡単にインストールできます。ExoファイルはPythonで直接実行でき、exoccコマンドでC/ヘッダーファイルが生成されます。開発には仮想環境の設定と、PySMTやCMakeなどの依存関係のインストールが必要です。テストにはz3-solver（または他のソルバー）とCMake 3.21以降が必要です。テストはさまざまなシナリオを網羅し、コードカバレッジテストをサポートしています。詳細情報と例はプロジェクトリポジトリにあります。
続きを読む
XiangShanは、中国科学院計算技術研究所と鵬程研究所が共同で開発した、オープンソースの高性能RISC-Vプロセッサプロジェクトです。複数の安定版がリリースされており、包括的なドキュメント、チュートリアル、マイクロアーキテクチャの概要が提供されています。最新の昆明湖バージョンは開発中で、様々なシミュレーションツールとIDEをサポートしています。XiangShanは、アジャイル開発手法を用いてRISC-Vプロセッサ技術の進歩を目指しており、その成果は査読付き論文として発表され、国際的な評価を得ています。
続きを読む