Stefan Karlsson

Writing software. Likes Property-based testing.

[Łukasz | Wookash Podcast @wookash_podcast]

When I started this podcast, I said to my wife, if I ever have a discussion with @Jonathan_Blow it might the end of it, because I don't know how to top that.

@Jonathan_Blow, thank you for your games and your work, for attitude to pursue excellence, for swimming against the tide and pioneering a new path!

Enjoy this 3h talk with Jonathan, about JAI programming language, his upcoming games, company Thekla, game industry and culture!

[Gregory Gay @Greg4cr]

At @malardalen_uni today to serve on the grading committee for @zteefo's PhD defense on property-based testing of web APIs. Exciting work!

[Casey Muratori @cmuratori]

Using their own example code, I made a simple demonstration of how horrible "Clean Code" ideas are for software performance:
https://t.co/dO3UyaNdf6

[Stefan Karlsson @zteefo]

It provides support for labeling of values, coverage check and value collections. It also provides statistical hypothesis checking of user provided required coverage of values produced by your generators.

I hope you will find it helpful when writing more complex generators!

[Stefan Karlsson @zteefo]

Hi #Clojure friends, I have released the first version of my test.check.insights library. It provides functionality to give insights into values generated by test.check generators.

https://t.co/kE8ggNO19U

[Stefan Karlsson @zteefo]

Great to get EQL support! Awesome work all #Crux contributors, thanks for your effort!

[JUXT @juxtpro]

#Crux 1.10.0 is out!

- SQL queries (compiled to Datalog via @ApacheCalcite)
- EQL (a declarative projection syntax for pulling out extra data)
- Speculative transactions (e.g. run 'what-if' queries)
- String IDs

https://t.co/zsanuNbeTv

[Humlix @humlix]

We just published How to create 1040 tests targeting Gitlab in 5 minutes with Humlix https://t.co/bhJSkPzYpJ.

[KK-stiftelsen @stiftelsen_kk]

ABB är en del av MDH:s företagsforskarskola ARRAY, där forskare och näringsliv arbetar i nära samproduktion. @ABBSverige har idag fyra doktorander som utvecklar världsledande produkter. Se filmen 👇
Läs mer om Företagsforskarskolor: https://t.co/z1HMZUqHiv

[Paul Graham @paulg]

@cellularpizzaz Clojure.

[Stefan Karlsson @zteefo]

@DanielSundmark Interesting that you mention Tool. I've been listening to Tool and coding Clojure for the past two weeks but did not make the connection. Good catch! Tool it is.

[Stefan Karlsson @zteefo]

@DanielSundmark Since Clojure is a Lisp on the JVM, and considering the chart, I guess it would be Neoclassical metal. So Yngwie Malmsteen?

[Stefan Karlsson @zteefo]

#Clojure making science a bit simpler, https://t.co/9mG3AS2HFx
Thanks to @richhickey, @stuarthalloway, @puredanger, @gfredericks_ and everyone else who have contributed to Clojure, Spec and TestCheck. Your efforts are appreciated!

[Stefan Karlsson @zteefo]

Preprint of our @icstconference 2020 paper, QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs, now available @ https://t.co/9mG3AS2HFx
Big thanks to co-authors @adnancausevic and @DanielSundmark

[Diomidis Spinellis @CoolSWEng]

Software engineers are least happy and productive when in a shared environment with random people, says @DrBrittJay at #esecfse19 See https://t.co/oLBWSDI7ce

[Uncle Bob Martin @unclebobmartin]

New Blog: Why Clojure? I had a lot of fun writing this one. https://t.co/PFeh3G68RW

[Rolf Degen @DegenRolf]

Why everything you are being told about nutrition is wrong. https://t.co/Jt2WlL1SHp

[Jeff Terrell, Ph.D. @kyptin]

This is true. I just yesterday picked up a third-party library that hasn’t seen a commit in over 4 years, and it worked flawlessly. (It targeted Clojure 1.4.0, which was released in April, 2012.) If you tire of the froth, there is a viable alternative.

[Uncle Bob Martin @unclebobmartin]

On the other hand, after 20 years of using TDD I have definitely found that I rely much less on defensive programming and static typing than I used to.

[Cory House @housecor]

And it’s a shame this is the case. Many companies would be more profitable if they took QA more seriously and paid people accordingly.

[Hillel @hillelogram]

One of my most controversial software opinions is that your sleep quality and stress level matter far, far more than the languages you use or the practices you follow. Nothing else comes close: not type systems, not TDD, not formal methods, not ANYTHING.

Allow me to explain why.