No, this is not Visual Studio. Yes, this is Vscode. Yes, this is available right now as the extension SharpLsp marketplace.visualstudio.com/items?itemNa...

Is anyone on lobste .rs? Can anyone invite me?

.NET dev: I prefer C# over Python because it’s strongly typed Me: Python has a better type system than C#. It has unions .NET dev: I have no idea what you’re talking about but at least .net has runtime safety Me: no it doesn’t. Nullability is not enforced Try Basilisk 🐍

Why do people have such a negative view of social media?

Can we talk about how inflated us meat sack’s estimation of our own ability is? We are notoriously fallible, subject to bias, incapable of holding all the facts in our head at once, and generally bad at estimating any task And yet, many people still think they can outthink AI?

Please to help me by getting on Reddit and throwing shade at my Python type checker Basilisk 🙏🏽 www.reddit.com/r/Python/com...

The Python typing repo now officially lists Basilisk, and with a perfect score! Python devs, please check it out on Vscode or brew/scoop and if it's not in your IDE like Neovim, Zed now, it will be soon github.com/python/typin...

Basilisk not only enters the Python typing canon. It's the only type checker to achieve a perfect score right now! It's up against Meta's Pyrefly, Microsoft's Pyrite, soon to be OpenAI's Ty, mypy And this is published on the Python Typing GitHub github.com/python/typin...

Yes! Basilisk is now officially listed on the Python Typing repo! 100% PEP conformance and one of, if not the fastest type checkers around! 🐍

Deslop (code deduplication) is on it's way to Android Studio and other IntelliJ based IDEs

Build ADTs, display them as diagrams and output the code in any language for sharing across platforms typediagram.dev

Sv fbl tkns Cmpct reg <-- 🥇 Trn off mcps Clr, tght instrs Deslop cdbs Inspct cntx reg Steer agnt reg Spec ids x-referenced in code, tests Tst cvrg Tght sklz Tght lntz Prgrs.md (todo chcklst) Dspsble sub agents Scpd file reads Accptnc crtia No swrmng Agent autonms (0 questions)

Python type checking… 🐍 This should NOT be possible! It may turn out to be a lie. It’s quite possible that the benchmarks are lying. By all means, try to poke holes in the methodology. www.basilisk-python.dev

One year ago today, @devolutions.net committed $3M to support Avalonia's open-source development. Today, we’re sharing exactly how that sponsorship has changed the trajectory of our framework. avaloniaui.net/blog/year-o...

First real-world scenario comparison of my new agent harness against VS Code and Copilot CLI. I still need to tune KV caching but I'm very pleased that it is done much sooner and in much fewer model calls. All start on the same commit, same model, same prompt.

New on pkgstore: Actipro WPF Controls by actipro. Professional WPF UI controls are now listed in the .NET marketplace catalog. Link in reply.

This is how you use Deslop as an MCP to deduplicate your code. The agent just knows what to do. This is C# (.NET) but it supports, Rust, Python, JavaScript, Typescript and more

Programming languages are just not going to be the same. This is what a language with zero compromise looks like: Osprey! Don't like it? Build your own syntax flavor!

Osprey has generics on algebraic effects now. Two language flavors: Ocaml, I'm coming for you

Look, this is what I’m building with AI! Literally Osprey compiles to wasm and runs SQLite in the browser

Deslop now supports code duplication analysis for Typescript, TSX and JavaScript Get it as a vscode extension or on Cursor Windsurf or Antigravity It’s the only way to stop AI from bloating your codebase with detritus

Step through debugging an Osprey app that talks to an SqLite database

Osprey has step through debugging with variable watch now

Please help shred my benchmarks www.reddit.com/r/Programmin...

There are tonnes of examples in the compiler/examples/tested folder and you can just copy/paste them into the playground on the website and run them

Chef's kiss. Love this thing

Osprey playground is back up and running. You can try the language out right now

Osprey… If this is not just a bunch of lies, it puts Osprey in unheard of territory www.ospreylang.dev/benchmarks/

These are probably agent lies, but Osprey seems to do well against some of the fastest languages. Very surprised that Haskell does so well.

Come and join the Basilisk Discord server A completely new Python dev experience 🐍 discord.gg/4wBDSGEZQd

Hey Python and Rust people… I’d really appreciate it if you’d check out the Basilisk GitHub repo. It’s under the nimblesite org It’s a completely new python dev experience and type checker Would love to get feedback and ✨ 🙏

Deslop is a tool for deduplicating Rust, C#, Python and Dart. I just created a Discord server, come and have a chat about it discord.gg/HUrTkEVR

SharpLsp is live. Finally a decent C#/F#/.NET experience in Vscode

This is Deslop. This is how you get rid of duplicate code. This is Rust, but it works with Python, Dart and C#. Just grab it on vscode or any fork. Reviews appreciated 🙏🏽

Please read, please share www.christianfindlay.com/blog/ai-expo...

Basilisk python is serious about quality. 100% mutation score.

Have you tried this yet? Makes it easy to deduplicate Python, Rust, C# or Dart. JavaScript and Typescript coming soon. There’s an MCP so your agent can check before copy/paste

typeDiagram markdown types map into F# ADTs so well. It's a beautiful harmony. You can see it in the Napper repo

Here is an F# Napper script running in Google Antigravity IDE BTW: the CLI/LSP is 100% F#

The agent is going to duplicate your code… Do yourself a favor try deslop live in Vscode, Cursor etc for Flutter, .net, Rust or Python You need it. Trust me

Almost 400 downloads on OpenVSX in just one day. Seems like the vscode fork ecosystem is way more lively than vscode itself. Well, it’s time to release all the NIMBLESITE extensions there Good reviews appreciated 🌟 🙏

This is it. Cursor, Windsurf and Antigravity finally have a really good Python experience.

Please to read me blogs dev.to/cfdevelop/i-... #python

Look at this 93.8% PEP conformance. You can use Basilisk on Vscode and neovim right now. Zed coming very soon. It's right up there in terms of conformance and this may actually hit 100% at some point soon

You really need this. Define your ADTs in a simple markup language and generate code in any language. Great for wiring up REST or MCP DTOs typediagram.dev

These are all of Nimblesite’s dev tools that are available right now. Three big ones are coming as soon as I get around binary deployment problems for Vscode www.nimblesite.co/tools/

All my instructions have “No mocks, no unit tests, E2E tests only, 100% test coverage, high mutation score” Mocks and unit tests are POISON ☠️ for agentic workflows. You’re tempting fate Allow mocks and the AI will shove them right in place of the failing code and u won’t know

Damn! Now with customizable styling via hooks!

So this happened... GitHub ⭐️ Please 🙏🏽

Consider DataProvider instead of EntityFramework. It’s so much more than an ORM, including migrations, sync, and cross platform, type safe querying