Christian Findlay

Dev tools so good you can’t ignore them. Basilisk 🐍 Python type checker scores 100% on PEP tests | Director of @nimblesite

[Christian Findlay @CFDevelop]

And here it is!!! My new programming language Osprey! This has been a 20 year long dream, finally made possible with AI assistance. So stoked this is finally possible! 🎉

Stars and shares appreciated! ✨

https://t.co/j7Ptksje4v

[Christian Findlay @CFDevelop]

@johncrickett Assuming this is accurate, it’s an example of how AI is far more than just a regurgitater of the stuff you pour into it

[Ethan Knight @__eknight__]

Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we're sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour. We're sharing the prompt and proof below. We're excited to see what you all do with Ultra!

[Christian Findlay @CFDevelop]

@johncrickett That’s a priori reasoning that doesn’t hold. You’re missing several steps there and lots of people make this logical leap. AI models are not the sum of their training data.
Averaging isn’t what training does. Reading every book written doesn’t make you an average writer

[Christian Findlay @CFDevelop]

@LondoSpark Basilisk ain’t no toy. It’s the most correct Python type checker officially

But if you do need a toy…
https://t.co/tTDCnZavNY

[Christian Findlay @CFDevelop]

.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 🐍

[Christian Findlay @CFDevelop]

@tutaj_olek @_cartermp Please log any issues for F# on gh and we will try to fix them asap

[Christian Findlay @CFDevelop]

@tutaj_olek Absolutely, Osprey is that language. Algebraic Effects, the works. And it’s powering forward all the time

[Christian Findlay @CFDevelop]

@hpotts_essex Correct, that’s why the type system is all important

https://t.co/XVimngFquR

[Christian Findlay @CFDevelop]

@MadSEToday Tell me what you really think!

[Christian Findlay @CFDevelop]

@Mike_Preston17 If that’s what you think unions are, I really don’t know what to tell you

[Christian Findlay @CFDevelop]

@alexaka1 Nah. F# is the superior language that typescript should be grabbing all the good parts from

However, Basilisk is basically Typescript for Python

https://t.co/XVimngFquR

[Christian Findlay @CFDevelop]

@redwan_ping It can and is enforced statically with the analyzer. Python and C# both support this

Neither have runtime null because of reflection

[Christian Findlay @CFDevelop]

@hoontaleez Well I’ve been working with C# for over 20 years and I’m about to release a book on it. C# is about to get unions but Python has had them for a long time, along with data classes. Python’s type system is better, but they will soon be pretty close again and F# is miles ahead

[Christian Findlay @CFDevelop]

@extramango21 C# is getting unions but it’s not clear to what extent they’ll be implemented in C# 15. Seems pretty pretty light at this point

https://t.co/9M7VVuS6Xh

[Christian Findlay @CFDevelop]

@LondoSpark This works on Neovim. Looking into Sublime Text but only if it supports LSP

[Christian Findlay @CFDevelop]

The Python memory profiler in Basilisk is amazing. Just open a python file and tap "Run and Track Memory" and you get an analysis like this

[Christian Findlay @CFDevelop]

A good read about Free-Threaded Python and type checking

[Basilisk @BasiliskPython]

Type checking is more important than ever with the advent of Free-Threaded Python. Read about it here

https://t.co/k4DKxv7dJS

[Christian Findlay @CFDevelop]

@Mike_Preston17 “There's no magic language that solves null completely or has enough knowledge about itself to prevent it.”

That’s just bullshit. You pointed out that the Option<T> pattern is a good option. When implemented properly with exhaustiveness checking. NREs are gone

[Christian Findlay @CFDevelop]

@Mike_Preston17 You’re talking like I haven’t spent years combing over this exact problem, and in many languages. I have. I understand everything you’re saying. I’ve written about it quite a lot. Here is an old article that mentions the billion dollar problem

https://t.co/zec2nZdWqT

[Christian Findlay @CFDevelop]

@satechdev This is truly amazing. It’s just so straightforward and immediate.

[Christian Findlay @CFDevelop]

@Mike_Preston17 Grok is roughly right on most things but still just mixing up a bunch of different issues into one thing. There is not billion dollar null problem. That was a description of what null pointers were when they originally landed. Most languages have dealt with this stuff

[Christian Findlay @CFDevelop]

@satechdev

[Christian Findlay @CFDevelop]

Leak detection is just mindblowing