Hacker News トップ · このページについて 閉じる · Buzzing Home · エディターズピック · HN人気 · HN最新 · テクノロジー · Show HN · Lobste 最新 · HN Ask + もっと - 閉じる
海外ニュースの見出し · 経済学人最新 · Reddit 人気 · 深い思考 · Reddit ワールドニュース · ブルームバーグ最新 · ブレイキングニュース · The Atlantic · BBC · 中国 · エコノミスト · ビデオ · Ars Technica · PH人気の作品 · Reddit質問 · Reddit中国 · 株式市場人気 · 纽约时报 · ファイナンス · ガーディアン · ヤフーファイナンス · ファイナンシャルタイムズ · 女性主義 · ウォールストリートジャーナル · レイチャーズ · ビジネスインサイダー · スカイニュース · グーグルニュース · サイドプロジェクト · ポリティコ · Linux · Dev人気の記事 · ニュース速報 · ルーターズ最新 · PHYS最新 · Nature · Science Alert · Live Science · Bear Blog トレンド · Big Think · 暗号通貨 · Quora热门 · 新しいサイトを提案しますか?    

Hacker News トップのニュース

ソース: バージョン: 他の言語: 購読: ソーシャル: 最終更新日: 2025-12-18T02:57:34.745+08:00   統計を見る
12-17  AI''s real superpower: consuming, not creating (msanroman.io)
12-17  P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com)
12-17  A Guide to Magnetizing N48 Magnets in Ansys Maxwell (blog.ozeninc.com)
12-17  CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (bernsteinbear.com)
12-17  Dafny: Verification-Aware Programming Language (dafny.org)
12-17  No AI* Here – A Response to Mozilla''s Next Chapter (www.waterfox.com)
12-17  Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)
12-16  Japan to revise romanization rules for first time in 70 years (www.japantimes.co.jp)
12-17  AI is wiping out entry-level tech jobs, leaving graduates stranded (restofworld.org)
12-17  Track Surveillance (Flock Cameras) Tech in Local Government Meetings (alpr.watch)
12-16  Mozilla''s new CEO is doubling down on an AI future for Firefox (www.theverge.com)
12-14  Purrtran – ᓚᘏᗢ – A Programming Language for Cat People (github.com)
12-16  40 percent of MRI signals do not correspond to actual brain activity (www.tum.de)
12-16  Full Unicode Search at 50 ICU Speed with AVX‑512 (ashvardanian.com)
12-16  ArkhamMirror: Airgapped investigation platform with CIA-style hypothesis testing (github.com)
12-11  High Performance SSH/SCP (www.psc.edu)
12-16  The biggest heat pumps in the world (www.bbc.com)
12-16  A linear-time alternative for Dimensionality Reduction and fast visualisation (medium.com)
12-10  Light intensity steers molecular assemblies into 1D, 2D or 3D structures (phys.org)
12-16  SoundCloud confirms breach after member data stolen, VPN access disrupted (www.bleepingcomputer.com)
12-11  Understanding Carriage (seths.blog)
12-11  The Optics and Image Processing Behind Fundus Cameras (www.youtube.com)
12-16  Taiwan May Restart Nuclear Power Plant in 2028, Minister Says (www.energyconnects.com)
12-13  US TikTok investors in limbo as deal set to be delayed again (www.bbc.com)
12-16  Cosmic-ray bath in a past supernova gives birth to Earth-like planets (www.science.org)
12-16  Pro-democracy HK tycoon Jimmy Lai convicted in national security trial (www.bbc.com)
12-15  We Put Flock Under Surveillance: Go Make Them Behave Differently [video] (www.youtube.com)
12-08  Speech and Language Processing (3rd ed. draft) (web.stanford.edu)
12-15  Largest U.S. Recycling Project to Extend Landfill Life for Virginia Residents (ampsortation.com)
12-15  Adafruit: Arduino’s Rules Are ‘Incompatible With Open Source’ (thenewstack.io)
12-09  Metacode: The new standard for machine-readable comments for Python (github.com)
12-08  An Attempt at a Compelling Articulation of Forth''s Practical Strengths and Eter (im-just-lee.ing)
12-15  Opus 4.5 is the first model that makes me fear for my job (old.reddit.com)
12-15  Rust Coreutils 0.5.0 Release: 87.75% compatibility with GNU Coreutils (github.com)
12-14  How Did the CIA Lose a Nuclear Device in the Himalayas? (www.nytimes.com)
12-14  Illuminating the processor core with LLVM-mca (abseil.io)
12-14  AI and the ironies of automation – Part 2 (www.ufried.com)
12-14  Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem (trigger.dev)