Joined October 2013
- Tweets 1,187
- Following 440
- Followers 2,629
- Likes 1,822
150 Photos and videos
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.
2
5
649
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.
1
2
314
I used VS Code Copilot and the debug value editor extension (github.com/microsoft/vscode-…) 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.
1
236
1 Dec 2025
Together with ChatGPT, I discovered a fun puzzle I thought was worth sharing: "Finding the Survivor in the Middle"
gist.github.com/hediet/a0e9b…
(…or why one-dimensional two-way cellular automata operating in linear time are likely more powerful than their real-time counterparts)
1
1
527
19 Nov 2025
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).
github.com/microsoft/vscode/…
1
3
8
1,219
19 Nov 2025
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.
385
Henning Dieterichs retweeted
13 Nov 2025
Deleted code in diff editor is now selectable
1
2
25
2,170
Henning Dieterichs retweeted
11 Aug 2025
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?
35
29
278
34,164
8 Mar 2025
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-b…
1
1
1
709
Henning Dieterichs retweeted
12 Feb 2025
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/…
45
235
2,205
213,234
6 Feb 2025
Finally shipping day 🚀
6 Feb 2025
Copilot Next Edit Suggestions (NES), an evolution of code completions, is now available in preview.
Based on the edits you're making, NES both predicts the location of the next edit you'll want to make and what that edit should be.
1
16
786
Henning Dieterichs retweeted
6 Feb 2025
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/update…
Here are some of the highlights… 🧵
![What’s new in Visual Studio Code - January Update [1.97]. Highlights include: Copilot Next Edit Suggestions (preview), Reposition Command Palette, Auto-accept Copilot edits, Search values in debug variables, Python no-config debugging, Extension publisher trust, Combine output logs in a single view, Rich Git blame information, SVG image preview, and View inline values in notebooks.](https://venexa.site/media/GjHq6UyW8AA5HEw.jpg)
ALT What’s new in Visual Studio Code - January Update [1.97]. Highlights include: Copilot Next Edit Suggestions (preview), Reposition Command Palette, Auto-accept Copilot edits, Search values in debug variables, Python no-config debugging, Extension publisher trust, Combine output logs in a single view, Rich Git blame information, SVG image preview, and View inline values in notebooks.
36
207
1,934
261,778
2 Feb 2025
@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...
2
1
459
2 Feb 2025
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.
1
330
2 Feb 2025
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).
264
18 Dec 2024
Exciting times! Proud to be part of the team!
16
856
Henning Dieterichs retweeted
13 Oct 2024
I’m watching this over and over. What an engineering feat.
#SpaceX
13
66
351
16,882
11 Aug 2024
I love the new surface tablet and it's bluetooth keyboard ❤️
(and I don't say this because I work at Msft)
1
6
475