2026年8月2日的新闻

Sean Goedecke Blog

  1. Giving and taking credit in big tech companies (2026-08-02)

Rob Zolkos Blog

  1. A Year on Omarchy. No Regrets. (2026-08-01)

C++ Blog

  1. BeCPP Symposium 2026 - Phil Nash - Contemporary C++ Testing (2026-08-02 06:07)

Hacker News

  1. F*: A general-purpose proof-oriented programming language (2026-08-02 12:31:16)
  2. Fasttracker II clone in C using SDL 2 (2026-07-29 06:47:22)
  3. Folding Paper Globes (2026-07-29 05:53:00)
  4. A Rant About “Technology” (2005) (2026-08-02 14:51:18)
  5. Norway Salmon (2026-07-28 01:54:31)
  6. Rust All Hands 2026 Retrospective (2026-08-02 10:33:26)
  7. ESP32-C3 SuperMini antenna modification (2026-08-02 06:56:38)
  8. Only 8.9% of sites block AI crawlers, but 94.8% are never cited in AI answers (2026-08-02 11:53:52)
  9. Meshdiff – visually compare two STL versions in the browser, client-side (2026-08-02 11:34:41)
  10. Show HN: Bor – Open-source policy management for Linux desktops (2026-08-02 09:06:33)
  11. Wikimedia Foundation refuses union recognition, hires union-busting law firm (2026-08-02 11:24:20)
  12. Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge (2026-08-02 10:18:24)
  13. Twenty Years of RISC OS Open (2026-08-02 12:36:07)
  14. Show HN: Syncular – offline-first SQL sync with TypeScript and Rust cores (2026-08-02 09:48:08)
  15. Great Question (YC W21) Is Hiring Senior Demand Gen Manager (2026-08-02 12:01:00)
  16. Show HN: Fuse – statically typed functional programming language (2026-08-02 11:23:56)
  17. The Vanishing Page: AI Firms Scan Then Destroy Rare Book Editions (2026-07-29 10:54:07)
  18. Cyberscript (2026-08-02 07:58:30)
  19. IBM i (OS/400) the Database Operating System (2026-08-02 07:17:49)
  20. Holocloth (2026-07-30 22:59:27)
  21. Mathematics Without Mathematicians (2026-08-02 07:47:26)
  22. An internal OpenAI Astra model solved 10 major open math and CS problems (2026-08-02 12:01:37)
  23. Show HN: Katharos Functional programming and CSP-style concurrency for Python (2026-08-02 10:45:11)
  24. US Treasury undertakes historic intervention in yen market (2026-08-02 10:46:28)
  25. A big win for Android interoperability (2026-07-31 15:01:07)
  26. I don’t recommend Tailwind CSS (2026-08-02 07:09:38)
  27. Instrumenting my espresso machine with OpenTelemetry (2026-07-30 08:06:25)
  28. Show HN: Logan Basic v2.1 - An online BASIC interpreter. (2026-07-30 20:36:53)
  29. The Prospects for 128 Bit Processors ( John Mashey SGI 1995) (2026-08-02 01:26:12)
  30. Running Kimi K3 on MI355X at Better Performance per Dollar Than B300 (2026-08-02 04:21:14)
  31. Linux desktop market share has hit over 10% in North America (2026-08-02 03:10:00)
  32. Elena, a library for building Progressive Web Components (2026-07-30 13:31:56)
  33. Deep-sea vehicles spot ‘alien’ sharks deep beneath the waves in the Pacific (2026-08-02 02:51:15)
  34. P[drive failure]: how reliable is your NAS? (2026-07-30 19:18:54)
  35. The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (2026-07-28 21:38:14)
  36. The teenage hitmen recruited to kill across Europe (2026-08-02 03:19:17)
  37. Go 1.27 Interactive Tour (2026-08-02 01:35:51)
  38. MkLinux and the pimped-out Apple Workgroup Server 9150 (2026-08-02 03:12:52)
  39. Plug-in solar is coming. Plug-in batteries should follow (2026-08-02 02:57:51)
  40. ASRock BC-250: Building the Budget Steam Machine (2026-08-02 01:35:11)
  41. RFC 10015: Deprecating Obsolete Key Exchange Methods in TLS 1.2 and DTLS 1.2 (2026-08-01 23:44:55)
  42. AI financial advice is surprisingly good, especially if you ask right questions (2026-08-01 22:25:12)
  43. Four Time Scales for Technology Development and Deployment (2026-08-02 02:26:52)
  44. When random.bytes() runs but doesn’t work (2026-08-02 02:08:26)
  45. Morph (YC S23) Is Hiring Member of Technical Staff (2026-08-01 22:52:44)
  46. We accidentally built an LLVM compiler for Jax (2026-07-30 23:46:05)
  47. China begins producing advanced chipmaking deep-ultraviolet lithography machines (2026-07-30 14:12:44)
  48. Show HN: I’m a 15 Year Old Wannabe Engineer, This Is a Cycloidal Gearbox I Built (2026-08-02 02:07:09)
  49. The Theater of Sport: Bill Buford Revisits Among the Thugs (2026-07-29 19:21:57)
  50. Show HN: CostPerPrompt – Live AI API pricing and real-workload cost calculators (2026-08-02 01:56:44)
  51. Atom is better than RSS, in ways that matter (2026-08-01 22:00:16)
  52. AI financial advice is surprisingly good if you ask the right questions (2026-08-01 22:25:12)
  53. Seedance 2.5 (2026-08-01 20:45:12)
  54. Stop fucking around with database commits and transactions (2026-08-01 23:19:23)
  55. Diátaxis (2026-08-01 20:33:27)
  56. Unraveling the mysteries of habit formation (2026-08-01 22:55:52)
  57. Postmortem for Kernel Soundness Bug #14576 (2026-08-01 18:32:20)
  58. But can your calculator run Linux? (2026-08-01 19:44:48)
  59. Morph (YC S23) Is Hiring Member of Technical Stuff (2026-08-01 22:52:44)
  60. CISA Alert: Water Sector PLC Targeting (2026-08-01 18:50:17)
  61. How Google helped destroy adoption of RSS feeds (2023) (2026-08-01 18:07:07)
  62. Nyctography: A substituton cypher by Lewis Carroll (2026-07-28 10:30:02)
  63. NetBSD 11.0 (2026-08-01 17:56:41)
  64. Just because a game is on disc doesn’t mean it will work in the future (2026-07-31 07:50:48)
  65. Beltrunner: Game Design Postmortem (2026-07-31 07:16:01)
  66. Explorative modeling: Train on the best of K guesses (2026-08-01 15:23:15)
  67. Glyphs 4 – the leading Mac font editor (2026-07-28 15:06:38)
  68. Pgtestdb’s template cloning approach to testing is fast (2026-08-01 16:01:22)
  69. Anime User Interfaces (2026-08-01 22:47:24)
  70. Kenji/Serious Eats – 30-Min Pressure Cooker Pho Ga (2026-08-01 15:46:54)
  71. Kaisel – Routes as Values. Dart 3 Native Router for Flutter (2026-08-01 16:45:40)
  72. Show HN: Legionlinuxtui – Control Lenovo legion laptops in the terminal (2026-07-30 02:04:10)
  73. Cursor removed cost information from the usage page and CSV export (2026-08-01 15:25:21)
  74. Register deprivation: spills and runtime under forced register scarcity (2026-07-30 12:20:30)
  75. A Surveillance Treaty in Disguise: Canada Signs UN Cybercrime Convention (2026-08-01 14:19:51)
  76. The Art of 64-bit Assembly (2026-08-01 14:09:00)
  77. Charlie Stross – On the non-use of AI in my writing process (2026-08-01 12:56:54)
  78. Linux on ESP32 (2026-07-28 17:52:00)
  79. Study uncovers lost ‘golden age’ of languages (2026-07-30 01:58:43)
  80. Astro Loop (2026-08-01 12:17:48)
  81. Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (2026-08-01 12:03:36)
  1. esengine/DeepSeek-Reasonix: DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.
  2. antirez/ds4: DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
  3. HarbourMasters/Lighthouse: No description