I'm very impressed with the speed of zed.dev. Going to try it on Linux as well now that it's getting supported.

What are some fun starting projects if you want to learn Z3? Real-world problems you could solve in a few hours.

I'm doing a mob programming meetup and need some inspiration.

Rewriting the garden in Rust. It's heavy, fiddly, time-consuming, but most importantly a great joy.

Oskar boosted

Oskar Wickström och Mattias Ask bygger tester för webben. Tester som bara behöver en URL. Tester för användare som inte har tid att lära sig komplicerade ramverk. Tester mycket bredare än vad Fredrik först förstod. Tester byggda på egenskapsbaserad testning.

(Vill du testa? De 100 första som använder kupongkoden KODSNACK24 får en månad gratis!)

Allt detta och mer i veckans Kodsnack! Lyssna där poddar finns, eller på kodsnack.se/568/ #testing #propertybasedtesting #quickstrom #squidler

Returning to my home office next week after parental leave. Now with a "new" desk that I'm feeling very good about after some small modifications.

Does anyone know of applications/variations of Simulated annealing (or similar search strategies) where the search space is dynamic, i.e. changes over time between iterations ("generations" in genetic algorithms)? Like travelling salesman but the roads keep changing.

Maybe there's no fundamental change required? Just keep searching for better solutions and possibly accept worse ones with some probability, even if the space changes? The problem I'm seeing in my area is defining the neighborhood function when possible paths change over time.

Currently building squidler.io/, and I haven't had this fun programming in a long time!

Oskar boosted

Lots of old and new friends around here now. Have a nice weekend all! I'm gonna find some time to hack on LTL stuff.

Quickstrom 0.5.0 is released! 🎉

It’s an entirely new implementation, with a new specification language (Specstrom) and underlying logic (QuickLTL). Browser testing reimagined!

Docs: docs.quickstrom.io/en/0.5.0/

Source: github.com/quickstrom/quickstr

I know I'm annoying. It's just been so quiet for so long. I've mostly focused on research and applying it in work situations. This release feels scary but I'm really looking forward to it getting even more industry usage (hopefully!)

Show thread

New Quickstrom release is SO CLOSE.

Seeing only content from people I follow is a strange thing to be excited about, but damn it's good.

building python3.10-mypy-0.812 (buildPhase)

So yeah, 30 minutes later I’m growing kind of tired of this…

Oskar boosted

I wrote a nano tool that tries to extract the #Fediverse accounts of your #Twitter followings: fedifinder.glitch.me/

It searches for the patterns @user@host.tld, user@host.tld and host.tld/@user in the screen name, description, location and URL field. It displays them to you in the correct format for easy copying as well as a CSV download that can be imported to #Mastodon.

Known issue: Mail addresses are included as false positives because people write their handle without a leading @: name@host.tld

Oskar boosted

I like it here. It feels reminiscent of the old internet. Just people coming together without companies injecting themselves in the middle of things. No timeline algorithm, no ads. Nobody is trying to make money off of this. I love it.

Show more
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.