A Love Letter to FreeBSD
Dear FreeBSD, I’m still the new person here, learning your ways, stumbling over the occasional quirk, smiling when I find the small touches that make you different. You remind me of what computing felt like before the noise. Before hype cycles and performance theatre. Before every tool needed a plugin system and a logo. You […]
Ty
An extremely fast Python type checker, written in Rust. Try out the online playground, or run ty with uvx to get started quickly: For other ways to install ty, see the installation documentation. If you do not provide a subcommand, ty will list available commands — for detailed information about command-line options, see the CLI […]
You want microservices, but do you need them?
A New Approach for Coding Agent Safety Coding agents like Claude Code, Gemini CLI, Codex, Kiro, and OpenCode are changing how developers work. But as these agents become more autonomous with capabilities like deleting repos, modifying files, and accessing secrets, developers face a real problem: how do you give agents enough access to be useful […]
Program-of-Thought Prompting Outperforms Chain-of-Thought by 15% (2022)
Abstract:Recently, there has been significant progress in teaching language models to perform step-by-step reasoning to solve complex numerical reasoning tasks. Chain-of-thoughts prompting (CoT) is by far the state-of-art method for these tasks. CoT uses language models to perform both reasoning and computation in the multi-step `thought’ process. To disentangle computation from reasoning, we propose `Program […]
Don’t push AI down our throats
AI is being done wrong. It’s being pushed down our throats. It’s in our search bars, our operating systems, and even our creative tools, whether we asked for it or not. It feels less like an upgrade and more like a force-feeding. It doesn’t need to be this way. Technology can be adopted slowly. Organically. […]
Writing a Good Claude.md
Note: this post is also applicable to AGENTS.md, the open-source equivalent of CLAUDE.md for agents and harnesses like OpenCode, Zed, Cursor and Codex. ## Principle: LLMs are (mostly) stateless LLMs are stateless functions. Their weights are frozen by the time they’re used for inference, so they don’t learn over time. The only thing that the […]
ETH-Zurich: Digital Design and Computer Architecture; 227-0003-10L, Spring, 2025
Table of Contents Welcome to the wiki for Digital Design and Computer Architecture for Spring 2025 Announcements Course Information Description The class provides a first introduction to the design of digital circuits and computer architecture. It covers technical foundations of how a computing platform is designed from the bottom up. It introduces various execution paradigms, […]
ESA Sentinel-1D delivers first high-resolution images
Applications 26/11/2025 10285 views 47 likes The first high-resolution images have been received from Copernicus Sentinel-1D and were shared publicly for the first time at the European Space Agency’s Ministerial Council, held today in Bremen, Germany. Glaciers in Antarctica, the tip of South America, as well as the city of Bremen, are visible in these […]
Interop and MathML Core
Interoperability makes the web better for everyone, allowing users to have a great experience regardless of their choice of browser. We have been working on MathML Core making across browser engines as part of an agreement with the Sovereign Tech Fund. There are some exciting developments and new features! Interoperability makes the web better for […]
RetailReady (YC W24) Is Hiring Associate Product Manager
San Francisco – In Person About RetailReady We’re RetailReady (YC W24), an AI-powered supply chain compliance engine shaking up an antiquated (and yes, unsexy) industry. Since YC, we raised a $3.3M seed round and signed over 15 enterprise customers… we’re officially in scaling mode. What We Build RetailReady is the first AI-powered compliance engine designed […]