Property-Based Testing in Practice
Property-based testing (PBT) is a testing methodology where userswrite executable formal specifications of software components andan automated harness checks these specifications against manyautomatically generated inputs. From its roots in the QuickChecklibrary in Haskell, PBT has made significant inroads in mainstreamlanguages and industrial practice at companies such as Amazon,Volvo, and Stripe. As PBT extends its reach, it is important to un-derstand how developers are using it in practice, where they seeits strengths and weaknesses, and what innovations are needed tomake it more effective.Comments
via dl.acm.org via natfu
Property-based testing (PBT) is a testing methodology where userswrite executable formal specifications of software components andan automated harness checks these specifications against manyautomatically generated inputs. From its roots in the QuickChecklibrary in Haskell, PBT has made significant inroads in mainstreamlanguages and industrial practice at companies such as Amazon,Volvo, and Stripe. As PBT extends its reach, it is important to un-derstand how developers are using it in practice, where they seeits strengths and weaknesses, and what innovations are needed tomake it more effective.Comments
via dl.acm.org via natfu
What are you reading this week?
Also what were you reading? What are you planning to read next/I've finished Darwin's "The Voyage of the Beagle" and it's really good. Rereading The Mikado Method left me with same opinion the it's great technique badly described.My next big book is The Memory Code by Lynne Kelly. My next big "computer" book is The Powerful Python by Raymod Rhine (I hope it will make me less of quickly-let's-get-the-shit-together and more of quickly-let's-get-the-shit-right).
via by vlnn
Also what were you reading? What are you planning to read next/I've finished Darwin's "The Voyage of the Beagle" and it's really good. Rereading The Mikado Method left me with same opinion the it's great technique badly described.My next big book is The Memory Code by Lynne Kelly. My next big "computer" book is The Powerful Python by Raymod Rhine (I hope it will make me less of quickly-let's-get-the-shit-together and more of quickly-let's-get-the-shit-right).
via by vlnn
Lobsters
What are you reading this week?
0 comments
Tag proposal: typesetting
For stories relating to: how text is laid out anDiscussion: should it include e.g. stories about Pango? Unicode (partially relevant to typesetting/typography I suppose)? These are a bit further from "typsetting" but is relevant to typography and encoding? Should it include stories about markup languages?See searches for e.g. LaTeX, Typst, typography, PostScript, Pandoc, etc. and some misc stories like Let's write a PDF file.I wouldn't be the one filtering things out, but I could see how to some people, the way text is presented on paper/screens might not be that interesting compared to more typical programming/computing topics.I think if we figure out the scope properly it shouldn't be much additional complexity.I'm not familiar with the tag-submission process so please correct me if there's anything I'm missing!
via by runxiyu
For stories relating to: how text is laid out anDiscussion: should it include e.g. stories about Pango? Unicode (partially relevant to typesetting/typography I suppose)? These are a bit further from "typsetting" but is relevant to typography and encoding? Should it include stories about markup languages?See searches for e.g. LaTeX, Typst, typography, PostScript, Pandoc, etc. and some misc stories like Let's write a PDF file.I wouldn't be the one filtering things out, but I could see how to some people, the way text is presented on paper/screens might not be that interesting compared to more typical programming/computing topics.I think if we figure out the scope properly it shouldn't be much additional complexity.I'm not familiar with the tag-submission process so please correct me if there's anything I'm missing!
via by runxiyu
Lobsters
Tag proposal: typesetting
0 comments
the bug that taught me more about PyTorch than years of using it
Comments
via elanapearl.github.io via knl
Comments
via elanapearl.github.io via knl
elanapearl.github.io
the bug that taught me more about PyTorch than years of using it
a loss plateau that looked like my mistake turned out to be a PyTorch bug. tracking it down meant peeling back every layer of abstraction, from optimizer internals to GPU kernels.
Formal or not formal? That is the question in AI for theorem proving
Comments
via xenaproject.wordpress.com via xcthulhu
Comments
via xenaproject.wordpress.com via xcthulhu
Xena
Formal or not formal? That is the question in AI for theorem proving.
So it’s an interesting time for computers-doing-mathematics. A couple of interesting things happened in the last few days, which have inspired me to write about the question more broadly. Fir…
Distroless Containers for corporate use: Nix Flakes vs Fedora
Comments
via blog.riemann.cc via Verfeuil
Comments
via blog.riemann.cc via Verfeuil
~rriemann
Distroless Containers for corporate use: Nix Flakes vs Fedora
In this post, I share my personal perspective on distroless containers for corporate use, hence with a view on compliance. I offer an alternative to Nix Flakes using Fedora and Podman.
Why Your social.org Files Can Have Millions of Lines Without Any Performance Issues
Comments
via en.andros.dev by andros
Comments
via en.andros.dev by andros
en.andros.dev
Why your social.org files can have millions of lines without any performance issues | Andros Fenollosa
As Org Social grows, users follow more feeds, and individual social.org files accumulate hundreds of posts over time. Traditional approaches that down