#macos — TECH Dashboard

Entries page 1/1 · 6 total

Sat, Jun 6 1 entries

blog vscode 1w ago ·

qiita-vscode

Lean + Mathlib + VS Code の環境を構築してみる A step-by-step guide to setting up the Lean theorem prover with Mathlib and VS Code, demon…

通常 Normal 深掘り候補 · 技術記事 · VS Code / Dev Env Deep-dive candidate · technical post · VS Code / Dev Env 公開 6月6日 Published Jun 6

AI要約 macOS 15.6.1 を例に、定理証明支援システム Lean と数学ライブラリ Mathlib を VS Code 上で動かす環境構築手順を紹介。Windows・Linux でも同様の手順が利用可能とされている。

EN A step-by-step guide to setting up the Lean theorem prover with Mathlib and VS Code, demonstrated on macOS 15.6.1 but explicitly designed to work on Windows and Linux as well.

#qiita #vscode #lean +5

qiita.com →

og fallback

Sat, May 30 1 entries

blog codex 2w ago ·

qiita-vscode

【Mac初心者向け】VSCodeをインストールして、ターミナルからCodexを使えるようにする手順 JA 【Mac初心者向け】VSCodeをインストールして、ターミナルからCodexを使えるようにする手順

通常 Normal 深掘り候補 · 技術記事 · OpenAI / Codex Deep-dive candidate · technical post · OpenAI / Codex 公開 5月30日 Published May 30

AI要約はじめにこの記事では、Mac に Visual Studio Code（VSCode）をインストールし、日本語化したうえで、ターミナルから OpenAI Codex CLI を使えるようにする手順を説明します。対象読者は、次のような方

#qiita #vscode #codex-cli +4

qiita.com →

【Mac初心者向け】VSCodeをインストールして、ターミナルからCodexを使えるようにする手順

og fallback

Tue, May 26 2 entries

release cursor 3w ago ·

zed-releases

Zed Editor v1.3.7 リリース Zed Editor Releases v1.3.7

通常 Normal 深掘り候補 · 公式リリース · AI Editors Deep-dive candidate · official release · AI Editors 公開 5月26日 Published May 26

AI要約 Zed Editor v1.3.7 がリリース。macOS でのタイミング依存によるGit操作ブロックのバグが修正された。

EN Zed Editor v1.3.7 has been released, fixing a macOS bug where Git operations could be blocked due to child process spawning timing issues.

#editor #release #zed +3

github.com →

media fallback

🔥 HOT release cursor 3w ago ·

zed-releases

Zed Editor v1.4.2-pre リリース Zed Editor Releases v1.4.2-pre

重要度 High High priority 重要度 High · 公式リリース · AI Editors High priority · official release · AI Editors 公開 5月26日 Published May 26

AI要約 macOSでGit操作が子プロセスの生成タイミングによってブロックされる可能性があったバグを修正したプレリリース版。

EN Fixed a bug on macOS where Git operations could be blocked depending on the timing of spawning child processes. ( #57661 )

#editor #release #zed +3

github.com →

media fallback

Tue, May 19 1 entries

blog tech-news 4w ago ·

apple-newsroom

Apple、Worldwide Developers Conference 2026を6月8日に開幕と発表 Apple kicks off Worldwide Developers Conference on June 8

重要度 Medium Medium priority 重要度 Medium · 技術記事 · Industry & Policy Medium priority · technical post · Industry & Policy 公開 5月19日 Published May 19

AI要約 Appleは2026年のWorldwide Developers Conference（WWDC）を6月8日に開幕すると発表した。開発者向けの年次イベントとして、次世代OSや新技術の発表が見込まれる。

EN Apple today unveiled an exciting lineup for its annual Worldwide Developers Conference (WWDC), taking place June 8-12.

#apple #news #wwdc +5

apple.com →

fallback

Tue, Oct 21 1 entries

🔥 HOT blog codex 8mo ago ·

openai-blog

ChatGPTを内蔵したブラウザ「ChatGPT Atlas」をOpenAIが発表 Introducing ChatGPT Atlas, the browser with ChatGPT built in

重要度 High High priority 重要度 High · 技術記事 · OpenAI / Codex High priority · technical post · OpenAI / Codex 公開 10月21日 Published Oct 21

AI要約 OpenAIがChatGPT組み込みブラウザ「ChatGPT Atlas」を発表。どのページからでも即座に回答・要約を取得でき、エージェント機能でタスクの自動実行も可能。まずmacOS向けに提供開始。

EN ChatGPT Atlas, the browser with ChatGPT built it. Get instant answers, summaries, and smart web help—right from any page. With privacy settings you can control. Available now for MacOS.

#openai #chatgpt-atlas #browser +5

openai.com →