VSCode News

If Bee switches from Vim to VScode, will she kick herself for not having done so sooner?

Apr 25, 4:36 PMJan 1, 7:59 AM

50.46%chance

503009

OptionVotes

YES

1199

719

When do I next become fully employed?

Aug 27, 6:46 PMJan 1, 7:25 PM

42223

OptionProbability

Q2 2026

Q3 2026

Q4 2026

>=2027

Q1 2026

September 2025

October 2025

November 2025

December 2025

Which AI code editor will be the most popular EOY2026?

May 6, 5:36 AMDec 31, 11:59 PM

291145

OptionProbability

Any code editor + CLI tools (such as Claude Code, OpenAI Codex)

Visual Studio Code (w/ 3rd party agent)

Zed

Other

Visual Studio Code (w/ Github Copilot or any other built-in)

Cursor

Antigravity

Windsurf

Firebase Studio

When will Lean come with a code formatter usable in VSCode?

Apr 24, 5:49 PMJan 1, 11:59 PM

19611

OptionProbability

By 2028-01-01

By 2027-01-01

By 2026-07-01

By 2025-07-01

By 2025-10-01

By 2026-01-01

VSCode News

Prediction markets for VSCode

Prediction markets for VSCode

Prediction markets for VSCode

If Bee switches from Vim to VScode, will she kick herself for not having done so sooner?

When do I next become fully employed?

Which AI code editor will be the most popular EOY2026?

When will Lean come with a code formatter usable in VSCode?

Latest stories