Folks may have already seen on the bird site, but I was on the Haskell Interlude! t.co/uyilDdNV9T It was a ton of fun! If folks want to know more about anything we talked about let me know - ThreadSky

About ThreadSky

harrisongoldste.in • 77 days ago

Folks may have already seen on the bird site, but I was on the Haskell Interlude!

https://t.co/uyilDdNV9T

It was a ton of fun! If folks want to know more about anything we talked about let me know

Comments

ignacioballesteros.es•76 days ago

Nice episode! And good luck with your tenure application :D

Very interesting talk about the intersection of PL/HCI and how the future of PBT might be on facilitating users how to write properties (and understand their tests).

ignacioballesteros.es•76 days ago

It reminded me of my colleague's work with Faktory, which uses function annotations to generate PBT models and tests, even for stateful modules or APIs.

https://dl.acm.org/doi/10.1145/3609022.3609415

harrisongoldste.in•76 days ago

This is really cool! I’ll need to play around with it a bit. I think I skimmed the paper once a while back, but I never dug into the details. Thanks for reminding me about it!

ignacioballesteros.es•76 days ago

Great! Don´t hesitate to contact Luis (or me to redirect 😅) if you want to talk about the tool or need some help with it.

hilacodes.bsky.social•77 days ago

No one goes on the bird site anymore!

januuus.bsky.social•57 days ago

couple of comments for you at https://discourse.haskell.org/t/haskell-interlude-59-harry-goldstein/11003

harrisongoldste.in•57 days ago

Thanks! I’ll check on it tomorrow and respond

Posting Rules

Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service

Comments

Posting Rules

Reply