Yes. We've neglected mutation testing for far too long. It also mitigates human fallibility.
But, AI is in another category. AI can write tests that achieve close to 100% coverage with loads of assertions, but still manage to avoid the 1 or 2 assertions where the bugs lie. It's masterful at this
It's still difficult to achieve perfect tests, but mutation testing takes you that one step further than what you would get if you just relied on a metric like test coverage
Yes it does. But, it's not automatic.
You start with a bunch of tests, hopefully very high test coverage, and then you use mutation testing to squeeze out all possible scenarios except the ones you want.
I love getting agents to fight over a technical solution in Too Many Cooks.
In the AI agent era mutation testing is critical. It’s the only way to stop the problem where agents refuse to write assertions that would fail because the code is not implemented yet.
Use this for Dart and Flutter
dartmutant.dev
The coolest thing about CommandTree is that it summarises your scripts for you and gives you a warning if the script might be harmful.
I've converted all my sh scripts to make and the CommandTree extension works really well with make scripts. It's somewhat more compatible with Windows as well.
Check out the extension. It's good.
Getting around to this... I really do appreciate it. Just been pounding through projects lately.
CommandTree is getting better and better. Just added F# and C# scripts. Personally, I like the Make file integration the best
Grab from Vscode extensions. Reviews much appreciated 🙏🏽
The next generation of software is being built right now.
It’s not at Google, Meta or Microsoft. It’s one or two people replacing entire ecosystems
It’s not apps and libraries. It’s languages, OSs, games, systems
They will be leaner, faster and replace entrenched monopolies
Sure, Windows is fine if you love malware and security holes everywhere
You work at Canva? In Australia?
bsky.app/profile/did:...
@djmm.me
bsky.app/profile/did:...
Basilisk is about to enter the fray. Python, but better
This is amazing. I'm going to be talking to you more about this. I've been working on a ruff based type checker and LSP named Basilisk that should completely replace mypy/pyright/pylance. And, I think it might compete with Pyrefly for performance. Almost 90% PEP conformant, general experience is 👍🏼
Please don't inbox me because I can't check my messages
This platform is asking me to verify my age and I don't want to hand over personal details, so whoever messaged me, please contact through my timeline.
Yes, but the official Python specs define a very nice type system, and if you use the right type checker, it's as strict at the compilation level as any compiled language.
The downside is that the default type checkers suck
Would really appreciate it if you'd check this out and leave a Vscode review if you like it.
I'm really interested in hearing more about this...
I started out using Pyright and Pylance. That's what actually triggered me to do something about it.
Which tools do you tend to gravitate to?
Python has a great type system. It's definitely better than C#'s type system. On par with Dart's type system
Am I talking to Python devs here? I just wanna get a feel for who’s listening…
It goes without saying that the Python dev experience is pretty bad right?
Not the language - the tooling: analyzers, vscode support etc. like this is obvious right?
iMessage for example signs messages with keys that are stored in Secure Enclave - basically the equivalent of a crypto hardware wallet. This is the gold standard and there is no equivalent on Windows. Not even malware gets access to the keys.
This is exactly why Apple have gone all in on E2EE
It just derisks a whole category of issues
Breaches aren’t possible because they can’t access your data
Why would a company even want the risk of spilling all that data when it’s not their core business?
I don’t get this…
If an app implements E2EE, it implies they don’t have your keys
WhatsApp doesn’t have your keys. There’s actually an incentive not to have your key because it means they don’t have to deal with subpoenas etc
It reduces their liability.
Chocolatey
Demand End to End Encryption for absolutely every system and piece of hardware you use
This is the only way that privacy and security prevails
Don’t depend on systems that require your data to make money. This is destroying humanity
Pretty good coverage for dart_node
