每日科技简报

生成时间：2026-05-23 08:17:11 本次收录：30 条

1. SRI & ARC

  • 来源：abortretry.fail
  • 时间：2025-09-27T22:56:11Z
  • 链接：https://www.abortretry.fail/p/sri-and-arc
  • 摘要：Read more

2. How has mathematics gotten so abstract?

  • 来源：lcamtuf.substack.com
  • 时间：2025-09-27T23:31:52Z
  • 链接：https://lcamtuf.substack.com/p/how-has-mathematics-gotten-so-abstract
  • 摘要：Today, mathematics is regarded as a supremely abstract science. On forums such as Stack Exchange, trained mathematicians sneer at newcomers who ask for intuitive explanations of es…

3. How I make CI/CD (much) faster and cheaper

  • 来源：martinalderson.com
  • 时间：2025-09-28T00:00:00Z
  • 链接：https://martinalderson.com/posts/how-i-make-cicd-much-faster-and-cheaper/
  • 摘要：One often overlooked element of the software development lifecycle is CI/CD speed, and relatively how easy it is to improve this with better hardware. Why does it matter? CI/CD spe…

4. Data en de Democratische Rechtsorde

  • 来源：berthub.eu
  • 时间：2025-09-28T11:00:51Z
  • 链接：https://berthub.eu/articles/posts/data-democratische-rechtsorde/
  • 摘要：Data en de democratische rechtsorde. Ik dacht, ik begin eens goed pompeus. Bij de AIVD werkte ik mee aan het afluisteren van mensen, later heb ik daar software voor gemaakt en alle…

5. Quick P2D production update

  • 来源：ericmigi.com
  • 时间：2025-09-29T00:00:00Z
  • 链接：https://ericmigi.com/blog/quick-p2d-production-update
  • 摘要：暂无摘要，建议点开原文查看。

6. Zombies

  • 来源：lcamtuf.substack.com
  • 时间：2025-09-29T00:27:10Z
  • 链接：https://lcamtuf.substack.com/p/zombies
  • 摘要：Interior of an abandoned, boarded-up convenience store. Specks of dust are dancing in the flickering light of a single, overhead fluorescent lamp. Two weary figures, MICK and JAKE,…

7. The Software Essays that Shaped Me

  • 来源：refactoringenglish.com
  • 时间：2025-09-30T00:00:00Z
  • 链接：https://refactoringenglish.com/blog/software-essays-that-shaped-me/
  • 摘要：I started reading software blogs before I got my first programming job 20 years ago. At this point, I’ve read thousands of blog posts and essays about software, but only a small ha…

8. Symposium toezicht AIVD en MIVD 29 September & Rowin Jansen

  • 来源：berthub.eu
  • 时间：2025-09-30T10:15:43Z
  • 链接：https://berthub.eu/articles/posts/symposium-aivd-mivd-29-september-rowin-jansen/
  • 摘要：Gisteren promoveerde Rowin Jansen aan de Radboud Universiteit op zijn proefschrift “Toezicht op de AIVD en de MIVD”. Rowin arriveerde een aantal jaren geleden prominent in de scene…

9. Thank you for being annoying

  • 来源：experimental-history.com
  • 时间：2025-09-30T14:35:46Z
  • 链接：https://www.experimental-history.com/p/thank-you-for-being-annoying
  • 摘要：photo cred: my dad “Do what you love” is the most dangerous sentence in the English language. We send kids into the world with that mantra in their heads, and then they return shel…

10. Where It’s at://

  • 来源：overreacted.io
  • 时间：2025-10-02T00:00:00Z
  • 链接：https://overreacted.io/where-its-at/
  • 摘要：From handles to hosting.

11. Y’all are over-complicating these AI-risk arguments

  • 来源：dynomight.net
  • 时间：2025-10-02T00:00:00Z
  • 标签：AI
  • 链接：https://dynomight.net/ai-risk/
  • 摘要：Say an alien spaceship is headed for Earth. It has 30 aliens on it. The aliens are weak and small. They have no weapons and carry no diseases. They breed at rates similar to humans…

12. Notes from MCP Dev Summit Europe: Where the Protocol Is Headed

  • 来源：martinalderson.com
  • 时间：2025-10-02T00:00:00Z
  • 链接：https://martinalderson.com/posts/notes-from-mcp-europe/
  • 摘要：I’ve been at the MCP Dev Summit Europe conference today in London. I don’t think I’ve seen such a busy conference so quickly after a technology has been announced - it’s clear to m…

13. Zig Builds Are Getting Faster

  • 来源：mitchellh.com
  • 时间：2025-10-03T00:00:00Z
  • 链接：https://mitchellh.com/writing/zig-builds-getting-faster
  • 摘要：暂无摘要，建议点开原文查看。

14. Hashcards: A Plain-Text Spaced Repetition System

  • 来源：borretti.me
  • 时间：2025-10-05T00:00:00Z
  • 链接：https://borretti.me/article/hashcards-plain-text-spaced-repetition
  • 摘要：hashcards is a local-first spaced repetition app, along the lines of Anki or Mochi . Like Anki, it uses FSRS , the most advanced scheduling algorithm yet, to schedule reviews. The…

15. Space News, October 2025

  • 来源：hey.paris
  • 时间：2025-10-05T00:00:00Z
  • 链接：https://hey.paris/posts/spacenews-october-2025/
  • 摘要：These are my notes and expanded thoughts from this month’s Space News segment on ABC Radio Hobart and ABC Northern Tasmania. Every month I join Lucie Cutting on Sunday mornings to…

16. The end of AOL dialup

  • 来源：oldvcr.blogspot.com
  • 时间：2025-10-05T11:36:00Z
  • 标签：memorials
  • 链接：https://oldvcr.blogspot.com/2025/10/the-end-of-aol-dialup.html
  • 摘要：America Online has ceased offering dialup access since first doing so in 1991 ( using GeoWorks ), and presumably any systems attempting to dial in will no longer be able to make a…

17. Data, experts en politiek: een ongemakkelijke combinatie

  • 来源：berthub.eu
  • 时间：2025-10-06T08:22:51Z
  • 链接：https://berthub.eu/articles/posts/data-experts-politiek-tweede-kamer/
  • 摘要：Een verbeterd transcript van een praatje gehouden op 24 april 2025 ter afsluiting van de “Datamaand” van de Tweede Kamer. Het publiek bestond uit medewerkers van de Tweede Kamer, z…

18. Why you should self-host your (vibecoded) app

  • 来源：timsh.org
  • 时间：2025-10-07T10:12:27Z
  • 链接：https://timsh.org/why-you-should-self-host/
  • 摘要：Intro Over the last 5 years I had to deploy more than 50 different services, both at the companies I used to work at, my personal projects and at my now-dead startup, Track Pump. I…

19. The Email They Shouldn’t Have Read

  • 来源：it-notes.dragas.net
  • 时间：2025-10-08T12:25:36Z
  • 标签：data, horrorstories, ownyourdata, server
  • 链接：https://it-notes.dragas.net/2025/10/08/the-email-they-shouldnt-have-read/
  • 摘要：Author’s Note: Before we begin, an important clarification. What follows is a horror story based on real events from my career. However, to protect the privacy of the people and co…

20. Stop Using DRM on your Books

  • 来源：beej.us
  • 时间：2025-10-09T00:00:00Z
  • 链接：http://beej.us/blog/data/on-drm/
  • 摘要：Why not to protect your books with DRM.

21. (re)Introducing the Pebble Appstore

  • 来源：ericmigi.com
  • 时间：2025-10-09T00:00:00Z
  • 链接：https://ericmigi.com/blog/re-introducing-the-pebble-appstore
  • 摘要：TL:DR Production Updates (re)Introducing the Pebble Appstore Partnered with Rebble New and improved (re)Start building apps/faces Mobile…

22. Will the explainer post go extinct?

  • 来源：dynomight.net
  • 时间：2025-10-09T00:00:00Z
  • 标签：AI, writing
  • 链接：https://dynomight.net/explainers/
  • 摘要：Will short-form non-fiction internet writing go extinct? This may seem like a strange question to ask. After all, short-form non-fiction internet writing is currently, if anything,…

23. Three ways formally verified code can go wrong in practice

  • 来源：buttondown.com/hillelwayne
  • 时间：2025-10-10T17:06:19Z
  • 链接：https://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/
  • 摘要：New Logic for Programmers Release! v0.12 is now available ! This should be the last major content release. The next few months are going to be technical review, copyediting and pol…

24. Vibing a Non-Trivial Ghostty Feature

  • 来源：mitchellh.com
  • 时间：2025-10-11T00:00:00Z
  • 链接：https://mitchellh.com/writing/non-trivial-vibing
  • 摘要：暂无摘要，建议点开原文查看。

25. Using Virtual Environments in Python

  • 来源：beej.us
  • 时间：2025-10-11T00:00:00Z
  • 链接：http://beej.us/blog/data/python-venv/
  • 摘要：A short how-to with just the basics to get going.

26. Tracking MCP Server Growth

  • 来源：martinalderson.com
  • 时间：2025-10-12T00:00:00Z
  • 链接：https://martinalderson.com/posts/tracking-mcp-server-growth/
  • 摘要：I’ve been curious about how fast the MCP ecosystem is actually growing. There’s a lot of buzz around it, but I wanted to see real numbers. So I built a tracker that monitors MCP se…

27. Back to the Southern Hemisphere Commodore 128DCR

  • 来源：oldvcr.blogspot.com
  • 时间：2025-10-12T11:26:00Z
  • 标签：6502, australia, c128, commodore, refurb weekend
  • 链接：https://oldvcr.blogspot.com/2025/10/back-to-southern-hemisphere-commodore.html
  • 摘要：Pretty sure this will end up as one of my longest-term restoration projects, but I’m back in the Southern Hemisphere for a little while to visit my wife’s side of the family and gi…

28. Hot reloading is better than SwiftUI previews

  • 来源：danielchasehooper.com
  • 时间：2025-10-13T00:00:00Z
  • 链接：https://danielchasehooper.com/posts/hot-reloading-swiftui/
  • 摘要：Did you know you can change the code of a SwiftUI app while it’s running? And that you can do it without using Xcode? The technique is called ‘hot reloading’ and I’ll show you how…

29. Ga niet kapot aan je eigen overheid

  • 来源：berthub.eu
  • 时间：2025-10-13T08:20:31Z
  • 链接：https://berthub.eu/articles/posts/ga-niet-kapot-aan-je-overheid/
  • 摘要：Onze overheid heeft regels opgesteld voor hun gebruik van de cloud, AI en andere algoritmes. En ze houden zich er bijna nooit aan. Dit wordt keer op keer vastgesteld, zoals door de…

30. No Science, No Startups: The Innovation Engine We’re Switching Off

  • 来源：steveblank.com
  • 时间：2025-10-13T13:00:56Z
  • 标签：NIH (National Institutes of Health), NSF (National Science Foundation), National Security
  • 链接：https://steveblank.com/2025/10/13/no-science-no-startups-the-unseen-engine-were-switching-off/
  • 摘要：Tons of words have been written about the Trump Administrations war on Science in Universities. But few people have asked what, exactly, is science? How does it work? Who are the s…