Sign in

Christian Findlay

@cfdevelop.bsky.social
632 followers 364 following 1.2K posts

Dev tools www.christianfindlay.com

PostsRepliesMedia
Christian Findlay @cfdevelop.bsky.social · 19/09/2026
A: We should slow down the development of the automobile. Let’s at least force the manufacturers to put seatbelts in all their models! B: We can’t because foreign manufacturers are flying them in at remote locations and we actually need those cars That’s where we’re at RN
010
Christian Findlay @cfdevelop.bsky.social · 19/09/2026
Most tech podcasts just sound like two+ annoying chat bots talking waffle at each other Mostly just hitting keywords for whatever is trending Worse than AI slop Human, but worthless Imagine having a huge platform and being more inane than AI 😒
000
Christian Findlay @cfdevelop.bsky.social · 19/09/2026
The conversation over AI regulation is maddening It just sounds like AI influencers babbling inane waffle at each other Firstly, OpenAI, Anthropic and the Chinese labs are monitoring everything! The issue is the open weights models. How do we even propose safety precautions?
011
Christian Findlay @cfdevelop.bsky.social · 16/09/2026
Super stoked to announce beta testing of my latest app for Apple users 🎉 All your battery charge meters in one place! Just hit the link for beta testing chargedash.app
chargedash.app
One battery app for all your Apple devices · Charge Dash
See every battery your Apple devices report — Mac, iPhone, iPad, AirPods, Magic Mouse and Keyboard — on one dashboard that syncs itself. Apple Watch optional.
000
Christian Findlay @cfdevelop.bsky.social · 07/08/2026
Is Opus 5 really making really bad decisions? Is it possibly Claude Code in general? I’ve caught Fable and Opus 5 outright lying a lot lately and when it try pin down why it’s lying, it changes its story I can’t tell if something is off or I’m just noticing it more
120
Christian Findlay @cfdevelop.bsky.social · 04/08/2026
I think we we can get this fixed for you in the next couple of days... Will keep you posted github.com/Nimblesite/B...
github.com
New rule returns_implicit_none: a function that falls off the end never satisfies its declared return type · Issue #401 · Nimblesite/Basilisk
Summary Add a new default-on checker rule, returns_implicit_none, that flags a function whose declared return type cannot be satisfied because control can reach the end of the body without returnin...
000
Christian Findlay @cfdevelop.bsky.social · 04/08/2026
I'm going to fix this...
000
Christian Findlay @cfdevelop.bsky.social · 04/08/2026
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?
110
Christian Findlay @cfdevelop.bsky.social · 01/08/2026
?
?
?!()
100
Christian Findlay @cfdevelop.bsky.social · 31/07/2026
www.ospreylang.dev
ospreylang.dev
Osprey — Safe, Fast Functional Programming
Osprey is a practical functional language for safe, fast native programs: strong inferred types, first-class effects, lightweight concurrency and clean, readable code.
000
Christian Findlay @cfdevelop.bsky.social · 31/07/2026
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.
100
Christian Findlay @cfdevelop.bsky.social · 31/07/2026
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...
christianfindlay.com
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.
000
Christian Findlay @cfdevelop.bsky.social · 30/07/2026
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
000
Christian Findlay @cfdevelop.bsky.social · 29/07/2026
Amazing! You can type check Python in the browser now www.basilisk-python.dev/playground/
000
Christian Findlay @cfdevelop.bsky.social · 29/07/2026
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
000
Christian Findlay @cfdevelop.bsky.social · 28/07/2026
Deslop now supports Go Deduplicate your Go code with Deslop deslop.live/blog/find-du...
deslop.live
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.
000
Christian Findlay @cfdevelop.bsky.social · 28/07/2026
Reviews much appreciated marketplace.visualstudio.com/items?itemNa...
marketplace.visualstudio.com
Deslop.live - Visual Studio Marketplace
Extension for Visual Studio Code - Live duplicate-code analysis inside VS Code — the reference client for the Deslop LSP server. Inline warnings as you type, worst-offender view, and a live channel yo...
000
Christian Findlay @cfdevelop.bsky.social · 28/07/2026
Deslop now supports Go!!! deslop.live/blog/find-du... Thanks to @lhaig.haigmail.com
deslop.live
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.
100
Christian Findlay @cfdevelop.bsky.social · 26/07/2026
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.com
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...
000
Christian Findlay @cfdevelop.bsky.social · 25/07/2026
Osprey supports test coverage calculation in vscode's test explorer www.ospreylang.dev
000
Christian Findlay @cfdevelop.bsky.social · 25/07/2026
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
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...
000
Christian Findlay @cfdevelop.bsky.social · 25/07/2026
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
110
Christian Findlay @cfdevelop.bsky.social · 23/07/2026
These are the docs for building a web app with Osprey and React www.ospreylang.dev/docs/web-apps/
ospreylang.dev
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.
000
Christian Findlay @cfdevelop.bsky.social · 23/07/2026
I find the opposite to be true Juniors aren’t tainted by decades of indoctrination
000
Christian Findlay @cfdevelop.bsky.social · 22/07/2026
www.ospreylang.dev/playground/
ospreylang.dev
Osprey Playground
Try Osprey programming language online with interactive code examples and real-time compilation
000
Christian Findlay @cfdevelop.bsky.social · 22/07/2026
ML Flavor of Osprey works in the playground now. Check it out.
100
Christian Findlay @cfdevelop.bsky.social · 22/07/2026
Typescript is basically weakly typed unless you turn all the lints up to max
030
Christian Findlay @cfdevelop.bsky.social · 22/07/2026
Often they were built at times when type safety was just not properly understood. But all good languages allow you to handle unknown types gracefully. That’s how you move from say JSON to an actual ADT without the risk of panic
010
Christian Findlay @cfdevelop.bsky.social · 22/07/2026
When you start building a compiler, you start to realize that the terms “strongly typed” and “weakly typed” are really just gibberish. Statically typed is more precise but even then, many statically typed languages handle unknown types poorly, or can’t express types in a way that allows full safety
120
Christian Findlay @cfdevelop.bsky.social · 22/07/2026
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...
reddit.com
From the Python community on Reddit: New Python type checker
Explore this post and more from the Python community
010
Christian Findlay @cfdevelop.bsky.social · 18/07/2026
C64 was my first and not only shaped my programming interests, it shaped my musical interests. The SID chip was revolutionary and AFAIC it made the best music. Here is my cover of The Last Ninja theme made ironically with analog synths youtu.be/q8SKHd3B6us?...
youtu.be
The Last Ninja Theme
YouTube video by SyncretiaMusic
030
Christian Findlay @cfdevelop.bsky.social · 17/07/2026
Found it github.com/lhaig/intent I can clearly see we’ve been on a similar journey
github.com
GitHub - lhaig/intent: Intent: exploring contract-based language design for AI-generated code
Intent: exploring contract-based language design for AI-generated code - lhaig/intent
000
Christian Findlay @cfdevelop.bsky.social · 17/07/2026
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
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...
001
Christian Findlay @cfdevelop.bsky.social · 17/07/2026
I know this is possible. Where do I see this?
100
Christian Findlay @cfdevelop.bsky.social · 17/07/2026
Actually Australia exports currency production because these plastic notes work so well
110
Christian Findlay @cfdevelop.bsky.social · 16/07/2026
These are the benchmarks www.ospreylang.dev/benchmarks/ But the image above uses the profiler in the vscode extension. You can profile any .osp file
ospreylang.dev
Benchmarks
How Osprey's CPU time and peak memory compare to Rust, C, OCaml, and Haskell on classic compute benchmarks.
110
Christian Findlay @cfdevelop.bsky.social · 15/07/2026
Yeah, that’s right!
000
Christian Findlay @cfdevelop.bsky.social · 15/07/2026
They can and they will train their models on all of it, like it or not. The question is how they’re supposed to pay artists It’s much like cover songs. The original artist can’t stop you covering a song but they do get royalties
100
Christian Findlay @cfdevelop.bsky.social · 15/07/2026
Ok, I’ll bite… You’re telling people who want to make their own music to avoid computers and AI at a time when free music models and software can allow non-musical people to make their own music? You don’t think that’s kinda shitty?
000
Christian Findlay @cfdevelop.bsky.social · 15/07/2026
How do you suggest they pay the people whose data they trained on? Pay one cent to every person that’s written a song or written a book? Not downplaying the issue, but pointing out the challenge the reality of AI training brings for any kind of fair recompense
100
Christian Findlay @cfdevelop.bsky.social · 15/07/2026
Wow, just reread this. What a prophetic post. Pure joy. bsky.app/profile/cfde...
000
Christian Findlay @cfdevelop.bsky.social · 15/07/2026
It's certainly something to see your own programming language get profiled for the first time (Osprey)
120
Christian Findlay @cfdevelop.bsky.social · 13/07/2026
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...
032
Christian Findlay @cfdevelop.bsky.social · 13/07/2026
Is anyone on lobste .rs? Can anyone invite me?
000
Christian Findlay @cfdevelop.bsky.social · 11/07/2026
.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 🐍
000
Christian Findlay @cfdevelop.bsky.social · 10/07/2026
Why do people have such a negative view of social media?
000
Christian Findlay @cfdevelop.bsky.social · 10/07/2026
This demo doesn’t persist but there’s no reason why it can’t. Will look into it. You could log a gh issue or better yet a pr if you’re interested
000
Christian Findlay @cfdevelop.bsky.social · 09/07/2026
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?
020
Christian Findlay @cfdevelop.bsky.social · 07/07/2026
Please to help me by getting on Reddit and throwing shade at my Python type checker Basilisk 🙏🏽 www.reddit.com/r/Python/com...
reddit.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
000
Christian Findlay @cfdevelop.bsky.social · 07/07/2026
Website: www.basilisk-python.dev
basilisk-python.dev
Basilisk — The Only 100% PEP-Conformant Python Language Server
The only Python type checker with a perfect 100% score on the official python/typing conformance suite. Open-source language server in Rust — type checking, autocomplete, refactoring, debugging & prof...
000