Christian Findlay
@cfdevelop.bsky.social
Dev tools so good you can’t ignore them. Basilisk 🐍 Python type checker scores 100% on PEP tests | Director of @nimblesite https://www.christianfindlay.com
People on LinkedIn constantly make bold pronouncements about AI and then have to eat their words 6 mths later Either AI is useless and you can never trust it, or humans are done - AI only! Why not just face the fact that AI is going to do all the heavy coding and we guide it?
Osprey GPU + Graphics. Beautiful Osprey computes the scene in fixed-point integers and hands 8 numbers to the GPU. The GPU shades a Kali-set fractal at native res. Host language + shader, the way real renderers do it.
If you're C# or F# .NET dev, you should definitely check out deslop. It's a must have part of the process now that AI is flooding your codebase with slop www.christianfindlay.com/blog/find-du...
Find Duplicate Code in C# with Deslop
Find duplicate C# code with Deslop, a live analysis tool that detects exact, renamed, near-miss, and semantic clones in VS Code, CI, and AI-agent workflows.
christianfindlay.com
Hilarious watching the LinkedIn comments about Uncle Bob’s not reading AI code tweet They feel betrayed. I think they mistook the word “craftsman” as “artisan” An artisan keeps a tradition alive. A craftsman uses the best tools available and adapts
How does one get an objective set of benchmarks that compare agent harnesses instead of the model? So many bench websites compare the model/harness combo but none compare a bunch of agent harnesses with a single model We simply don’t know which harnesses are the best
Deslop now supports Go Deduplicate your Go code with Deslop deslop.live/blog/find-du...
Find Duplicate Code in Go: Deslop Adds Go Support
Find duplicate code in Go and Golang repositories with structural clone detection. Deslop now parses .go files with tree-sitter and checks code live through LSP and MCP.
deslop.live
Deslop now supports Go!!! deslop.live/blog/find-du... Thanks to @lhaig.haigmail.com
Find Duplicate Code in Go: Deslop Adds Go Support
Find duplicate code in Go and Golang repositories with structural clone detection. Deslop now parses .go files with tree-sitter and checks code live through LSP and MCP.
deslop.live
Can I please get some stars for Basilisk ✨? 100% PEP compliant Python 🐍 type checker officially listed on the Python typing repo. 🙏 github.com/Nimblesite/B...
GitHub - Nimblesite/Basilisk: The only Python type checker scoring 100% on the official python/typing conformance suite — and the fastest we've measured. Complete open-source Python dev environment in...
The only Python type checker scoring 100% on the official python/typing conformance suite — and the fastest we've measured. Complete open-source Python dev environment in Rust: type checker, la...
github.com
Exceptions or panics are just code paths your language allows you to not handle and it’s filthy Null isn’t the billion dollar 💵 mistake Exceptions are the billion dollar 💵 mistake Try Osprey for a language that forces you to handle these cases www.ospreylang.dev
Functional Language, Two Flavors, One Core
Osprey is one functional language fronted by two first-class syntaxes: an accessible brace-style Default flavor that reads like Kotlin, Swift, or Go, and an uncompromising offside-rule ML flavor for F...
ospreylang.dev
Fable token saving tip ✨ Write your spec with Fable, compact the context and start the build with Opus When it starts coding, switch to Fable for a while to get that creamy Fable code Then let Opus do the cleanup with the left over context
These are the docs for building a web app with Osprey and React www.ospreylang.dev/docs/web-apps/
Building Osprey Web Apps with React and WebAssembly
Build Osprey web apps with a WebAssembly model/update core and React renderer. Learn the ABI, state loop, commands, effects, routing, building, and deployment.
ospreylang.dev
ML Flavor of Osprey works in the playground now. Check it out.
First ever Reddit thread about my tool that I didn't post about. Getting roasted. Hilarious 🤣 I would really appreciate it if you would make some noise here www.reddit.com/r/Python/com...
From the Python community on Reddit: New Python type checker
Explore this post and more from the Python community
reddit.com
I don’t know how to put this but if you’ve ever wanted to build a programming language, there is absolutely nothing stopping you now. Go! Well, not “Go” but you know what I mean www.ospreylang.dev
Functional Language, Two Flavors, One Core
Osprey is one functional language fronted by two first-class syntaxes: an accessible brace-style Default flavor that reads like Kotlin, Swift, or Go, and an uncompromising offside-rule ML flavor for F...
ospreylang.dev
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...
.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...
From the Python community on Reddit: Newcomer Python type checker hits 141/141 on the official typing conformance suite
Posted by emanresu_2017 - 1 vote and 1 comment
reddit.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
typeDiagram — Type-safe diagrams and source code from one schema
typeDiagram is an open-source DSL that turns one .td file into TypeScript, Python, Rust, Go, C#, F#, Dart, PHP, and Protobuf types and an SVG diagram. Keep DTOs in sync across languages.
typediagram.dev
