オランダでは、特に大学において、メッセージアプリSignalの人気が急上昇している。WhatsAppのデータプライバシーに関する懸念の高まりと、誤情報の拡散がその背景にある。ユトレヒト応用科学大学などの教育機関は、非営利団体であること、オープンソースコードであること、プライバシー重視であることから、Signalへの移行を推奨または検討している。全国学生組合もプライバシーへの懸念を表明し、Signalやその他のオープンソースソフトウェアの使用を提唱している。これは、高等教育における以前のセキュリティ上の懸念に続くものであり、TikTokもスパイ行為のリスクにより以前禁止されていた。
続きを読む
低エネルギーウェブサイトで知られるローテクマガジンは、書籍シリーズの「圧縮版」をリリースしました。この単一巻は、以前の3冊の本を凝縮し、小さなフォント、小さな画像、2カラムレイアウトにより、紙の消費量と二酸化炭素排出量を約3分の2削減します。この記事では、オンラインと印刷の読書の環境への影響を比較し、ウェブサイトのサーバーのフットプリントは低いものの、読者のデバイスのエネルギー使用量は無視できないことを明らかにしています。圧縮版はコストと木の使用量を削減しますが、再生紙は理想的ながらも実際には限られた解決策として検討されています。最終的には、紙の選択だけでなく、コンテンツの圧縮が、最大の資源削減をもたらします。
続きを読む
著者はOrange Pi 5 PlusにSteamをインストールする6段階のプロセスを詳述しています。Armbianのインストール、Box86/64リポジトリの追加、依存関係のインストール、さらなる設定が含まれます。成功したものの、パフォーマンスは不安定で、テストされたゲームのほとんどが720pで動作し、30FPSをわずかに超える程度でした。著者は、これが実用的なゲームソリューションというよりは、楽しい技術的な挑戦であると結論付けています。ただし、CollaboraとValveのARMイニシアチブによる将来的な改善によって、状況が変わる可能性があります。
続きを読む
2年半の休止期間の後、各種の最初の画像を収集することに焦点を当てたiNaturalistプロジェクトがジャーナルを更新しました。このプロジェクトは7000件以上の観測記録と2000人のメンバーを誇ります。更新ではプロジェクトのルールが繰り返し述べられています。1. 観測記録は、その種がどこで撮影されたものでも最初の画像でなければなりません。2. 画像は生きている生物のものでなければなりません。3. 性的二形を示す種または異なる生活段階を持つ種は参加資格があります。このプロジェクトはユーザーの貢献によって発展しており、多くの貢献者、特に甲虫の同定とプロジェクトの擁護に多大な貢献をした@borisbに感謝しています。
続きを読む
このアプリは、音楽理論とピアノの学習に最適で、特にピッチを向上させたい歌手にとって素晴らしいです。正確な歌のために不可欠なピアノスキルを習得できます。しかし、シャープとフラットに関するレッスンが不足しており、大きな欠点です。アプリ内購入で追加レッスンが利用可能ですが、その内容は不明です。練習モードではフラットの練習ができますが、メインレッスンの体系的なアプローチがなく、シャープとフラットは鍵盤上に表示されません。素晴らしいアプリですが、シャープとフラットの包括的な説明がないと不完全です。
続きを読む
この記事では、macOS Sonoma 14.1に現れた新しいバックグラウンドプロセス`liquiddetectiond`について調査しています。当初、これはAppleが保証拒否のためにユーザーデータ収集に利用するツールだと誤解されていました。しかし、調査の結果、これは実際にはUSB-Cポート内の液体を検知して腐食を防ぎ、デバイスの寿命を延ばすための機能であり、データ収集や保証回避のためのものではないことが明らかになりました。この機能は、一部の新しいMacBookとMacBook Proモデルでのみ利用可能であり、ログはAppleにデータを送信せずにローカルで動作していることを示しています。
続きを読む
AIの時代において、個人データのプライバシーと自律性はかつてないほどに課題となっています。この記事では、機械可読な合意を通じて、ユーザーがウェブサイトやサービスとのやり取りにおいて主体的に行動できるよう設計されたIEEE P7012規格（MyTerms）を紹介します。Creative Commonsモデルを基にしたMyTermsでは、ユーザーは非営利団体が提供する合意リストから選択でき、ユーザーが第一当事者となり、データの制御を維持できます。このイノベーションは、デジタル主権を再構築し、ユーザーにより多くの自律性を提供すると期待されています。
続きを読む
AIコーディングアシスタントの台頭により、ソフトウェアエンジニアの役割は根本的に変わりつつあり、単なるコーダーから、AIシステムのオーケストレーターやマネージャーへと移行しています。この変化は、ソフトウェアエンジニアリングコミュニティ内でアイデンティティクライシスを引き起こしています。この記事では、この変革がもたらす課題と機会を探り、ソフトウェアエンジニアの中核となる価値は、コードを書くことではなく、問題解決と価値創造にあることを強調しています。将来、AI時代で競争力を維持するには、より強力なコミュニケーション能力、システム思考能力、適応能力が求められます。
続きを読む
この記事は、友情の構築と維持に焦点を当てた1年間のプロジェクトの6ヶ月目のまとめです。友情に関する8冊の本からの主な結論は次のとおりです。強い友情は健康を改善し、弱い繋がりも機会に価値があり、友情の構築にはかなりの時間投資が必要であり、真の関心は自己宣伝よりも効果的で、社会資本の減少はリスクをもたらします。著者はこのテーマを予想以上に複雑だと感じており、来週個人的な考察を共有する予定です。
続きを読む
セキュリティ研究者は、Fedoraが使用しているソフトウェアフォージであるPagureにおいて、複数の重大な脆弱性を発見しました。これにより、リモートコード実行（RCE）が可能になります。1つの脆弱性は、PagureRepo.log()関数における引数インジェクションに起因し、攻撃者は任意のファイルに書き込み、任意のコードを実行できます。その他の脆弱性には、パス・トラバーサルやシンボリックリンクの不適切な処理が含まれていました。これらの脆弱性は、Fedoraパッケージの仕様ファイルを改ざんし、悪意のあるコードを導入するために悪用される可能性があります。攻撃者は、`/srv/git/.bashrc`ファイルを上書きして、Pagureサーバーの完全な制御を得ることもできます。Fedoraはこの問題に対処するためにForgejoに移行しましたが、これらの脆弱性はオープンソースソフトウェアのサプライチェーンセキュリティにおける重要な問題点を浮き彫りにしています。
続きを読む
研究者らは、大規模言語モデル（LLM）の基本モデルとファインチューニングされたチャットモデルを比較するための新しい手法「タイドクロスコーダー」を発表しました。従来のクロスコーダーとは異なり、タイドクロスコーダーは、基本モデルとチャットモデルの両方に対して、同じ潜在的要因を異なる時間に発火させることを可能にします。これにより、チャットモデルにおける新規機能をより効果的に特定できます。実験により、この手法は、チャット行動が基本モデルの機能からどのように生じるかについてのより明確な説明を提供し、より単義的な潜在的要因をもたらすことが示されました。この研究は、LLMのファインチューニングプロセスに対する新たな洞察を提供し、将来のモデル改良の指針となります。
続きを読む
`formal_verif_ml`プロジェクトは、Lean 4を用いて機械学習モデルの性質（堅牢性、公平性、解釈可能性など）を形式的に検証するためのフレームワークを提供します。Leanライブラリ、モデル変換ツール、Webインターフェース、CI/CDパイプラインを含み、様々なモデルタイプをサポートしています。インタラクティブなWebポータルでは、モデルのアップロード、生成されたLeanコードの表示、証明コンパイルのトリガー、モデルアーキテクチャの可視化などが可能です。
続きを読む
ウクライナ戦争は、ドイツのツァイトヴェンデ（転換期）を加速させ、防衛費の大幅な増加につながった。予算不足、高齢化、老朽化したインフラといった課題に直面しながら、ドイツは自衛隊（Bundeswehr）の再建に努力しており、NATOの防衛費支出目標2％の達成と兵力増強を目指している。新首相メルツはこのプロセスを加速させることを約束しているが、内部の抵抗を克服し、野心的な目標を達成できるかどうかは依然として不透明だ。
続きを読む
ttydは、Web経由でターミナルを共有するためのシンプルなコマンドラインツールです。ポート指定、ネットワークインターフェースのバインド、認証、ユーザー権限の設定、カスタム作業ディレクトリなど、多くのオプションを提供し、柔軟な設定が可能です。SSL暗号化、IPv6サポート、クライアント引数の渡しなどの高度な機能により、安全で信頼性の高いリモートターミナルアクセスを実現します。
続きを読む
CIパイプラインで使用するために、`security-audit.json`を`security-audit.md`に変換するシンプルなGoプログラムです。生成されるレポートの例と、CI統合の例（`dependency-audit.yml`と`dependency-audit-only-when-detected.yml`）が提供されています。後者は、脆弱性が検出された場合にのみGitHub issueを作成します。入力と出力ファイルのパスをカスタマイズでき、脆弱性が検出されなかった場合に失敗するように設定することもできます。
続きを読む
この記事は、ダグラス・エンゲルバートが1968年に行った画期的なコンピューターデモ「すべてのデモの母」について述べています。マウスやハイパーテキストなどの革新的な技術を再検討するだけでなく、あまり知られていない5キーキーボードと、著者がそれを最新のUSBインターフェースに接続した経験についても詳しく説明しています。さらに、この記事では、その名称の由来を明らかにし、エンゲルバートのデモとは当初関係なく、後に名付けられたものであることを明らかにしています。技術的な詳細と歴史的な物語を融合したこの記事は、技術史と個人的な探求の魅力的な一端を垣間見せてくれます。
続きを読む
停電リスクの高まりに伴い、家庭用バッテリーとガソリン発電機がバックアップ電源の主要な選択肢となっています。ガソリン発電機は初期費用が低いものの、長期的にはランニングコストと燃料費が高く、騒音や一酸化炭素中毒のリスクも伴います。家庭用バッテリー、特に太陽光発電システムと組み合わせた場合は、初期投資は高くなりますが、税制上の優遇措置を受け、ランニングコストが低く、静かでクリーンな運用が可能です。バッテリーの寿命は約10年、発電機は20年以上ですが、定期的なメンテナンスが必要です。最終的には、家庭用バッテリーは設置の柔軟性、静音性、メンテナンスの容易さにおいて優れており、より便利なバックアップ電源ソリューションとなります。
続きを読む
この記事は、AI開発における新たなトレンド、すなわち計算能力の優位性を探求しています。著者は自身の経験や比喩を用いて、過剰に設計されたAIシステムは、丁寧に手入れをされたが変化する環境に適応できない植物のようなものであり、一方、大規模な計算能力に基づくAIシステムは、自然に成長する植物のように自律的に学習し適応できると説明しています。ルールベース、計算リソースが限られたもの、スケールアウトの3つの異なるアプローチによるカスタマーサービス自動化システムの構築を比較することで、スケールアウトソリューションの優位性を示しています。強化学習（RL）の台頭はこの傾向をさらに裏付けており、大量の計算を通して複数の解決策を探求し、人間の設計を超える成果を上げています。将来、AIエンジニアの役割は、完璧なアルゴリズムを作成することから、膨大な計算リソースを効果的に活用できるシステムを構築することにシフトするでしょう。
続きを読む
この記事は、ナチス・ドイツからの脱出前に書かれたエルンスト・フランケルの『二重国家』を再検討しています。この本は、ナチス政権が資本主義経済の表面的正常性を維持しながら、同時に無制御の暴力の「特権国家」を運営していた方法を説明しています。著者は、独裁政権は既存の法律を廃止するのではなく、「規範国家」と並んで無法地帯を作り出すと主張しています。権力乱用や反対派の弾圧など、トランプ政権の行動は、この「二重国家」モデルを反映しており、こうした体系的なリスクに対する警告となっています。
続きを読む
この記事では、Safariのプライバシーを強化するための作者の設定について詳しく説明しています。IPアドレスをマスクし、DNSクエリを暗号化するiCloud Private Relayと、3つの拡張機能（Wipr（広告ブロッカー）、StopTheMadness Pro（トラッキング防止）、Hush（Cookieとポップアップブロッカー））を使用しています。テストの結果、Webトラッキングに対する強力な保護が示されましたが、フィンガープリントの一意性は改善の余地があります。FirefoxとBraveの構成との比較も含まれており、最終的に作者が選択したSafariの設定への満足度が示されています。
続きを読む
YC（S24）支援のスタートアップが、不動産業界に革命を起こすチームにTypeScriptエンジニアを求めています。彼らは、メッセージング、取引管理、顧客とのやり取りなど、不動産仲介者のワークフローを自動化する最先端のAIプラットフォームを構築しています。この役割には、10万ドルから15万ドルの年収と、0.5％から2.5％の株式が提供されます。候補者は、AIを使用して迅速にコードをリリースする経験、消費者向け機能の提供、既存のAIモデルの確かな理解が必要です。
続きを読む
バイデン政権は、欧州の同盟国と協力して、ロシアのハイブリッド戦キャンペーンに対抗するため、省庁横断的なワーキンググループを設立しました。しかし、トランプ大統領就任後、この取り組みはほぼ完全に停止しました。これにより、トランプ政権が脅威を軽視しており、米国が将来の攻撃に対して脆弱になり、ロシアを大胆にしている可能性があるという懸念が生じています。この停止は、米国と欧州の関係における大きな変化と同時に起こっており、ウクライナ紛争に深刻な影響を与える可能性があります。
続きを読む
40年前、アメリカには専用のクライミングジムは一つもありませんでした。1990年、クライミングの天才ピーター・メイフィールドは、カリフォルニア州で最初の商業クライミングジムであるCity Rock Gymを設立し、このスポーツに革命を起こしました。彼は経験豊富なクライマーのためのトレーニングスペースを作るだけでなく、特に子供や女性にとって、クライミングを大衆に普及させました。City Rockは安全性を重視し、会員制度やプロのクライミングレッスンを導入し、将来のジムの基準を確立しました。City Rockが最終的に閉鎖された後も、メイフィールドの革新的な精神と社会的な責任感は、彼の非営利団体であるGateway Mountain Centerを通じて、若者たちを支援し続けています。
続きを読む
1819年の「血染めのポレンタ」事件から20世紀の生物兵器実験まで、鮮やかな赤色素で知られる細菌Serratia marcescensは、科学、医学、文化に消せない足跡を残しました。「奇跡の血」事件に誤って関連づけられ、細菌の拡散研究や生物兵器として利用されてきました。一部の株は病原性を示すものの、免疫療法や抗菌薬研究において重要な役割を果たしており、その赤色素プロジギオシンは多様な生物医学的用途を持っています。この記事では、この「奇跡の細菌」の100年にわたる物語を振り返り、その魅力的でしばしば見過ごされてきた科学的側面を明らかにします。
続きを読む
この記事では、Homeworld 2の息を呑むような背景美術の秘密を明らかにします。ゲームデータの分析から、背景はテクスチャではなく、巧妙な頂点カラーグラデーションによって作成されていることが判明しました。この大胆な手法は、テクスチャ圧縮によるアーティファクトを回避するだけでなく、細部を巧みに制御し、背景が本来あるべき位置に留まり、前景を圧倒することを防ぎます。これはDiablo 3の2.5Dツリー技術と共通点があり、テクノロジーと芸術の完璧な融合を示しています。
続きを読む
18世紀のロンドンの路上で売られていたパーキンス・トラクター（金属製の棒で痛みを軽減するもの）は、プラセボ効果の初期の形態を示していました。今日、プラセボは経口薬から注射薬まで様々な形態があり、その効果は形態によって異なります。研究によると、関節内プラセボ注射は、局所プラセボよりも、局所プラセボは経口プラセボよりも、鎮痛効果が高いことが示されています。驚くべきことに、関節内プラセボと経口プラセボの有効性の差は、場合によっては、有効な鎮痛薬と経口プラセボの有効性の差を上回ることもあります。さらに、医師の態度や患者の年齢などもプラセボ効果に影響を与えます。近年、米国ではプラセボ効果が著しく増加しており、その結果、プラセボに対する相対的な有効性が低下したため、承認されなかった薬剤もあります。これはさらに調査する価値のある現象です。
続きを読む
この記事はドライブスルーレストランのアナロジーを用いて、命令パイプライン、メモリキャッシング、投機的実行という3つの重要なCPUアーキテクチャの概念を説明しています。著者は、これらのメカニズムを理解し、それらと連携して動作するコードを書くこと（ハードウェアを意識したプログラミング）によって、ソフトウェアのパフォーマンスを劇的に向上させることができると主張しています。この記事では、スーパースカラー実行を活用するためのループアンローリング、キャッシュを最大限に活用するためのデータ構造のレイアウトとアクセスパターンの最適化など、コード最適化の手法を詳しく説明しています。最終的に、著者は、効率的なコードを書くことは、まずクリーンで保守しやすいコードを書くこと、次にプロファイリングしてパフォーマンスのボトルネックを特定すること、そして最後にハードウェアを意識したプログラミングの原則を適用してこれらのボトルネックに対処すること、だと強調しています。
続きを読む
疾病対策センター（CDC）を模倣したウェブサイトが、ワクチンに関する虚偽の情報を拡散しており、CDCのロゴ、ソーシャルメディアのリンク、権威的な言葉遣いを使用しています。2024年12月までHHS長官を務めていた人物が率いるNGOがホスティングしているこのウェブサイトは、連邦のなりすましに関する法律に抵触する可能性があり、深刻な法的懸念を引き起こしています。親の証言や選択的に引用された科学的根拠を用いて主張を裏付けようとしており、大衆を誤解させ、信頼を損なう可能性があります。HHS長官がこの問題を認識しているかどうか、そしてこの明らかな利益相反と連邦法違反の可能性にどのように対処するかは不明です。
続きを読む
ナミビア、オマーン、サウジアラビアの砂漠地帯で、未知の微生物生命体によるものと思われる異常な構造が発見されました。大理石や石灰岩の中に、小さな平行な管状構造が発見され、通常の地質学的プロセスとは異なることが示唆されています。生物学的物質の証拠から、微生物がこれらのトンネルを掘った可能性があり、栄養分を得るためだったと考えられます。この生物は謎であり、絶滅したか、隠れているかのいずれかであり、地球規模の炭素循環にとって重要な役割を果たしている可能性があります。この発見は、未知の生命体が地質学的プロセスを形成し、地球の炭素収支に影響を与える可能性があることを示しています。
続きを読む
セキュリティ研究者によって、Next.js（人気のReactフレームワーク）のミドルウェアに重大な脆弱性（CVE-2025-29927）が発見されました。11.1.4から最新版までのほぼすべてのバージョンに影響を与えます。この脆弱性により、攻撃者は`x-middleware-subrequest`ヘッダーを操作することで、ミドルウェア（認証、認可など）をバイパスできます。これにより、セキュリティ対策の回避や、キャッシュポイズニングによるサービス拒否攻撃さえも可能になります。Vercelチームはパッチをリリースしました。すべてのNext.jsユーザーはただちにアップグレードする必要があります。
続きを読む