Christian Findlay
@cfdevelop
Dev tools so good you can’t ignore them. Basilisk 🐍 Python type checker scores 100% on PEP tests | Director of @nimblesite
It's certainly something to see your own programming language get profiled for the first time (Osprey)
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...
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
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
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
Step through debugging an Osprey app that talks to an SqLite database
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
Osprey playground is back up and running. You can try the language out right now
These are probably agent lies, but Osprey seems to do well against some of the fastest languages. Very surprised that Haskell does so well.
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 🙏🏽
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#
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.
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