Henning Dieterichs

Very helpful was the Brave MCP server and the Google Scholar API, which AI turned into an MCP server on its own in one prompt. The PDF quotes come from an http server that maps a given range in the extracted text back to the visual bounding boxes.

I've become a fulltime AI addict since January, not being able to stop creating, researching and planning. And I'm still in shock by just how powerful AI is. Any AGI will immediately be an ASI. Here Opus did a literature research for me, it also created all the tools it needed.

I used VS Code Copilot and the debug value editor extension (github.com/microsoft/vsco…) to let AI run/debug a node repl, which it used to go through the papers, extract their text, create embeddings, and look up their metadata.

@Corca_math I love this! Would be interesting to explore what this could do for Lean (which uses unicode math symbols)

Text is a string. Math isn’t. It grows in every direction into multi-line structures. That’s why people still do math on paper. We’re bringing that experience to computers. Corca is WYSIWYG math editor, and it's fast!

Together with ChatGPT, I discovered a fun puzzle I thought was worth sharing: "Finding the Survivor in the Middle" gist.github.com/hediet/a0e9b88… (…or why one-dimensional two-way cellular automata operating in linear time are likely more powerful than their real-time counterparts)

I'm confident that the code is correct because composition has a nice definition of correctness: Applying "e1 composed e2" on a string "s" should equal applying e1 on s, and then e2. A fuzzer verified this for millions and millions of different edits.

Today is a day that I will remember for quite a while - Gemini 3 correctly implemented an algorithm in minutes that I didn't manage to implement in days: Composition of Line/Column-based text edits. I don't even understand the code (but heavily tested it). #diff-5b9bba976759af3b43dcb26d2556dc5349b3ae420684b8f96f43697b81e3d63cR216" target="_blank" rel="nofollow noopener">github.com/microsoft/vsco…

Deleted code in diff editor is now selectable

You asked for more AI analytics in @code - we’re on it. Here’s a peek at some early designs. What would you use these numbers for? What’s missing that would make them genuinely useful?

@VictorTaelin @getjonwithit It's a little bit more complicated than that - for example in "if x >= 0 then x^2 else (-x)^2" - the result of the entire expression doesn't depend on which branch was taken. You would have to employ the time hierarchy theorems/diagonalization!

@getjonwithit this is correct and way less deeper than it sounds. specifically, when a computation depends on a bit of information (via a branching operator, like if/then/else), then, the branches are causally dependent on that bit's result, and they can't run in parallel without wasting work

All parallel operations can be performed sequentially, but not all sequential operations can be performed in parallel. This failure to parallelize is what we call "causality". (Holds true for general relativity, quantum information, Petri nets, monoidal category theory, etc.)

Copilot going open source 🚀🚀🚀 youtube.com/watch?v=GMmaYU… code.visualstudio.com/blogs/2025/05/…

If OpenAIs 4o makes basic math mistakes like this, I don't think it is a good idea to use it for teaching (yet). Me: Can i^(4x) be simplified? 4o: [...] So, the expression simplifies to 1 for any integer or real number x. o1 got the right answer though. chatgpt.com/share/67cc273f…

Introducing the next evolution of completions in GitHub Copilot: Next Edit Suggestions (preview). Most coding activity involves editing existing code as much as it does writing new lines. It's a natural next step for completions to work on existing code as well. Available today in VS Code. Learn more: code.visualstudio.com/blogs/2025/02/…

Finally shipping day 🚀

Version 1.97 of @code is out now with Copilot Next Edit Suggestions, Python no-config debugging, SVG image preview, and more! Full release notes: code.visualstudio.com/updates/v1_97 Here are some of the highlights… 🧵

I believe a convenient UI (for tablets) to study sheet music (including manually uploaded PDFs) could be a great addition. The current web UI is difficult to use on a tablet when practicing the instrument (e.g. zooming gestures don't work and a full single-page mode is missing).

Over 10M users in my location, but only trusted by 13 million musicians worldwide? These numbers don't add up. I think you have a great product and it has great potential (which I don't think is fully realized yet), but I think these dark patterns are the wrong direction.

@Tantacrul I trust you and love your UX videos. And I believe @musescore can do better than this. To view the offer, you have to first create an account. And then you realize that this 90% off offer is a total scam, as the original subscription is priced at 728CHF per year...

@rampatra_ (VS Code engineer here) It seems like you are using the chat view, which cannot edit source code on its own. You should give the Copilot Edits view a try, which can! (FYI @IsidorN) code.visualstudio.com/docs/copilot/c…

First-hand experience of using GitHub Copilot in VS Code. Definitely better than before but still slower than Cursor. See how I added an "Activate" feature for admin users on the apps.deals Dashboard within 4 mins.