"If formal verification becomes vastly cheaper, then we can afford to verify much more software. But on top of that, AI also creates a need to formally verify more software" martin.kleppmann.com/2025/12/08/a...

"The core browsing experience should be one that fully puts the user in control, not one where you’re constantly monitoring an inscrutable system that claims to be helping you" www.waterfox.com/blog/no-ai-h...

"we will extend this hardened foundation across the entire software stack with hardened libraries, hardened system packages, and other secure components everyone depends on. The goal is simple: be able to secure your application from main() down." www.docker.com/blog/docker-...

My gift to the rustdoc team: fasterthanli.me/articles/my-... Merry syntaxmas, everyone!

it's the time of the year when thoughts turn not just to how soon we can stop for the holidays but also what we'll be coming back to, which makes it a good time for me to take a look ahead at ECMAScript 2026 and all the features that we already know will become part of JavaScript then

"those companies all realized they can make billions more dollars making RAM just for AI datacenter products, and neglect the rest of the market" www.jeffgeerling.com/blog/2025/ra...

"Bun's single-file executables turned out to be perfect for distributing CLI tools." 💯 bun.com/blog/bun-joi...

"the security issues in the XSLT library used in Chrome were nothing more than excuses to give the final blow to RSS and any other XML format that is still the backbone of an independent web" wok.oblomov.eu/tecnologia/g...

"Brimstone chooses to implement almost all components of the engine from scratch with minimal dependencies"👀 github.com/Hans-Halvers...

"For medium and large changes, the rollback rate of Rust changes in Android is ~4x lower than C++" security.googleblog.com/2025/11/rust...

github.com/Snapchat/Valdi HN: news.ycombinator.com/item?id=4585...

"It is clear from the performance of software-based schemes, such as address sanitizers, that hardware acceleration will be needed for enabling memory safety checking in production code." community.intel.com/t5/Blogs/Tec...

"The sovereignty issue is not going to go away. As Carrez said in a press conference: "It's extremely top of mind in the EU right now, it's what everyone is just talking about, and it's what everybody is doing."" www.zdnet.com/article/euro...

"The result is raw hardware capable of millions of writes per second, but etcd delivering orders of magnitude less due to the interfaces and guarantees it must uphold" bchess.github.io/k8s-1m/

nice summary of why vite is... good? #smallcore ftw! 💪 www.youtube.com/watch?v=B_H1...

"He should be up there with Bill Gates and Steve Jobs and all the rest of them, one of the great figures of the history of computing" www.theguardian.com/world/2025/o...

"These changes may cause temporary friction, but they’re essential for protecting our ecosystem from increasingly sophisticated attacks." github.blog/changelog/20...

there's a *lot* of nice things in this latest @bun.sh release. 💪🚀 bun.com/blog/bun-v1.3

"The phones are too fiddly now, and pressing random things as they try to hold the phone meant the phone got lost in a sea of opening stuff up" 💯 forums.macrumors.com/threads/i-sp...

ECMAScript excitement 😉 @jason-williams.co.uk from TechAtBloomberg announces the release of Boa's Rust-based implementation of TC39 Stage 3 Temporal 🎉 Chrome estimates this will ship in Chromium 143 🎉🎉 Temporal is the shiny replacement for the broken JS Date API ✨

"Upgradable graphics in a laptop is basically the holy grail" 🏆 spectrum.ieee.org/upgrade-lapt...

"Since Cap'n Web is a symmetric protocol, there is no well-defined "client" or "server" at the protocol level. There are just two parties exchanging messages across a connection. Every kind of interaction can happen in either direction" blog.cloudflare.com/capnweb-java...

I'm grateful that TechAtBloomberg folk get to meet in-person whilst living around the globe. Travel is a privilege. We just wrapped up a week in London that brought together our JS Infra & Performance/Observability teams who power the Terminal. Day 1 was at the National Maritime Museum, Greenwich.

"CRAN’s approach clearly puts a burden on package developers... But it results in an excellent workflow for R’s central user base: the researchers and data scientists who want to spend as much time as possible on the details of data analysis" jtibs.substack.com/p/if-all-the...

why is there no marketplace for "killer" "AI" prompts? i.e. ones people have developed that work well repeatedly in a range of specific contexts. does such a thing already exist? or is it just not possible with the current state of the tech?

"That expands the available address space of Wasm applications from 4 gigabytes to (theoretically) 16 exabytes" that should be enough i reckon. webassembly.org/news/2025-09...

"GitHub Environments — or equivalent workflow protections — should be available without a Pro subscription, or else integrated directly into Trusted Publishing so that security doesn’t depend on the pricing tier" sigh.dev/posts/ctrl-t...

"Hey there (maybe again)! In this book, you'll learn how to build a minimal RISC-V hypervisor which can boot Linux-based operating systems." 1000hv.seiya.me/en/

"bake is a Linux CLI tool that can embed microVM resources into itself. It also implements bidirectional communication between VM and host - including networking and directory sharing - entirely in userspace, without requiring root privilege." 🔥 github.com/losfair/bake

"Ion takes a layered & compositional approach to building a runtime. The first brick is a solid core runtime that contains everything a growing project needs needed to build a complete runtime." 🫡 github.com/alshdavid/ion

"The suggestion someone who wants to make a website should learn a programming language & frameworks or how to set up a server processing pipeline seems to me to hammer home the idea that individuals are simply no longer relevant to 'the web platform'" github.com/whatwg/html/...

"The name reflects the power of the abstraction: it's a generic transport for any real-time data that needs to be delivered efficiently and at scale." blog.cloudflare.com/moq/

“My view is you absolutely want to keep hiring kids out of college and teaching them the right ways to go build software and decompose problems and think about it, just as much as you ever have.” 💯 www.theregister.com/2025/08/21/a...

"Porffor is ~12x faster than Node and almost 4x faster than LLRT in this case. Plus, even with Node’s managed runtime trick, it is over 2x cheaper than Node (and almost 4x cheaper than LLRT)" 🚀 nice work @goose.icu! goose.icu/lambda/

"With Ethernet links outstripping PCIe throughput, we will need new ways of steering and aggregating network traffic to compute resources" blog.enfabrica.net/the-next-ste...

"Bundler Tree Shaking Principles and Differences · web-infra-dev · Discussion #29" github.com/orgs/web-inf...

"The “move fast and break things” approach that works for demos becomes catastrophic when applied to systems where failures have real consequences" julsimon.medium.com/why-mcps-dis...

It's easy to miss a key feature of Node's TypeScript support that was released on Friday: it's zero config 💥 Meaning you don't need to put anything in package.json. Strictly speaking you don't even need a tsconfig to run the code. nodejs.org/en/blog/rele...

It is always a delight to speak with @marypcbuk.bsky.social about the latest additions to JavaScript 👍 This article includes commentary on the ES2025 feature set and includes my coworker from TechAtBloomberg @ashley-c.bsky.social

"By rethinking JSON.stringify from the ground up, from its high-level logic down to its core memory and character-handling operations, we've delivered a more than 2x performance improvement" 🚀 v8.dev/blog/json-st...

"this is not a model that continuously learns as it’s deployed from things it finds, which is something that, to me, feels like it should be part of AGI" www.theguardian.com/technology/2...

"From previously being confined to the browser, now the language is seen in basically every device category, and – in serverless contexts – people are even paying to execute it" buttondown.com/whatever_jam...

“The opportunity isn’t to try and defeat YouTube,” said Sean Atkins, chief executive of the Dhar Mann Studios YouTube channel. “That game has already been won.” www.wsj.com/business/med...

"“A chatbot,” she said, “isn’t going to give you a letter of recommendation.”" themarkup.org/artificial-i...

"as other system layers become more secure — with monthly and mandatory patches now — firmware is the softer target, and [threat actors] have started to expose the less rigorous supply chain processes in firmware development." www.darkreading.com/vulnerabilit...

"a UPB parser is actually configuration for an interpreter VM, which executes Protobuf messages as its bytecode." mcyoung.xyz/2025/07/16/h...

"“All our components are invisible, and when we tried to build simple business UIs we were surprised to find how hard and frustrating that was.” Those of us who remember the Visual Basic era know it wasn’t always that way" blog.jonudell.net/2025/07/18/i...

"it may be that these "off-Web" platforms... will become fruitful environments for experimentation with new WebAssembly concurrency features that would be too onerous for Web browsers to speculatively prototype" queue.acm.org/detail.cfm?i...

"This kind of safer interface is, of course, the ultimate purpose behind introducing Rust bindings into the kernel — to make it possible to write drivers where more errors can be caught at compile time" lwn.net/SubscriberLi...

"A small standardized toolbox is simpler to operate than an array of specialized instruments each with a dedicated manual." lewiscampbell.tech/blog/250718....