プログラミング雑記 2025/04/10

興味を引いたことにリンクして呟いていくだけ。

型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語

遠藤侑介 著 184ページ A5判 ISBN：978-4-908686-20-7 型システムがようやくわかった！ TypeScriptのサブ言語に対する型検査器を実装しながら、実用的なプログラミング言語の機能が型システムでどう実現できるかを...

www.lambdanote.com

興味深い。買うかも。

生成AI時代に必要なシェルの基本知識とシェル芸への入門 - じゃあ、おうちで学べる

はじめに 生成AIの急速な発展により、様々なAIアシスタントが日常的にシェルコマンドを提案してくれるようになりました。また、最新のAI統合ツールは、ユーザーの自然言語指示からコマンドを生成し、場合によっては自動的に実行することさえあります。...

syu-m-5151.hatenablog.com

シェル芸は消えず。そもそもシェルとかパイプとかリダイレクトとかという基本的なところが解説されています。

CodeCanvas Cloud Development Environment by JetBrains

How we ended up rewriting NuGet Restore in .NET 9 - .NET Blog

Learn about the journey that led to a full rewrite of the NuGet Restore algorithm in .NET 9, achieving break-through sca...

devblogs.microsoft.com

Ironwood: The first Google TPU for the age of inference

We’re introducing Ironwood, our seventh-generation Tensor Processing Unit (TPU) designed to power the age of generative ...

blog.google

GoogleのTPUも第7世代に。

Google Cloud Next 2025が始まりました。

Check out the latest features from Google Agentspace at Google Cloud Next.

Today at Google Cloud Next, we’re announcing even more features in Google Agentspace to make creating and adopting agent...

blog.google

Google Workspace adds new AI tools to Docs, Sheets, Chat and more.

Today at Google Cloud Next we announced updates and new tools for Gemini in Workspace.To start, we're bringing audio cap...

blog.google

Google Cloud: the platform for scientific discovery

Google Cloud adds supercomputing and AI capabilities to power new scientific discoveries and innovations.

blog.google

An application-centric, AI-powered cloud | Google Cloud Blog

At Google Cloud Next, we announced an application-centric development experience, and new Gemini Cloud Assist and Gemini...

cloud.google.com

What’s new for Google Cloud databases at Next’25 | Google Cloud Blog

Learn about the latest capabilities for building gen AI apps & agents, providing choice to developers, and helping you m...

cloud.google.com

How GKE powers AI innovation | Google Cloud Blog

At Google Cloud Next, we announced Google Kubernetes Engine (GKE) innovations to help platform engineering teams adopt n...

cloud.google.com

Build and manage multi-system agents with Vertex AI | Google Cloud Blog

Announcing new ways to help you move towards a multi-agent ecosystem on Vertex AI – including Agent Development Kit, Age...

cloud.google.com

Google Agentspace enables the agent-driven enterprise | Google Cloud Blog

Google Agentspace introduces new expert AI agents, no-code Agent Assembler, access via Chrome Enterprise, and more.

cloud.google.com

The next generation Customer Engagement Suite, transforming experiences with AI agents | Google Cloud Blog

A completely revamped and powerful new product for building and running highly interactive, enterprise-grade AI agents i...

cloud.google.com

Expanding generative media for enterprise on Vertex AI | Google Cloud Blog

Vertex AI expands generative media for enterprise by adding Lyria, Google’s text-to-music model, and expanding on Veo 2 ...

cloud.google.com

Why Global startups are gathering at Google Cloud Next | Google Cloud Blog

New partnerships with VCs, new go-to-market resources, and new accelerators are all part of why more and more startups o...

cloud.google.com

オンプレミス環境で Gemini と Google Agentspace を提供開始 | Google Cloud 公式ブログ

オンプレミス環境で Gemini と Google Agentspace を提供開始

cloud.google.com

Welcome to Google Cloud Next '25 | Google Cloud 公式ブログ

Welcome to Google Cloud Next 25. Discover AI innovations, advancements in infrastructure, and learn how AI is transformi...

cloud.google.com