11851 点
HackerBooksはHacker Newsのコメントから本の推薦を収集
HackerBooksは、2007年以降のHacker Newsのコメントにおける言及頻度に基づいて本をランク付けするコミュニティ主導のデータベースであり、AI支援のパイプラインを使用して各エントリを元の議論に紐付けています。
記事全文を読む →
2169 点
プラトニック表現仮説の証明：なぜ「優れた視点」がスケールを凌駕するのか
Randall BalestrieroとYann LeCunによる新しい研究は、プラトニック表現仮説の数学的証明を提供し、異なるモダリティで訓練されたAIモデルが世界の共通の理解に収束できることを示唆しています。この研究は、「優れた視点（good views）」、つまり同じシーンに対する複数の観察を用いることで、標準的な大規模言語モデルで使用される次トークン予測法よりも42倍効率的にこのアライメントを達成できることを実証しています。
記事全文を読む →
3476 点
JavaScriptフレームワークにおけるAIコスト
AIエージェントによるPokémonアプリケーションの構築に関するベンチマークの結果、フレームワークの複雑さが、生成コスト（トークンと時間）および最終的なWebアプリケーションのパフォーマンスの両方に大きな影響を与えることが明らかになった。
記事全文を読む →
4578 点
Lenovoの「暗号化」指紋認証USBドライブには実際のデータ暗号化機能がない
Lenovoの指紋認証USBドライブの分解調査により、デバイスがデータの保護に暗号技術を使用していないことが判明しました。実際には、暗号化されていない内部SDカードへの接続を切り替える物理的なゲートキーパーとして機能しています。
記事全文を読む →
5181 点
意図しない同期が世界の電力網に1分周期のパルスを生み出す
研究者たちは、無停電電源装置（UPS）や蓄電池システムなどのデバイスにおける時計同期ソフトウェアルーチンによって引き起こされる、世界の電力網における持続的な1分間の振動パターンを特定した。
記事全文を読む →
6213 点
Radiaverse：クラウドソースによる世界的な放射線マップ
Radiaverseは、世界中のユーザーからリアルタイムの放射線線量を集約し、世界の放射性ホットスポットや背景レベルのインタラクティブなマップを作成する、コミュニティ主導のプラットフォームです。
記事全文を読む →
7204 点
Copper：Rubyのような構文を持つ最小限の低レイヤ言語
Copperは、Cに代わる低レイヤの選択肢として設計された個人用プログラミング言語であり、Rubyにインスパイアされた構文とオブジェクト指向機能、およびジェネリクスを組み合わせています。ブートストラップやシステムレベルのタスクに対して独自の設計を提供していますが、現在のドキュメントでは、そのメモリモデルや本番環境への対応状況に関していくつかの技術的な疑問が残されています。
記事全文を読む →
8319 点
OmniDiff: Rustで構築されたコンテンツ認識型Diffツール
OmniDiffは、コード、画像、フォント、PDFなど、さまざまなファイル形式にわたって構造を認識した比較を提供するオープンソースツールです。従来の行ベースの差分表示を超え、ファイル内の正確な変更箇所を強調します。
記事全文を読む →
9347 点
ブラジルの裁判所、訴訟書類に隠されたプロンプトインジェクションを仕込んだ弁護士に罰金を科す
ブラジルの労働裁判所は、裁判所の生成AIレビューシステムを操作するために、訴訟申立書に隠れたプロンプトインジェクションコマンドを埋め込んだ2つの法律事務所に対し、罰金を科した。
記事全文を読む →
11392 点
数学における「職人技」から「テクノロジー」への転換
AIが画期的な数学的証明を生成する能力を示しつつある中、数学の分野は手動による証明構築という職人技から、人間の価値が研究方向の選択や構造的統合へとシフトするテクノロジー主導の学問へと移行しようとしています。
記事全文を読む →
terrytao.wordpress.com
12155 点
AFL++を用いたファズテストの最適化：より優れたバグ発見のための戦略
AFL++を用いた効果的なファズテストは、単にツールを実行するだけでは不十分です。特定の環境設定、永続モードのようなアーキテクチャの選択、そしてビルドの複雑さを回避して欠陥の可視性を最大化するための「hacksaw」技術が必要です。
記事全文を読む →
13188 点
Nibnib：マイクロコントローラ向けのデコンプレッションに最適化された画像フォーマット
Nibnibは、デルタベースのパレットと決定論的なペアベースのデコーディングアルゴリズムを利用することで、RP2350マイクロコントローラの如き低電力ハードウェア上で極めて高速なデコンプレッションを実現するために設計された特殊な画像フォーマットです。
記事全文を読む →
14193 点
Seoul Biosys、レアアースフリーの白色マイクロLEDを発売
Seoul Biosysは、コスト削減と超小型ディスプレイの実現を可能にする、レアアース蛍光体や従来のパッケージングを必要としないWICOP技術を用いた白色マイクロLEDの量産を開始しました。
記事全文を読む →
15107 点
phoria2: ビジネスダッシュボード向けの軽量WebGL 2ライブラリ
phoria2は、金融ダッシュボードのような高密度なビジネス可視化のために設計された特殊なWebGL 2ライブラリです。汎用的な3Dエンジンとは異なり、大幅に小さなコードフットプリントと、マルチチャート表示における効率を優先するレンダリングモデルを提供することで差別化を図っています。
記事全文を読む →
16104 点
Unicode記号が「装飾的」なドメイン名を生み出し、セキュリティリスクをもたらす仕組み
現代のウェブブラウザは、IDNA2008正規化プロセスを使用して複雑なUnicode文字を標準的なDNS文字列に変換し、ユーザーが℡や№などの記号を使用したウェブサイトにアクセスできるようにしています。これによりユニークなURLが可能になる一方で、正当なサイトとフィッシングの試みを区別することを困難にし、セキュリティリスクを生じさせています。
記事全文を読む →
17221 点
RAMBO：RAMの無線信号を介してエアギャップ・コンピュータから秘密を漏洩させる
研究者たちは、マルウェアを使用してシステムのメモリバスから直接隠れた無線信号を生成することにより、エアギャップ・コンピュータからデータを持ち出す手法を実証した。
記事全文を読む →
18190 点
アレシボ天文台崩壊の根本原因として亜鉛のクリープ現象を特定
米国科学・工学・医学アカデミーによる2024年の報告書は、ケーブルのスペルターソケットにおける長期的な「亜鉛のクリープ」を、2020年のアレシボ天文台305メートル望遠鏡崩壊の主な原因として特定した。
記事全文を読む →
19116 点
研究者が赤外線カメラから物体を隠すための3D熱透明マントを開発
エンジニアは、熱の流れを物体の周囲に迂回させる3Dプリントされたハイブリッド素材を開発しました。これにより、物体を極端な温度から保護しながら、赤外線センサーに対して不可視にします。
記事全文を読む →
20113 点
停電時における電気自動車の双方向充電の課題
Vehicle-to-Home (V2H)技術により、停電中に電気自動車（EV）から家庭へ電力を供給することが可能ですが、現在のほとんどのシステムは、車に電力を供給しながら同時に車から家庭へ電力を供給する「双方向」充電をサポートしていません。この機能は、現在ではTesla Cybertruckなど、特定の構成に限定されています。
記事全文を読む →
21173 点
父と息子がAltoidsの缶の中にミニチュアコンピュータを製作
ある父と12歳の息子は、Altoidsのミント缶の中に収まるミニチュアコンピュータシステムを開発するために2ヶ月を費やし、ハードウェアの課題、3Dプリント、そして何度も繰り返されるはんだ付けの工程を乗り越えました。
記事全文を読む →
22715 点
ノルウェー、景勝地のインフラを活用して政治的レトリックに対抗
ドナルド・トランプ氏によるノルウェーの地位に対する軽蔑的な発言を受け、同国の観光局は高品質な公共トイレを国家の誇りとして強調した。これは、公共インフラ、国家の富、そしてソフトパワーの交差点に関する議論を呼び起こした。
記事全文を読む →
23262 点
自力で立ち上げたファイル変換SaaSの20年間の歩み
ファイル変換サービスZamzarの創設者は、20年間にわたり自力でSaaSを運営してきた経験を語り、数百万人のユーザーへのスケールアップの課題や、現在のAI主導の自動化時代をいかに乗り切るかについて明らかにしました。
記事全文を読む →
24465 点
パトリック・スチュワート演じるジャン＝リュック・ピカードがいかに「制度主義的リベラリズム」を体現したか
『スタートレック: ザ・ネクスト・ジェネレーション』におけるパトリック・スチュワート演じるジャン＝リュック・ピカードの描写は、「制度主義的リベラリズム」の文化的原型として機能した。これは、強力な、あるいは軍事化された制度であっても、普遍的な権利を守り繁栄した社会を維持するために正当に運用できるという信念である。
記事全文を読む →
25227 点
電化によって世界のエネルギー需要を50%削減できる可能性
非効率な化石燃料ベースの暖房および移動システムを、高効率な電気代替システムに置き換えることで、世界のエネルギー需要を大幅に削減できる可能性があります。専門家は、電化によって、現在は熱として浪費されているエネルギー使用の「隠れた80%」に対処できると示唆しています。
記事全文を読む →
26130 点
groffを使用した中編小説の組版
あるテクニカルライターが、レガシーなgroff組版システムを使用して高品質な書籍を制作する手法を探索し、現代的な代替手段と比較して、その極めて高い速度と予測可能な挙動を強調している。
記事全文を読む →
27146 点
メール暗号化のスペクトラム：セキュリティ、可用性、およびユーザビリティのバランス
メールのセキュリティには複数の暗号化レイヤーが存在し、それぞれが異なる脅威に対処しています。接続レベルのTLSから、ゼロアクセス暗号化、エンドツーエンド暗号化に至るまで、各手法は敵対者に対する保護、システムの可用性、そしてユーザー体験の間のトレードオフを伴います。
記事全文を読む →
28476 点
プリマス警察署長、契約解除後にFlockカメラを物理的に切断
プリマス警察署のエリック・ファデン署長は、Flock Safety社が正式な契約解除への対応を怠ったため、同社のカメラの物理的な切断を命じた。これは、継続的なプライバシーに関する論争の中で、企業間の協力体制が崩壊したことを浮き彫りにしている。
記事全文を読む →2981 点
データ可視化の主観性：なぜすべてのチャートは枠組みを押し付けるのか
データ可視化は、生の事実を映し出す透明な窓として捉えられがちですが、軸のスケールから言語的なラベル付けに至るまでのキュレーションのプロセスは、根底にある情報に対して本質的にナラティブな枠組みを押し付けることになります。
記事全文を読む →
30223 点
Frontier Airlinesの顧客、正確な予約データを含む巧妙なフィッシングメールを報告
Frontier Airlinesからのものと思われる、非常に具体的で正確な予約詳細を含むフィッシングメールの波が報告されています。議論では、データは共有のカスタマーサービスソフトウェア、バックエンドの配信システム、またはフライトステータス照会における脆弱性を介して収集された可能性があることが示唆されています。
記事全文を読む →