Engineer Manager at TELIS/GWVS. AI, Cloud-Native and .NET, Speaker, Hobby Shouter and Guitarist @not_brawn

Regensburg, Germany
Joined November 2009
Kenny Pflug retweeted
Dynamic web parsing in .NET just leveled up. ⚡ AngleSharp.Wasm v1 extends AngleSharp with WebAssembly execution capabilities—joining AngleSharp.Js to handle modern, client-side dynamic web apps without spinning up heavy headless browsers. Lightweight and fully spec-compliant. 🚀
1
1
85
I just proposed an official @leanprover 4 formal semantics for C# - giving C# a foundation for machine-checkable proofs. AI agents are getting very good at writing code - and very good at breaking it. In the agentic era, "tests passed" won't be enough for critical software. We need to be able to prove properties of the code we ship. And this is becoming practical. Rust already has Aeneas -> Lean. Microsoft Research is using it to formally verify SymCrypt. Java and C have roots into formal verification too. C# should not be left behind. AI can write the code. AI can construct the proof. A deterministic proof kernel checks whether the proof is actually correct. That is a very different trust model from: AI writes code -> AI reviews code -> hopefully both were right. Proposal: github.com/dotnet/csharplang…
11
31
2
195
22,040
Kenny Pflug retweeted
Opus 5 - let's go! #AI #CodingAgents #ClaudeCode
1
1
1
199
Kenny Pflug retweeted
.NET 10.0.7 OOB dropped to fix a DataProtection regression + CVE. If you’re on 10.0.0–10.0.6, update ASAP and redeploy. More info: ift.tt/M4BdDGe
1
18
3
89
10,454
Blogged: Running AI agents with customized templates using docker sandbox andrewlock.net/running-ai-ag… In this post I describe how to create custom templates for Docker Sandboxes, so that your sandboxes start with additional tools immediately available (like .NET) #docker #dotnet
1
4
29
2,350
Live session: Guided Coding in Java with @feO2x Not vibe coding. Not blind prompting. We explore a structured way to collaborate with AI while keeping architectural control and code quality high. youtube.com/live/vopBYXp9YV0
1
2
3
258
The simplest way to set up static code analysis in .NET - Directory.Build.props. It's an XML file you can add to the root folder, where you can configure common project properties. We can use it to set up analysis rules, like treating code warnings as errors.
2
12
52
2,628
Kenny Pflug retweeted
We've released a preview of our completely rewritten Avalonia for VSCode extension. Powered by the same new XAML parser as our Visual Studio extension, it a ton of new features! Let us know what you think! avaloniaui.net/blog/avalonia…
1
4
44
2,059
AI in .NET is way easier than people think. And you can start for free. If you want a practical first project, build vector search: - Turn text into embeddings (vectors) - Store them in your vector store (pg_vector) - Turn the user’s query into a vector - Compare with cosine similarity to find the closest matches That’s why it feels like “search by meaning” instead of keywords. To do this cleanly in .NET, start with MEAI (Microsoft Extensions AI), the official library for LLM + embeddings. Start here: milanjovanovic.tech/blog/wor… --- Do you want to simplify your development process? Grab my Clean Architecture template here and save 7 days of development time: milanjovanovic.tech/template…
6
25
151
5,935
Kenny Pflug retweeted
I've created an interactive REPL tool for accessing Model Context Protocol (MCP) servers. I needed it, maybe you will find it useful too:
3
2
9
878
.NET 10 JIT can eliminate the boxing allocation when iterating over interfaces. But this case is even more impressive: if GetEnumerator is based on yield return, JIT can optimize it in certain cases as well! A common example: iterating over RepeatedField<T>!
1
7
67
3,273
Kenny Pflug retweeted
I need to be stopped. 195 issues reproduced with detailed source analysis, error messages and sample code. I need to see how much of this is made up 😆
15
4
130
18,627
Kenny Pflug retweeted
Everyone using ralph loops for building software overnight, but what about tackling the most boring parts of software engineering? My latest ralph loop, reproducing bugs with detailed repro steps with code, observations, references to the relevant source code and more.
28
19
2
218
24,696
Kenny Pflug retweeted
Aspire is perfect💯for running multiple AI agents This deep dive shows how to scale parallel AI development using Git worktrees, port isolation, and Aspire’s MCP server. Check it out 👉 devblogs.microsoft.com/aspir… #Aspire #AI #DevTools #CloudNative #MCP
4
1
18
2,116
I keep blowing up my CI/CD with .NET's DefaultHostBuilder / WebApplicationFactory / etc popping off in all my E2E tests, which would exhaust file watcher limits on Linux. Came up with this (instead of disabling config reloading on each individually) - seems to work!
2
2
21
1,731
Kenny Pflug retweeted
Blogged: Encrypting Properties with System.Text.Json and a TypeInfoResolver Modifier (Part 1). In this post we start creating a TypeInfoResolver modifier in System.Text.Json to encrypt and decrypt JSON properties during serialisation. #dotnet #json stevejgordon.co.uk/encryptin…
1
2
12
1,173
I’m seeing some hot takes that AI assisted coding means that you don’t have to be technical anymore. That’s only gonna last you until the first database migration, or the first security issue, or the first cloud migration, or the first scale out, or the first major regression, or the first refactor that ends in slop. I am finding that I’m learning more and I have to be as technical or more technical than ever before to get the kinds of high-quality output that I expect of any code, regardless of whether it comes from my fingertips or someone else’s - including an AI. Whether your source comes from open source libraries, your own hands, or an AI via your clever prompt, there is exactly one responsible person for the output. That is you. I never want to be accused of gatekeeping AI assisted programming, as non-technical people can get a lot of interesting work done. Until they hit a wall, and it’s gonna surprise them how quickly they either need to get technical, or get a technical person to help untangle the mess they’ve made. The art and science of programming is taking intent and turning it into shipping products. I will never blame an AI - nor should you - for bad output. Own the code that you ship.
95
190
15
1,064
58,670
Your database isn't slow. Your indexing strategy is. I just dropped a deep dive into how SQL indexing actually works under the hood. Here are 3 core concepts you should understand: youtu.be/teMXE6hzva0
2
25
146
6,319