每日科技简报
生成时间:2026-05-29 08:16:31 本次收录:30 条
1. Keynote opening Digital Commons EDIC: Moving beyond the Digital Uncommons
- 来源:berthub.eu
- 时间:2025-12-14T10:00:00Z
- 链接:https://berthub.eu/articles/posts/keynote-opening-digital-commons-edic-eu/
- 摘要:Last Thursday, 11th of December, saw the launch of the new Digital Commons European Digital Infrastructure Consortium. In attendance were delegations from the launching member stat…
2. When LICM fails us
- 来源:xania.org
- 时间:2025-12-14T12:00:00Z
- 链接:http://xania.org/202512/14-licm-when-it-doesnt
- 摘要:Written by me, proof-read by an LLM. Details at end. Yesterday’s LICM post ended with the compiler pulling invariants like size() and get_range out of our loop - clean assembly, gr…
3. AI agents are starting to eat SaaS
- 来源:martinalderson.com
- 时间:2025-12-15T00:00:00Z
- 链接:https://martinalderson.com/posts/ai-agents-are-starting-to-eat-saas/
- 摘要:We spent fifteen years watching software eat the world . Entire industries got swallowed by software - retail, media, finance - you name it, there has been incredible disruption ov…
4. i’m just having fun
- 来源:jyn.dev
- 时间:2025-12-15T00:00:00Z
- 链接:https://jyn.dev/i-m-just-having-fun/
- 摘要:IT IS ONLY COMPUTER Reilly Wood i work professionally on a compiler and write about build systems in my free time and as a result people often say things to me like “reading your p…
5. Aliasing
- 来源:xania.org
- 时间:2025-12-15T12:00:00Z
- 链接:http://xania.org/202512/15-aliasing-in-general
- 摘要:Written by me, proof-read by an LLM. Details at end. Yesterday we ended on a bit of a downer: aliasing stopped optimisations dead in their tracks. I know this is supposed to be the…
6. Packaging Perl and Shell for NixOS Deployment
- 来源:entropicthoughts.com
- 时间:2025-12-15T23:00:00Z
- 标签:nixos, perl, sysadmin, unix
- 链接:https://entropicthoughts.com/packaging-perl-and-shell-for-nixos-deployment
- 摘要:As a complete beginner to Nix and NixOS, I recently had some trouble packaging up a Perl script and a shell script with their dependencies for deployment on a NixOS system. Here’s…
7. Escapism
- 来源:keygen.sh
- 时间:2025-12-16T06:00:00Z
- 链接:https://keygen.sh/blog/escapism/
- 摘要:On escapism and the endless burnout-crash loop.
8. Calling all arguments
- 来源:xania.org
- 时间:2025-12-16T12:00:00Z
- 链接:http://xania.org/202512/16-calling-conventions
- 摘要:Written by me, proof-read by an LLM. Details at end. Today we’re looking at calling conventions 1 - which aren’t purely optimisation related but are important to understand. The ca…
9. The Department of War Directory
- 来源:steveblank.com
- 时间:2025-12-16T14:00:35Z
- 标签:Air Force, Gordian Knot Center for National Security Innovation, National Security, Navy
- 链接:https://steveblank.com/2025/12/16/the-department-of-war-directory/
- 摘要:TL;DR DoW Directory revision 3 is Online here , Order a print copy here. In November 2025 the Department of War (DoW) unveiled the biggest changes in 60 years of how they will buy…
10. We released Yarn Spinner 3.1
- 来源:hey.paris
- 时间:2025-12-17T00:00:00Z
- 链接:https://hey.paris/posts/yarnspinner31/
- 摘要:We released Yarn Spinner 3.1 on December 3, 2025, introducing several significant improvements to our dialogue system framework. This update emphasises asynchronous operations, gra…
11. Inlining - the ultimate optimisation
- 来源:xania.org
- 时间:2025-12-17T12:00:00Z
- 链接:http://xania.org/202512/17-inlining-the-ultimate-optimisation
- 摘要:Written by me, proof-read by an LLM. Details at end. Sixteen days in, and I’ve been dancing around what many consider the fundamental compiler optimisation: inlining. Not because i…
12. How did IRC ping timeouts end up in a lawsuit?
- 来源:mjg59.dreamwidth.org
- 时间:2025-12-17T13:17:23Z
- 标签:advogato, fedora
- 链接:https://mjg59.dreamwidth.org/73777.html
- 摘要:I recently won a lawsuit against Roy and Rianne Schestowitz, the authors and publishers of the Techrights and Tuxmachines websites. The short version of events is that they were su…
13. Military Standard on Software Control Levels
- 来源:entropicthoughts.com
- 时间:2025-12-17T23:00:00Z
- 标签:programming, reliability
- 链接:https://entropicthoughts.com/mil-std-882e-software-control
- 摘要:The MIL-STD-882E standard specifies levels of software control, i.e. how dangerous the software can be based on what it is responsible for. Although the standard is a little more c…
14. How to annotate JITed code for perf/samply
- 来源:bernsteinbear.com
- 时间:2025-12-18T00:00:00Z
- 链接:https://bernsteinbear.com/blog/jit-perf-map/
- 摘要:Brief one today. I got asked “does YJIT/ZJIT have support for [Linux] perf?” The answer is yes, and it also works with samply (including on macOS!), because both understand the per…
15. Minification isn’t obfuscation - Claude Code proves it
- 来源:martinalderson.com
- 时间:2025-12-18T00:00:00Z
- 链接:https://martinalderson.com/posts/minification-isnt-obfuscation-claude-code-proves-it/
- 摘要:This is the first in a series of three articles I’m going to be releasing over the holiday season, on how I think agents are completely reshaping software engineering beyond pure p…
16. Good if make prior after data instead of before
- 来源:dynomight.net
- 时间:2025-12-18T00:00:00Z
- 标签:forecasting, math
- 链接:https://dynomight.net/prior/
- 摘要:They say you’re supposed to choose your prior in advance. That’s why it’s called a “prior”. First , you’re supposed to say say how plausible different things are, and then you upda…
17. Partial inlining
- 来源:xania.org
- 时间:2025-12-18T12:00:00Z
- 链接:http://xania.org/202512/18-partial-inlining
- 摘要:Written by me, proof-read by an LLM. Details at end. We’ve learned how important inlining is to optimisation, but also that it might sometimes cause code bloat. Inlining doesn’t ha…
18. Introducing RSC Explorer
- 来源:overreacted.io
- 时间:2025-12-19T00:00:00Z
- 链接:https://overreacted.io/introducing-rsc-explorer/
- 摘要:My new hobby project.
19. Nationaal Agentschap Baanbrekende Innovatie, in EU of niet?
- 来源:berthub.eu
- 时间:2025-12-19T10:00:00Z
- 链接:https://berthub.eu/articles/posts/nadi-nabi-in-europa-of-niet/
- 摘要:Ik ben eigenlijk op vakantie, maar toch een korte blogpost. Het is (in)formatietijd, en er worden plannen gemaakt. Eerder dit jaar kwam het ministerie van Economische Zaken met het…
20. Chasing your tail
- 来源:xania.org
- 时间:2025-12-19T12:00:00Z
- 链接:http://xania.org/202512/19-tail-call-optimisation
- 摘要:Written by me, proof-read by an LLM. Details at end. Inlining is fantastic, as we’ve seen recently . There’s a place it surely can’t help though: recursion! If we call our own func…
21. The Strange Case of Engineers Who Dismiss AI
- 来源:terriblesoftware.org
- 时间:2025-12-19T13:02:12Z
- 标签:ai, career, opinion, productivity, programming
- 链接:https://terriblesoftware.org/2025/12/19/the-strange-case-of-engineers-who-dismiss-ai/
- 摘要:I refuse to use AI coding tools. I don’t need to try them to know they’re garbage. I have instincts . I tested ChatGPT in 2022, and asked it to write something. It (obviously) got…
22. Huge for the Holidays: Epic Interactive Fiction of the Millennial Period
- 来源:filfre.net
- 时间:2025-12-19T16:46:39Z
- 标签:Digital Antiquaria, Interactive Fiction, aikin, aisle, augmented fourth, barlow, britton, ingold, kevin wilson, mulldoon legacy, not just an ordinary ballerina, once and future, post-commercial IF, uri, worlds apart
- 链接:https://www.filfre.net/2025/12/huge-for-the-holidays-epic-interactive-fiction-of-the-millennial-period/
- 摘要:This article tells part of the story of post-commercial interactive fiction . After fighting the tendency for decades, I’ve finally learned to accept that I’m a bit of a conservati…
23. Sarah Paine — Why Russia Lost the Cold War
- 来源:dwarkesh.com
- 时间:2025-12-19T17:41:19Z
- 链接:https://www.dwarkesh.com/p/sarah-paine-cold-war
- 摘要:This is the final episode of the Sarah Paine lecture series, and it’s probably my favorite one. Sarah gives a “tour of the arguments” on what ultimately led to the Soviet Union’s c…
24. Reflections on AI at the end of 2025
- 来源:antirez.com
- 时间:2025-12-20T08:58:29Z
- 链接:http://antirez.com/news/157
- 摘要:* For years, despite functional evidence and scientific hints accumulating, certain AI researchers continued to claim LLMs were stochastic parrots: probabilistic machines that woul…
25. SIMD City: Auto-vectorisation
- 来源:xania.org
- 时间:2025-12-20T12:00:00Z
- 链接:http://xania.org/202512/20-simd-city
- 摘要:Written by me, proof-read by an LLM. Details at end. It’s time to look at one of the most sophisticated optimisations compilers can do: autovectorisation. Most “big data” style pro…
26. Coarse is Better
- 来源:borretti.me
- 时间:2025-12-21T00:00:00Z
- 链接:https://borretti.me/article/coarse-is-better
- 摘要:When DALL-E came out, it took me a couple of weeks to pick my jaw up from the floor. I would go to sleep excited to wake up to a full quota, with a backlog of prompts to try. It wa…
27. The Texas Instruments CC-40 invades Gopherspace (plus TI-74 BASICALC)
- 来源:oldvcr.blogspot.com
- 时间:2025-12-21T04:04:00Z
- 标签:cc40, pocket handheld, software, terminal, ti
- 链接:https://oldvcr.blogspot.com/2025/12/the-texas-instruments-cc-40-invades.html
- 摘要:I’ve mentioned on the blog several times the continuum that exists between handheld computers and pocket computers , battery powered devices in rather small form factors that are n…
28. When SIMD Fails: Floating Point Associativity
- 来源:xania.org
- 时间:2025-12-21T12:00:00Z
- 链接:http://xania.org/202512/21-vectorising-floats
- 摘要:Written by me, proof-read by an LLM. Details at end. Yesterday we saw SIMD work beautifully with integers. But floating point has a surprise in store. Let’s try summing an array 1…
29. Go in 9×9 is Awesome
- 来源:entropicthoughts.com
- 时间:2025-12-21T23:00:00Z
- 标签:games
- 链接:https://entropicthoughts.com/go-in-9x9-is-awesome
- 摘要:As readers of the premium newsletter know, I have been playing some more go recently. In particular, thanks to the release of the book Mastering Mini Go , I have discovered how exc…
30. Books I Enjoyed in 2025
- 来源:borretti.me
- 时间:2025-12-22T00:00:00Z
- 链接:https://borretti.me/article/books-i-enjoyed-in-2025
- 摘要:The Apocalypse of Herschel Schoen by nostalgebraist . A revelation (ἀποκάλυψις = “unveiling”) told through the eyes of a developmentally-disabled teenager. You will never guess whe…