terrorjack, 3 months ago hmm, someone worked on a parallel quickcheck (paper accepted for ifl): https://github.com/Rewbert/quickcheck
hmm, someone worked on a parallel quickcheck (paper accepted for ifl): https://github.com/Rewbert/quickcheck
mangoiv, 3 months ago @terrorjack oh woooooooowwww Where’s the paper itself? 😳😳😳
@terrorjack oh woooooooowwww Where’s the paper itself? 😳😳😳
terrorjack, 3 months ago @mangoiv https://twitter.com/Rewbert/status/1755167901105971705
@mangoiv https://twitter.com/Rewbert/status/1755167901105971705
mangoiv, 3 months ago @terrorjack ah so not published yet. I’ll keep my eyes peeled. Thank you
@terrorjack ah so not published yet. I’ll keep my eyes peeled. Thank you
terrorjack, 1 month ago @mangoiv https://arxiv.org/abs/2404.16062
@mangoiv https://arxiv.org/abs/2404.16062
mangoiv, 1 month ago @terrorjack thank you! Lovely ❤️
@terrorjack thank you! Lovely ❤️
Add comment